Changeset f115489 in git

Timestamp:

Apr 4, 2011, 5:33:01 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

411e00284c145360dd10ef3b78b69b0e3f3d5e0f

Parents:

8047af8c8db1aff17222fa052c81d384e6e62769

Message:

ADD: bugtest for ntIntDiv & p_Content using syzextra

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

git-svn-id: file:///usr/local/Singular/svn/trunk@14091 2c84dea3-7e68-4137-9b89-c4e89433aadc

Files:

• dyn_modules/syzextra/mod_main.cc (modified) (3 diffs)
• dyn_modules/syzextra/p_content.tst (added)
• kernel/longtrans.cc (modified) (2 diffs)

dyn_modules/syzextra/mod_main.cc

@@ -8 +8 @@
 #include <kernel/longrat.h>
 #include <kernel/kstd1.h>
+
+#include <kernel/polys.h>
 
 #include <Singular/tok.h>
@@ -760 +762 @@
   return FALSE;
 }
-      
+
+/// Get raw syzygies (idPrepare)
+static BOOLEAN _p_Content(leftv res, leftv h)
+{
+  if ( !( (h!=NULL) && (h->Typ()==POLY_CMD) && (h->Data() != NULL) ) )
+  {
+    WerrorS("`system(\"p_Content\",<poly-var>)` expected");
+    return TRUE;
+  }
+
+
+  const poly p = reinterpret_cast<poly>(h->Data());
+
+  
+  pTest(p);  pWrite(p); PrintLn();
+
+  
+  p_Content( p, currRing);      
+
+  pTest(p);
+  pWrite(p); PrintLn();
+  
+  NoReturn(res);
+}
+
 END_NAMESPACE
 
@@ -787 +813 @@
   psModulFunctions->iiAddCproc(currPack->libname,(char*)"reduce_syz",FALSE, reduce_syz);
 
-//  psModulFunctions->iiAddCproc(currPack->libname,(char*)"",FALSE, );
+  psModulFunctions->iiAddCproc(currPack->libname,(char*)"p_Content",FALSE, _p_Content);
+
+  //  psModulFunctions->iiAddCproc(currPack->libname,(char*)"",FALSE, );
   
   return 0;

kernel/longtrans.cc

@@ -1372 +1372 @@
 number ntIntDiv(number la, number lb)
 {
+  ntTest(la);
+  ntTest(lb);
   lnumber res;
   lnumber a = (lnumber)la;
@@ -1384 +1386 @@
     return NULL;
   }
+#ifdef LDEBUG
+  omCheckAddrSize(a,sizeof(snumber));
+  omCheckAddrSize(b,sizeof(snumber));
+#endif
   assume(a->z!=NULL && b->z!=NULL);
   assume(a->n==NULL && b->n==NULL);