Changeset 45e2d2 in git


Ignore:
Timestamp:
Jul 1, 2020, 9:29:42 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
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.