diff options
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 |