rithm 14.6.0

Arbitrary precision arithmetic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

import fractions
import sys

import pytest
from hypothesis import given

from rithm.fraction import Fraction
from rithm.integer import Int
from tests.utils import (
    IntWithBuiltin,
    is_equivalent_to_builtin_fraction,
    is_equivalent_to_builtin_int,
)

from . import strategies


@given(
    strategies.ints_with_builtins,
    strategies.non_negative_one_byte_ints_with_builtins,
)
def test_non_negative_exponent_no_modulo_connection_with_builtin(
    base_with_builtin: IntWithBuiltin, exponent_with_builtin: IntWithBuiltin
) -> None:
    base, base_builtin = base_with_builtin
    exponent, exponent_builtin = exponent_with_builtin

    result = base**exponent

    assert isinstance(result, Int)
    assert is_equivalent_to_builtin_int(result, base_builtin**exponent_builtin)


@given(
    strategies.ints_with_builtins,
    strategies.negative_one_byte_ints_with_builtins,
)
def test_negative_exponent_no_modulo_connection_with_builtin(
    base_with_builtin: IntWithBuiltin, exponent_with_builtin: IntWithBuiltin
) -> None:
    base, base_builtin = base_with_builtin
    exponent, exponent_builtin = exponent_with_builtin

    try:
        result = base**exponent
    except ZeroDivisionError as exception:
        with pytest.raises(type(exception)):
            fractions.Fraction(base_builtin) ** exponent_builtin
    else:
        assert isinstance(result, Fraction)
        assert is_equivalent_to_builtin_fraction(
            result, fractions.Fraction(base_builtin) ** exponent_builtin
        )


@given(
    strategies.ints_with_builtins,
    strategies.non_negative_one_byte_ints_with_builtins
    if sys.version_info < (3, 8)
    else strategies.ints_with_builtins,
    strategies.ints_with_builtins,
)
def test_with_modulo_connection_with_builtin(
    base_with_builtin: IntWithBuiltin,
    exponent_with_builtin: IntWithBuiltin,
    divisor_with_builtin: IntWithBuiltin,
) -> None:
    base, base_builtin = base_with_builtin
    exponent, exponent_builtin = exponent_with_builtin
    divisor, divisor_builtin = divisor_with_builtin

    try:
        result = pow(base, exponent, divisor)
    except ValueError as exception:
        with pytest.raises(type(exception)):
            pow(base_builtin, exponent_builtin, divisor_builtin)
    else:
        assert isinstance(result, Int)
        assert is_equivalent_to_builtin_int(
            result, pow(base_builtin, exponent_builtin, divisor_builtin)
        )