Changeset db7f1f in git for Singular/dyn_modules/syzextra

Timestamp:

Nov 30, 2022, 2:47:34 PM (18 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

0f9b034e4375576eb669e2c023d31263b050fee3

Parents:

d64b95c40e04b29c0132dc440dd6bf287f1eccfc

Message:

simplify syzextra

Location:

Singular/dyn_modules/syzextra

Files:

• Makefile.am (modified) (1 diff)
• mod_main.cc (modified) (2 diffs)
• singularxx_defs.h (deleted)
• syzextra.cc (deleted)
• syzextra.h (modified) (1 diff)

Singular/dyn_modules/syzextra/Makefile.am

@@ -17 +17 @@
 endif
 
-SOURCES = mod_main.cc singularxx_defs.h syzextra.cc syzextra.h
+SOURCES = mod_main.cc syzextra.h
 syzextra_la_SOURCES   = $(SOURCES)
 syzextra_la_CPPFLAGS  = ${MYINCLUDES} ${P_PROCS_CPPFLAGS_COMMON}

Singular/dyn_modules/syzextra/mod_main.cc

@@ -211 +211 @@
 
 
-
-/// wrapper around p_Tail and id_Tail
-static BOOLEAN Tail(leftv res, leftv h)
-{
-  NoReturn(res);
-
-  if( h == NULL )
-  {
-    WarnS("Tail needs a poly/vector/ideal/module argument...");
-    return TRUE;
-  }
-
-  assume( h != NULL );
-
-  const ring r =  currRing;
-
-  if( h->Typ() == POLY_CMD || h->Typ() == VECTOR_CMD)
-  {
-    res->data = p_Tail( (const poly)h->Data(), r );
-    res->rtyp = h->Typ();
-
-    h = h->Next(); assume (h == NULL);
-
-    return FALSE;
-  }
-
-  if( h->Typ() == IDEAL_CMD || h->Typ() == MODUL_CMD)
-  {
-    res->data = id_Tail( (const ideal)h->Data(), r );
-    res->rtyp = h->Typ();
-
-    h = h->Next(); assume (h == NULL);
-
-    return FALSE;
-  }
-
-  WarnS("Tail needs a single poly/vector/ideal/module argument...");
-  return TRUE;
-}
 
 /// Get leading component
@@ -522 +483 @@
   ADD("idPrepare", FALSE, idPrepare);
 
-  ADD("Tail", FALSE, Tail);
-
 #undef ADD
   return MAX_TOK;

Singular/dyn_modules/syzextra/syzextra.h

@@ -41 +41 @@
 
 poly leadmonom(const poly p, const ring r, const bool bSetZeroComp = true);
-
-/// return the tail of a given polynomial or vector
-/// returns NULL if input is NULL, otherwise
-/// the result is a new polynomial/vector in the ring r
-poly p_Tail(const poly p, const ring r);
-
-
-/// return the tail of a given ideal or module
-/// returns NULL if input is NULL, otherwise
-/// the result is a new ideal/module in the ring r
-/// NOTE: the resulting rank is autocorrected
-ideal id_Tail(const ideal id, const ring r);
 
 /// inplace sorting of the module (ideal) id wrt <_(c,ds)