CECCO::DEMUX< E, S > Class Template Reference

Expand extension-field elements into subfield coordinates. More...

#include <blocks.hpp>

Inheritance diagram for CECCO::DEMUX< E, S >:

Public Member Functions
constexpr	DEMUX ()=default
constexpr Vector< S >	operator() (const E &in)
	Expand a single element into its subfield-coefficient vector.
Matrix< S >	operator() (const Vector< E > &in)
	Expand a vector of elements into a subfield-coefficient matrix.

Detailed Description

template<FiniteFieldType E, FiniteFieldType S>
requires (SubfieldOf<E, S>)
class CECCO::DEMUX< E, S >

Expand extension-field elements into subfield coordinates.

Template Parameters

E	Extension field
S	Subfield of E (S ⊆ E)

A vector of n elements of E becomes an [E:S] × n matrix over S. Column j contains the coefficients of input[j] in as_vector() construction-tower order. For S = 𝔽₂, this is the binary image used by binary-input channels.

See also

CECCO::MUX for the inverse

Definition at line 1010 of file blocks.hpp.

Constructor & Destructor Documentation

DEMUX()

template<FiniteFieldType E, FiniteFieldType S>

CECCO::DEMUX< E, S >::DEMUX ( )

constexprdefault

Member Function Documentation

operator()() [1/2]

template<FiniteFieldType E, FiniteFieldType S>

Vector< S > CECCO::DEMUX< E, S >::operator() ( const E & in )

inlineconstexpr

Expand a single element into its subfield-coefficient vector.

Parameters

in	Extension field element

Returns

Length-[E:S] vector of S coefficients

Definition at line 1019 of file blocks.hpp.

operator()() [2/2]

template<FiniteFieldType E, FiniteFieldType S>

Matrix< S > CECCO::DEMUX< E, S >::operator()

(

const Vector< E > &

in

)

Expand a vector of elements into a subfield-coefficient matrix.

Parameters

in	Vector of n extension field elements

Returns

[E:S] × n matrix; column j holds the coefficients of in[j]

Definition at line 1031 of file blocks.hpp.

---

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

• blocks.hpp