diff options
Diffstat (limited to 'src/algebra/algext.spad.pamphlet')
| -rw-r--r-- | src/algebra/algext.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/algext.spad.pamphlet b/src/algebra/algext.spad.pamphlet index 30e51529..7bc5057b 100644 --- a/src/algebra/algext.spad.pamphlet +++ b/src/algebra/algext.spad.pamphlet @@ -147,7 +147,7 @@ SimpleAlgebraicExtension(R:CommutativeRing, for j in 0.. while i > 0 repeat h := i rem p -- index(p) = 0$R - if h ^= 0 then + if h ~= 0 then -- here was a bug: "index" instead of -- "coerce", otherwise it wouldn't work for -- Rings R where "coerce: I-> R" is not surjective @@ -179,7 +179,7 @@ SimpleAlgebraicExtension(R:CommutativeRing, -- xi:=L.1; setelt(mat,1,1,K.1); setelt(mat,1,(deg+1),K.1) -- for i in 1..mdeg repeat -- xi:= x * xi; xp:= lift(xi) --- while xp ^= KA.0 repeat +-- while xp ~= KA.0 repeat -- setelt(mat,(mdeg+1),(degree(xp)+1),LeadingCoef(xp)) -- xp:=reductum(xp) -- setelt(mat,(mdeg+1),(deg+i+1),K.1) |