Changeset 9b46be in git for Singular/LIB/ring.lib

Timestamp:

Feb 12, 2015, 11:48:27 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

3a823d31cc10c360f47890e903f0104a00e4f97b

Parents:

b6b3d32f64eb5abf2e433181da0eb1e393339533

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-02-12 11:48:27+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-02-12 13:39:38+01:00

Message:

add Ring::hasAlgExtensionCoefficient

File:

• Singular/LIB/ring.lib (modified) (5 diffs)

Singular/LIB/ring.lib

@@ -31 +31 @@
  hasMixedOrdering()       mixed versus global/local ordering
  hasFieldCoefficient(rng) coefficients are a field
+ hasAlgExtensionCoefficient(r) coefficients are an algebraic extension
  isQuotientRing(rng)      ring is a qotient ring
  isSubModule(I,J)         check if I is in J as submodule
@@ -924 +925 @@
 }
 
-
-
-
 proc isQuotientRing(def rng )
 "USAGE: isQuotientRing ( rng );
@@ -947 +945 @@
 example
 {
+  "EXAMPLE:";echo=2;
   ring rng = 0,x,dp;
   isQuotientRing(rng); //no
@@ -993 +992 @@
 example
 {
+  "EXAMPLE:";echo=2;
   ring rng = integer,x,dp;
   hasFieldCoefficient(rng); //no
@@ -999 +999 @@
   ring rng2 = 0, x, dp;
   hasFieldCoefficient(rng2);  // yes
+}
+
+proc hasAlgExtensionCoefficient(def rng )
+"USAGE: hasAlgExtensionCoefficient ( rng );
+RETURN:  1 if the coeffcients are an gelebrai extension, 0 otherwise.
+KEYWORDS: ring coefficients
+EXAMPLE: example hasAlgExtensionCoefficient; shows an example
+"
+{
+  def savering=basering;
+  setring rng;
+  int r=(string(minpoly)!="0");
+  setring savering;
+  return(r);
+}
+example
+{
+  "EXAMPLE:";echo=2;
+  ring rng = integer,x,dp;
+  hasAlgExtensionCoefficient(rng); //no
+  ring rng2 = (0,a), x, dp; minpoly=a2-1;
+  hasAlgExtensionCoefficient(rng2);  // yes
 }