ntogf2n
simp_ff()
[1] setmod_ff(x^30+x+1); x^30+x+1 [2] N=ntogf2n(2^100); (@^100) [3] simp_ff(N); (@^13+@^12+@^11+@^10)
gf2nton