Changeset b199d5 in git

Timestamp:

Mar 7, 2002, 5:00:58 PM (21 years ago)

Author:

Mathias Schulze <mschulze@…>

Branches:

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

Children:

f92436c8e9ad3b0aadd30dcaafb8fa4eafe6c31a

Parents:

101cd892be49d477f3f2ab71d77dbfe943baa01b

Message:

*mschulze: (T,R,U)=division(M,N) => M*U=N*T+R


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

Location:

Singular

Files:

• ideals.cc (modified) (3 diffs)
• iparith.cc (modified) (3 diffs)

Singular/ideals.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: ideals.cc,v 1.127 2002-02-28 17:56:33 mschulze Exp $ */
+/* $Id: ideals.cc,v 1.128 2002-03-07 16:00:58 mschulze Exp $ */
 /*
 * ABSTRACT - all basic methods to manipulate ideals
@@ -1680 +1680 @@
 */
 
-ideal   idLift (ideal mod, ideal submod,ideal * rest, BOOLEAN goodShape,
-               BOOLEAN isSB,BOOLEAN divide,matrix * unit)
+ideal idLift(ideal mod, ideal submod,ideal *rest, BOOLEAN goodShape,
+             BOOLEAN isSB, BOOLEAN divide, matrix *unit)
 {
   int lsmod =idRankFreeModule(submod), i, j, k;
@@ -1830 +1830 @@
       {
         pShift(&(s_rest->m[j-1]),-1);
-        s_rest->m[j-1] = pNeg(s_rest->m[j-1]);
+        s_rest->m[j-1] = s_rest->m[j-1];
       }
     }

Singular/iparith.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: iparith.cc,v 1.278 2002-02-28 17:56:34 mschulze Exp $ */
+/* $Id: iparith.cc,v 1.279 2002-03-07 16:00:57 mschulze Exp $ */
 
 /*
@@ -1661 +1661 @@
   L->Init(3);
   L->m[0].rtyp=MATRIX_CMD;   L->m[0].data=(void *)T;
-  L->m[1].rtyp=MATRIX_CMD;   L->m[1].data=(void *)U;
-  L->m[2].rtyp=u->Typ();     L->m[2].data=(void *)R;
+  L->m[1].rtyp=u->Typ();     L->m[1].data=(void *)R;
+  L->m[2].rtyp=MATRIX_CMD;   L->m[2].data=(void *)U;
   res->data=(char *)L;
   return FALSE;
@@ -4858 +4858 @@
   if(v1->Typ()==POLY_CMD||v1->Typ()==VECTOR_CMD)
   {
+    if(v1->Typ()==POLY_CMD)
+      pShift(&R->m[0],-1);
     L->m[1].data=(void *)R->m[0];
     R->m[0]=NULL;
     idDelete(&R);
   }
-  else if(v1->Typ()==MATRIX_CMD)
+  else
+  if(v1->Typ()==IDEAL_CMD||v1->Typ()==MATRIX_CMD)
     L->m[1].data=(void *)idModule2Matrix(R);
-  else if(v1->Typ()!=IDEAL_CMD&&v1->Typ()!=MODUL_CMD)
+  else
     L->m[1].rtyp=MODUL_CMD;
   res->data=L;