Changeset 1f4ed3 in git


Ignore:
Timestamp:
Dec 16, 2013, 2:41:46 PM (10 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
1a688bac5a4cda9259d2e3370e235dae6231fc16
Parents:
fc25d7148572ee90d065637f58166dac76c41c53
git-author:
Martin Lee <martinlee84@web.de>2013-12-16 14:41:46+01:00
git-committer:
Martin Lee <martinlee84@web.de>2014-01-20 16:45:03+01:00
Message:
chg: use for univariate factorization over Fq
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/cf_factor.cc

    rfc25d7 r1f4ed3  
    657657      if (ch>2)
    658658      {
     659#if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)
     660        nmod_poly_t FLINTmipo, leadingCoeff;
     661        fq_nmod_ctx_t fq_con;
     662
     663        nmod_poly_init (FLINTmipo, getCharacteristic());
     664        nmod_poly_init (leadingCoeff, getCharacteristic());
     665        convertFacCF2nmod_poly_t (FLINTmipo, getMipo (alpha));
     666
     667        fq_nmod_ctx_init_modulus (fq_con, FLINTmipo, "Z");
     668        fq_nmod_poly_t FLINTF;
     669        convertFacCF2Fq_nmod_poly_t (FLINTF, f, fq_con);
     670        fq_nmod_poly_factor_t res;
     671        fq_nmod_poly_factor_init (res, fq_con);
     672        fq_nmod_poly_factor (res, leadingCoeff, FLINTF, fq_con);
     673        F= convertFLINTFq_nmod_poly_factor2FacCFFList (res, f.mvar(), alpha, fq_con);
     674        F.insert (CFFactor (Lc (f), 1));
     675
     676        fq_nmod_poly_factor_clear (res, fq_con);
     677        fq_nmod_poly_clear (FLINTF, fq_con);
     678        nmod_poly_clear (FLINTmipo);
     679        nmod_poly_clear (leadingCoeff);
     680        fq_nmod_ctx_clear (fq_con);
     681#else
    659682        // First all cases with characteristic !=2
    660683        // set remainder
     
    682705        // return converted result
    683706        F=convertNTLvec_pair_zzpEX_long2FacCFFList(factors,leadcoeff,f.mvar(),alpha);
     707#endif
    684708      }
    685709      else if (/*getCharacteristic()*/ch==2)
Note: See TracChangeset for help on using the changeset viewer.