diff options
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
| -rw-r--r-- | src/algebra/si.spad.pamphlet | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 795a75ed..561fc89e 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -182,12 +182,6 @@ IntegerNumberSystem(): Category == SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic) with canonical ++ \spad{canonical} means that mathematical equality is implied by data structure equality. - canonicalsClosed - ++ \spad{canonicalClosed} means two positives multiply to give positive. - noetherian - ++ \spad{noetherian} all ideals are finitely generated (in fact principal). - - -- bit operations xor: (%, %) -> % ++ xor(n,m) returns the bit-by-bit logical {\em xor} of ++ the single integers n and m. |