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