aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/xpoly.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/xpoly.spad.pamphlet')
-rw-r--r--src/algebra/xpoly.spad.pamphlet14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/xpoly.spad.pamphlet b/src/algebra/xpoly.spad.pamphlet
index f5c9b047..e3c176c1 100644
--- a/src/algebra/xpoly.spad.pamphlet
+++ b/src/algebra/xpoly.spad.pamphlet
@@ -119,13 +119,13 @@ OrderedFreeMonoid(S: OrderedSet): OFMcategory == OFMdefinition where
rquo(w:%, l:S) ==
u:% := reverse w
(r := lquo (u,l)) case "failed" => "failed"
- reverse_! (r::%)
+ reverse! (r::%)
length x == reduce("+" ,[f.exp for f in listOfMonoms x], 0)
varList x ==
le: List S := [t.gen for t in listOfMonoms x]
- sort_! removeDuplicates(le)
+ sort! removeDuplicates(le)
first w ==
x: List REC := listOfMonoms w
@@ -343,7 +343,7 @@ FreeModule1(R:Ring,S:OrderedSet): FMcat == FMdef where
coerce(a:%):EX ==
empty? a => (0$R)::EX
- reduce(_+, reverse_! [outTerm(t.c, t.k) for t in a])$List(EX)
+ reduce(_+, reverse! [outTerm(t.c, t.k) for t in a])$List(EX)
coefficient(x,s) ==
null x => 0$R
@@ -669,7 +669,7 @@ XPolynomialRing(R:Ring,E:OrderedMonoid): T == C where
coerce(a:%):EX ==
empty? a => (0$R)::EX
- reduce(_+, reverse_! [outTerm(t.c, t.k) for t in a])$List(EX)
+ reduce(_+, reverse! [outTerm(t.c, t.k) for t in a])$List(EX)
if R has Field then
@@ -768,7 +768,7 @@ XDistributedPolynomial(vl:OrderedSet,R:Ring): XDPcat == XDPdef where
varList p ==
constant? p => []
le : List vl := "setUnion"/[varList(t.k) for t in p]
- sort_!(le)
+ sort!(le)
rquo(p:% , w: WORD) ==
[[r::WORD,t.c]$TERM for t in p | not (r:= rquo(t.k,w)) case "failed" ]
@@ -953,7 +953,7 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring): Xcat == Xdef where
--------------------------------------------------------------
outForm(p:REGPOLY): EX ==
le : List EX := [t.k::EX * t.c::EX for t in ListOfTerms p]
- reduce(_+, reverse_! le)$List(EX)
+ reduce(_+, reverse! le)$List(EX)
coerce(p:$): EX ==
p case R => (p::R)::EX
@@ -1095,7 +1095,7 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring): Xcat == Xdef where
p case R => []
lv: List VarSet := "setUnion"/[varList(t.c) for t in ListOfTerms p.reg]
lv:= setUnion(lv,[t.k for t in ListOfTerms p.reg])
- sort_!(lv)
+ sort!(lv)
@