Changeset 760bfdc in git for Singular/iparith.cc

Timestamp:

Feb 24, 2021, 10:25:05 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

d7bf543f0dc833e2899680cb0e5b7a4b7fff18f5

Parents:

29914fb99c60e5dfd7d9cca1951a5ea2c79ed469

Message:

modulo: 3 args: T/"alg"

File:

• Singular/iparith.cc (modified) (1 diff)

Singular/iparith.cc

@@ -6760 +6760 @@
   idhdl h=(idhdl)w->data;
   res->data = (char *)idModulo(u_id,v_id ,hom,&w_u, &(h->data.umatrix));
+  if (w_u!=NULL)
+  {
+    atSet(res,omStrDup("isHomog"),w_u,INTVEC_CMD);
+  }
+  delete w_v;
+  //if (TEST_OPT_RETURN_SB) setFlag(res,FLAG_STD);
+  return FALSE;
+}
+static BOOLEAN jjMODULO3S(leftv res, leftv u, leftv v, leftv w)
+{
+  if (w->rtyp!=IDHDL) return TRUE; /* idhdhl required */
+  intvec *w_u=(intvec *)atGet(u,"isHomog",INTVEC_CMD);
+  tHomog hom=testHomog;
+  if (w_u!=NULL)
+  {
+    w_u=ivCopy(w_u);
+    hom=isHomog;
+  }
+  intvec *w_v=(intvec *)atGet(v,"isHomog",INTVEC_CMD);
+  if (w_v!=NULL)
+  {
+    w_v=ivCopy(w_v);
+    hom=isHomog;
+  }
+  if ((w_u!=NULL) && (w_v==NULL))
+    w_v=ivCopy(w_u);
+  if ((w_v!=NULL) && (w_u==NULL))
+    w_u=ivCopy(w_v);
+  ideal u_id=(ideal)u->Data();
+  GbVariant alg=syGetAlgorithm((char*)w->Data(),currRing,u_id);
+  ideal v_id=(ideal)v->Data();
+  if (w_u!=NULL)
+  {
+     if ((*w_u).compare((w_v))!=0)
+     {
+       WarnS("incompatible weights");
+       delete w_u; w_u=NULL;
+       hom=testHomog;
+     }
+     else
+     {
+       if ((!idTestHomModule(u_id,currRing->qideal,w_v))
+       || (!idTestHomModule(v_id,currRing->qideal,w_v)))
+       {
+         WarnS("wrong weights");
+         delete w_u; w_u=NULL;
+         hom=testHomog;
+       }
+     }
+  }
+  idhdl h=(idhdl)w->data;
+  res->data = (char *)idModulo(u_id,v_id ,hom,&w_u, &(h->data.umatrix),alg);
   if (w_u!=NULL)
   {