twisted_edwards/element_g1_affine.hpp
Go to the documentation of this file.
constexpr bool operator==(const matrix< T, N, M > &a, const matrix< T, N, M > &b)
checks equality of two matrices
Definition: matrix/operators.hpp:48
Definition: pair.hpp:31
Jacobi quatrics curve group element coordinates representation. Description: https://hyperelliptic....
Definition: jacobi_quartics/coordinates.hpp:40
field_value_type X
Definition: twisted_edwards/element_g1_affine.hpp:69
constexpr curve_element doubled() const
Definition: twisted_edwards/element_g1_affine.hpp:254
constexpr bool is_zero() const
Definition: twisted_edwards/element_g1_affine.hpp:133
constexpr bool operator!=(const curve_element &other) const
Definition: twisted_edwards/element_g1_affine.hpp:126
constexpr curve_element()
Definition: twisted_edwards/element_g1_affine.hpp:77
constexpr curve_element operator-(const curve_element &B) const
Definition: twisted_edwards/element_g1_affine.hpp:247
constexpr bool operator==(const curve_element &other) const
Definition: twisted_edwards/element_g1_affine.hpp:104
constexpr curve_element to_affine() const
Definition: twisted_edwards/element_g1_affine.hpp:212
constexpr curve_element operator-() const
Definition: twisted_edwards/element_g1_affine.hpp:243
constexpr curve_element< params_type, form, typename curves::coordinates::inverted > to_inverted() const
Definition: twisted_edwards/element_g1_affine.hpp:181
static curve_element zero()
Get the point at infinity.
Definition: twisted_edwards/element_g1_affine.hpp:92
constexpr curve_element(field_value_type in_X, field_value_type in_Y)
Definition: twisted_edwards/element_g1_affine.hpp:84
typename params_type::template group_type< coordinates > group_type
Definition: twisted_edwards/element_g1_affine.hpp:67
constexpr auto to_montgomery() const
Convert point coordinates into Montgomery form according to birational equivalence map:
Definition: twisted_edwards/element_g1_affine.hpp:322
constexpr curve_element operator=(const curve_element &other)
Definition: twisted_edwards/element_g1_affine.hpp:218
constexpr curve_element operator+(const curve_element &other) const
Definition: twisted_edwards/element_g1_affine.hpp:226
field_value_type Y
Definition: twisted_edwards/element_g1_affine.hpp:70
static curve_element one()
Get the generator of group G1.
Definition: twisted_edwards/element_g1_affine.hpp:98
constexpr bool is_well_formed() const
Definition: twisted_edwards/element_g1_affine.hpp:143
typename CurveParams::field_type field_type
Definition: twisted_edwards/element_g1_affine.hpp:57
constexpr curve_element< params_type, form, typename curves::coordinates::extended_with_a_minus_1 > to_extended_with_a_minus_1() const
Definition: twisted_edwards/element_g1_affine.hpp:198
A struct representing a group G1 of elliptic curve.
Definition: algebra/include/nil/crypto3/algebra/curves/detail/forms/edwards/inverted/element_g1.hpp:50
Definition: forms.hpp:63
Definition: forms.hpp:71
Definition: forms.hpp:34