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