aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/symbol.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/symbol.spad.pamphlet')
-rw-r--r--src/algebra/symbol.spad.pamphlet4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/symbol.spad.pamphlet b/src/algebra/symbol.spad.pamphlet
index 8367da5c..b41a4f0a 100644
--- a/src/algebra/symbol.spad.pamphlet
+++ b/src/algebra/symbol.spad.pamphlet
@@ -23,7 +23,7 @@ Symbol(): Exports == Implementation where
Scripts ==> Record(sub:L,sup:L,presup:L,presub:L,args:L)
Exports ==> Join(OrderedSet, ConvertibleTo InputForm, OpenMath,
- ConvertibleTo Symbol,
+ ConvertibleTo Symbol,CoercibleFrom String,
ConvertibleTo Pattern Integer, ConvertibleTo Pattern Float,
PatternMatchable Integer, PatternMatchable Float) with
new: () -> %
@@ -33,8 +33,6 @@ Symbol(): Exports == Implementation where
resetNew: () -> Void
++ resetNew() resets the internals counters that new() and
++ new(s) use to return distinct symbols every time.
- coerce: String -> %
- ++ coerce(s) converts the string s to a symbol.
name: % -> %
++ name(s) returns s without its scripts.
scripted?: % -> Boolean