Changeset 6bb9d9 in git

Timestamp:

Dec 14, 2012, 4:52:05 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

8c6bd4d4de4c46d6d974085a44f6e1530d956d5a

Parents:

2e85a17b690d4918b676bac33fbbe5a019e58dad

Message:

fix: rComposeRing due to fixed Z/n^m init

File:

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

Singular/ipshell.cc

@@ -2018 +2018 @@
   // 0: string: integer
   // no further entries --> Z
-  R->cf->modBase = (int_number) omAlloc(sizeof(mpz_t));
+  int_number modBase = NULL;
+  unsigned int modExponent = 1;
+
+  modBase = (int_number) omAlloc(sizeof(mpz_t));
   if (L->nr == 0)
   {
-    mpz_init_set_ui(R->cf->modBase,0);
-    R->cf->modExponent = 1;
+    mpz_init_set_ui(modBase,0);
+    modExponent = 1;
   }
   // ----------------------------------------
@@ -2030 +2033 @@
     if (L->m[1].rtyp!=LIST_CMD) Werror("invald data, expecting list of numbers");
     lists LL=(lists)L->m[1].data;
-    mpz_init(R->cf->modBase);
     if ((LL->nr >= 0) && LL->m[0].rtyp == BIGINT_CMD)
     {
-      number modBase = (number) LL->m[0].data;
-      nlGMP(modBase, (number) R->cf->modBase, R->cf);
-      LL->m[0].data = (void *)modBase;
-    }
-    else if ((LL->nr >= 0) && LL->m[0].rtyp == INT_CMD)
-    {
-      mpz_set_ui(R->cf->modBase,(unsigned long) LL->m[0].data);
+      number tmp= (number) LL->m[0].data;
+      n_MPZ (modBase, tmp, coeffs_BIGINT);
+    }
+    else if (LL->nr >= 0 && LL->m[0].rtyp == INT_CMD)
+    {
+      mpz_init_set_ui(modBase,(unsigned long) LL->m[0].data);
     }
     else
     {
-      mpz_set_ui(R->cf->modBase,0);
+      mpz_init_set_ui(modBase,0);
     }
     if (LL->nr >= 1)
     {
-      R->cf->modExponent = (unsigned long) LL->m[1].data;
+      modExponent = (unsigned long) LL->m[1].data;
     }
     else
     {
-      R->cf->modExponent = 1;
+      modExponent = 1;
     }
   }
   // ----------------------------------------
-  if ((mpz_cmp_ui(R->cf->modBase, 1) == 0) && (mpz_cmp_ui(R->cf->modBase, 0) < 0))
+  if ((mpz_cmp_ui(modBase, 1) == 0) && (mpz_cmp_ui(modBase, 0) < 0))
   {
     Werror("Wrong ground ring specification (module is 1)");
     return;
   }
-  if (R->cf->modExponent < 1)
+  if (modExponent < 1)
   {
     Werror("Wrong ground ring specification (exponent smaller than 1");
@@ -2066 +2067 @@
   }
   // module is 0 ---> integers
-  if (mpz_cmp_ui(R->cf->modBase, 0) == 0)
-  {
-    R->cf->ch = 0;
-    R->cf->ringtype = 4;
+  if (mpz_cmp_ui(modBase, 0) == 0)
+  {
+    R->cf=nInitChar(n_Z,NULL);
   }
   // we have an exponent
-  else if (R->cf->modExponent > 1)
-  {
-    R->cf->ch = R->cf->modExponent;
-    if ((mpz_cmp_ui(R->cf->modBase, 2) == 0) && (R->cf->modExponent <= 8*sizeof(NATNUMBER)))
+  else if (modExponent > 1)
+  {
+    //R->cf->ch = R->cf->modExponent;
+    if ((mpz_cmp_ui(modBase, 2) == 0) && (modExponent <= 8*sizeof(NATNUMBER)))
     {
       /* this branch should be active for modExponent = 2..32 resp. 2..64,
            depending on the size of a long on the respective platform */
-      R->cf->ringtype = 1;       // Use Z/2^ch
+      R->cf=nInitChar(n_Z2m,(void*)(long)modExponent);       // Use Z/2^ch
     }
     else
     {
-      R->cf->ringtype = 3;
+      //ringtype 3
+      ZnmInfo info;
+      info.base= modBase;
+      info.exp= modExponent;
+      R->cf=nInitChar(n_Znm,(void*) &info);
     }
   }
@@ -2089 +2093 @@
   else
   {
-    R->cf->ringtype = 2;
-    R->cf->ch = mpz_get_ui(R->cf->modBase);
+    //ringtype = 2;
+    //const int ch = mpz_get_ui(modBase);
+    ZnmInfo info;
+    info.base= modBase;
+    info.exp= modExponent;
+    R->cf=nInitChar(n_Zn,(void*) &info);
   }
 }