diff options
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 10 |
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 |