aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/oderf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/oderf.spad.pamphlet')
-rw-r--r--src/algebra/oderf.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/oderf.spad.pamphlet b/src/algebra/oderf.spad.pamphlet
index 96e1f9f1..08ba4213 100644
--- a/src/algebra/oderf.spad.pamphlet
+++ b/src/algebra/oderf.spad.pamphlet
@@ -751,10 +751,10 @@ ODEIntegration(R, F): Exports == Implementation where
-- checks if a non-sum expr is of the form c * log(g) for a rational number c
isQlog f ==
- is?(f, "log"::SY) => [1, first argument(retract(f)@K)]
+ is?(f, 'log) => [1, first argument(retract(f)@K)]
(v := isTimes f) case List(F) and (#(l := v::List(F)) <= 3) =>
l := reverse_! sort_! l
- is?(first l, "log"::SY) and ((u := isQ rest l) case Q) =>
+ is?(first l, 'log) and ((u := isQ rest l) case Q) =>
[u::Q, first argument(retract(first(l))@K)]
"failed"
"failed"