diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-14 15:51:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-14 15:51:47 +0000 |
| commit | b3a46c91b4848693476332bcd32350926396783d (patch) | |
| tree | 48da8c18f9908bfeef643b77dd1dc7baa1a7ecaf /src/algebra/array2.spad.pamphlet | |
| parent | c582247ba667504452862dc5f8a007999ea367ca (diff) | |
| download | open-axiom-b3a46c91b4848693476332bcd32350926396783d.tar.gz | |
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test
for BasicType satisfaction instead of existence of =.
Diffstat (limited to 'src/algebra/array2.spad.pamphlet')
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 9be6ee45..51cc1d24 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -159,7 +159,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where qsetelt!(m,i,j,v.k) m - if R has _= : (R,R) -> Boolean then + if R has BasicType then m = n == eq?(m,n) => true |