Changeset 901896 in git for Singular

Timestamp:

Nov 11, 2016, 3:33:33 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

02804c276c5d8c67c165a7c6de790b87c27867f1

Parents:

373dd365404a736c98ae1948dc99dc23ddb365b0

Message:

Singular_4_1: more coefficient tests in hnoether.lib

File:

• Singular/LIB/hnoether.lib (modified) (1 diff)

Singular/LIB/hnoether.lib

@@ -2447 +2447 @@
   int p = char(basering);
   //if (charstr(basering)!=string(p))
-  if(!hasQQCoefficient(basering) and !hasZpCoefficient(basering))
+  if(hasAlgExtensionCoefficient(basering)
+  or hasTransExtensionCoefficient(basering)i
+  or hasGFCoefficient(basering))
   {
      string tststr=charstr(basering);
      tststr=tststr[1..find(tststr,",")-1];     //-> "p^k" bzw. "p"
-     if (tststr==string(p)) {
-       if (size(parstr(basering))>1) {         // ring (p,a,..),...
+     //if (tststr==string(p))
+     if (!hasGFCoefficient(basering))
+     {
+       if (npars(basering)>1) {         // ring (p,a,..),...
         execute("ring extdguenstig=("+charstr(basering)+"),(x,y),ls;");
        }