VectorPolynomialOperationsP p

u32vec.spad line 947 [edit on github]

• p: PositiveInteger

This is a low-level package which converts polynomials modulo a prime p to dense form, that is vector of coefficients, and back.

degree: PrimitiveArray PrimeField p -> Integer

degree(v) is degree of v treated as polynomial

pa_to_sup: PrimitiveArray PrimeField p -> SparseUnivariatePolynomial Integer

pa_to_sup(v) converts vector of coefficients to a polynomial

to_mod_pa: SparseUnivariatePolynomial Integer -> PrimitiveArray PrimeField p

to_mod_pa(s) reduces coefficients of polynomial s modulo prime p and converts the result to vector