diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:54:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:54:55 +0000 |
commit | 49727ef97a25730307fdb9622be726e92a41a875 (patch) | |
tree | 5c6fbb86ff4e49c7ed0d510e76f42d7352005c88 /src/algebra/symbol.spad.pamphlet | |
parent | 0b97ae7365e5ba3d3e078147124e096f7cccde4b (diff) | |
download | open-axiom-49727ef97a25730307fdb9622be726e92a41a875.tar.gz |
* algebra/alql.spad.pamphlet (Database): Now CoercibleFrom List S.
* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT FEXPR.
(Asp6): Now CoercibleFrom Vector FEXPR.
* algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R.
(Ring): Extend CoercibleFrom Integer.
* algebra/formula.spad.pamphlet (ScriptFormulaFormat): Now
CoercibleFrom E.
* algebra/fortran.spad.pamphlet (FortranCode): Remove redundant
signature.
* algebra/fs2ups.spad.pamphlet
(FunctionSpaceToUnivariatePowerSeries): Tidy parameter.
* algebra/laurent.spad.pamphlet
(UnivariateLaurentSeriesConstructorCategory): Extend CoercibleFrom
UTS.
* algebra/manip.spad.pamphlet (PolynomialRoots): Tidy parameter.
* algebra/modmon.spad.pamphlet (ModMonic): Now CoercibleFrom Rep.
* algebra/ore.spad.pamphlet (UnivariateSkewPolynomial): Now
CoercibleFrom Variable x.
Diffstat (limited to 'src/algebra/symbol.spad.pamphlet')
-rw-r--r-- | src/algebra/symbol.spad.pamphlet | 4 |
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 |