Changeset 7cbe8e in git

Timestamp:

Mar 16, 2011, 5:14:06 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

4a7fc0e7f633e5d5da168f796f1ce6d072f95936

Parents:

fddf1c0b111391917a4d5965b7ddf45adb7c05d6

Message:

coeffcients Z etc. require a global ordering (in the moment)

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

File:

• Singular/ipshell.cc (modified) (6 diffs)

Singular/ipshell.cc

@@ -383 +383 @@
       {
         if (iterate) list1(prefix,h,TRUE,fullname);
-        if (IDTYP(h)==ALIAS_CMD) PrintS("A");
+        if (IDTYP(h)==ALIAS_CMD) PrintS("A");
         if ((IDTYP(h)==RING_CMD)
             || (IDTYP(h)==QRING_CMD)
@@ -1864 +1864 @@
   // ----------------------------------------
   #ifdef HAVE_PLURAL // NC! in rDecompose
-  if (rIsPluralRing(r)) 
+  if (rIsPluralRing(r))
   {
     L->m[4].rtyp=MATRIX_CMD;
@@ -1985 +1985 @@
     R->ch = R->ringflagb;
     if ((mpz_cmp_ui(R->ringflaga, 2) == 0) && (R->ringflagb <= 8*sizeof(NATNUMBER)))
-    {                                          
+    {
       /* this branch should be active for ringflagb = 2..32 resp. 2..64,
            depending on the size of a long on the respective platform */
@@ -2300 +2300 @@
           if (IDELEMS(R->algring->qideal)==1)
           {
-            R->minpoly=naInit(1,R);            
+            R->minpoly=naInit(1,R);
             lnumber n=(lnumber)R->minpoly;
             n->z=R->algring->qideal->m[0];
@@ -4867 +4867 @@
       ch = ringflagb;
       if ((mpz_cmp_ui(ringflaga, 2) == 0) && (ringflagb <= 8*sizeof(NATNUMBER)))
-      {                                    
+      {
         /* this branch should be active for ringflagb = 2..32 resp. 2..64,
            depending on the size of a long on the respective platform */
@@ -5036 +5036 @@
     goto rInitError;
 
+#ifdef HABE_RINGS
+// currently, coefficients which are ring elements require a global ordering:
+  if (rField_is_Ring(R) && (R->pOrdSgn==-1))
+  {
+    WerrorS("global ordering required for these coefficients");
+    goto rInitError;
+  }
+#endif
+
   rTest(R);