This is resolved - I took FLINT from fredrik-johansson, initially, but taking from wbhart/flint2 eliminated the compile error.
If it is of interest to anyone, "make check" failed with the below error. However, I was able to install both libraries and my user-land program (which uses ARB polynomials) seems to be working fine. Thanks for the help.
CXX ../build/flintxx/test/t-arithxx
In file included from test/t-arithxx.cpp:16:
test/t-arithxx.cpp: In function ‘void test_bell()’:
test/t-arithxx.cpp:58:33: error: ‘bell_number_bsplit’ was not declared in this scope; did you mean ‘bell_number_tab’?
58 | tassert(bell_number(10u) == bell_number_bsplit(10u));
| ^~~~~~~~~~~~~~~~~~
test/helpers.h:29:11: note: in definition of macro ‘tassert’
29 | if (!(expr)) \
| ^~~~
test/t-arithxx.cpp: In function ‘void test_multiplicative()’:
test/t-arithxx.cpp:134:32: error: no matching function for call to ‘divisor_sigma(flint::fmpzxx&, unsigned int)’
134 | tassert(divisor_sigma(p, 4u) == 1u + p.pow(4u));
| ^
test/helpers.h:29:11: note: in definition of macro ‘tassert’
29 | if (!(expr)) \
| ^~~~
In file included from /home/orebas/learning/flint2/fmpqxx.h:19,
from /home/orebas/learning/flint2/fmpq_polyxx.h:21,
from /home/orebas/learning/flint2/arithxx.h:17,
from test/t-arithxx.cpp:14:
/home/orebas/learning/flint2/arithxx.h:258:22: note: candidate: ‘template<class T1, class T2> typename flint::detail::binary_op_helper<T1, flint::operations::divisor_sigma_op, T2>::enable::type flint::divisor_sigma(const T1&, const T2&)’
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~
/home/orebas/learning/flint2/flintxx/expression.h:782:1: note: in definition of macro ‘FLINT_DEFINE_BINOP_HERE’
782 | name(const T1& t1, const T2& t2) \
| ^~~~
/home/orebas/learning/flint2/arithxx.h:64:1: note: in expansion of macro ‘FLINT_DEFINE_BINOP’
64 | FLINT_DEFINE_BINOP(name) \
| ^~~~~~~~~~~~~~~~~~
/home/orebas/learning/flint2/arithxx.h:258:1: note: in expansion of macro ‘ARITHXX_DEFINE_BINOP’
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~~~~~~~~
/home/orebas/learning/flint2/arithxx.h:258:22: note: template argument deduction/substitution failed:
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~
/home/orebas/learning/flint2/flintxx/expression.h:782:1: note: in definition of macro ‘FLINT_DEFINE_BINOP_HERE’
782 | name(const T1& t1, const T2& t2) \
| ^~~~
/home/orebas/learning/flint2/arithxx.h:64:1: note: in expansion of macro ‘FLINT_DEFINE_BINOP’
64 | FLINT_DEFINE_BINOP(name) \
| ^~~~~~~~~~~~~~~~~~
/home/orebas/learning/flint2/arithxx.h:258:1: note: in expansion of macro ‘ARITHXX_DEFINE_BINOP’
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~~~~~~~~
/home/orebas/learning/flint2/arithxx.h: In substitution of ‘template<class T1, class T2> typename flint::detail::binary_op_helper<T1, flint::operations::divisor_sigma_op, T2>::enable::type flint::divisor_sigma(const T1&, const T2&) [with T1 = flint::fmpzxx_expression<flint::operations::immediate, flint::detail::fmpz_data>; T2 = unsigned int]’:
test/t-arithxx.cpp:134:5: required from here
/home/orebas/learning/flint2/arithxx.h:258:22: error: no type named ‘type’ in ‘flint::detail::nary_op_helper<flint::operations::divisor_sigma_op, flint::tuple<const flint::fmpzxx_expression<flint::operations::immediate, flint::detail::fmpz_data>&, flint::tuple<unsigned int, flint::empty_tuple> > >::enable’ {aka ‘struct flint::mp::enable_if<flint::traits::is_implemented<flint::rules::UNIMPLEMENTED>, flint::detail::nary_op_helper_step2<flint::rules::UNIMPLEMENTED, flint::operations::divisor_sigma_op, flint::tuple<const flint::fmpzxx_expression<flint::operations::immediate, flint::detail::fmpz_data>&, flint::tuple<unsigned int, flint::empty_tuple> > >::return_t>’}
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~
/home/orebas/learning/flint2/flintxx/expression.h:782:1: note: in definition of macro ‘FLINT_DEFINE_BINOP_HERE’
782 | name(const T1& t1, const T2& t2) \
| ^~~~
/home/orebas/learning/flint2/arithxx.h:64:1: note: in expansion of macro ‘FLINT_DEFINE_BINOP’
64 | FLINT_DEFINE_BINOP(name) \
| ^~~~~~~~~~~~~~~~~~
/home/orebas/learning/flint2/arithxx.h:258:1: note: in expansion of macro ‘ARITHXX_DEFINE_BINOP’
258 | ARITHXX_DEFINE_BINOP(divisor_sigma, fmpzxx, at::ulong, FMPZXX_COND_S)
| ^~~~~~~~~~~~~~~~~~~~
make[1]: *** [../Makefile.subdirs:104: ../build/flintxx/test/t-arithxx] Error 1
make[1]: Leaving directory '/home/orebas/learning/flint2/flintxx'
make: *** [Makefile:223: check] Error 2