Changeset 63df50e in git

Timestamp:

Jun 28, 2020, 1:03:54 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

78242cd9e20b3bbe063e29767e95ac64f65545d6

Parents:

a7235589fb2e045397d9d6de8846aeccb51f4074

Message:

factory: use correct first root via flint

File:

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

factory/cf_map_ext.cc

@@ -84 +84 @@
     fq_nmod_poly_factor_init(fac,ctx);
     fq_nmod_poly_roots(fac, mipo2, 0, ctx);
-     // root of first factor:
+    // root of first (linear) factor: -absolute Term
     fq_nmod_t r0;
     fq_nmod_init(r0, ctx);
     fq_nmod_poly_get_coeff(r0,fac->poly,0,ctx);
+    fq_nmod_neg(r0, r0, ctx);
     // convert
     CanonicalForm r1=convertFq_nmod_t2FacCF(r0,beta);
@@ -398 +399 @@
   fq_nmod_poly_factor_init(fac,ctx);
   fq_nmod_poly_roots(fac, FLINT_beta_mipo, 0, ctx);
-  // root of first factor:
+  // root of first (linear) factor: -absolute Term
   fq_nmod_t r0;
   fq_nmod_init(r0, ctx);
   fq_nmod_poly_get_coeff(r0,fac->poly,0,ctx);
+  fq_nmod_neg(r0, r0, ctx);
   // convert
   CanonicalForm r1=convertFq_nmod_t2FacCF(r0,alpha);
@@ -461 +463 @@
     fq_nmod_poly_factor_init(fac,ctx);
     fq_nmod_poly_roots(fac, mipo2, 0, ctx);
-     // root of first factor:
+    // root of first (linear) factor: -absolute Term
     fq_nmod_t r0;
     fq_nmod_init(r0, ctx);
     fq_nmod_poly_get_coeff(r0,fac->poly,0,ctx);
+    fq_nmod_neg(r0, r0, ctx);
     // convert
     CanonicalForm r1=convertFq_nmod_t2FacCF(r0,beta);