• Joined on 2021年10月06日
Eloitor pushed to main at Eloitor/koto_calc 2025年04月22日 19:57:27 +02:00
e3c1c713b4 update deps
Eloitor pushed to main at Eloitor/koto_calc 2025年04月17日 08:35:05 +02:00
573490301d convert NN.primes to a regular method
Eloitor pushed to main at Eloitor/koto_calc 2025年04月17日 08:06:06 +02:00
b2764693ad Display NN as NN
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 23:21:41 +02:00
a2a6820a5c Add NN parent object
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 23:19:56 +02:00
300d3f45af Add NN parent object
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 18:27:26 +02:00
59a52c42cd Clean unused imports
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 15:20:39 +02:00
c22bcfa36f allow adding ZZ and NN
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 15:03:51 +02:00
c3472d0aca Add abs for ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 13:01:40 +02:00
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 13:00:47 +02:00
2df0e31455 Add NN
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 12:17:15 +02:00
f2187eba51 Add is_irreducible for ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 12:06:19 +02:00
f2b67c49a3 Add multiply for ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 11:56:51 +02:00
700d8fd02d Add substract for ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 11:45:29 +02:00
6ea936c2fa Add negate for ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 11:03:20 +02:00
ae820996d6 Add algebraeon.ZZ
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 10:27:52 +02:00
d4b3c26643 Add empty algebraeon lib
Eloitor pushed to main at Eloitor/koto_calc 2025年04月16日 10:18:32 +02:00
0fb6649fc7 Add empty algebraeon lib
Eloitor pushed to main at Eloitor/koto_calc 2025年04月15日 22:51:02 +02:00
29135cf6e1 And docs and reproduce 0.15.3 repl
Eloitor created branch main in Eloitor/koto_calc 2025年04月15日 17:48:24 +02:00
Eloitor pushed to main at Eloitor/koto_calc 2025年04月15日 17:48:24 +02:00
56b9e192ff Initial repl