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/ffcat.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/ffcat.spad.pamphlet')
-rw-r--r-- | src/algebra/ffcat.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet index 621ea017..5681365d 100644 --- a/src/algebra/ffcat.spad.pamphlet +++ b/src/algebra/ffcat.spad.pamphlet @@ -472,8 +472,7 @@ DiscreteLogarithmPackage(M): public == private where a := c b := logbase ** (-n) for i in 0..end while not found repeat - rho:= search(lookup(a),exptable)_ - $Table(PositiveInteger,NNI) + rho:= search(lookup(a),exptable)$Table(PositiveInteger,NNI) rho case NNI => found := true disclog:= n * i + rho pretend Integer @@ -663,8 +662,7 @@ FiniteFieldCategory() : Category ==_ found:=false disc1:Integer:=0 for i in 0..end while not found repeat - rho:= search(lookup(c),exptable)_ - $Table(PositiveInteger,NNI) + rho:= search(lookup(c),exptable)$Table(PositiveInteger,NNI) rho case NNI => found := true disc1:=((n * i + rho)@Integer) * mult |