aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/pf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/pf.spad.pamphlet')
-rw-r--r--src/algebra/pf.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet
index 4eaf3fbf..21b8979a 100644
--- a/src/algebra/pf.spad.pamphlet
+++ b/src/algebra/pf.spad.pamphlet
@@ -84,7 +84,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where
zero?(n) => 1
zero?(x) => 0
r := positiveRemainder(n,p-1)::NNI
- ((x pretend IntegerMod p) **$IntegerMod(p) r) pretend $
+ per (rep(x) **$IntegerMod(p) r)
if p <= convert(max()$SingleInteger)@Integer then
q := p::SingleInteger