diff options
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} |