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

Field multiplexer — reconstruct 𝔽_E elements from 𝔽_S coefficients. More...

#include <blocks.hpp>

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

Public Member Functions
constexpr	MUX ()=default
constexpr E	operator() (const Vector< S > &in)
	Reconstruct an element from its subfield-coefficient vector.
Vector< E >	operator() (const Matrix< S > &in)
	Reconstruct a vector of elements from a subfield-coefficient matrix.

Detailed Description

template<FiniteFieldType S, FiniteFieldType E>
requires (ExtensionOf<S, E>)
class CECCO::MUX< S, E >

Field multiplexer — reconstruct 𝔽_E elements from 𝔽_S coefficients.

Template Parameters

S	Subfield
E	Extension of S

Inverse of DEMUX. The input matrix must have [E:S] rows; each column is interpreted as the coefficient vector of one E element, and the output Vector<E> has one entry per input column. original >> DEMUX{} >> MUX{} == original for compatible field pairs.

See also

CECCO::DEMUX for the inverse direction and a usage example

CECCO::Ext, CECCO::ExtensionOf

Definition at line 911 of file blocks.hpp.

Constructor & Destructor Documentation

MUX()

template<FiniteFieldType S, FiniteFieldType E>

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

constexprdefault

Member Function Documentation

operator()() [1/2]

template<FiniteFieldType S, FiniteFieldType E>

Vector< E > CECCO::MUX< S, E >::operator()

(

const Matrix< S > &

in

)

Reconstruct a vector of elements from a subfield-coefficient matrix.

Parameters

in	[E:S] × n matrix of S coefficients

Returns

Length-n vector of E elements (column j of in becomes element j)

Definition at line 932 of file blocks.hpp.

operator()() [2/2]

template<FiniteFieldType S, FiniteFieldType E>

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

inlineconstexpr

Reconstruct an element from its subfield-coefficient vector.

Parameters

in	Length-[E:S] coefficient vector

Returns

Reconstructed extension field element

Definition at line 920 of file blocks.hpp.

---

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

• blocks.hpp