biggroup.test.cpp File Reference

#include "../biggroup/biggroup.hpp"
#include "../bigfield/bigfield.hpp"
#include "../bool/bool.hpp"
#include "../field/field.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uintx/uintx.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <vector>

Go to the source code of this file.

Classes
struct	TestType< Curve_, ScalarField_, use_bigfield >
class	stdlib_biggroup< TestType >

Concepts
concept	HasGoblinBuilder

Typedefs
using	bn254_with_ultra = TestType< stdlib::bn254< bb::UltraCircuitBuilder >, stdlib::bn254< bb::UltraCircuitBuilder >::ScalarField, false >
using	bn254_with_ultra_scalar_bigfield = TestType< stdlib::bn254< bb::UltraCircuitBuilder >, bb::stdlib::bigfield< bb::UltraCircuitBuilder, bb::Bn254FrParams >, true >
using	bn254_with_mega = TestType< stdlib::bn254< bb::MegaCircuitBuilder >, stdlib::bn254< bb::MegaCircuitBuilder >::ScalarField, false >
using	secp256r1_with_ultra = TestType< stdlib::secp256r1< bb::UltraCircuitBuilder >, stdlib::secp256r1< bb::UltraCircuitBuilder >::ScalarField, false >
using	secp256k1_with_ultra = TestType< stdlib::secp256k1< bb::UltraCircuitBuilder >, stdlib::secp256k1< bb::UltraCircuitBuilder >::ScalarField, false >
using	TestTypes = testing::Types< bn254_with_ultra, bn254_with_ultra_scalar_bigfield, bn254_with_mega, secp256r1_with_ultra, secp256k1_with_ultra >

Enumerations
enum struct	InputType {   WITNESS , CONSTANT , WITNESS , CONSTANT ,   WITNESS , CONSTANT }

