aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ffx.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/ffx.spad.pamphlet')
-rw-r--r--src/algebra/ffx.spad.pamphlet6
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/ffx.spad.pamphlet b/src/algebra/ffx.spad.pamphlet
index 66ccd76a..4e45d712 100644
--- a/src/algebra/ffx.spad.pamphlet
+++ b/src/algebra/ffx.spad.pamphlet
@@ -66,10 +66,8 @@ IrredPolyOverFiniteField(GF:FiniteFieldCategory): Exports == Impl where
generateIrredPoly(n : N) : SUP ==
-- want same poly every time
--- one?(n) => monomial(1, 1)$SUP
- (n = 1) => monomial(1, 1)$SUP
--- one?(gcd(p, n)) or (n < q) =>
- (gcd(p, n) = 1) or (n < q) =>
+ one?(n) => monomial(1, 1)$SUP
+ one?(gcd(p, n)) or (n < q) =>
odd?(n) => getIrredPoly(2, n)
getIrredPoly(1, n)
getIrredPoly(q + 1, n)