diff options
Diffstat (limited to 'src/algebra/lodof.spad.pamphlet')
| -rw-r--r-- | src/algebra/lodof.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/lodof.spad.pamphlet b/src/algebra/lodof.spad.pamphlet index 171909b4..50e98b91 100644 --- a/src/algebra/lodof.spad.pamphlet +++ b/src/algebra/lodof.spad.pamphlet @@ -78,7 +78,7 @@ SetOfMIntegersInOneToN(m, n): Exports == Implementation where l := enum((p - 1)::N, q1, n) if empty? l then l := [new(n, false)$Bits] for s in l repeat s.q := true - concat_!(enum(p, q1, n), l) + concat!(enum(p, q1, n), l) size() == if zero? sz() then @@ -116,7 +116,7 @@ SetOfMIntegersInOneToN(m, n): Exports == Implementation where l := concat(i, l) found := found + 1 i := i + 1 - reverse_! l + reverse! l incrementKthElement(s, k) == b := s.bits @@ -316,7 +316,7 @@ AssociatedEquations(R, L):Exports == Implementation where else u := incrementKthElement(wi, m)$S if u case S then eq(lookup(u::S)) := 1 - setRow_!(M, i, eq) + setRow!(M, i, eq) [M, ww] uncouplingMatrices m == @@ -436,7 +436,7 @@ LinearOrdinaryDifferentialOperatorFactorizer(F, UP): Exports == Impl where degree r > 1 or not one? leadingCoefficient r => recurfactor(op, r, zeros, ezfactor, adj?) op1 := opeval(op, dd - coefficient(r, 0)::L) - map_!(opeval(#1, r), recurfactor(op1, dd, zeros, ezfactor, adj?)) + map!(opeval(#1, r), recurfactor(op1, dd, zeros, ezfactor, adj?)) -- r1? is true means look for 1st-order right-factor also innerFactor(l, zeros, ezfactor, r1?) == @@ -444,7 +444,7 @@ LinearOrdinaryDifferentialOperatorFactorizer(F, UP): Exports == Impl where ll := adjoint l for i in 1..(n quo 2) repeat (r1? or (i > 1)) and ((u := rightFactor(l,i,zeros,ezfactor)) case L) => - return concat_!(rfactor(l, u::L, zeros, ezfactor, false), u::L) + return concat!(rfactor(l, u::L, zeros, ezfactor, false), u::L) (2 * i < n) and ((u := rightFactor(ll, i, zeros, ezfactor)) case L) => return concat(adjoint(u::L), rfactor(ll, u::L, zeros,ezfactor,true)) [l] |