Changeset 09d948 in git

Timestamp:

Mar 4, 2021, 2:56:03 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

5ccf38ac61c03787417c340be309686a05fa83d9

Parents:

3a17e58c547f24f94c955195e62719386f5472a3

Message:

fix: liftstd with 3 args

Location:

Singular

Files:

• iparith.cc (modified) (1 diff)
• table.h (modified) (1 diff)

Singular/iparith.cc

@@ -6896 +6896 @@
                                 &(hv->data.umatrix),testHomog,
                                 NULL,alg);
-  setFlag(res,FLAG_STD); v->flag=0;
-  return FALSE;
-}
-static BOOLEAN jjLIFTSTD_LIMIT(leftv res, leftv u, leftv v, leftv w)
-{
-  if ((v->rtyp!=IDHDL)||(v->e!=NULL)) return TRUE;
-  idhdl hv=(idhdl)v->data;
-#ifdef HAVE_SHIFTBBA
-  if (rIsLPRing(currRing))
-  {
-    if (currRing->LPncGenCount < IDELEMS((ideal)u->Data()))
-    {
-      Werror("At least %d ncgen variables are needed for this computation.", IDELEMS((ideal)u->Data()));
-      return TRUE;
-    }
-  }
-#endif
-  // CopyD for IDEAL_CMD and MODUL_CMD are identical:
-  res->data = (char *)idLiftStd((ideal)u->Data(),
-                                &(hv->data.umatrix),testHomog,
-                                NULL,GbDefault,(ideal)w->Data());
   setFlag(res,FLAG_STD); v->flag=0;
   return FALSE;

Singular/table.h

@@ -849 +849 @@
 ,{D(jjLIFTSTD_ALG),    LIFTSTD_CMD,IDEAL_CMD,  IDEAL_CMD,  MATRIX_CMD, STRING_CMD, ALLOW_NC |ALLOW_RING}
 ,{D(jjLIFTSTD_ALG),    LIFTSTD_CMD,MODUL_CMD,  MODUL_CMD,  MATRIX_CMD, STRING_CMD, ALLOW_NC |ALLOW_RING}
-,{D(jjLIFTSTD_LIMIT),  LIFTSTD_CMD,IDEAL_CMD,  IDEAL_CMD,  MATRIX_CMD, IDEAL_CMD, ALLOW_NC |ALLOW_RING}
-,{D(jjLIFTSTD_LIMIT),  LIFTSTD_CMD,MODUL_CMD,  MODUL_CMD,  MATRIX_CMD, MODUL_CMD, ALLOW_NC |ALLOW_RING}
 ,{D(jjMATRIX_Id),      MATRIX_CMD, MATRIX_CMD, IDEAL_CMD,  INT_CMD,    INT_CMD, ALLOW_NC |ALLOW_RING}
 ,{D(jjMATRIX_Mo),      MATRIX_CMD, MATRIX_CMD, MODUL_CMD,  INT_CMD,    INT_CMD, ALLOW_NC |ALLOW_RING}