Changeset 920804 in git

Timestamp:

Jul 6, 2010, 1:49:50 PM (14 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

9592631b16a2dfdc56b89012975687590f3da197

Parents:

a3d4074cfe768cb567bd39962f9bb356c8569a4d

Message:

experimental: eliminate in q-ring

git-svn-id: file:///usr/local/Singular/svn/trunk@12949 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/ideals.cc (modified) (2 diffs)

kernel/ideals.cc

@@ -2521 +2521 @@
     return idCopy(h1);
   }
-  if (currQuotient!=NULL)
+  if ((currQuotient!=NULL) && rIsPluralRing(origR))
   {
     WerrorS("cannot eliminate in a qring");
@@ -2635 +2635 @@
   //for (k=0;k<IDELEMS(h1);k++) h->m[k] = prCopyR( h1->m[k], origR);
   h=idrCopyR(h1,origR,currRing);
+  if (origR->qideal!=NULL)
+  {
+    WarnS("eliminate in q-ring: experimental");
+    ideal q=idrCopyR(origR->qideal,origR,currRing);
+    ideal s=idSimpleAdd(h,q);
+    idDelete(&h);
+    idDelete(&q);
+    h=s;
+  }
   // compute kStd
 #if 1