aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/manip.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-11 23:00:40 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-11 23:00:40 +0000
commit9e07dcd91c45bf8b22d932321f5c97e931ffe8ac (patch)
tree6d2174e90e5779b1b3ab4ae7df3ae6603b66c6c2 /src/algebra/manip.spad.pamphlet
parent7bd82b57975bbc1ff5b87fed0739815c620ecdcc (diff)
downloadopen-axiom-9e07dcd91c45bf8b22d932321f5c97e931ffe8ac.tar.gz
* algebra/: Don't quote '!' at end of names.
Diffstat (limited to 'src/algebra/manip.spad.pamphlet')
-rw-r--r--src/algebra/manip.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet
index eaf5fafc..b41674da 100644
--- a/src/algebra/manip.spad.pamphlet
+++ b/src/algebra/manip.spad.pamphlet
@@ -43,7 +43,7 @@ FactoredFunctions(M:IntegralDomain): Exports == Implementation where
qr := divide(term.exponent::N quo d, n)
coeff := coeff * term.factor ** qr.quotient
not zero?(qr.remainder) =>
- radi := concat_!(radi, term.factor ** qr.remainder)
+ radi := concat!(radi, term.factor ** qr.remainder)
[n, coeff, radi]
log ff ==
@@ -282,7 +282,7 @@ AlgebraicManipulations(R, F): Exports == Implementation where
-- all the kernels in ll must be algebraic
innerRF(x, ll) ==
- empty?(l := sort_!(#1 > #2, kernels x)$List(K)) or
+ empty?(l := sort!(#1 > #2, kernels x)$List(K)) or
empty? setIntersection(ll, tower x) => x
lk := empty()$List(K)
k : K