Linearly Extending a Function

Stream: new members

[Richard Osborn]

Is there code to linearly extend a function defined on monomials (or just powers of X) to a linear function on the entire polynomial ring?

[Junyan Xu]

There's docs#finsupp.total which you can combine with docs#polynomial.to_finsupp_iso_alg

[Kyle Miller]

If you're defining a linear map on a subspace of a polynomial ring over field, then there's docs#linear_map.exists_extend