Construction-based subfield test: SUBFIELD reachable by descending SUPERFIELD's tower. More...

#include <field_concepts_traits.hpp>

Inheritance diagram for CECCO::details::is_subfield_of< SUPERFIELD, SUBFIELD >:

Detailed Description

template<FiniteFieldType SUPERFIELD, FiniteFieldType SUBFIELD>
struct CECCO::details::is_subfield_of< SUPERFIELD, SUBFIELD >

Construction-based subfield test: SUBFIELD reachable by descending SUPERFIELD's tower.

Template Parameters

SUPERFIELD	Finite-field type
SUBFIELD	Finite-field type

The relationship is recorded by construction, not by mathematical containment. If F16 is built directly as Ext<F2, …>, then is_subfield_of_v<F16, F4> is false even though mathematically 𝔽₄ ⊆ 𝔽₁₆ — F4 simply does not appear in F16's construction. This is the primitive that backs the user-facing CECCO::SubfieldOf concept.

Definition at line 312 of file field_concepts_traits.hpp.

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

field_concepts_traits.hpp