To do list

* p-adics

* computing with chi_18