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 3488e7ba..b51f56ea 100644 --- a/src/algebra/algext.spad.pamphlet +++ b/src/algebra/algext.spad.pamphlet @@ -57,7 +57,7 @@ SimpleAlgebraicExtension(R:CommutativeRing, bsis := [monomial(1, i)$Rep for i in 0..d1]$Vector(Rep) if R has Finite then - size == size$R ** d + size == size()$R ** d random == represents([random()$R for i in 0..d1]) 0 == 0$Rep 1 == 1$Rep @@ -164,7 +164,7 @@ SimpleAlgebraicExtension(R:CommutativeRing, -- z = index lookup z, n = lookup index n -- the answer is merely the Horner evaluation of the -- representation with the size of R (as integers). - zero?(z) => size()$$ pretend PositiveInteger + zero?(z) => size()$% pretend PositiveInteger p : Integer := size()$R co : Integer := lookup(leadingCoefficient z)$R n : NonNegativeInteger := degree(z) |