fp4.hpp File Reference

#include <libff/algebra/fields/fp.hpp>
#include <libff/algebra/fields/fp2.hpp>
#include <libff/algebra/fields/fp4.tcc>

Include dependency graph for fp4.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libff::Fp4_model< n, modulus >

Namespaces
namespace	libff

Functions
template<mp_size_t n, const bigint< n > & modulus>
std::ostream &	libff::operator<< (std::ostream &, const Fp4_model< n, modulus > &)
template<mp_size_t n, const bigint< n > & modulus>
std::istream &	libff::operator>> (std::istream &in, Fp4_model< n, modulus > &el)
template<mp_size_t n, const bigint< n > & modulus>
Fp4_model< n, modulus >	libff::operator* (const Fp_model< n, modulus > &lhs, const Fp4_model< n, modulus > &rhs)
template<mp_size_t n, const bigint< n > & modulus>
Fp4_model< n, modulus >	libff::operator* (const Fp2_model< n, modulus > &lhs, const Fp4_model< n, modulus > &rhs)
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m>
Fp4_model< n, modulus >	libff::operator^ (const Fp4_model< n, modulus > &self, const bigint< m > &exponent)
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m, const bigint< m > & modulus_p>
Fp4_model< n, modulus >	libff::operator^ (const Fp4_model< n, modulus > &self, const Fp_model< m, modulus_p > &exponent)

Detailed Description

Declaration of interfaces for the (extension) field Fp4.

The field Fp4 equals Fp2[V]/(V^2-U) where Fp2 = Fp[U]/(U^2-non_residue) and non_residue is in Fp.

ASSUMPTION: the modulus p is 1 mod 6.

Author

This file is part of libff, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file fp4.hpp.