diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-17 02:36:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-17 02:36:40 +0000 |
| commit | e546308ba905ffb34a8adea792d10fb3242430a8 (patch) | |
| tree | b3184026823fdd37dbdf4addc1265c60637375a6 /src/algebra/pf.spad.pamphlet | |
| parent | cd3ae903c73e2bbe0b5381f78b2094827e5e0585 (diff) | |
| download | open-axiom-e546308ba905ffb34a8adea792d10fb3242430a8.tar.gz | |
* algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)
[tableForDiscreteLogarithm]: Don't use pretend where checked
coercion is intended.
* algebra/pf.spad.pamphlet (InnerPrimeField)
[tableForDiscreteLogarithm]: Likewise.
Diffstat (limited to 'src/algebra/pf.spad.pamphlet')
| -rw-r--r-- | src/algebra/pf.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet index 6ab0f69f..ae100e02 100644 --- a/src/algebra/pf.spad.pamphlet +++ b/src/algebra/pf.spad.pamphlet @@ -120,7 +120,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where tbl case "failed" => error "tableForDiscreteLogarithm: argument must be prime divisor_ of the order of the multiplicative group" - tbl pretend TBL + tbl :: TBL primitiveElement() == if initelt? then initializeElt() |