Remove LinearlyExplicitOver Integer from SingleInteger

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@2101 b0c55286-4f34-0410-a049-a1e7e93b0762
fricas · Sep 6, 2016 · 99c4d21 · 99c4d21
1 parent 7bdbf85
commit 99c4d21
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 7 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,9 @@
+2016-02-06  Waldek Hebisch  <hebisch@math.uni.wroc.pl>
+
+	* src/algebra/si.spad: Remove LinearlyExplicitOver Integer
+	from SingleInteger
+	src/algebra/integer.spad: Adjust
+
 2016-02-04  Waldek Hebisch  <hebisch@math.uni.wroc.pl>
 
 	* src/interp/category.boot, src/interp/info.boot,

diff --git a/src/algebra/integer.spad b/src/algebra/integer.spad
@@ -50,8 +50,9 @@ IntegerSolveLinearPolynomialEquation() : C ==T
 ++ Description: \spadtype{Integer} provides the domain of arbitrary precision
 ++ integers.
 
-Integer : Join(IntegerNumberSystem, ConvertibleTo String, OpenMath, _
-    PolynomialFactorizationExplicit, Canonical, canonicalsClosed) with
+Integer : Join(IntegerNumberSystem, LinearlyExplicitOver Integer,
+               PolynomialFactorizationExplicit, ConvertibleTo String,
+               OpenMath, Canonical, canonicalsClosed) with
     random   : % -> %
       ++ random(n) returns a random integer from 0 to \spad{n-1}.
  == add

diff --git a/src/algebra/si.spad b/src/algebra/si.spad
@@ -9,7 +9,7 @@
 IntegerNumberSystem() : Category ==
   Join(UniqueFactorizationDomain, EuclideanDomain, OrderedIntegralDomain,
          DifferentialRing, ConvertibleTo Integer, RetractableTo Integer,
-           LinearlyExplicitOver Integer, ConvertibleTo InputForm,
+           ConvertibleTo InputForm,
              ConvertibleTo Pattern Integer, PatternMatchable Integer,
                CombinatorialFunctionCategory, RealConstant,
                  CharacteristicZero, StepThrough, canonicalUnitNormal,
@@ -216,7 +216,6 @@ SingleInteger() : Join(IntegerNumberSystem, ConvertibleTo String,
     if wholeObj then
       OMputEndObject(dev)
 
-   reducedSystem m      == m pretend Matrix(Integer)
    coerce(x) : OutputForm == (convert(x)@Integer)::OutputForm
    convert(x : %) : Integer == x pretend Integer
    convert(x : %) : String == string(convert(x)@Integer)
@@ -263,9 +262,6 @@ SingleInteger() : Join(IntegerNumberSystem, ConvertibleTo String,
    negative?(x)  == negative?_SI$Lisp x
 
 
-   reducedSystem(m, v) ==
-        [m pretend Matrix(Integer), v pretend Vector(Integer)]
-
    positiveRemainder(x, n) ==
       r : % := rem_SI(x, n)$Lisp
       negative?_SI(r)$Lisp =>