diff options
Diffstat (limited to 'src/algebra/intpm.spad.pamphlet')
| -rw-r--r-- | src/algebra/intpm.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet index 3fb0f60a..aca1a275 100644 --- a/src/algebra/intpm.spad.pamphlet +++ b/src/algebra/intpm.spad.pamphlet @@ -138,10 +138,10 @@ PatternMatchIntegration(R, F): Exports == Implementation where goodlilog? : (K, P) -> Boolean gooddilog? : (K, P, P) -> Boolean - goodlilog?(k, p) == is?(k, "log"::SY) and one? minimumDegree(p, k) + goodlilog?(k, p) == is?(k, 'log) and one? minimumDegree(p, k) gooddilog?(k, p, q) == - is?(k, "log"::SY) and one? degree(p, k) and zero? degree(q, k) + is?(k, 'log) and one? degree(p, k) and zero? degree(q, k) -- matches the integral to a result of the form d * erf(u) or d * ei(u) -- returns [case, u, d] |