From 7c7d44f1dc284e4c4e231d97023aa87ecd5f8e44 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 10 Aug 2011 23:30:02 +0000
Subject: 	* 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.

---
 src/algebra/integer.spad.pamphlet | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/algebra/integer.spad.pamphlet')

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, "}"))
 
-- 
cgit v1.2.3