aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/exprode.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/exprode.spad.pamphlet')
-rw-r--r--src/algebra/exprode.spad.pamphlet12
1 files changed, 7 insertions, 5 deletions
diff --git a/src/algebra/exprode.spad.pamphlet b/src/algebra/exprode.spad.pamphlet
index 3aa24347..0259de07 100644
--- a/src/algebra/exprode.spad.pamphlet
+++ b/src/algebra/exprode.spad.pamphlet
@@ -96,10 +96,10 @@ ExpressionSpaceODESolver(R, F): Exports == Implementation where
findEq : (K, SY, List F) -> F
localInteger: F -> F
- opelt := operator("elt"::Symbol)$OP
- --opex := operator("exquo"::Symbol)$OP
- opex := operator("fixedPointExquo"::Symbol)$OP
- opint := operator("integer"::Symbol)$OP
+ opelt := operator('elt)$OP
+ --opex := operator('exquo)$OP
+ opex := operator('fixedPointExquo)$OP
+ opint := operator('integer)$OP
Rint? := R has IntegerNumberSystem
@@ -107,7 +107,7 @@ ExpressionSpaceODESolver(R, F): Exports == Implementation where
diffRhs(f, g) == diffRhsK(retract(f)@K, g)
k2exquo k ==
- is?(op := operator k, "%diff"::Symbol) =>
+ is?(op := operator k,'%diff) =>
error "Improper differential equation"
kernel(op, [div2exquo f for f in argument k]$List(F))
@@ -214,6 +214,8 @@ ExpressionSpaceODESolver(R, F): Exports == Implementation where
<<license>>=
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--All rights reserved.
+--Copyright (C) 2007-2009, Gabriel Dos Reis.
+--All rights reserved.
--
--Redistribution and use in source and binary forms, with or without
--modification, are permitted provided that the following conditions are