Changeset 61a050 in git

Timestamp:

Sep 29, 2011, 2:53:30 PM (13 years ago)

Author:

Burcin Erocal <burcin@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')

Children:

90aec7cff5c6f80707df1dab11b76ec197feef31

Parents:

0ff2030fd072d70a06a89af842c039505b704f90

git-author:

Burcin Erocal <burcin@erocal.org>2011-09-29 14:53:30+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:47+01:00

Message:

Setting ShortOut on the command line now effects coeffient rings as well.

If the current ring is over an extension field, the ShortOut parameter
was not set on the coefficient domains. We now recurse down the
coefficient rings to set this.

Files:

• Singular/ipassign.cc (modified) (1 diff)
• Tst/New/trans_ext_std.tst (modified) (1 diff)

Singular/ipassign.cc

@@ -126 +126 @@
 #else
     currRing->ShortOut = shortOut;
+    coeffs cf = currRing->cf;
+    while (nCoeff_is_Extension(cf)) {
+      cf->extRing->ShortOut = shortOut;
+      assume(cf->extRing != NULL);
+      cf = cf->extRing->cf;
+    }
 #endif
   }

Tst/New/trans_ext_std.tst

@@ -6 +6 @@
 Id[3]=cy^2+sy^2-1;
 std(Id); // GB in Q( I,T,Px,Py,Cx,Cy,Sx,Sy,a,b,dt,dx,dy )[ i,t,x,y,cx,cy,sx,sy ]!
+ring abP = (0,a,b),(p4,p5),dp;
+ideal abE;
+abE[1]=-p4+p5+(ab+a+b2+3b);
+abE[2]=-p5+(a2+2a);
+abE[3]=(a-b)*p4+(-a)*p5+(-a2+b3+3b2);
+abE;
+option(redSB);
+option(redTail);
+std(abE);
 tst_status(1);$