svn commit: r543997 - head/math/e-antic/files

[Thierry Thomas]

Author: thierry
Date: Sun Aug  2 20:16:46 2020
New Revision: 543997
URL: https://svnweb.freebsd.org/changeset/ports/543997

Log:
  Chase math/flint2.

Added:
  head/math/e-antic/files/
  head/math/e-antic/files/patch-e-antic_e-antic.h   (contents, props changed)
  head/math/e-antic/files/patch-e-antic_poly__extra.h   (contents, props changed)
  head/math/e-antic/files/patch-nf__elem_mul.c   (contents, props changed)
  head/math/e-antic/files/patch-nf__elem_reduce.c   (contents, props changed)

Added: head/math/e-antic/files/patch-e-antic_e-antic.h
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/e-antic/files/patch-e-antic_e-antic.h	Sun Aug  2 20:16:46 2020	(r543997)
@@ -0,0 +1,13 @@
+--- e-antic/e-antic.h.orig	2020-06-13 18:49:26 UTC
++++ e-antic/e-antic.h
+@@ -20,8 +20,8 @@ extern "C" {
+ 
+ /* check flint version */
+ 
+-#if __FLINT_RELEASE != 20502 && __FLINT_RELEASE != 20503 && __FLINT_RELEASE != 20600
+-#error FLINT 2.5.2 or 2.5.3 required
++#if __FLINT_RELEASE < 20502
++#error FLINT >= 2.5.2 required
+ #endif
+ 
+ #ifdef __cplusplus

Added: head/math/e-antic/files/patch-e-antic_poly__extra.h
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/e-antic/files/patch-e-antic_poly__extra.h	Sun Aug  2 20:16:46 2020	(r543997)
@@ -0,0 +1,28 @@
+--- e-antic/poly_extra.h.orig	2020-06-13 18:49:26 UTC
++++ e-antic/poly_extra.h
+@@ -262,7 +262,7 @@ void fmpz_poly_evaluate_at_one(fmpz_t res, fmpz * p, s
+     return _fmpz_vec_sum(res, p, len);
+ }
+ 
+-#if __FLINT_RELEASE != 20600
++#if __FLINT_RELEASE < 20600
+ static __inline__
+ double fmpq_get_d(const fmpq_t q)
+ {
+@@ -346,14 +346,14 @@ void _fmpz_poly_num_real_roots_sturm(slong * n_neg, sl
+ 
+ void fmpz_poly_product_roots_fmpq_vec(fmpz_poly_t poly, const fmpq * xs, slong n);
+ 
+-#elif __FLINT_RELEASE == 20503 || __FLINT_RELEASE == 20600
++#elif __FLINT_RELEASE > 20502
+ 
+ #define _EANTIC_FIXED_fmpq_poly_get_str_pretty _fmpq_poly_get_str_pretty
+ #define EANTIC_FIXED_fmpq_poly_get_str_pretty fmpq_poly_get_str_pretty
+ 
+ #else
+ 
+-#error "Invalid flint release: e-antic needs flint-2.5.2, flint-2.5.3 or flint-2.6.0"
++#error "Invalid flint release: e-antic needs flint >= 2.5.2"
+ 
+ #endif
+ 

Added: head/math/e-antic/files/patch-nf__elem_mul.c
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/e-antic/files/patch-nf__elem_mul.c	Sun Aug  2 20:16:46 2020	(r543997)
@@ -0,0 +1,11 @@
+--- nf_elem/mul.c.orig	2020-06-13 18:49:26 UTC
++++ nf_elem/mul.c
+@@ -127,7 +127,7 @@ void _nf_elem_mul_red(nf_elem_t a, const nf_elem_t b, 
+                
+                _fmpz_vec_set(r, NF_ELEM_NUMREF(a), plen);
+ 
+-#if __FLINT_RELEASE == 20600
++#if __FLINT_RELEASE >= 20600
+                _fmpz_poly_divrem(q, NF_ELEM_NUMREF(a), r, plen, 
+                   fmpq_poly_numref(nf->pol), len, 0);
+ #else

Added: head/math/e-antic/files/patch-nf__elem_reduce.c
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/e-antic/files/patch-nf__elem_reduce.c	Sun Aug  2 20:16:46 2020	(r543997)
@@ -0,0 +1,11 @@
+--- nf_elem/reduce.c.orig	2020-06-13 18:49:26 UTC
++++ nf_elem/reduce.c
+@@ -80,7 +80,7 @@ void _nf_elem_reduce(nf_elem_t a, const nf_t nf)
+                
+                _fmpz_vec_set(r, NF_ELEM_NUMREF(a), plen);
+ 
+-#if __FLINT_RELEASE == 20600
++#if __FLINT_RELEASE >= 20600
+                _fmpz_poly_divrem(q, NF_ELEM_NUMREF(a), r, plen, 
+                   fmpq_poly_numref(nf->pol), len, 0);
+ #else