aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/si.spad.pamphlet
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2015-12-30 02:56:09 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2015-12-30 02:56:09 -0800
commit9213251560073e45e73ae94c46bc382a625a57bb (patch)
tree97f670bfbfa3f73f1b00912f120c4998a9a04e8d /src/algebra/si.spad.pamphlet
parentd0740d0ba443f0f24c78d321e15b41bb6c45cecd (diff)
downloadopen-axiom-9213251560073e45e73ae94c46bc382a625a57bb.tar.gz
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
-rw-r--r--src/algebra/si.spad.pamphlet6
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.