diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-10 23:30:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-10 23:30:02 +0000 |
| commit | 7c7d44f1dc284e4c4e231d97023aa87ecd5f8e44 (patch) | |
| tree | db90d375dde6576789ad23ae39dc5de66b148e57 /src/algebra/newpoly.spad.pamphlet | |
| parent | e6b1636fe3b19b148f347f6b9f00642db83c5ddc (diff) | |
| download | open-axiom-7c7d44f1dc284e4c4e231d97023aa87ecd5f8e44.tar.gz | |
* algebra/float.spad.pamphlet (Float): Tidy.
* algebra/fortmac.spad.pamphlet (MachineInteger): Likewise.
* algebra/fspace.spad.pamphlet (FunctionSpace): Likewise.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/mkfunc.spad.pamphlet (InputForm): Likewise.
* algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory):
Likewise.
* input/knot.input.pamphlet: Likewise.
* input/knot2.input.pamphlet: Likewise.
* input/mult3d.input.pamphlet: Likewise.
* input/multKnot.input.pamphlet: Likewise.
* input/r21bugsbig.input.pamphlet: Likewise.
* input/tutchap2.input.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/newpoly.spad.pamphlet')
| -rw-r--r-- | src/algebra/newpoly.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/newpoly.spad.pamphlet b/src/algebra/newpoly.spad.pamphlet index 459ef7b3..65bdcde7 100644 --- a/src/algebra/newpoly.spad.pamphlet +++ b/src/algebra/newpoly.spad.pamphlet @@ -1367,7 +1367,7 @@ RecursivePolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet): Ca then convert(pol:$):String == - ground?(pol) => convert(retract(ground(pol))@INT)@String + ground?(pol) => string(retract(ground(pol))@INT) ipol : $ := init(pol) vpol : V := mvar(pol) dpol : NNI := mdeg(pol) @@ -1392,7 +1392,7 @@ RecursivePolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet): Ca then sdpol := empty()$String else - sdpol := concat("**",convert(convert(dpol)@INT)@String )$String + sdpol := concat("**",string(convert(dpol)@INT))$String if zero? tpol then stpol := empty()$String @@ -1402,9 +1402,9 @@ RecursivePolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet): Ca n := retract(ground(tpol))@INT if positive? n then - stpol := concat(" +",convert(n)@String)$String + stpol := concat(" +", string n)$String else - stpol := convert(n)@String + stpol := string n else stpol := convert(tpol)@String if not member?((stpol.1)::String,["+","-"])$(List String) |