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 2381 of file biggroup.test.cpp.

bn254_with_ultra

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

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

secp256k1_with_ultra

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

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

secp256r1_with_ultra

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

Definition at line 2384 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 2391 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 2799 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

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

HEAVY_TYPED_TEST() [6/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [7/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [8/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [9/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [10/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [11/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [13/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [14/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [15/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [16/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [17/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [18/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [19/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [20/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [21/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [22/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [23/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [24/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [25/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [26/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [28/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [29/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [30/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [31/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [32/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [33/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [34/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [35/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [36/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [37/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [38/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [39/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [40/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

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

HEAVY_TYPED_TEST() [41/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [42/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [43/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [44/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

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

TYPED_TEST() [2/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

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

TYPED_TEST() [5/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [6/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [7/45]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [8/45]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [9/45]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [10/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [11/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [12/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [13/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [14/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [15/45]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [16/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [17/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [18/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

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

TYPED_TEST() [19/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [20/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [21/45]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

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

TYPED_TEST() [22/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [23/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [24/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [25/45]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [26/45]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

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

TYPED_TEST() [27/45]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [28/45]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [29/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

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

TYPED_TEST() [30/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

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

TYPED_TEST() [31/45]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

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

TYPED_TEST() [32/45]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [33/45]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [34/45]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [35/45]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [36/45]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [37/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [38/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [39/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [40/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [41/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [42/45]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [43/45]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [44/45]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST() [45/45]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)