diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:44:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:44:35 +0000 |
| commit | 103c8a62af0e8ea55a76aa6b33c496c03f6837e6 (patch) | |
| tree | dc749054bbbaac55721e1b26678f0f2df248fec8 /src/algebra/lodop.spad.pamphlet | |
| parent | f61d3a323d0b382ec67245137f23f18936fdb107 (diff) | |
| download | open-axiom-103c8a62af0e8ea55a76aa6b33c496c03f6837e6.tar.gz | |
* algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Tidy.
* algebra/sex.spad.pamphlet (SExpressionCategory): Fix breakage
from last commit.
Diffstat (limited to 'src/algebra/lodop.spad.pamphlet')
| -rw-r--r-- | src/algebra/lodop.spad.pamphlet | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/lodop.spad.pamphlet b/src/algebra/lodop.spad.pamphlet index c126e54d..a2a8d35a 100644 --- a/src/algebra/lodop.spad.pamphlet +++ b/src/algebra/lodop.spad.pamphlet @@ -217,19 +217,19 @@ OrdinaryDifferentialRing(Kernels,R,var): DRcategory == DRcapsule where Kernels:SetCategory R: PartialDifferentialRing(Kernels) var : Kernels - DRcategory == Join(BiModule($,$), DifferentialRing, HomotopicTo R) with + DRcategory == Join(BiModule(%,%), DifferentialRing, HomotopicTo R) with if R has Field then Field DRcapsule == R add n: Integer - Rep := R - coerce(u:R):$ == u::Rep::$ - coerce(p:$):R == p::Rep::R - differentiate p == differentiate(p, var) + Rep == R + coerce(u: R): % == per u + coerce(p: %): R == rep p + differentiate p == per differentiate(rep p, var) if R has Field then - p / q == ((p::R) /$R (q::R))::$ - p ** n == ((p::R) **$R n)::$ - inv(p) == (inv(p::R)$R)::$ + p / q == per(rep(p) / rep(q)) + p ** n == per(rep(p) ** n) + inv(p) == per inv rep p @ \section{domain DPMO DirectProductModule} |