blob: 55d3af6b8349b94460e6ed0a1594affea70282c8 (
plain) (
blame)
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
|
#include <tri.h>
#include <string.h>
int main(int argc, char *argv[])
{
assert(argc == 2);
char *s = argv[1];
tri_t a = tri_parse_default(s, strlen(s));
tri_t one = tri_from(1);
for (int64_t i = -13; i <= 13; ++i) {
tri_t b = tri_from(i);
b = tri_mul(b, one);
assert(tri_to(b) == i);
}
int64_t ba = tri_to(a);
for (size_t i = 0; i < 1000000000; ++i)
a = tri_mul(a, one);
assert(ba == tri_to(a));
char r[32];
size_t l = tri_fmt_default(r, 32, a);
r[l] = '\0';
printf("%s\n", r);
}
|
