aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/derham.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/derham.spad.pamphlet')
-rw-r--r--src/algebra/derham.spad.pamphlet3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet
index fe2a2e36..6e526e21 100644
--- a/src/algebra/derham.spad.pamphlet
+++ b/src/algebra/derham.spad.pamphlet
@@ -87,7 +87,8 @@ ExtAlgBasis(): Export == Implement where
coerce(li:(L I)) ==
for x in li repeat
- if x ~= 1 and x ~= 0 then error "coerce: values can only be 0 and 1"
+ if not one? x and not zero? x then
+ error "coerce: values can only be 0 and 1"
li
degree x == (_+/x)::NNI