aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/smith.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/smith.spad.pamphlet')
-rw-r--r--src/algebra/smith.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/smith.spad.pamphlet b/src/algebra/smith.spad.pamphlet
index 4e824033..4572488d 100644
--- a/src/algebra/smith.spad.pamphlet
+++ b/src/algebra/smith.spad.pamphlet
@@ -84,7 +84,7 @@ SmithNormalForm(R,Row,Col,M) : Exports == Implementation where
km:= (km - 1) :: NNI
km
- if Col has shallowlyMutable then
+ if Col has ShallowlyMutableAggregate R then
test2(sm : M ,b : Col, n1:NNI,dk:NNI) : Union( Col, "failed") ==
-- test divisibility --