#include <fp4.hpp>

Collaboration diagram for libff::Fp4_model< n, modulus >:

[legend]

Public Types
typedef Fp_model< n, modulus >	my_Fp

typedef Fp2_model< n, modulus >	my_Fp2

typedef my_Fp2	my_Fpe

Public Member Functions
	Fp4_model ()

	Fp4_model (const my_Fp2 &c0, const my_Fp2 &c1)

void	print () const

void	clear ()

bool	is_zero () const

bool	operator== (const Fp4_model &other) const

bool	operator!= (const Fp4_model &other) const

Fp4_model	operator+ (const Fp4_model &other) const

Fp4_model	operator- (const Fp4_model &other) const

Fp4_model	operator* (const Fp4_model &other) const

Fp4_model	mul_by_023 (const Fp4_model &other) const

Fp4_model	operator- () const

Fp4_model	squared () const

Fp4_model	inverse () const

Fp4_model	Frobenius_map (unsigned long power) const

Fp4_model	unitary_inverse () const

Fp4_model	cyclotomic_squared () const

template<mp_size_t m>
Fp4_model	cyclotomic_exp (const bigint< m > &exponent) const

Static Public Member Functions
static Fp4_model< n, modulus >	zero ()

static Fp4_model< n, modulus >	one ()

static Fp4_model< n, modulus >	random_element ()

static my_Fp2	mul_by_non_residue (const my_Fp2 &elt)

static bigint< n >	base_field_char ()

static constexpr size_t	extension_degree ()

Public Attributes
my_Fp2	c0

my_Fp2	c1

Static Public Attributes
static my_Fp	non_residue

static my_Fp	Frobenius_coeffs_c1 [4]

Friends
std::ostream &	operator (std::ostream &out, const Fp4_model< n, modulus > &el)

std::istream &	operator>> (std::istream &in, Fp4_model< n, modulus > &el)

Detailed Description

template<mp_size_t n, const bigint< n > & modulus>
class libff::Fp4_model< n, modulus >

Definition at line 34 of file fp4.hpp.

Member Typedef Documentation

◆ my_Fp

template<mp_size_t n, const bigint< n > & modulus>

Fp_model<n, modulus> libff::Fp4_model< n, modulus >::my_Fp

Definition at line 36 of file fp4.hpp.

◆ my_Fp2

template<mp_size_t n, const bigint< n > & modulus>

Fp2_model<n, modulus> libff::Fp4_model< n, modulus >::my_Fp2

Definition at line 37 of file fp4.hpp.

◆ my_Fpe

template<mp_size_t n, const bigint< n > & modulus>

my_Fp2 libff::Fp4_model< n, modulus >::my_Fpe

Definition at line 38 of file fp4.hpp.

Constructor & Destructor Documentation

◆ Fp4_model() [1/2]

template<mp_size_t n, const bigint< n > & modulus>

libff::Fp4_model< n, modulus >::Fp4_model ( )

inline

Definition at line 44 of file fp4.hpp.

44{};

◆ Fp4_model() [2/2]

template<mp_size_t n, const bigint< n > & modulus>

libff::Fp4_model< n, modulus >::Fp4_model	(	const my_Fp2 &	c0,
		const my_Fp2 &	c1 )

inline

Definition at line 45 of file fp4.hpp.

45: c0(c0), c1(c1) {};

libff::Fp4_model::c0

my_Fp2 c0

Definition fp4.hpp:43

libff::Fp4_model::c1

my_Fp2 c1

Definition fp4.hpp:43

Member Function Documentation

◆ base_field_char()

template<mp_size_t n, const bigint< n > & modulus>

static bigint< n > libff::Fp4_model< n, modulus >::base_field_char ( )

inlinestatic

Definition at line 74 of file fp4.hpp.

74{ return modulus; }

◆ clear()

template<mp_size_t n, const bigint< n > & modulus>

void libff::Fp4_model< n, modulus >::clear ( )

inline

Definition at line 48 of file fp4.hpp.

48{ c0.clear(); c1.clear(); }

libff::Fp2_model::clear

void clear()

Definition fp2.hpp:53

Here is the call graph for this function:

◆ cyclotomic_exp()

template<mp_size_t n, const bigint< n > & modulus>

template<mp_size_t m>

Fp4_model libff::Fp4_model< n, modulus >::cyclotomic_exp ( const bigint< m > & exponent ) const

Here is the caller graph for this function:

◆ cyclotomic_squared()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::cyclotomic_squared ( ) const

◆ extension_degree()

template<mp_size_t n, const bigint< n > & modulus>

static constexpr size_t libff::Fp4_model< n, modulus >::extension_degree ( )

inlinestaticconstexpr

Definition at line 75 of file fp4.hpp.

75{ return 4; }

◆ Frobenius_map()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::Frobenius_map ( unsigned long power ) const

Here is the caller graph for this function:

◆ inverse()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::inverse ( ) const

Here is the caller graph for this function:

◆ is_zero()

