aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/manip.spad.pamphlet
diff options
context:
space:
mode:
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