diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
commit | 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac (patch) | |
tree | 6d2174e90e5779b1b3ab4ae7df3ae6603b66c6c2 /src/algebra/expr.spad.pamphlet | |
parent | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (diff) | |
download | open-axiom-9e07dcd91c45bf8b22d932321f5c97e931ffe8ac.tar.gz |
* algebra/: Don't quote '!' at end of names.
Diffstat (limited to 'src/algebra/expr.spad.pamphlet')
-rw-r--r-- | src/algebra/expr.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet index 85dc5a24..859a46aa 100644 --- a/src/algebra/expr.spad.pamphlet +++ b/src/algebra/expr.spad.pamphlet @@ -158,7 +158,7 @@ Expression(R: SetCategory): Exports == Implementation where -- The result MUST be left sorted deepest first MB 3/90 commonk0(x, y) == ans := empty()$List(K) - for k in reverse_! x repeat if member?(k, y) then ans := concat(k, ans) + for k in reverse! x repeat if member?(k, y) then ans := concat(k, ans) ans rootOf(x:SparseUnivariatePolynomial %, v:Symbol) == rootOf(x,v)$AF @@ -319,7 +319,7 @@ Expression(R: SetCategory): Exports == Implementation where if (a := retractIfCan(x)@Union(AN, "failed")) case "failed" then return "failed" else arg := concat(a::AN, arg) - (operator(op)$AN) reverse_!(arg) + (operator(op)$AN) reverse!(arg) smp2an p == (x1 := mainVariable p) case "failed" => R2AN leadingCoefficient p |