Laurent Rineau a06d390fd4 Merge pull request #2910 from luis4a0/Algebraic_kernel_d-RS_MPFR_compatibility-Luis ...

Algebraic kernel d RS-Fix compatibility of MPFR, MPFI and RS.

2018-03-09 18:41:16 +01:00

..

ak_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

ak_z_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

algebraic_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

algebraic_z_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

bisection_refiner_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

comparator_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

dyadic.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

exact_signat_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

functors_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

functors_z_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

Gmpfr_make_unique.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

polynomial_converter_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

rs2_calls.h

Merge pull request #2910 from luis4a0/Algebraic_kernel_d-RS_MPFR_compatibility-Luis

2018-03-09 18:41:16 +01:00

rs2_isolator_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

rs3_k_refiner_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

rs3_refiner_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

rs23_k_isolator_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

signat_1.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00