#include <fp6_3over2.hpp>

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

[legend]

Public Types
typedef Fp_model< n, modulus >	my_Fp

typedef Fp2_model< n, modulus >	my_Fp2

Public Member Functions
	Fp6_3over2_model ()

	Fp6_3over2_model (const my_Fp2 &c0, const my_Fp2 &c1, const my_Fp2 &c2)

void	clear ()

void	print () const

bool	is_zero () const

bool	operator== (const Fp6_3over2_model &other) const

bool	operator!= (const Fp6_3over2_model &other) const

Fp6_3over2_model	operator+ (const Fp6_3over2_model &other) const

Fp6_3over2_model	operator- (const Fp6_3over2_model &other) const

Fp6_3over2_model	operator* (const Fp6_3over2_model &other) const

Fp6_3over2_model	operator- () const

Fp6_3over2_model	squared () const

Fp6_3over2_model	inverse () const

Fp6_3over2_model	Frobenius_map (unsigned long power) const

template<mp_size_t m>
Fp6_3over2_model	operator^ (const bigint< m > &other) const

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

static Fp6_3over2_model< n, modulus >	one ()

static Fp6_3over2_model< n, modulus >	random_element ()

static my_Fp2	mul_by_non_residue (const my_Fp2 &elt)

static bigint< n >	base_field_char ()

static size_t	extension_degree ()

Public Attributes
my_Fp2	c0

my_Fp2	c1

my_Fp2	c2

Static Public Attributes
static my_Fp2	non_residue

static my_Fp2	Frobenius_coeffs_c1 [6]

static my_Fp2	Frobenius_coeffs_c2 [6]

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

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

Detailed Description

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

Arithmetic in the finite field F[(p^2)^3].

Let p := modulus. This interface provides arithmetic for the extension field Fp6 = Fp2[V]/(V^3-non_residue) where non_residue is in Fp.

ASSUMPTION: p = 1 (mod 6)

Definition at line 37 of file fp6_3over2.hpp.

Member Typedef Documentation

◆ my_Fp

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

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

Definition at line 39 of file fp6_3over2.hpp.

◆ my_Fp2

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

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

Definition at line 40 of file fp6_3over2.hpp.

Constructor & Destructor Documentation

◆ Fp6_3over2_model() [1/2]

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

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

inline

Definition at line 47 of file fp6_3over2.hpp.

47{};

◆ Fp6_3over2_model() [2/2]

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

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

inline

Definition at line 48 of file fp6_3over2.hpp.

48: c0(c0), c1(c1), c2(c2) {};

libff::Fp6_3over2_model::c0

my_Fp2 c0

Definition fp6_3over2.hpp:46

libff::Fp6_3over2_model::c2

my_Fp2 c2

Definition fp6_3over2.hpp:46

libff::Fp6_3over2_model::c1

my_Fp2 c1

Definition fp6_3over2.hpp:46

Member Function Documentation

◆ base_field_char()

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

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

inlinestatic

Definition at line 74 of file fp6_3over2.hpp.

74{ return modulus; }

◆ clear()

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

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

inline

Definition at line 50 of file fp6_3over2.hpp.

50{ c0.clear(); c1.clear(); c2.clear(); }

libff::Fp2_model::clear

void clear()

Definition fp2.hpp:53

Here is the call graph for this function:

Here is the caller graph for this function:

◆ extension_degree()

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

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

inlinestatic

Definition at line 75 of file fp6_3over2.hpp.

75{ return 6; }

◆ Frobenius_map()

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

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

◆ inverse()

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

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

◆ is_zero()

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

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

inline

Definition at line 57 of file fp6_3over2.hpp.

57{ return c0.is_zero() && c1.is_zero() && c2.is_zero(); }

libff::Fp2_model::is_zero

bool is_zero() const

Definition fp2.hpp:60

Here is the call graph for this function:

Here is the caller graph for this function:

◆ mul_by_non_residue()

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

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

static

◆ one()

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

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

static

◆ operator!=()

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

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

◆ operator*()

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

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

◆ operator+()

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

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

◆ operator-() [1/2]

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

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

◆ operator-() [2/2]

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

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

◆ operator==()

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

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

◆ operator^()

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

template<mp_size_t m>

Fp6_3over2_model libff::Fp6_3over2_model< n, modulus >::operator^ ( const bigint< m > & other ) const

◆ print()

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

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

inline

Definition at line 51 of file fp6_3over2.hpp.

51{ printf("c0/c1/c2:\n"); c0.print(); c1.print(); c2.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:

Here is the caller graph for this function:

◆ random_element()

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

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

static

◆ squared()

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

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

◆ zero()

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

static Fp6_3over2_model< n, modulus > libff::Fp6_3over2_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 Fp6_3over2_model< n, modulus > &	el )

friend

◆ operator>>

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

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

friend

Member Data Documentation

◆ c0

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

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

Definition at line 46 of file fp6_3over2.hpp.

◆ c1

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

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

Definition at line 46 of file fp6_3over2.hpp.

◆ c2

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

my_Fp2 libff::Fp6_3over2_model< n, modulus >::c2

Definition at line 46 of file fp6_3over2.hpp.

◆ Frobenius_coeffs_c1

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

Fp2_model< n, modulus > libff::Fp6_3over2_model< n, modulus >::Frobenius_coeffs_c1

static

Definition at line 43 of file fp6_3over2.hpp.

◆ Frobenius_coeffs_c2

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

Fp2_model< n, modulus > libff::Fp6_3over2_model< n, modulus >::Frobenius_coeffs_c2

static

Definition at line 44 of file fp6_3over2.hpp.

◆ non_residue

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

Fp2_model< n, modulus > libff::Fp6_3over2_model< n, modulus >::non_residue

static

Definition at line 42 of file fp6_3over2.hpp.

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

libraries/fc/libraries/ff/libff/algebra/fields/fp6_3over2.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

Constructor & Destructor Documentation

◆ Fp6_3over2_model() [1/2]

◆ Fp6_3over2_model() [2/2]

Member Function Documentation

◆ base_field_char()

◆ clear()

◆ extension_degree()

◆ Frobenius_map()

◆ inverse()

◆ is_zero()

◆ mul_by_non_residue()

◆ one()

◆ operator!=()

◆ operator*()

◆ operator+()

◆ operator-() [1/2]

◆ operator-() [2/2]

◆ operator==()

◆ operator^()

◆ print()

◆ random_element()

◆ squared()

◆ zero()

Friends And Related Symbol Documentation

◆ operator

◆ operator>>

Member Data Documentation

◆ c0

◆ c1

◆ c2

◆ Frobenius_coeffs_c1

◆ Frobenius_coeffs_c2

◆ non_residue