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, _use_bigfield >
class	stdlib_biggroup< TestType >

Concepts
concept	HasGoblinBuilder

Typedefs
using	bn254_with_ultra = stdlib_biggroup< TestType< stdlib::bn254< bb::UltraCircuitBuilder >, false > >
using	bn254_with_ultra_scalar_bigfield = stdlib_biggroup< TestType< stdlib::bn254< bb::UltraCircuitBuilder >, true > >
using	bn254_with_mega = stdlib_biggroup< TestType< stdlib::bn254< bb::MegaCircuitBuilder >, false > >
using	secp256r1_with_ultra = stdlib_biggroup< TestType< stdlib::secp256r1< bb::UltraCircuitBuilder >, true > >
using	secp256k1_with_ultra = stdlib_biggroup< TestType< stdlib::secp256k1< bb::UltraCircuitBuilder >, true > >
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, 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 = stdlib_biggroup<TestType<stdlib::bn254<bb::MegaCircuitBuilder>, false> >

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

bn254_with_ultra

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

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

bn254_with_ultra_scalar_bigfield

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

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

secp256k1_with_ultra

using secp256k1_with_ultra = stdlib_biggroup<TestType<stdlib::secp256k1<bb::UltraCircuitBuilder>, true> >

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

secp256r1_with_ultra

using secp256r1_with_ultra = stdlib_biggroup<TestType<stdlib::secp256r1<bb::UltraCircuitBuilder>, true> >

Definition at line 2599 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 2606 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 3014 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

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

HEAVY_TYPED_TEST() [6/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [7/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [8/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [9/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [10/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [11/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [13/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [14/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [15/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [16/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [17/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [18/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [19/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [20/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [21/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [22/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [23/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [24/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [25/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [26/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [28/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [29/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [30/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [31/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [32/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [33/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [34/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [35/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [36/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [37/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [38/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [39/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [40/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

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

HEAVY_TYPED_TEST() [41/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [42/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [43/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [44/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

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

operator!()

constexpr InputType operator! ( InputType  type )

constexpr

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

TYPED_TEST() [1/45]

TYPED_TEST	(	stdlib_biggroup	,
		add
	)

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

TYPED_TEST() [2/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

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

TYPED_TEST() [5/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [6/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [7/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [8/45]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [9/45]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [10/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [11/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [12/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [13/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [14/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [15/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [16/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [17/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [18/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

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

TYPED_TEST() [19/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [20/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [21/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

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

TYPED_TEST() [22/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [23/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [24/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [25/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [26/45]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

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

TYPED_TEST() [27/45]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [28/45]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [29/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

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

TYPED_TEST() [30/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

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

TYPED_TEST() [31/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

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

TYPED_TEST() [32/45]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [33/45]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [34/45]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [35/45]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [36/45]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [37/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [38/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [39/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [40/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [41/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [42/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [43/45]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [44/45]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST() [45/45]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)