Changeset 4a5e77 in git

Timestamp:

Mar 23, 2011, 2:30:30 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

a87b34163475a42f2c9e60652769c83ac2b67427

Parents:

99ffd8889ba97871be3c6a0085a9d07291c92daf

Message:

added probabilistic irreducibility test, available via system ("probIrredTest",poly,"error")


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

Files:

• Singular/extra.cc (modified) (1 diff)
• factory/GNUmakefile.in (modified) (2 diffs)
• factory/facIrredTest.cc (added)
• factory/facIrredTest.h (added)
• factory/factory.template (modified) (1 diff)

Singular/extra.cc

@@ -3600 +3600 @@
       }
       else
+  /*================= probIrredTest ======================*/
+      if (strcmp (sys_cmd, "probIrredTest") == 0)
+      {
+        if (h!=NULL && (h->Typ()== POLY_CMD) && ((h->next != NULL) && h->next->Typ() == STRING_CMD))
+        {
+          CanonicalForm F= convSingPFactoryP((poly)(h->Data()));
+          char *s=(char *)h->next->Data();
+          double error= atof (s);
+          int irred= probIrredTest (F, error);
+          res->rtyp= INT_CMD;
+          res->data= (void*)irred;
+          return FALSE;
+        }
+        else return TRUE;
+      }
+      else
   #endif
   #ifdef ix86_Win

factory/GNUmakefile.in

@@ -178 +178 @@
                 facFqSquarefree.cc \
                 facHensel.cc \
+                facIrredTest.cc \
                 fieldGCD.cc \
                 ffops.cc \
@@ -260 +261 @@
                 facFqSquarefree.h \
                 facHensel.h \
+                facIrredTest.h \
                 fieldGCD.h \
                 ffops.h \

factory/factory.template

@@ -107 +107 @@
 #include "cf_util.h"
 
+/*MAKEHEADER PUBLIC ONLY*/
+#include "facIrredTest.h"
+
 #ifdef HAVE_BIFAC
 /*MAKEHEADER PUBLIC ONLY*/