u32vec.spad line 945 [edit on github]
undocumented
degree(v)
is degree of v
treated as polynomial
pa_to_sup(v)
converts vector of coefficients to a polynomial
to_mod_pa(s)
reduces coefficients of polynomial s
modulo prime p
and converts the result to vector