diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-10 02:33:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-10 02:33:46 +0000 |
| commit | 0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc (patch) | |
| tree | 42ef806af61677a355623104e7ef3d35ecbbaedb /src/algebra/fraction.spad.pamphlet | |
| parent | f1a4ca4eb786bfb440fd537d06a25264b0596369 (diff) | |
| download | open-axiom-0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc.tar.gz | |
* 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.
Diffstat (limited to 'src/algebra/fraction.spad.pamphlet')
| -rw-r--r-- | src/algebra/fraction.spad.pamphlet | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/src/algebra/fraction.spad.pamphlet b/src/algebra/fraction.spad.pamphlet index 21162627..6fecb082 100644 --- a/src/algebra/fraction.spad.pamphlet +++ b/src/algebra/fraction.spad.pamphlet @@ -311,7 +311,6 @@ QuotientFieldCategoryFunctions2(A, B, R, S): Exports == Impl where ++ If S is also a GcdDomain, then gcd's between numerator and ++ denominator will be cancelled during all operations. Fraction(S: IntegralDomain): QuotientFieldCategory S with - if S has IntegerNumberSystem and S has OpenMath then OpenMath if S has canonical and S has GcdDomain and S has canonicalUnitNormal then canonical ++ \spad{canonical} means that equal elements are in fact identical. @@ -353,55 +352,6 @@ Fraction(S: IntegralDomain): QuotientFieldCategory S with negative? x => -floor(-x) 1 + wholePart x - if S has OpenMath then - -- TODO: somwhere this file does something which redefines the division - -- operator. Doh! - - writeOMFrac(dev: OpenMathDevice, x: %): Void == - OMputApp(dev) - OMputSymbol(dev, "nums1", "rational") - OMwrite(dev, x.num, false) - OMwrite(dev, x.den, false) - OMputEndApp(dev) - - OMwrite(x: %): String == - s: String := "" - sp := OM_-STRINGTOSTRINGPTR(s)$Lisp - dev: OpenMathDevice := _ - OMopenString(sp pretend String, OMencodingXML()) - OMputObject(dev) - writeOMFrac(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) - writeOMFrac(dev, x) - if wholeObj then - OMputEndObject(dev) - OMclose(dev) - s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String - s - - OMwrite(dev: OpenMathDevice, x: %): Void == - OMputObject(dev) - writeOMFrac(dev, x) - OMputEndObject(dev) - - OMwrite(dev: OpenMathDevice, x: %, wholeObj: Boolean): Void == - if wholeObj then - OMputObject(dev) - writeOMFrac(dev, x) - if wholeObj then - OMputEndObject(dev) - if S has GcdDomain then cancelGcd: % -> S normalize: % -> % |