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, 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, 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_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 2360 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 2351 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 2355 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 2369 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 2364 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 2373 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/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul
	)

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

HEAVY_TYPED_TEST() [2/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

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

HEAVY_TYPED_TEST() [6/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [7/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [8/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [9/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [10/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [11/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [12/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars_with_edgecases
	)

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

HEAVY_TYPED_TEST() [13/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [14/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [15/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [16/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [17/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [18/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [19/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [20/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [21/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [22/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [23/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [24/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [25/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [26/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [27/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars_with_edgecases
	)

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

HEAVY_TYPED_TEST() [28/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [29/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [30/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [31/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [32/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [33/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [34/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [35/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [36/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [37/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [38/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [39/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [40/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

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

HEAVY_TYPED_TEST() [41/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [42/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [43/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [44/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

Definition at line 2800 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 2435 of file biggroup.test.cpp.

TYPED_TEST() [2/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

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

TYPED_TEST() [5/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [6/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [7/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [8/46]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [9/46]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [10/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [11/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [12/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [13/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [14/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [15/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [16/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [17/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [18/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

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

TYPED_TEST() [19/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [20/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [21/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

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

TYPED_TEST() [22/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [23/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [24/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [25/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [26/46]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

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

TYPED_TEST() [27/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [28/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [29/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

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

TYPED_TEST() [30/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

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

TYPED_TEST() [31/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

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

TYPED_TEST() [32/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [33/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [34/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [35/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [36/46]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [37/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [38/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [39/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [40/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [41/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [42/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [43/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [44/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST() [45/46]

TYPED_TEST	(	stdlib_biggroup	,
		validate_on_curve
	)

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

TYPED_TEST() [46/46]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)