CECCO::details::collect_subfields< F > Struct Template Reference

All subfields of F (including F itself), as a type_list. More...

Inheritance diagram for CECCO::details::collect_subfields< F >:

Detailed Description

template<typename F>
struct CECCO::details::collect_subfields< F >

All subfields of F (including F itself), as a type_list.

Template Parameters

F	Finite-field type

Recurses through the construction tower: Fp<p> is the base case, Ext<B, …> extends collect_subfields_t<B> ∪ {B} with itself, and Iso<…> unions the subfield lists of all its representations. Used by largest_common_subfield_t.

Definition at line 543 of file field_concepts_traits.hpp.

---

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

• field_concepts_traits.hpp