Zulip Chat Archive

Stream: new members

Topic: Linearly Extending a Function

Richard Osborn (Nov 15 2022 at 03:16):

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 (Nov 15 2022 at 03:35):

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

Kyle Miller (Nov 15 2022 at 09:24):

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

Last updated: Dec 20 2023 at 11:08 UTC