From e546308ba905ffb34a8adea792d10fb3242430a8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 17 May 2013 02:36:40 +0000 Subject: * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial) [tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise. --- src/algebra/ffcat.spad.pamphlet | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/algebra/ffcat.spad.pamphlet') 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 -- cgit v1.2.3