[math/modular-arithmetic] Mod Int

[Luzhiled]

[math/modular-arithmetic] Mod Int

file name

• src/math/modular-arithmetic/static-mod-int.hpp
• src/math/modular-arithmetic/dynamic-mod-int.hpp

TODO

• [ ] 実装
  • [x] static 素数 mod
  • [ ] static 任意 mod
  • [ ] dynamic mod
• [ ] ドキュメント作成
  • [ ] static 素数 mod
  • [ ] static 任意 mod
  • [ ] dynamic mod
• [x] unit-test
  • [x] static 素数 mod
  • [ ] static 任意 mod
  • [ ] dynamic mod
• [ ] verify
  • [x] static 素数 mod
  • [ ] static 任意 mod
  • [ ] dynamic mod

note

[Luzhiled]

inverse() の実装をサボって mod を素数に限った

[Luzhiled]

インクリメント / デクリメントはあえて実装していない

[Luzhiled]

出力周りはあったほうが便利な気がするので検討する

[ei1333]

static 素数に素数以外を渡してもいいですか

[Luzhiled]

inverse の実装をサボっているため割り算でこわれます　直したら渡せるようになると思います

[Luzhiled]

これはあきらかにサボるべきではないんだよな　優先度高めでお送りしていきたい

[Luzhiled]

dynamic modint が実装されたらついでにやる

• 156

• 157

[ei1333]

64bitのmodintも欲しいです

• 160

[ei1333]

int128が欲しい

https://github.com/luzhiled1333/comp-library/blob/main/src/cpp-template/header/type-alias.hpp

using u128 = __uint128_t;

？

[Luzhiled]

104 になりそうですねえ