diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
| commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
| tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/si.spad.pamphlet | |
| parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
| download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz | |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
| -rw-r--r-- | src/algebra/si.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 63e6c1db..1d18f7cd 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -201,9 +201,9 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,Logic,OpenMath) with ++ \spad{noetherian} all ideals are finitely generated (in fact principal). -- bit operations - "not": % -> % + not: % -> % ++ not(n) returns the bit-by-bit logical {\em not} of the single integer n. - "xor": (%, %) -> % + xor: (%, %) -> % ++ xor(n,m) returns the bit-by-bit logical {\em xor} of ++ the single integers n and m. Not : % -> % @@ -281,8 +281,8 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,Logic,OpenMath) with x = y == EQL(x,y)$Lisp ~ x == LOGNOT(x)$Lisp not(x) == LOGNOT(x)$Lisp - _/_\(x,y) == LOGAND(x,y)$Lisp - _\_/(x,y) == LOGIOR(x,y)$Lisp + x /\ y == LOGAND(x,y)$Lisp + x \/ y == LOGIOR(x,y)$Lisp Not(x) == LOGNOT(x)$Lisp And(x,y) == LOGAND(x,y)$Lisp Or(x,y) == LOGIOR(x,y)$Lisp |