Changeset e89ff5 in git

Timestamp:

May 11, 2012, 5:39:56 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')

Children:

5428647f3ac13d90ef45d257602f128804d6920a

Parents:

ed31a6cf71be2add371af4493e8c396c256ca950

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-11 17:39:56+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-15 15:49:50+02:00

Message:

moved proc Tail to the dyn. module

add: Tail command within syzextra (for poly/vector/ideal/module)

Files:

• Singular/LIB/schreyer.lib (modified) (4 diffs)
• dyn_modules/syzextra/mod_main.cc (modified) (2 diffs)

Singular/LIB/schreyer.lib

@@ -447 +447 @@
 LIB "general.lib"; // for sort
 
-// TODO: in C++!
-static proc Tail(def M)
+/* static proc Tail(def M) // DONE: in C++ (dyn. module: syzextra)!
 {
   int i = ncols(M); def m;
@@ -454 +453 @@
   {
     m = M[i];
-
-    m = m - lead(m); // m = tail(m)
-    
-    M[i] = m;
-    
+    m = m - lead(m); // m = tail(m)    
+    M[i] = m;    
     i--;
   }
   return (M);
-}
+}*/
+
 
 /* static */ proc SSinit(def M)
@@ -1426 +1423 @@
 //      exportto(Schreyer, Syzextra::p_Content);
 
+      exportto(Schreyer, Syzextra::Tail);
     }
     else
@@ -1458 +1456 @@
 //      exportto(Schreyer, Syzextra_g::p_Content);
 
+      exportto(Schreyer, Syzextra_g::Tail);
       
     }

dyn_modules/syzextra/mod_main.cc

@@ -294 +294 @@
 
   return FALSE;
+}
+
+
+
+
+
+
+static BOOLEAN Tail(leftv res, leftv h)
+{
+  NoReturn(res);
+
+  if( h == NULL )
+  {
+    WarnS("Tail needs an argument...");
+    return TRUE;
+  }
+
+  assume( h != NULL );
+
+  if( h->Typ() == POLY_CMD || h->Typ() == VECTOR_CMD)
+  {
+    const poly p = (const poly)h->Data();
+
+    res->rtyp = h->Typ();
+
+    if( p == NULL)
+      res->data = NULL;
+    else
+      res->data = p_Copy( pNext(p), currRing );
+
+    h = h->Next(); assume (h == NULL);
+    
+    return FALSE;
+  }
+
+  if( h->Typ() == IDEAL_CMD || h->Typ() == MODUL_CMD)
+  {
+    const ideal id = (const ideal)h->Data();
+
+    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;
+      
+      res->data = newid; 
+    }
+    
+    h = h->Next(); assume (h == NULL);
+    
+    return FALSE;
+  }
+
+  WarnS("Tail needs a single poly/vector/ideal/module argument...");
+  return TRUE;
 }
 
@@ -794 +856 @@
   ADD(psModulFunctions, currPack->libname, "leadrawexp", FALSE, leadrawexp);
 
+  ADD(psModulFunctions, currPack->libname, "Tail", FALSE, Tail);
+
 
   ADD(psModulFunctions, currPack->libname, "ISUpdateComponents", FALSE, ISUpdateComponents);