diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/derham.spad.pamphlet | |
parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/derham.spad.pamphlet')
-rw-r--r-- | src/algebra/derham.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet index 404df940..7ddca825 100644 --- a/src/algebra/derham.spad.pamphlet +++ b/src/algebra/derham.spad.pamphlet @@ -207,14 +207,14 @@ AntiSymm(R:Ring, lVar:List Symbol): Export == Implement where homogeneous? a == null a => true - siz := _+/exponents(a.first.base) + siz := +/exponents(a.first.base) for ta in reductum a repeat - _+/exponents(ta.base) ~= siz => return false + +/exponents(ta.base) ~= siz => return false true degree a == null a => 0$NNI - homogeneous? a => (_+/exponents(a.first.base)) :: NNI + homogeneous? a => (+/exponents(a.first.base)) :: NNI error "not a homogeneous element" zo : (I,I) -> L I @@ -230,7 +230,7 @@ AntiSymm(R:Ring, lVar:List Symbol): Export == Implement where yy:L I := exponents y for i in 1 .. (dim-1) repeat xx := rest xx - sgn := sgn + (_+/xx)*yy.i + sgn := sgn + (+/xx)*yy.i sgn rem 2 = 0 => 1 -1 |