template<mp_size_t n, const bigint< n > & modulus>

bool libff::Fp4_model< n, modulus >::is_zero ( ) const

inline

Definition at line 54 of file fp4.hpp.

54{ return c0.is_zero() && c1.is_zero(); }

libff::Fp2_model::is_zero

bool is_zero() const

Definition fp2.hpp:60

Here is the call graph for this function:

◆ mul_by_023()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::mul_by_023 ( const Fp4_model< n, modulus > & other ) const

◆ mul_by_non_residue()

template<mp_size_t n, const bigint< n > & modulus>

static my_Fp2 libff::Fp4_model< n, modulus >::mul_by_non_residue ( const my_Fp2 & elt )

static

◆ one()

template<mp_size_t n, const bigint< n > & modulus>

static Fp4_model< n, modulus > libff::Fp4_model< n, modulus >::one ( )

static

Here is the caller graph for this function:

◆ operator!=()

template<mp_size_t n, const bigint< n > & modulus>

bool libff::Fp4_model< n, modulus >::operator!= ( const Fp4_model< n, modulus > & other ) const

◆ operator*()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::operator* ( const Fp4_model< n, modulus > & other ) const

◆ operator+()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::operator+ ( const Fp4_model< n, modulus > & other ) const

◆ operator-() [1/2]

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::operator- ( ) const

◆ operator-() [2/2]

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::operator- ( const Fp4_model< n, modulus > & other ) const

◆ operator==()

template<mp_size_t n, const bigint< n > & modulus>

bool libff::Fp4_model< n, modulus >::operator== ( const Fp4_model< n, modulus > & other ) const

◆ print()

template<mp_size_t n, const bigint< n > & modulus>

void libff::Fp4_model< n, modulus >::print ( ) const

inline

Definition at line 47 of file fp4.hpp.

47{ printf("c0/c1:\n"); c0.print(); c1.print(); }

libff::Fp2_model::print

void print() const

Definition fp2.hpp:54

Log::printf

LOGGING_API void printf(Category category, const char *format,...)

Definition Logging.cpp:30

Here is the call graph for this function:

◆ random_element()

template<mp_size_t n, const bigint< n > & modulus>

static Fp4_model< n, modulus > libff::Fp4_model< n, modulus >::random_element ( )

static

◆ squared()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::squared ( ) const

◆ unitary_inverse()

template<mp_size_t n, const bigint< n > & modulus>

Fp4_model libff::Fp4_model< n, modulus >::unitary_inverse ( ) const

Here is the caller graph for this function:

◆ zero()

template<mp_size_t n, const bigint< n > & modulus>

static Fp4_model< n, modulus > libff::Fp4_model< n, modulus >::zero ( )

static

Friends And Related Symbol Documentation

◆ operator

template<mp_size_t n, const bigint< n > & modulus>

std::ostream & operator	(	std::ostream &	out,
		const Fp4_model< n, modulus > &	el )

friend

◆ operator>>

template<mp_size_t n, const bigint< n > & modulus>

std::istream & operator>>	(	std::istream &	in,
		Fp4_model< n, modulus > &	el )

friend

Member Data Documentation

◆ c0

template<mp_size_t n, const bigint< n > & modulus>

my_Fp2 libff::Fp4_model< n, modulus >::c0

Definition at line 43 of file fp4.hpp.

◆ c1

template<mp_size_t n, const bigint< n > & modulus>

my_Fp2 libff::Fp4_model< n, modulus >::c1

Definition at line 43 of file fp4.hpp.

◆ Frobenius_coeffs_c1

template<mp_size_t n, const bigint< n > & modulus>

Fp_model< n, modulus > libff::Fp4_model< n, modulus >::Frobenius_coeffs_c1

static

Definition at line 41 of file fp4.hpp.

◆ non_residue

template<mp_size_t n, const bigint< n > & modulus>

Fp_model< n, modulus > libff::Fp4_model< n, modulus >::non_residue

static

Definition at line 40 of file fp4.hpp.

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

libraries/fc/libraries/ff/libff/algebra/fields/fp4.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ my_Fp

◆ my_Fp2

◆ my_Fpe

Constructor & Destructor Documentation

◆ Fp4_model() [1/2]

◆ Fp4_model() [2/2]

Member Function Documentation

◆ base_field_char()

◆ clear()

◆ cyclotomic_exp()

◆ cyclotomic_squared()

◆ extension_degree()

◆ Frobenius_map()

◆ inverse()

◆ is_zero()

◆ mul_by_023()

◆ mul_by_non_residue()

◆ one()

◆ operator!=()

◆ operator*()

◆ operator+()

◆ operator-() [1/2]

◆ operator-() [2/2]

◆ operator==()

◆ print()

◆ random_element()

◆ squared()

◆ unitary_inverse()

◆ zero()

Friends And Related Symbol Documentation

◆ operator

◆ operator>>

Member Data Documentation

◆ c0

◆ c1

◆ Frobenius_coeffs_c1

◆ non_residue