field
Standalone Functions
pow
pow(x, y);
Adapted from std::field::pow_32.
Parameters
| Name | Type |
|---|---|
| x | Field |
| y | Field |
is_square
is_square(x);
Parameters
| Name | Type |
|---|---|
| x | Field |
tonelli_shanks_sqrt
tonelli_shanks_sqrt(x);
Parameters
| Name | Type |
|---|---|
| x | Field |
__sqrt
__sqrt(x);
Parameters
| Name | Type |
|---|---|
| x | Field |
sqrt
sqrt(x);
Returns (true, sqrt) if there is a square root.
Parameters
| Name | Type |
|---|---|
| x | Field |
validate_sqrt_hint
validate_sqrt_hint(x, hint);
Parameters
| Name | Type |
|---|---|
| x | Field |
| hint | Field |
validate_not_sqrt_hint
validate_not_sqrt_hint(x, hint);
Parameters
| Name | Type |
|---|---|
| x | Field |
| hint | Field |
test_sqrt
test_sqrt();
Takes no parameters.
test_non_square
test_non_square();
Takes no parameters.
test_known_non_residue_is_actually_a_non_residue_in_the_field
test_known_non_residue_is_actually_a_non_residue_in_the_field();
Takes no parameters.
test_sqrt_0
test_sqrt_0();
Takes no parameters.
test_sqrt_1
test_sqrt_1();
Takes no parameters.
test_bad_sqrt_hint_fails
test_bad_sqrt_hint_fails();
Takes no parameters.
test_bad_not_sqrt_hint_fails
test_bad_not_sqrt_hint_fails();
Takes no parameters.
test_0_not_sqrt_hint_fails
test_0_not_sqrt_hint_fails();
Takes no parameters.
test_is_square
test_is_square();
Takes no parameters.
test_is_not_square
test_is_not_square();
Takes no parameters.