aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/intaux.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/intaux.spad.pamphlet')
-rw-r--r--src/algebra/intaux.spad.pamphlet8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet
index 8f103651..ada00a28 100644
--- a/src/algebra/intaux.spad.pamphlet
+++ b/src/algebra/intaux.spad.pamphlet
@@ -88,7 +88,7 @@ IntegrationResult(F:Field): Exports == Implementation where
timene(r, ne) == [Q2F(r) * ne.integrand, ne.intvar]
n:Z * u:% == (n::Q) * u
Q2F r == numer(r)::F / denom(r)::F
- neselect(l, x) == _+/[ne.integrand for ne in l | ne.intvar = x]
+ neselect(l, x) == +/[ne.integrand for ne in l | ne.intvar = x]
if F has RetractableTo Symbol then
integral(f:F, x:Symbol):% == integral(f, x::F)
@@ -116,7 +116,7 @@ IntegrationResult(F:Field): Exports == Implementation where
retractIfCan u ==
empty? logpart u =>
ratpart u +
- _+/[integral(ne.integrand, retract(ne.intvar)@Symbol)$F
+ +/[integral(ne.integrand, retract(ne.intvar)@Symbol)$F
for ne in notelem u]
"failed"
@@ -140,8 +140,8 @@ IntegrationResult(F:Field): Exports == Implementation where
differentiate(u:%, derivation:F -> F):F ==
derivation ratpart u +
- _+/[pLogDeriv(log, derivation) for log in logpart u]
- + _+/[pNeDeriv(ne, derivation) for ne in notelem u]
+ +/[pLogDeriv(log, derivation) for log in logpart u]
+ + (+/[pNeDeriv(ne, derivation) for ne in notelem u])
pNeDeriv(ne, derivation) ==
one? derivation(ne.intvar) => ne.integrand