aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/padic.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-25 13:02:32 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-25 13:02:32 +0000
commit59676ddc602b874061a8acc941f7bb19cd6041f5 (patch)
tree7dfd6316057ba8189605c227f082a55b7643e128 /src/algebra/padic.spad.pamphlet
parent094e16ae834eaf254a85781d759e0399a9269fb1 (diff)
downloadopen-axiom-59676ddc602b874061a8acc941f7bb19cd6041f5.tar.gz
* interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.
* interp/g-util.boot: Expand it. * algebra/aggcat.spad.pamphlet: Cleanup. * algebra/any.spad.pamphlet: Likewise. * algebra/boolean.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/mappkg.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/table.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/padic.spad.pamphlet')
-rw-r--r--src/algebra/padic.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/padic.spad.pamphlet b/src/algebra/padic.spad.pamphlet
index 47c53e8a..d7265998 100644
--- a/src/algebra/padic.spad.pamphlet
+++ b/src/algebra/padic.spad.pamphlet
@@ -442,7 +442,7 @@ PAdicRationalConstructor(p,PADIC): Exports == Implementation where
--% arithmetic
x = y ==
- EQ(x,y)$Lisp => true
+ %peq(x,y)$Foreign(Builtin) => true
n := getExpon(x) - getExpon(y)
n >= 0 =>
(p**(n :: NNI) * getZp(x)) = getZp(y)