diff options
Diffstat (limited to 'src/algebra/attreg.spad.pamphlet')
| -rw-r--r-- | src/algebra/attreg.spad.pamphlet | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/algebra/attreg.spad.pamphlet b/src/algebra/attreg.spad.pamphlet index 8fd926b0..b8853786 100644 --- a/src/algebra/attreg.spad.pamphlet +++ b/src/algebra/attreg.spad.pamphlet @@ -15,9 +15,6 @@ ++ This category exports the attributes in the AXIOM Library AttributeRegistry(): Category == with - finiteAggregate - ++ \spad{finiteAggregate} is true if it is an aggregate with a - ++ finite number of elements. commutative("*") ++ \spad{commutative("*")} is true if it has an operation ++ \spad{"*": (D,D) -> D} which is commutative. |