Changeset 414aa9 in git

Timestamp:

Aug 9, 2023, 3:32:20 PM (9 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

591aea7ded58b862eda91bd6064292b8f5bada49

Parents:

51d214ac353691413f73442d1c4bde2b980bb2f8

Message:

hilb w/o overflow: use in interpreter

Files:

• Singular/iparith.cc (modified) (1 diff)
• Singular/table.h (modified) (1 diff)
• doc/reference.doc (modified) (previous)

Singular/iparith.cc

@@ -6175 +6175 @@
   WerrorS(feNotImplemented);
   return TRUE;
+}
+static BOOLEAN jjHILBERT3Qt(leftv res, leftv u, leftv v, leftv w)
+{
+#ifdef HAVE_RINGS
+  if (rField_is_Z(currRing))
+  {
+    PrintS("// NOTE: computation of Hilbert series etc. is being\n");
+    PrintS("//       performed for generic fibre, that is, over Q\n");
+  }
+#endif
+  assumeStdFlag(u);
+  ring Qt =(ring)v->Data();
+  char *name=(char*)w->Data();
+  poly h;
+  if (u->Typ()==IDEAL_CMD)
+    h=hFirstSeries0p((ideal)u->Data(),currRing->qideal,NULL,currRing,Qt);
+  else
+  {
+    intvec *module_w=(intvec *)atGet(u,"isHomog",INTVEC_CMD);
+    h=hFirstSeries0m((ideal)u->Data(),currRing->qideal,NULL,module_w,currRing,Qt);
+  }
+  idhdl hh=enterid(name,myynest,POLY_CMD,&(Qt->idroot),FALSE,FALSE);
+  IDPOLY(hh)=h;
+  return FALSE;
 }
 static BOOLEAN jjHOMOG_ID_W(leftv res, leftv u, leftv v, leftv /*w*/)

Singular/table.h

@@ -822 +822 @@
 ,{D(jjHILBERT3),       HILBERT_CMD,INTVEC_CMD, IDEAL_CMD,  INT_CMD,    INTVEC_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
 ,{D(jjHILBERT3),       HILBERT_CMD,INTVEC_CMD, MODUL_CMD,  INT_CMD,    INTVEC_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
+,{D(jjHILBERT3Qt),     HILBERT_CMD,NONE,       IDEAL_CMD,  RING_CMD,   STRING_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
+,{D(jjHILBERT3Qt),     HILBERT_CMD,NONE,       MODUL_CMD,  RING_CMD,   STRING_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
 ,{D(jjHOMOG_P_W),      HOMOG_CMD,  POLY_CMD,   POLY_CMD,   POLY_CMD,   INTVEC_CMD, ALLOW_PLURAL |ALLOW_RING}
 ,{D(jjHOMOG_P_W),      HOMOG_CMD,  VECTOR_CMD, VECTOR_CMD, POLY_CMD,   INTVEC_CMD, ALLOW_PLURAL |ALLOW_RING}