diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 10:13:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 10:13:02 +0000 |
| commit | ca02b22bc124b48faad0cdd3cc89568802ba16b9 (patch) | |
| tree | 596842b4f72c39a039648d5fcd6d72af255a2867 /src/algebra/attreg.spad.pamphlet | |
| parent | c8d92c23d9f689c2ba3b18f4f5e5e497d539ef78 (diff) | |
| download | open-axiom-ca02b22bc124b48faad0cdd3cc89568802ba16b9.tar.gz | |
Use FiniteAggregate instead of finiteAggregate
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. |