feat: compute the distributive Haar character of ℝ, ℂ, ℤ_[p] and ℚ_[p]
#83
| Job | Run time |
|---|---|
| 1s | |
| 3m 49s | |
| 3m 50s |
ℝ, ℂ, ℤ_[p] and ℚ_[p]
#83
| Job | Run time |
|---|---|
| 1s | |
| 3m 49s | |
| 3m 50s |