Changeset cd5fefc in git

Timestamp:

Jul 3, 2012, 6:58:10 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

20409220dfe91ce9647c6b8d12e43f086961aa14

Parents:

ff7993e279b46dbac09bfb1762c976061c50eb24

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-03 18:58:10+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:45+02:00

Message:

new p_Tail and id_Tail (separated from a wrapper)

Location:

dyn_modules/syzextra

Files:

• mod_main.cc (modified) (4 diffs)
• syzextra.cc (modified) (1 diff)
• syzextra.h (modified) (1 diff)

dyn_modules/syzextra/mod_main.cc

@@ -469 +469 @@
 }
 
-
-
-
-
-
+/// wrapper around p_Tail and id_Tail
 static BOOLEAN Tail(leftv res, leftv h)
 {
@@ -480 +476 @@
   if( h == NULL )
   {
-    WarnS("Tail needs an argument...");
+    WarnS("Tail needs a poly/vector/ideal/module argument...");
     return TRUE;
   }
@@ -486 +482 @@
   assume( h != NULL );
 
+  const ring r =  currRing;
+
   if( h->Typ() == POLY_CMD || h->Typ() == VECTOR_CMD)
   {
-    const poly p = (const poly)h->Data();
-
+    res->data = p_Tail( (const poly)h->Data(), r );
     res->rtyp = h->Typ();
-
-    if( p == NULL)
-      res->data = NULL;
-    else
-      res->data = p_Copy( pNext(p), currRing );
 
     h = h->Next(); assume (h == NULL);
@@ -504 +496 @@
   if( h->Typ() == IDEAL_CMD || h->Typ() == MODUL_CMD)
   {
-    const ideal id = (const ideal)h->Data();
-
+    res->data = id_Tail( (const ideal)h->Data(), r );      
     res->rtyp = h->Typ();
-
-    if( id == NULL)
-      res->data = NULL;
-    else
-    {
-      const ideal newid = idInit(IDELEMS(id),id->rank);
-      for (int i=IDELEMS(id) - 1; i >= 0; i--)
-        if( id->m[i] != NULL )
-          newid->m[i] = p_Copy(pNext(id->m[i]), currRing);
-        else
-          newid->m[i] = NULL;
-      
-      newid->rank = id_RankFreeModule(newid, currRing);
-      
-      res->data = newid; 
-    }
     
     h = h->Next(); assume (h == NULL);

dyn_modules/syzextra/syzextra.cc

@@ -28 +28 @@
 
 
+poly p_Tail(const poly p, const ring r)
+{
+  if( p == NULL)
+    return NULL;
+  else
+    return p_Copy( pNext(p), r );
+}
+
+
+ideal id_Tail(const ideal id, const ring r)
+{
+  if( id == NULL)
+    return NULL;
+
+  const ideal newid = idInit(IDELEMS(id),id->rank);
+  
+  for (int i=IDELEMS(id) - 1; i >= 0; i--)
+    newid->m[i] = p_Tail( id->m[i], r );
+
+  newid->rank = id_RankFreeModule(newid, currRing);
+
+  return newid;  
+}
+
 
 

dyn_modules/syzextra/syzextra.h

@@ -34 +34 @@
 
 
+/// 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);
+