Python natural_number Exemples

Exemple #1

 def test_divmod(self) -> None:
     for i in range(5):
         for j in range(1, 5):
             self.assertEqual(
                 divmod(natural_number(i), natural_number(j)),
                 tuple(map(natural_number, divmod(i, j))),
             )

Exemple #2

 def test_set_repr(self) -> None:
     self.assertEqual(natural_number(0).set_repr(), frozenset())
     self.assertEqual(
         natural_number(1).set_repr(), frozenset((frozenset(), )))
     self.assertEqual(
         natural_number(2).set_repr(),
         frozenset((frozenset(), frozenset((frozenset(), )))),
     )

Exemple #3

Fichier : test_rational.py Projet : yhay81/pythonic-peano-arithmetic

 def test_pow(self) -> None:
     for i in range(3):
         for j in range(3):
             for k in range(3):
                 self.assertEqual(
                     rational(i, j)**natural_number(k),
                     rational(i**k, j**k))

Exemple #4

 def test_floordiv(self) -> None:
     for i in range(10):
         for j in range(1, 10):
             self.assertEqual(
                 natural_number(i) // natural_number(j),
                 natural_number(i // j))

Exemple #5

 def test_bool(self) -> None:
     for i in range(20):
         self.assertEqual(bool(natural_number(i)), bool(i))

Exemple #6

 def test_sub(self) -> None:
     for i in range(10):
         for j in range(i):
             self.assertEqual(
                 natural_number(i) - natural_number(j),
                 natural_number(i - j))

Exemple #7

 def test_mod(self) -> None:
     for i in range(10):
         for j in range(1, 10):
             self.assertEqual(
                 natural_number(i) % natural_number(j),
                 natural_number(i % j))

Exemple #8

 def test_reversed(self) -> None:
     for i, n in enumerate(reversed((natural_number(30)))):
         self.assertEqual(n, natural_number(29 - i))

Exemple #9

 def test_lt(self) -> None:
     for i in range(10):
         for j in range(10):
             self.assertEqual(natural_number(i) < natural_number(j), i < j)

Exemple #10

 def test_add(self) -> None:
     for i in range(5):
         for j in range(5):
             self.assertEqual(
                 natural_number(i) + natural_number(j),
                 natural_number(i + j))

Exemple #11

 def test_str(self) -> None:
     for i in range(20):
         self.assertEqual(str(natural_number(i)), str(i))

Exemple #12

 def test_abs(self) -> None:
     for i in range(30):
         self.assertEqual(abs(natural_number(i)), natural_number(abs(i)))

Exemple #13

 def test_eq(self) -> None:
     for i in range(20):
         n = NaturalNumber()
         for _ in range(i):
             n = NaturalNumber(n)
         self.assertEqual(natural_number(i), n)

Exemple #14

 def test_pos(self) -> None:
     for i in range(30):
         self.assertEqual(+natural_number(i), natural_number(+i))

Exemple #15

 def test_pow(self) -> None:
     for i in range(4):
         for j in range(4):
             self.assertEqual(
                 natural_number(i)**natural_number(j), natural_number(i**j))

Exemple #16

 def test_set_str(self) -> None:
     self.assertEqual(natural_number(0).set_str(), "{}")
     self.assertEqual(natural_number(1).set_str(), "{{}}")
     self.assertEqual(natural_number(2).set_str(), "{{}, {{}}}")
     self.assertEqual(natural_number(3).set_str(), "{{}, {{}, {{}}}, {{}}}")

Exemple #17

 def test_int(self) -> None:
     for i in range(20):
         self.assertEqual(int(natural_number(i)), int(i))

Exemple #18

Fichier : test_integer.py Projet : yhay81/pythonic-peano-arithmetic

 def test_eq(self) -> None:
     for i in range(-10, 10):
         for j in range(abs(i), 10):
             self.assertEqual(
                 integer(i),
                 Integer(natural_number(i + j), natural_number(j)))

Exemple #19

 def test_hash(self) -> None:
     for i in range(20):
         self.assertEqual(hash(natural_number(i)), hash(i))

Exemple #20

 def test_bigmul(self) -> None:
     self.assertEqual(
         natural_number(100) * natural_number(100),
         natural_number(100 * 100))

Exemple #21

 def test_mul(self) -> None:
     for i in range(5):
         for j in range(5):
             self.assertEqual(
                 natural_number(i) * natural_number(j),
                 natural_number(i * j))

Exemple #22

 def test_iter(self) -> None:
     for i, n in enumerate(natural_number(30)):
         self.assertEqual(n, natural_number(i))