aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/polycat.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
-rw-r--r--src/algebra/polycat.spad.pamphlet10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet
index e4a5dce3..46cd1e87 100644
--- a/src/algebra/polycat.spad.pamphlet
+++ b/src/algebra/polycat.spad.pamphlet
@@ -432,17 +432,17 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet):
if R has IntegralDomain then
allMonoms(l:List %):List(%) ==
- removeDuplicates_! concat [primitiveMonomials p for p in l]
+ removeDuplicates! concat [primitiveMonomials p for p in l]
P2R(p:%, b:List E, n:NonNegativeInteger):Vector(R) ==
w := new(n, 0)$Vector(R)
for i in minIndex w .. maxIndex w for bj in b repeat
- qsetelt_!(w, i, coefficient(p, bj))
+ qsetelt!(w, i, coefficient(p, bj))
w
eq2R(l:List %, b:List E):Matrix(R) ==
matrix [[coefficient(p, bj) for p in l] for bj in b]
reducedSystem(m:Matrix %):Matrix(R) ==
l := listOfLists m
- b := removeDuplicates_!
+ b := removeDuplicates!
concat [allMonoms r for r in l]$List(List(%))
d := [degree bj for bj in b]
mm := eq2R(first l, d)
@@ -455,7 +455,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet):
Record(mat:Matrix R, vec:Vector R) ==
l := listOfLists m
r := entries v
- b : List % := removeDuplicates_! concat(allMonoms r,
+ b : List % := removeDuplicates! concat(allMonoms r,
concat [allMonoms s for s in l]$List(List(%)))
d := [degree bj for bj in b]
n := #d
@@ -832,7 +832,7 @@ UnivariatePolynomialCategory(R:Ring): Category ==
vectorise(p, n) ==
m := minIndex(v := new(n, 0)$Vector(R))
for i in minIndex v .. maxIndex v repeat
- qsetelt_!(v, i, coefficient(p, (i - m)::NonNegativeInteger))
+ qsetelt!(v, i, coefficient(p, (i - m)::NonNegativeInteger))
v
retract(p:%):R ==
zero? p => 0