Functions
constexpr InputType	operator! (InputType type)
	TYPED_TEST_SUITE (stdlib_biggroup, TestTypes)
	TYPED_TEST (stdlib_biggroup, validate_on_curve)
	TYPED_TEST (stdlib_biggroup, basic_tag_logic)
	TYPED_TEST (stdlib_biggroup, assert_coordinates_in_field)
	TYPED_TEST (stdlib_biggroup, add)
	TYPED_TEST (stdlib_biggroup, add_with_constants)
	TYPED_TEST (stdlib_biggroup, add_points_at_infinity)
	TYPED_TEST (stdlib_biggroup, standard_form_of_point_at_infinity)
	TYPED_TEST (stdlib_biggroup, sub)
	TYPED_TEST (stdlib_biggroup, sub_with_constants)
	TYPED_TEST (stdlib_biggroup, sub_points_at_infinity)
	TYPED_TEST (stdlib_biggroup, dbl)
	TYPED_TEST (stdlib_biggroup, dbl_with_constant)
	TYPED_TEST (stdlib_biggroup, dbl_with_infinity)
	TYPED_TEST (stdlib_biggroup, dbl_with_y_zero)
	TYPED_TEST (stdlib_biggroup, add_equals_dbl)
	TYPED_TEST (stdlib_biggroup, sub_neg_equals_double)
	HEAVY_TYPED_TEST (stdlib_biggroup, chain_add)
	HEAVY_TYPED_TEST (stdlib_biggroup, chain_add_with_constants)
	HEAVY_TYPED_TEST (stdlib_biggroup, multiple_montgomery_ladder)
	TYPED_TEST (stdlib_biggroup, normalize)
	TYPED_TEST (stdlib_biggroup, normalize_constant)
	TYPED_TEST (stdlib_biggroup, reduce)
	TYPED_TEST (stdlib_biggroup, reduce_constant)
	TYPED_TEST (stdlib_biggroup, unary_negate)
	TYPED_TEST (stdlib_biggroup, unary_negate_with_constants)
	TYPED_TEST (stdlib_biggroup, add_assign)
	TYPED_TEST (stdlib_biggroup, add_assign_with_constants)
	TYPED_TEST (stdlib_biggroup, sub_assign)
	TYPED_TEST (stdlib_biggroup, sub_assign_with_constants)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_add)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_add_with_constants)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_subtract)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_subtract_with_constants)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_add_sub)
	TYPED_TEST (stdlib_biggroup, checked_unconditional_add_sub_with_constants)
	TYPED_TEST (stdlib_biggroup, conditional_negate)
	TYPED_TEST (stdlib_biggroup, conditional_negate_with_constants)
	TYPED_TEST (stdlib_biggroup, conditional_select)
	TYPED_TEST (stdlib_biggroup, conditional_select_with_constants)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal_fails)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf_zero)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf_overflow_lower_half)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf_top_bit_rejects_malicious_witness)
	HEAVY_TYPED_TEST (stdlib_biggroup, compute_naf_witness_value_independence)
	HEAVY_TYPED_TEST (stdlib_biggroup, mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, mul_with_constants)
	HEAVY_TYPED_TEST (stdlib_biggroup, mul_edge_cases)
	HEAVY_TYPED_TEST (stdlib_biggroup, mul_edge_cases_with_constants)
	HEAVY_TYPED_TEST (stdlib_biggroup, short_scalar_mul_with_bit_lengths)
	HEAVY_TYPED_TEST (stdlib_biggroup, short_scalar_mul_infinity)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_singleton)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_twin)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_twin_short_scalars)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_twin_with_edgecases)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_twin_short_scalars_with_edgecases)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_twin_mixed_constants)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_triple)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_quad)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_five)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_five_with_edgecases)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_five_short_scalars)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_five_short_scalars_with_edgecases)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_five_mixed_constants)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_six)
	HEAVY_TYPED_TEST (stdlib_biggroup, twin_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, twin_mul_with_infinity)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_linearly_dependent_generators)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_linearly_dependent_generators_failure)
	HEAVY_TYPED_TEST (stdlib_biggroup, offset_generator_infinity_is_rejected)
	HEAVY_TYPED_TEST (stdlib_biggroup, masked_point_infinity_is_rejected)
	HEAVY_TYPED_TEST (stdlib_biggroup, one)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edgecase_equivalence)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edge_case_set1)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_edge_case_set2)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_all_infinity)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_all_zero_scalars)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_mixed_zero_scalars)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_short_scalars_witness_value_independence)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_mixed_infinity)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_cancellation)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_mixed_constant_witness)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_large_number_of_points)
	TYPED_TEST (stdlib_biggroup, infinity_canonical_representation)
	TYPED_TEST (stdlib_biggroup, infinity_chained_operations)
	TYPED_TEST (stdlib_biggroup, conditional_select_with_infinity)
	TYPED_TEST (stdlib_biggroup, conditional_negate_with_infinity)
	TYPED_TEST (stdlib_biggroup, get_standard_form_normalizes_infinity)
	TYPED_TEST (stdlib_biggroup, infinity_auto_detection_in_constructor)
	HEAVY_TYPED_TEST (stdlib_biggroup, scalar_mul_infinity_edge_cases)
	HEAVY_TYPED_TEST (stdlib_biggroup, batch_mul_complete_cancellation)
	TYPED_TEST (stdlib_biggroup, add_constant_infinity)
	TYPED_TEST (stdlib_biggroup, witness_infinity_from_operations)

Typedef Documentation

bn254_with_mega

using bn254_with_mega = TestType<stdlib::bn254<bb::MegaCircuitBuilder>, stdlib::bn254<bb::MegaCircuitBuilder>::ScalarField, false>

Definition at line 2559 of file biggroup.test.cpp.

bn254_with_ultra

using bn254_with_ultra = TestType<stdlib::bn254<bb::UltraCircuitBuilder>, stdlib::bn254<bb::UltraCircuitBuilder>::ScalarField, false>

Definition at line 2550 of file biggroup.test.cpp.

bn254_with_ultra_scalar_bigfield

using bn254_with_ultra_scalar_bigfield = TestType<stdlib::bn254<bb::UltraCircuitBuilder>, bb::stdlib::bigfield<bb::UltraCircuitBuilder, bb::Bn254FrParams>, true>

