diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-23 21:16:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-23 21:16:19 +0000 |
commit | f61d3a323d0b382ec67245137f23f18936fdb107 (patch) | |
tree | efaac35d84f0b914f62b1dfaa9f7b0d9be0206cb /src/algebra/misc.spad.pamphlet | |
parent | 451422777355655abc12203831db9d067762fb06 (diff) | |
download | open-axiom-f61d3a323d0b382ec67245137f23f18936fdb107.tar.gz |
* algebra/seg.spad.pamphlet (SegmentCategory): Extend
ConvertibleFrom S.
* algebra/newpoint.spad.pamphlet (PointCategory): Extend
ConvertibleFrom List R.
* algebra/misc.spad.pamphlet (SingletonAsOrderedSet): Now
ConvertibleTo Symbol.
* algebra/integer.spad.pamphlet (RomanNumeral): Now
ConvertibleFrom Symbol.
* algebra/float.spad.pamphlet (Float): Now ConvertibleFrom SF.
* algebra/sex.spad.pamphlet (SExpressionCategory): Extend
ConvertibleFrom Str, ConvertibleFrom Sym, ConvertibleFrom Int,
ConvertibleFrom Flt, ConvertibleFrom List %.
Diffstat (limited to 'src/algebra/misc.spad.pamphlet')
-rw-r--r-- | src/algebra/misc.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/misc.spad.pamphlet b/src/algebra/misc.spad.pamphlet index 86caa39b..6b2d907f 100644 --- a/src/algebra/misc.spad.pamphlet +++ b/src/algebra/misc.spad.pamphlet @@ -14,9 +14,8 @@ )abbrev domain SAOS SingletonAsOrderedSet ++ This trivial domain lets us build Univariate Polynomials ++ in an anonymous variable -SingletonAsOrderedSet(): OrderedSet with +SingletonAsOrderedSet(): Join(OrderedSet,ConvertibleTo Symbol) with create:() -> % - convert:% -> Symbol == add create() == "?" pretend % a<b == false -- only one element |