Changeset 45e2d2 in git for factory/cf_map_ext.cc


Ignore:
Timestamp:
Jul 1, 2020, 9:29:42 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
40094f039220baa5e12f82b98b071665acff2fe4
Parents:
ec8f57a61e260db5b7ea8516a342d9551881dcb2
Message:
factory: check FLINT_RELEASE for fq_nmod_poly_roots
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/cf_map_ext.cc

    rec8f57 r45e2d2  
    7171{
    7272  int p= getCharacteristic ();
    73   #ifdef HAVE_FLINT
     73  #if defined(HAVE_FLINT) && (__FLINT_RELEASE >= 20503)
    7474    // convert mipo1
    7575    nmod_poly_t mipo1;
Note: See TracChangeset for help on using the changeset viewer.