Changeset bf5b1ec in git

Timestamp:

Nov 23, 2020, 7:02:36 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

5fb661f6622757e3ce9f42e19bf763173aa74518

Parents:

4b833f5e101b6c626fe6f0087f3ce2685b5741e0

Message:

use: parallel verify and parallel farey

Location:

Singular/LIB

Files:

• modstd.lib (modified) (1 diff)
• modular.lib (modified) (1 diff)

Singular/LIB/modstd.lib

@@ -360 +360 @@
 
     /* test if result is a GB */
-    def G = std(result);
-    if (reduce_parallel(G, result)) { return(0); }
-    return(1);
+    return(system("verifyGB",result));
 }
 

Singular/LIB/modular.lib

@@ -367 +367 @@
     if (arg_type == "bigint" || arg_type == "matrix")
     { return(farey(farey_arg, farey_N)); }
+    if(hasQQCoefficient(basering))
+    {
+      return(farey(farey_arg, farey_N));
+    }
     // else: farey_arg is an ideal or a module
     exportto(Modular, farey_arg);