Algorithm class: decision procedures for classical constructibility (Gauss-Wantzel test, field-extension degree tests)

Class:
Algorithm