diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
commit | 1734e62de427defcd090a95bc8b3b879c67d3fbf (patch) | |
tree | 85d39a106d392c37439d64c001377e0b2deaf6ee /src/algebra/derham.spad.pamphlet | |
parent | e3addef7d02f432fad8fc0886880f59c40000a5a (diff) | |
download | open-axiom-1734e62de427defcd090a95bc8b3b879c67d3fbf.tar.gz |
Remove redundant capsule-level declarations
Diffstat (limited to 'src/algebra/derham.spad.pamphlet')
-rw-r--r-- | src/algebra/derham.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet index 6e526e21..1ff71c4c 100644 --- a/src/algebra/derham.spad.pamphlet +++ b/src/algebra/derham.spad.pamphlet @@ -75,7 +75,6 @@ ExtAlgBasis(): Export == Implement where Implement == add Rep := L I - x,y : % x = y == x =$Rep y @@ -105,7 +104,7 @@ ExtAlgBasis(): Export == Implement where Nul n == [0 for i in 1..n] - coerce x == coerce(x @ Rep)$(L I) + coerce(x: %) == coerce(x @ Rep)$(L I) @ \section{domain ANTISYM AntiSymm} |