diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-10 10:32:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-10 10:32:38 +0000 |
| commit | ecd77af5ce74ac002bd6550bed79eae5a3704c35 (patch) | |
| tree | fd6d27b84f7ada7e1754fa79c8dfbc4b49b3c996 /src/algebra/string.spad.pamphlet | |
| parent | eaa625fa6948517ad21ae33b8e472982e70aadf1 (diff) | |
| download | open-axiom-ecd77af5ce74ac002bd6550bed79eae5a3704c35.tar.gz | |
* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.
Implement ~. \/, and /\ instead.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/pattern.spad.pamphlet (Pattern): Adjust.
* algebra/string.spad.pamphlet (CharacterClass): Likewise.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 16d128be..cdd1d97d 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -217,10 +217,10 @@ CharacterClass: Join(SetCategory, ConvertibleTo String, a = b == a =$Rep b member?(c, a) == a(ord c) - union(a,b) == Or(a, b) - intersect (a,b) == And(a, b) - difference(a,b) == And(a, Not b) - complement a == Not a + union(a,b) == a \/ b + intersect (a,b) == a /\ b + difference(a,b) == a /\ (~b) + complement a == ~a convert(cl):String == construct(convert(cl)@List(Character)) |