// defining polynomial for a finite field F36 := FiniteField(5, 36); d := DefiningPolynomial(F36); d;