2 #ifndef _BPAS_POLYNOMIAL_TESTERS_ 3 #define _BPAS_POLYNOMIAL_TESTERS_ 5 #include "../Ring/BPASIntegralDomain.hpp" 6 #include "../Ring/BPASGCDDomain.hpp" 11 template <
class Ring,
class Dervied>
14 template <
class Ring,
class Dervied>
17 template <
class Ring,
class Dervied>
29 template <
class Ring,
class Derived>
30 class BPASIntegralPolynomialTester :
public std::conditional<std::is_base_of<BPASIntegralDomain<Ring>, Ring>::value, BPASIntegralPolynomial<Ring, Derived>, BPASBasePolynomial<Ring, Derived>>::type {};
42 template <
class Ring,
class Derived>
43 class BPASGCDPolynomialTester:
public std::conditional<std::is_base_of<BPASGCDDomain<Ring>, Ring>::value, BPASGCDPolynomial<Ring, Derived>, BPASIntegralPolynomialTester<Ring, Derived> >::type {};
Via conditional inheritance, determine if the ground ring template parameter Ring is an integral doma...
Definition: BPASPolynomialTesters.hpp:30
An abstract class defining the interface of polynomial over an arbitrary BPASRing.
Definition: BPASPolynomial.hpp:47
An abstract class defining the interface of a polynomial ring which is also an GCD domain...
Definition: BPASGCDPolynomial.hpp:19
An abstract class defining the interface of a polynomial ring which is also an integral domain...
Definition: BPASIntegralPolynomial.hpp:19
Via conditional inheritance, determine if the ground ring template parameter Ring is a GCD domain or ...
Definition: BPASPolynomialTesters.hpp:43