Changeset e4b8c88 in git

Timestamp:

Nov 8, 2016, 4:40:06 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

7b91e9f8719333bdbe27dcebdd5373b7100f4013

Parents:

939ae032b1af2575305b131ba26f2ba6bd5d74e9

Message:

chg: prepare for 4_1 (realclassify.lib)

Location:

Singular/LIB

Files:

• realclassify.lib (modified) (2 diffs)
• ring.lib (modified) (5 diffs)

Singular/LIB/realclassify.lib

@@ -1 +1 @@
 ////////////////////////////////////////////////////////////////////////////
-version="version realclassify.lib 4.0.0.0 Jun_2013 "; // $Id$
+version="version realclassify.lib 4.0.3.5 Nov_2016 "; // $Id$
 category="Singularities";
 info="
@@ -92 +92 @@
 
   /* error check */
-  if(charstr(br) != "0")
+  if(!hasQQCoefficient(br))
   {
     ERROR("The ground field must be Q (the rational numbers).");

Singular/LIB/ring.lib

@@ -28 +28 @@
  hasZpCoefficient         check if the coefficient ring is ZZ/p
  hasZp_aCoefficient       check if the coefficient ring is an elag. ext. of ZZ/p
+ hasQQCoefficient         check if the coefficient ring is QQ
  hasNumericCoeffs(rng)    check for use of floating point numbers
  hasCommutativeVars(rng)  non-commutive or commnuative polynomial ring
  hasGlobalOrdering(rng)   global versus mixed/local monomial ordering
  hasMixedOrdering()       mixed versus global/local ordering
- hasFieldCoefficient(rng) coefficients are a field
  hasAlgExtensionCoefficient(r) coefficients are an algebraic extension
  hasTransExtensionCoefficient(r) coefficients are rational functions
@@ -1064 +1064 @@
 proc hasGFCoefficient(def rng )
 "USAGE: hasGFCoefficient ( rng );
-RETURN:  1 if the coeffcients form GF(p,k), 0 otherwise.
+RETURN:  1 if the coeffcients are of the form GF(p,k), 0 otherwise.
 KEYWORDS: ring coefficients
 EXAMPLE: example hasGFCoefficient; shows an example
@@ -1090 +1090 @@
 proc hasZp_aCoefficient(def rng )
 "USAGE: hasZp_aCoefficient ( rng );
-RETURN:  1 if the coeffcients form Zp_a(p,k), 0 otherwise.
+RETURN:  1 if the coeffcients are of the form Zp_a(p,k), 0 otherwise.
 KEYWORDS: ring coefficients
 EXAMPLE: example hasZp_aCoefficient; shows an example
@@ -1111 +1111 @@
 proc hasZpCoefficient(def rng )
 "USAGE: hasZpCoefficient ( rng );
-RETURN:  1 if the coeffcients form ZZ/p, 0 otherwise.
+RETURN:  1 if the coeffcients are of the form ZZ/p, 0 otherwise.
 KEYWORDS: ring coefficients
 EXAMPLE: example hasZpCoefficient; shows an example
 "
 {
-  //return((charstr(rng)!=string(char(rng))) &&
-  //(npars(rng)==1) &&
-  //(find(charstr(rng),string(char(rng)))!=1) &&
-  //(charstr(basering)<>"real")&&
-  //(charstr(basering)<>"complex") );
   return(attrib(rng,"cf_class")==1);
 }
@@ -1130 +1125 @@
   ring r2 = 7,x,dp;
   hasZpCoefficient(r2);
+}
+
+proc hasQQCoefficient(def rng )
+"USAGE: hasQQCoefficient ( rng );
+RETURN:  1 if the coeffcients are QQ, 0 otherwise.
+KEYWORDS: ring coefficients
+EXAMPLE: example hasQQCoefficient; shows an example
+"
+{
+  return(attrib(rng,"cf_class")==2);
+}
+example
+{
+  "EXAMPLE:";echo=2;
+  ring r1 = integer,x,dp;
+  hasQQCoefficient(r1);
+  ring r2 = QQ,x,dp;
+  hasQQCoefficient(r2);
 }