From ee573325df58dbcc33596630d2710ad2cd37a77d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 15 May 2009 19:38:25 +0000 Subject: * algebra/algfunc.spad.pamphlet (AlgebraicFunction): User Identifiers for property names. * algebra/combfunc.spad.pamphlet: Likewise. * algebra/constant.spad.pamphlet: Likewise. * algebra/efstruc.spad.pamphlet: Likewise. * algebra/elemntry.spad.pamphlet: Likewise. * algebra/expr.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/intef.spad.pamphlet: Likewise. * algebra/integrat.spad.pamphlet: Likewise. * algebra/kl.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/rdeef.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/odeef.spad.pamphlet: Likewise. * algebra/manip.spad.pamphlet: Likewise. --- src/algebra/rdeef.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/rdeef.spad.pamphlet') diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 6e141ea0..787393b1 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -25,7 +25,6 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where IR ==> IntegrationResult F ANS ==> Record(special:F, integrand:F) U ==> Union(ANS, "failed") - ALGOP ==> "%alg" Exp ==> with varselect: (List K, SE) -> List K @@ -57,6 +56,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where ++ on any remaining unintegrable part. Impl ==> add + macro ALGOP == '%alg better?: (K, K) -> Boolean union(l1, l2) == setUnion(l1, l2) @@ -179,7 +179,6 @@ ElementaryRischDE(R, F): Exports == Implementation where UEX ==> Union(Record(ratpart:F, coeff:F), "failed") PSOL==> Record(ans:F, right:F, sol?:Boolean) FAIL==> error("Function not supported by Risch d.e.") - ALGOP ==> "%alg" Exports ==> with rischDE: (Z, F, F, SE, (F, LF) -> U, (F, F) -> UEX) -> PSOL @@ -191,6 +190,7 @@ ElementaryRischDE(R, F): Exports == Implementation where ++ ext is an extended integration function. Implementation ==> add + macro ALGOP == '%alg import IntegrationTools(R, F) import TranscendentalRischDE(F, UP) import TranscendentalIntegration(F, UP) -- cgit v1.2.3