diff options
Diffstat (limited to 'src/algebra/derham.spad.pamphlet')
| -rw-r--r-- | src/algebra/derham.spad.pamphlet | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet index 06bb096c..6b77c0e6 100644 --- a/src/algebra/derham.spad.pamphlet +++ b/src/algebra/derham.spad.pamphlet @@ -283,17 +283,14 @@ AntiSymm(R:Ring, lVar:List Symbol): Export == Implement where displayList:EAB -> O displayList(x):O == le: L I := exponents(x)$EAB --- reduce(_*,[(lVar.i)::O for i in 1..dim | le.i = 1])$L(O) --- reduce(_*,[(lVar.i)::O for i in 1..dim | one?(le.i)])$L(O) - reduce(_*,[(lVar.i)::O for i in 1..dim | ((le.i) = 1)])$L(O) + reduce(_*,[(lVar.i)::O for i in 1..dim | one?(le.i)])$L(O) + makeTerm:(R,EAB) -> O makeTerm(r,x) == -- we know that r ~= 0 x = Nul(dim)$EAB => r::O --- one? r => displayList(x) - (r = 1) => displayList(x) --- r = 1 => displayList(x) + one? r => displayList(x) -- r = 0 => 0$I::O -- x = Nul(dim)$EAB => r::O r::O * displayList(x) @@ -394,17 +391,13 @@ DeRhamComplex(CoefRing,listIndVar:List Symbol): Export == Implement where displayList:EAB -> O displayList(x):O == le: L I := exponents(x)$EAB --- reduce(_*,[(lv.i)::O for i in 1..dim | le.i = 1])$L(O) --- reduce(_*,[(lv.i)::O for i in 1..dim | one?(le.i)])$L(O) - reduce(_*,[(lv.i)::O for i in 1..dim | ((le.i) = 1)])$L(O) + reduce(_*,[(lv.i)::O for i in 1..dim | one?(le.i)])$L(O) makeTerm:(R,EAB) -> O makeTerm(r,x) == -- we know that r ~= 0 x = Nul(dim)$EAB => r::O --- one? r => displayList(x) - (r = 1) => displayList(x) --- r = 1 => displayList(x) + one? r => displayList(x) r::O * displayList(x) terms : % -> List Record(k: EAB, c: R) |