diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-13 13:36:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-13 13:36:34 +0000 |
| commit | f13c7c6ff91ff3256bb4b24fb64beabfef2ccd2a (patch) | |
| tree | 3cafc2a733bebdb79e26063102dacb9e11aae88f /src/algebra/matcat.spad.pamphlet | |
| parent | ee6014ad79a7499469b3a144e3af839678db1b9e (diff) | |
| download | open-axiom-f13c7c6ff91ff3256bb4b24fb64beabfef2ccd2a.tar.gz | |
* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit
empty? and empty from base domain.
(TwoDimensionalArray): Attribute shallowlyMutable is already
specified by TwoDimensionalArrayCategory.
* algebra/matcat.spad.pamphlet (MatricCategory): Attributes
shallowlyMutable and finiteAggregate are already specified by
TwoDimensionalArrayCategory.
Diffstat (limited to 'src/algebra/matcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/matcat.spad.pamphlet | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/algebra/matcat.spad.pamphlet b/src/algebra/matcat.spad.pamphlet index d0bcd007..c895e038 100644 --- a/src/algebra/matcat.spad.pamphlet +++ b/src/algebra/matcat.spad.pamphlet @@ -41,14 +41,7 @@ MatrixCategory(R,Row,Col): Category == Definition where macro I == Integer Definition ==> TwoDimensionalArrayCategory(R,Row,Col) with - shallowlyMutable - ++ One may destructively alter matrices - - finiteAggregate - ++ matrices are finite - --% Predicates - square? : % -> Boolean ++ \spad{square?(m)} returns true if m is a square matrix ++ (i.e. if m has the same number of rows as columns) and false otherwise. @@ -871,7 +864,7 @@ SquareMatrixCategory(ndim,R,Row,Col): Category == Definition where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. ---Copyright (C) 2007-2009, Gabriel Dos Reis. +--Copyright (C) 2007-2013, Gabriel Dos Reis. --All rights reserved. -- --Redistribution and use in source and binary forms, with or without |