diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
commit | c76dce6ee2f6b6830f1087f83bf452974ce3bf09 (patch) | |
tree | 40e02b9b2ed5af7e36ebf581f5d58d4557ef94bf /src/algebra/exprode.spad.pamphlet | |
parent | 65045e7285ed629a68ae63529fae61bbcf7bf890 (diff) | |
download | open-axiom-c76dce6ee2f6b6830f1087f83bf452974ce3bf09.tar.gz |
* algebra/algfunc.spad.pamphlet: Quote symbols.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/drawopt.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/gaussian.spad.pamphlet: Likewise.
* algebra/intaux.spad.pamphlet: Likewise.
* algebra/irexpand.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/lmdict.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
* algebra/matcat.spad.pamphlet: Likewise.
* algebra/matrix.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/mset.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/patmatch1.spad.pamphlet: Likewise.
* algebra/pattern.spad.pamphlet: Likewise.
* algebra/quat.spad.pamphlet: Likewise.
* algebra/sets.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
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 |