From aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 18 May 2009 23:46:53 +0000 Subject: * algebra/curve.spad.pamphlet: Use literal symbols. * algebra/defintef.spad.pamphlet: Likewise. * algebra/defintrf.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/efstruc.spad.pamphlet: Likewise. * algebra/exprode.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/intaf.spad.pamphlet: Likewise. * algebra/intef.spad.pamphlet: Likewise. * algebra/integrat.spad.pamphlet: Likewise. * algebra/intpm.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/odeef.spad.pamphlet: Likewise. * algebra/oderf.spad.pamphlet: Likewise. * algebra/rdeef.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/transsolve.spad.pamphlet: Likewise. --- src/algebra/oderf.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/oderf.spad.pamphlet') 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" -- cgit v1.2.3