Changeset 4a7a45 in git for factory/cf_factory.cc

Timestamp:

Jul 29, 2020, 5:33:12 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

700b89d0131c4b3d214f49af1eeb67501875ec89

Parents:

4772b1b4621f2ab68acc9d2b5a568604d4d5e790

Message:

fix: factorize in Z[x,..] w/o NTL

File:

• factory/cf_factory.cc (modified) (3 diffs)

factory/cf_factory.cc

@@ -14 +14 @@
 #include "int_rat.h"
 #include "int_poly.h"
+#include "int_pp.h"
 #include "imm.h"
 
@@ -46 +47 @@
     case GaloisFieldDomain:
         return int2imm_gf( gf_int2gf( value ) );
+    case PrimePowerDomain:
+        return new InternalPrimePower( value );
     default: {
         ASSERT( 0, "illegal basic domain!" );
@@ -260 +263 @@
 void getmpi ( InternalCF * value, mpz_t mpi)
 {
-    ASSERT( ! is_imm( value ) && (value->levelcoeff() == IntegerDomain ), "illegal operation" );
+    ASSERT( ! is_imm( value ) && (value->levelcoeff() == IntegerDomain || value->levelcoeff() == PrimePowerDomain), "illegal operation" );
     mpz_init_set (mpi, ((InternalInteger*)value)->thempi);
 }
-