diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/intaux.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/intaux.spad.pamphlet')
| -rw-r--r-- | src/algebra/intaux.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet index d8d3493f..d2452f79 100644 --- a/src/algebra/intaux.spad.pamphlet +++ b/src/algebra/intaux.spad.pamphlet @@ -106,13 +106,13 @@ IntegrationResult(F:Field): Exports == Implementation where coeffp:O := (outputForm(rec.coeff, alpha) = 0::Z::O)@O logandp := alpha * prefix("log"::Symbol::O, [outputForm(rec.logand, alpha)]) - if (cc := Q2F(rec.scalar)) ^= 1 then + if (cc := Q2F(rec.scalar)) ~= 1 then logandp := cc::O * logandp sum(logandp, coeffp) nesimp l == [[u,x] for x in removeDuplicates_!([ne.intvar for ne in l]$List(F)) - | (u := neselect(l, x)) ^= 0] + | (u := neselect(l, x)) ~= 0] if (F has LiouvillianFunctionCategory) and (F has RetractableTo Symbol) then retractIfCan u == @@ -152,7 +152,7 @@ IntegrationResult(F:Field): Exports == Implementation where error "pNeDeriv: cannot differentiate not elementary part into F" pLogDeriv(log, derivation) == - map(derivation, log.coeff) ^= 0 => + map(derivation, log.coeff) ~= 0 => error "pLogDeriv: can only handle logs with constant coefficients" -- one?(n := degree(log.coeff)) => ((n := degree(log.coeff)) = 1) => @@ -173,7 +173,7 @@ IntegrationResult(F:Field): Exports == Implementation where coerce(u:%):O == (r := retractIfCan u) case F => r::F::O l := reverse_! [LOG2O f for f in logpart u]$List(O) - if ratpart u ^= 0 then l := concat(ratpart(u)::O, l) + if ratpart u ~= 0 then l := concat(ratpart(u)::O, l) if not elem? u then l := concat([NE2O f for f in notelem u], l) null l => 0::O reduce("+", l) |