From 0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 10 Aug 2011 02:33:46 +0000
Subject: 	* interp/setvart.boot: Remoe OpenMath description. 	*
 interp/setvars.boot (setOutputOpenMath): Remove. 
 (describeOutputOpenMath): Likewise. 	* algebra/Makefile.in
 (axiom_algebra_layer_14): Don't include OMSERVER. 	*
 algebra/float.spad.pamphlet (Float): Remove OpenMath exports. 	*
 algebra/fraction.spad.pamphlet (Fraction): Likewise. 	*
 algebra/gaussian.spad.pamphlet (Complex): Likewise. 	*
 algebra/integer.spad.pamphlet (Integer): Likewise. 	*
 algebra/list.spad.pamphlet (List): Likewise. 	* algebra/sf.spad.pamphlet
 (DoubleFloat): Likewise. 	* algebra/si.spad.pamphlet (SingleInteger):
 Likewise. 	* algebra/string.spad.pamphlet (String): Likewise. 	*
 algebra/symbol.spad.pamphlet (Symbol): Likewise.

---
 src/algebra/si.spad.pamphlet | 47 +-------------------------------------------
 1 file changed, 1 insertion(+), 46 deletions(-)

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

diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet
index f8296439..7b58a44f 100644
--- a/src/algebra/si.spad.pamphlet
+++ b/src/algebra/si.spad.pamphlet
@@ -183,7 +183,7 @@ IntegerNumberSystem(): Category ==
 -- QSLEFTSHIFT, QSADDMOD, QSDIFMOD, QSMULTMOD
 
 
-SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,OpenMath) with
+SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic) with
    canonical
       ++ \spad{canonical} means that mathematical equality is implied by data structure equality.
    canonicalsClosed
@@ -237,51 +237,6 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,OpenMath) w
    import %bitior: (%,%) -> %       from Foreign Builtin
    import %bitxor: (%,%) -> %       from Foreign Builtin
 
-   writeOMSingleInt(dev: OpenMathDevice, x: %): Void ==
-    if negative? x then
-      OMputApp(dev)
-      OMputSymbol(dev, "arith1", "unary_minus")
-      OMputInteger(dev, convert(-x))
-      OMputEndApp(dev)
-    else
-      OMputInteger(dev, convert(x))
-
-   OMwrite(x: %): String ==
-    s: String := ""
-    sp := OM_-STRINGTOSTRINGPTR(s)$Lisp
-    dev: OpenMathDevice := OMopenString(sp pretend String, OMencodingXML())
-    OMputObject(dev)
-    writeOMSingleInt(dev, x)
-    OMputEndObject(dev)
-    OMclose(dev)
-    s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String
-    s
-
-   OMwrite(x: %, wholeObj: Boolean): String ==
-    s: String := ""
-    sp := OM_-STRINGTOSTRINGPTR(s)$Lisp
-    dev: OpenMathDevice := OMopenString(sp pretend String, OMencodingXML())
-    if wholeObj then
-      OMputObject(dev)
-    writeOMSingleInt(dev, x)
-    if wholeObj then
-      OMputEndObject(dev)
-    OMclose(dev)
-    s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String
-    s
-
-   OMwrite(dev: OpenMathDevice, x: %): Void ==
-    OMputObject(dev)
-    writeOMSingleInt(dev, x)
-    OMputEndObject(dev)
-
-   OMwrite(dev: OpenMathDevice, x: %, wholeObj: Boolean): Void ==
-    if wholeObj then
-      OMputObject(dev)
-    writeOMSingleInt(dev, x)
-    if wholeObj then
-      OMputEndObject(dev)
-
    reducedSystem(m: Matrix %) == m pretend Matrix(Integer)
    coerce(x):OutputForm == rep(x)::OutputForm
    convert(x:%):Integer == rep x
-- 
cgit v1.2.3