diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-07-11 16:05:54 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-07-11 16:05:54 -0400 |
| commit | 4153c0af9d4dcc43c0a67cc446a313c46ee5ac33 (patch) | |
| tree | 246154cdf41f487f6d2da2c6b6df5aba50531ab6 /test/integers.tm | |
| parent | a51d48201b5245dc2cc2bfb00e0ac8e7b52203d9 (diff) | |
| parent | 46b0dbc5a448249ddc9a6ce20465f0fa41de6d64 (diff) | |
Merge branch 'main' into decimalsdecimals
Diffstat (limited to 'test/integers.tm')
| -rw-r--r-- | test/integers.tm | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/integers.tm b/test/integers.tm index 3035ad3b..ee560952 100644 --- a/test/integers.tm +++ b/test/integers.tm @@ -85,8 +85,7 @@ func main() interesting_denominators := [-99, -20, -17, -1, 1, 17, 20, 99] for n in interesting_numerators for d in interesting_denominators - >> (n/d)*d + (n mod d) == n - = yes + assert (n/d)*d + (n mod d) == n >> (0).next_prime() = 2 @@ -94,7 +93,7 @@ func main() = 11 #>> (11).prev_prime() #= 7 - >> (and: p.is_prime() for p in [ + assert (and: p.is_prime() for p in [ 2, 3, 5, 7, 137372146048179869781170214707, 811418847921670560768224995279, @@ -107,7 +106,6 @@ func main() 121475876690852432982324195553, 771958616175795150904761471637, ])! - = yes >> (or: p.is_prime() for p in [ -1, 0, 1, 4, 6, |