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):
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: May 10 2021 at 08:14 UTC