diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-21 02:51:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-21 02:51:45 +0000 |
| commit | 0b97ae7365e5ba3d3e078147124e096f7cccde4b (patch) | |
| tree | 7c592d28e943a0ad51f6b7f77e8435fe01a03f00 | |
| parent | 84baa1f88fc80b1e05412dcf5a25234962317691 (diff) | |
| download | open-axiom-0b97ae7365e5ba3d3e078147124e096f7cccde4b.tar.gz | |
* algebra/annacat.spad.pamphlet (NumericalIntegrationProblem):
Remove redundant signature.
(NumericalODEProblem): Likewise.
(NumericalPDEProblem): Likewise.
(NumericalOptimizationProblem): Likewise.
* algebra/forttyp.spad.pamphlet (FortranType): Likewise.
* algebra/void.spad.pamphlet (Void): Now CoercibleTo OutputForm.
| -rw-r--r-- | src/ChangeLog | 10 | ||||
| -rw-r--r-- | src/algebra/annacat.spad.pamphlet | 8 | ||||
| -rw-r--r-- | src/algebra/forttyp.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/void.spad.pamphlet | 3 |
4 files changed, 11 insertions, 12 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 72b59787..7b1351e0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,15 @@ 2008-11-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/annacat.spad.pamphlet (NumericalIntegrationProblem): + Remove redundant signature. + (NumericalODEProblem): Likewise. + (NumericalPDEProblem): Likewise. + (NumericalOptimizationProblem): Likewise. + * algebra/forttyp.spad.pamphlet (FortranType): Likewise. + * algebra/void.spad.pamphlet (Void): Now CoercibleTo OutputForm. + +2008-11-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/wtpol.spad.pamphlet (WeightedPolynomials): No HomotopicTo P. (OrdinaryWeightedPolynomials): Likewise. diff --git a/src/algebra/annacat.spad.pamphlet b/src/algebra/annacat.spad.pamphlet index 70d5af6c..cf22598c 100644 --- a/src/algebra/annacat.spad.pamphlet +++ b/src/algebra/annacat.spad.pamphlet @@ -52,8 +52,6 @@ NumericalIntegrationProblem():SetCategory with ++ coerce(x) \undocumented{} coerce: Union(nia:NIAA,mdnia:MDNIAA) -> % ++ coerce(x) \undocumented{} - coerce: % -> OutputForm - ++ coerce(x) \undocumented{} retract: % -> Union(nia:NIAA,mdnia:MDNIAA) ++ retract(x) \undocumented{} @@ -105,8 +103,6 @@ NumericalODEProblem():SetCategory with coerce: ODEAB -> % ++ coerce(x) \undocumented{} - coerce: % -> OutputForm - ++ coerce(x) \undocumented{} retract: % -> ODEAB ++ retract(x) \undocumented{} @@ -165,8 +161,6 @@ NumericalPDEProblem():SetCategory with coerce: PDEBC -> % ++ coerce(x) \undocumented{} - coerce: % -> OutputForm - ++ coerce(x) \undocumented{} retract: % -> PDEBC ++ retract(x) \undocumented{} @@ -226,8 +220,6 @@ NumericalOptimizationProblem():SetCategory with ++ coerce(x) \undocumented{} coerce: UNOALSAD -> % ++ coerce(x) \undocumented{} - coerce: % -> OutputForm - ++ coerce(x) \undocumented{} retract: % -> UNOALSAD ++ retract(x) \undocumented{} diff --git a/src/algebra/forttyp.spad.pamphlet b/src/algebra/forttyp.spad.pamphlet index 334b236b..a3806331 100644 --- a/src/algebra/forttyp.spad.pamphlet +++ b/src/algebra/forttyp.spad.pamphlet @@ -184,8 +184,6 @@ FortranType() : exports == implementation where FSTU ==> Union(fst:FST,void:"void") exports == SetCategory with - coerce : $ -> OutputForm - ++ coerce(x) provides a printable form for x coerce : FST -> $ ++ coerce(t) creates an element from a scalar type scalarTypeOf : $ -> FSTU diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet index 890b854b..fd27c702 100644 --- a/src/algebra/void.spad.pamphlet +++ b/src/algebra/void.spad.pamphlet @@ -32,9 +32,8 @@ ++ All values can be coerced to type Void. Once a value has been coerced ++ to Void, it cannot be recovered. -Void: with +Void: CoercibleTo OutputForm with void: () -> % ++ void() produces a void object. - coerce: % -> OutputForm ++ coerce(v) coerces void object to outputForm. == add Rep := String void() == voidValue()$Lisp |