The dual space represents functionals from the polynomial ring to the base field. Given a polySpace S with n generators f_1,...,f_n and a dualSpace D with m generators p_1,...,p_m, pairingMatrix returns a nxm matrix M over the base field whose entries are p_j(f_i).
A dual functional is applied to a polynomial by taking the standard pairing of their coefficient vectors. In other words, the functional represented by the monomial a acts on monomials in the polynomial ring as a(a) = 1 and a(b) = 0 for all other monomials b.
|
|
|
|
The function pairingMatrix can also be called with one or both inputs a ring element. If both arguments are single elements, the output is also a ring element rather than a matrix.
|
|
|
The object pairingMatrix is a method function.