src/edh/cantor/seq2val/lib.hpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #pragma once | ||
| 2 | |||
| 3 | #include "../../../comb/seq/fact/lib.hpp" | ||
| 4 | |||
| 5 | namespace tifa_libs { | ||
| 6 | |||
| 7 | 40 | CEXP u64 cantor_seq2val(spnu s, spnuu fact, u64 mod = -1_u64) NE { | |
| 8 | 40 | cu32 n = (u32)s.size(); | |
| 9 | 40 | u64 ret = 1; | |
| 10 |
2/2✓ Branch 3 taken 194 times.
✓ Branch 4 taken 40 times.
|
234 | flt_ (u32, i, 0, n) (ret += mul_mod_u(s[i], fact[n - i - 1], mod)) %= mod; |
| 11 | 40 | return ret; | |
| 12 | } | ||
| 13 | CEXP u64 cantor_seq2val(spnu s, u64 mod = -1_u64) NE { return cantor_seq2val(s, gen_fact((u32)s.size(), mod), mod); } | ||
| 14 | |||
| 15 | } // namespace tifa_libs | ||
| 16 |