diff options
Diffstat (limited to 'src/algebra/exprode.spad.pamphlet')
| -rw-r--r-- | src/algebra/exprode.spad.pamphlet | 12 |
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 |