diff options
Diffstat (limited to 'src/algebra/sum.spad.pamphlet')
| -rw-r--r-- | src/algebra/sum.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/sum.spad.pamphlet b/src/algebra/sum.spad.pamphlet index e6b315bc..e866dc11 100644 --- a/src/algebra/sum.spad.pamphlet +++ b/src/algebra/sum.spad.pamphlet @@ -55,7 +55,7 @@ InnerPolySum(E, V, R, P): Exports == Impl where up := univariate(p, v) lp := nil()$List(SUP P) ld := nil()$List(Z) - while up ^= 0 repeat + while up ~= 0 repeat ud := degree up; uc := leadingCoefficient up up := reductum up rec := pmul(uc, 1 / (ud+1) * bernoulli(ud+1)) @@ -186,12 +186,12 @@ GosperSummationMethod(E, V, R, P, Q): Exports == Impl where dz := degree zron mat: Matrix RQ := zero(dz+1, (k+1)::NonNegativeInteger) vec: Vector RQ := new(dz+1, 0) - while zron ^= 0 repeat + while zron ~= 0 repeat cz := leadingCoefficient zron dz := degree zron zron := reductum zron mz := univariate(cz, mv) - while mz ^= 0 repeat + while mz ~= 0 repeat cmz := leadingCoefficient(mz)::RQ dmz := degree mz mz := reductum mz @@ -259,7 +259,7 @@ GosperSummationMethod(E, V, R, P, Q): Exports == Impl where not monomial? nom => error "pCoef requires a monomial 2nd arg" vlist := variables nom - for v in vlist while p ^= 0 repeat + for v in vlist while p ~= 0 repeat unom:= univariate(nom,v) pow:=degree unom nom:=leadingCoefficient unom @@ -269,13 +269,13 @@ GosperSummationMethod(E, V, R, P, Q): Exports == Impl where linearAndNNIntRoot(mp, v) == p := univariate(mp, v) - degree p ^= 1 => "failed" + degree p ~= 1 => "failed" (p1 := retractIfCan(coefficient(p, 1))@Union(RN,"failed")) case "failed" or (p0 := retractIfCan(coefficient(p, 0))@Union(RN,"failed")) case "failed" => "failed" rt := -(p0::RN)/(p1::RN) - rt < 0 or denom rt ^= 1 => "failed" + rt < 0 or denom rt ~= 1 => "failed" numer rt @ |