Definition at line 2554 of file biggroup.test.cpp.

secp256k1_with_ultra

using secp256k1_with_ultra = TestType<stdlib::secp256k1<bb::UltraCircuitBuilder>, stdlib::secp256k1<bb::UltraCircuitBuilder>::ScalarField, false>

Definition at line 2568 of file biggroup.test.cpp.

secp256r1_with_ultra

using secp256r1_with_ultra = TestType<stdlib::secp256r1<bb::UltraCircuitBuilder>, stdlib::secp256r1<bb::UltraCircuitBuilder>::ScalarField, false>

Definition at line 2563 of file biggroup.test.cpp.

TestTypes

using TestTypes = testing::Types<bn254_with_ultra, bn254_with_ultra_scalar_bigfield, bn254_with_mega, secp256r1_with_ultra, secp256k1_with_ultra>

Definition at line 2572 of file biggroup.test.cpp.

Enumeration Type Documentation

InputType

enum struct InputType

strong

Enumerator
WITNESS
CONSTANT
WITNESS
CONSTANT
WITNESS
CONSTANT

Definition at line 24 of file biggroup.test.cpp.

Function Documentation

HEAVY_TYPED_TEST() [1/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul
	)

Definition at line 3059 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

Definition at line 3079 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [3/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

Definition at line 3084 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [4/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

Definition at line 3108 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [5/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

Definition at line 3159 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [6/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

Definition at line 3068 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [7/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

Definition at line 3073 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [8/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

Definition at line 3064 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [9/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

Definition at line 2983 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [10/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

Definition at line 2999 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [11/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

Definition at line 2991 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [12/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars_with_edgecases
	)

Definition at line 2995 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [13/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

Definition at line 2987 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [14/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

Definition at line 3118 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [15/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

Definition at line 3022 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [16/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

Definition at line 3027 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [17/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

Definition at line 3113 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [18/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

Definition at line 3103 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [19/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

Definition at line 3089 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [20/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

Definition at line 2977 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [21/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_short_scalars_witness_value_independence
	)

Definition at line 3094 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [22/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

Definition at line 2942 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [23/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

Definition at line 3007 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [24/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

Definition at line 2971 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [25/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

Definition at line 2948 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [26/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

Definition at line 2964 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [27/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

Definition at line 2952 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [28/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars_with_edgecases
	)

Definition at line 2960 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [29/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

Definition at line 2956 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [30/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

Definition at line 2698 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [31/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

Definition at line 2706 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [32/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

Definition at line 2853 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [33/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

Definition at line 2874 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [34/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_top_bit_rejects_malicious_witness
	)

Definition at line 2883 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [35/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_witness_value_independence
	)

Definition at line 2892 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [36/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

Definition at line 2865 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [37/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		masked_point_infinity_is_rejected
	)

Definition at line 3045 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [38/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

Definition at line 2901 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [39/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

Definition at line 2911 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [40/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

Definition at line 2915 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [41/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

Definition at line 2905 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [42/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

Definition at line 2722 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [43/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		offset_generator_infinity_is_rejected
	)

Definition at line 3036 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [44/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

Definition at line 3054 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [45/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

Definition at line 3154 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [46/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

Definition at line 2931 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [47/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

Definition at line 2922 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [48/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

Definition at line 3012 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [49/49]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

Definition at line 3017 of file biggroup.test.cpp.

operator!()

constexpr InputType operator! ( InputType  type )

constexpr

Definition at line 29 of file biggroup.test.cpp.

TYPED_TEST() [1/46]

TYPED_TEST	(	stdlib_biggroup	,
		add
	)

Definition at line 2634 of file biggroup.test.cpp.

TYPED_TEST() [2/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

Definition at line 2764 of file biggroup.test.cpp.

TYPED_TEST() [3/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

Definition at line 2769 of file biggroup.test.cpp.

TYPED_TEST() [4/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

Definition at line 3164 of file biggroup.test.cpp.

TYPED_TEST() [5/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

Definition at line 2688 of file biggroup.test.cpp.

TYPED_TEST() [6/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

Definition at line 2644 of file biggroup.test.cpp.

TYPED_TEST() [7/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

Definition at line 2638 of file biggroup.test.cpp.

TYPED_TEST() [8/46]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

Definition at line 2628 of file biggroup.test.cpp.

TYPED_TEST() [9/46]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

Definition at line 2623 of file biggroup.test.cpp.

TYPED_TEST() [10/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

Definition at line 2786 of file biggroup.test.cpp.

TYPED_TEST() [11/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

Definition at line 2808 of file biggroup.test.cpp.

TYPED_TEST() [12/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

Definition at line 2812 of file biggroup.test.cpp.

TYPED_TEST() [13/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

Definition at line 2790 of file biggroup.test.cpp.

TYPED_TEST() [14/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

Definition at line 2797 of file biggroup.test.cpp.

TYPED_TEST() [15/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

Definition at line 2801 of file biggroup.test.cpp.

TYPED_TEST() [16/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

Definition at line 2819 of file biggroup.test.cpp.

TYPED_TEST() [17/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

Definition at line 2823 of file biggroup.test.cpp.

TYPED_TEST() [18/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

Definition at line 3139 of file biggroup.test.cpp.

TYPED_TEST() [19/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

Definition at line 2830 of file biggroup.test.cpp.

TYPED_TEST() [20/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

Definition at line 2834 of file biggroup.test.cpp.

TYPED_TEST() [21/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

Definition at line 3134 of file biggroup.test.cpp.

TYPED_TEST() [22/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

Definition at line 2668 of file biggroup.test.cpp.

TYPED_TEST() [23/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

Definition at line 2672 of file biggroup.test.cpp.

TYPED_TEST() [24/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

Definition at line 2676 of file biggroup.test.cpp.

TYPED_TEST() [25/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

Definition at line 2680 of file biggroup.test.cpp.

TYPED_TEST() [26/46]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

Definition at line 3144 of file biggroup.test.cpp.

TYPED_TEST() [27/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

Definition at line 2844 of file biggroup.test.cpp.

TYPED_TEST() [28/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

Definition at line 2848 of file biggroup.test.cpp.

TYPED_TEST() [29/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

Definition at line 3149 of file biggroup.test.cpp.

TYPED_TEST() [30/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

Definition at line 3124 of file biggroup.test.cpp.

TYPED_TEST() [31/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

Definition at line 3129 of file biggroup.test.cpp.

TYPED_TEST() [32/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

Definition at line 2733 of file biggroup.test.cpp.

TYPED_TEST() [33/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

Definition at line 2737 of file biggroup.test.cpp.

TYPED_TEST() [34/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

Definition at line 2743 of file biggroup.test.cpp.

TYPED_TEST() [35/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

Definition at line 2747 of file biggroup.test.cpp.

TYPED_TEST() [36/46]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

Definition at line 2648 of file biggroup.test.cpp.

TYPED_TEST() [37/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

Definition at line 2654 of file biggroup.test.cpp.

TYPED_TEST() [38/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

Definition at line 2776 of file biggroup.test.cpp.

TYPED_TEST() [39/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

Definition at line 2780 of file biggroup.test.cpp.

TYPED_TEST() [40/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

Definition at line 2692 of file biggroup.test.cpp.

TYPED_TEST() [41/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

Definition at line 2664 of file biggroup.test.cpp.

TYPED_TEST() [42/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

Definition at line 2658 of file biggroup.test.cpp.

TYPED_TEST() [43/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

Definition at line 2753 of file biggroup.test.cpp.

TYPED_TEST() [44/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

Definition at line 2758 of file biggroup.test.cpp.

TYPED_TEST() [45/46]

TYPED_TEST	(	stdlib_biggroup	,
		validate_on_curve
	)

Definition at line 2580 of file biggroup.test.cpp.

TYPED_TEST() [46/46]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

Definition at line 3169 of file biggroup.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)