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)
	TYPED_TEST (stdlib_biggroup, incomplete_assert_equal_edge_cases)
	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)

Typedef Documentation

bn254_with_mega

using bn254_with_mega = stdlib_biggroup<TestType<stdlib::bn254<bb::MegaCircuitBuilder>, false> >

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

bn254_with_ultra

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

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

secp256k1_with_ultra

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

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

secp256r1_with_ultra

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

Definition at line 2273 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 2280 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/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul
	)

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

HEAVY_TYPED_TEST() [2/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_infinity
	)

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

HEAVY_TYPED_TEST() [3/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_all_zero_scalars
	)

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

HEAVY_TYPED_TEST() [4/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_cancellation
	)

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

HEAVY_TYPED_TEST() [5/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set1
	)

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

HEAVY_TYPED_TEST() [6/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edge_case_set2
	)

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

HEAVY_TYPED_TEST() [7/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_edgecase_equivalence
	)

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

HEAVY_TYPED_TEST() [8/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five
	)

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

HEAVY_TYPED_TEST() [9/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_mixed_constants
	)

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

HEAVY_TYPED_TEST() [10/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars
	)

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

HEAVY_TYPED_TEST() [11/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_short_scalars_with_edgecases
	)

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

HEAVY_TYPED_TEST() [12/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_five_with_edgecases
	)

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

HEAVY_TYPED_TEST() [13/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_large_number_of_points
	)

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

HEAVY_TYPED_TEST() [14/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators
	)

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

HEAVY_TYPED_TEST() [15/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_linearly_dependent_generators_failure
	)

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

HEAVY_TYPED_TEST() [16/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_constant_witness
	)

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

HEAVY_TYPED_TEST() [17/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_infinity
	)

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

HEAVY_TYPED_TEST() [18/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_mixed_zero_scalars
	)

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

HEAVY_TYPED_TEST() [19/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_quad
	)

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

HEAVY_TYPED_TEST() [20/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_singleton
	)

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

HEAVY_TYPED_TEST() [21/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_six
	)

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

HEAVY_TYPED_TEST() [22/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_triple
	)

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

HEAVY_TYPED_TEST() [23/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin
	)

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

HEAVY_TYPED_TEST() [24/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_mixed_constants
	)

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

HEAVY_TYPED_TEST() [25/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars
	)

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

HEAVY_TYPED_TEST() [26/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_short_scalars_with_edgecases
	)

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

HEAVY_TYPED_TEST() [27/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		batch_mul_twin_with_edgecases
	)

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

HEAVY_TYPED_TEST() [28/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add
	)

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

HEAVY_TYPED_TEST() [29/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		chain_add_with_constants
	)

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

HEAVY_TYPED_TEST() [30/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf
	)

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

HEAVY_TYPED_TEST() [31/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_overflow_lower_half
	)

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

HEAVY_TYPED_TEST() [32/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		compute_naf_zero
	)

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

HEAVY_TYPED_TEST() [33/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul
	)

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

HEAVY_TYPED_TEST() [34/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases
	)

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

HEAVY_TYPED_TEST() [35/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_edge_cases_with_constants
	)

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

HEAVY_TYPED_TEST() [36/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		mul_with_constants
	)

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

HEAVY_TYPED_TEST() [37/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		multiple_montgomery_ladder
	)

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

HEAVY_TYPED_TEST() [38/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		one
	)

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

HEAVY_TYPED_TEST() [39/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_infinity
	)

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

HEAVY_TYPED_TEST() [40/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		short_scalar_mul_with_bit_lengths
	)

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

HEAVY_TYPED_TEST() [41/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul
	)

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

HEAVY_TYPED_TEST() [42/42]

HEAVY_TYPED_TEST	(	stdlib_biggroup	,
		twin_mul_with_infinity
	)

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

operator!()

constexpr InputType operator! ( InputType  type )

constexpr

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

TYPED_TEST() [1/38]

TYPED_TEST	(	stdlib_biggroup	,
		add
	)

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

TYPED_TEST() [2/38]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign
	)

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

TYPED_TEST() [3/38]

TYPED_TEST	(	stdlib_biggroup	,
		add_assign_with_constants
	)

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

TYPED_TEST() [4/38]

TYPED_TEST	(	stdlib_biggroup	,
		add_equals_dbl
	)

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

TYPED_TEST() [5/38]

TYPED_TEST	(	stdlib_biggroup	,
		add_points_at_infinity
	)

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

TYPED_TEST() [6/38]

TYPED_TEST	(	stdlib_biggroup	,
		add_with_constants
	)

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

TYPED_TEST() [7/38]

TYPED_TEST	(	stdlib_biggroup	,
		assert_coordinates_in_field
	)

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

TYPED_TEST() [8/38]

TYPED_TEST	(	stdlib_biggroup	,
		basic_tag_logic
	)

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

TYPED_TEST() [9/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add
	)

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

TYPED_TEST() [10/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub
	)

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

TYPED_TEST() [11/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_sub_with_constants
	)

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

TYPED_TEST() [12/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_add_with_constants
	)

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

TYPED_TEST() [13/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract
	)

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

TYPED_TEST() [14/38]

TYPED_TEST	(	stdlib_biggroup	,
		checked_unconditional_subtract_with_constants
	)

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

TYPED_TEST() [15/38]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate
	)

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

TYPED_TEST() [16/38]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [17/38]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select
	)

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

TYPED_TEST() [18/38]

TYPED_TEST	(	stdlib_biggroup	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [19/38]

TYPED_TEST	(	stdlib_biggroup	,
		dbl
	)

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

TYPED_TEST() [20/38]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_constant
	)

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

TYPED_TEST() [21/38]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_infinity
	)

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

TYPED_TEST() [22/38]

TYPED_TEST	(	stdlib_biggroup	,
		dbl_with_y_zero
	)

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

TYPED_TEST() [23/38]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal
	)

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

TYPED_TEST() [24/38]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_edge_cases
	)

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

TYPED_TEST() [25/38]

TYPED_TEST	(	stdlib_biggroup	,
		incomplete_assert_equal_fails
	)

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

TYPED_TEST() [26/38]

TYPED_TEST	(	stdlib_biggroup	,
		normalize
	)

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

TYPED_TEST() [27/38]

TYPED_TEST	(	stdlib_biggroup	,
		normalize_constant
	)

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

TYPED_TEST() [28/38]

TYPED_TEST	(	stdlib_biggroup	,
		reduce
	)

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

TYPED_TEST() [29/38]

TYPED_TEST	(	stdlib_biggroup	,
		reduce_constant
	)

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

TYPED_TEST() [30/38]

TYPED_TEST	(	stdlib_biggroup	,
		standard_form_of_point_at_infinity
	)

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

TYPED_TEST() [31/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub
	)

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

TYPED_TEST() [32/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign
	)

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

TYPED_TEST() [33/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub_assign_with_constants
	)

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

TYPED_TEST() [34/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub_neg_equals_double
	)

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

TYPED_TEST() [35/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub_points_at_infinity
	)

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

TYPED_TEST() [36/38]

TYPED_TEST	(	stdlib_biggroup	,
		sub_with_constants
	)

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

TYPED_TEST() [37/38]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate
	)

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

TYPED_TEST() [38/38]

TYPED_TEST	(	stdlib_biggroup	,
		unary_negate_with_constants
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_biggroup	,
		TestTypes
	)