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/integer.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/integer.spad.pamphlet')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index 9052e19d..050009ea 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -70,7 +70,7 @@ IntegerSolveLinearPolynomialEquation(): C ==T ++ Description: \spadtype{Integer} provides the domain of arbitrary precision ++ integers. -Integer: Join(IntegerNumberSystem, ConvertibleTo String) with +Integer: IntegerNumberSystem with canonical ++ mathematical equality is data structure equality. canonicalsClosed @@ -137,10 +137,9 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String) with convert(x:%):Float == coerce(x)$Float convert(x:%):DoubleFloat == coerce(x)$DoubleFloat convert(x:%):InputForm == convert(x)$InputForm - convert(x:%):String == %i2s x latex(x:%):String == - s : String := convert x + s := %i2s x -%icst1 < x and x < 10 => s %strconc("{", %strconc(s, "}")) |