Zulip Chat Archive
Stream: maths
Topic: finset of coeffts of a poly
Kevin Buzzard (Feb 18 2020 at 00:26):
Do we have an easy way of accessing the finset of coefficients of a polynomial?
Chris Hughes (Feb 18 2020 at 04:25):
support.image coeff
Kevin Buzzard (Feb 20 2020 at 16:15):
def frange (f : α →₀ β) : finset β := finset.image f f.support
also works for polynomials in 1 variable
Last updated: Dec 20 2023 at 11:08 UTC