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 2363 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 2354 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 2358 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 2372 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 2367 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 2376 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 2827 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

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

HEAVY_TYPED_TEST() [6/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [7/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [8/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [9/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [10/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [11/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [13/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [14/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [15/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [16/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [17/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [18/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [19/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [20/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [21/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [22/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [23/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [24/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [25/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [26/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [28/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [29/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [30/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [31/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [32/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [33/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [34/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [35/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [36/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [37/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [38/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [39/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [40/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

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

HEAVY_TYPED_TEST() [41/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [42/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [43/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [44/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

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

TYPED_TEST() [2/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

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

TYPED_TEST() [5/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [6/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [7/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [8/46]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [9/46]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [10/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [11/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [12/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [13/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [14/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [15/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [16/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [17/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [18/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

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

TYPED_TEST() [19/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [20/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [21/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

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

TYPED_TEST() [22/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [23/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [24/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [25/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [26/46]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

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

TYPED_TEST() [27/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [28/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [29/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

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

TYPED_TEST() [30/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

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

TYPED_TEST() [31/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

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

TYPED_TEST() [32/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [33/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [34/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [35/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [36/46]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [37/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [38/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [39/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [40/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [41/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [42/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [43/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [44/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST() [45/46]

TYPED_TEST	(	stdlib_biggroup	,
		validate_on_curve
	)

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

TYPED_TEST() [46/46]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)