dedekind::algebra::is_galois_field< T, Add, Mult > Struct Template Reference

Opt-in trait: is this carrier (under the given operator witnesses) a Galois field, i.e. a field of finite cardinality? More...

Inheritance diagram for dedekind::algebra::is_galois_field< T, Add, Mult >:

Collaboration diagram for dedekind::algebra::is_galois_field< T, Add, Mult >:

Detailed Description

template<typename T, typename Add = std::plus<T>, typename Mult = std::multiplies<T>>
struct dedekind::algebra::is_galois_field< T, Add, Mult >

Opt-in trait: is this carrier (under the given operator witnesses) a Galois field, i.e. a field of finite cardinality?

Default false. The trait has a struct backing (is_galois_field) so that cross-module SpeciesTraits-based discovery works (struct partial specs fire reliably across module boundaries where variable-template partial specs do not). The public API remains the variable template is_galois_field_v<T, Add, Mult>.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/algebra/galois.cppm