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, 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 = stdlib_biggroup<TestType<stdlib::bn254<bb::MegaCircuitBuilder>, false> >

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

bn254_with_ultra

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

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

secp256k1_with_ultra

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

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

secp256r1_with_ultra

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

Definition at line 2383 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 2390 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 2841 of file biggroup.test.cpp.

HEAVY_TYPED_TEST() [2/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_complete_cancellation
	)

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

HEAVY_TYPED_TEST() [6/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [7/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [8/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [9/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [10/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [11/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [13/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [14/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [15/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [16/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [17/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [18/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [19/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [20/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [21/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [22/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [23/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [24/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [25/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [26/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [28/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [29/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [30/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [31/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [32/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [33/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [34/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [35/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [36/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [37/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [38/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [39/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [40/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		scalar_mul_infinity_edge_cases
	)

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

HEAVY_TYPED_TEST() [41/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [42/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [43/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [44/44]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

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

TYPED_TEST() [2/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_constant_infinity
	)

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

TYPED_TEST() [5/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [6/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [7/46]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [8/46]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [9/46]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [10/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [11/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [12/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [13/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [14/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [15/46]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [16/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [17/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [18/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_infinity
	)

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

TYPED_TEST() [19/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [20/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [21/46]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_infinity
	)

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

TYPED_TEST() [22/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [23/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [24/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [25/46]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [26/46]

TYPED_TEST	(	stdlib_biggroup	,
		get_standard_form_normalizes_infinity
	)

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

TYPED_TEST() [27/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [28/46]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [29/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_auto_detection_in_constructor
	)

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

TYPED_TEST() [30/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_canonical_representation
	)

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

TYPED_TEST() [31/46]

TYPED_TEST	(	stdlib_biggroup	,
		infinity_chained_operations
	)

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

TYPED_TEST() [32/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [33/46]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [34/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [35/46]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [36/46]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [37/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [38/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [39/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [40/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [41/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [42/46]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [43/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [44/46]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST() [45/46]

TYPED_TEST	(	stdlib_biggroup	,
		validate_on_curve
	)

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

TYPED_TEST() [46/46]

TYPED_TEST	(	stdlib_biggroup	,
		witness_infinity_from_operations
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)