Definition talk:Degree of Polynomial

From ProofWiki
Jump to navigation Jump to search

It seems to me that the main definition is inconsistent. For the representation of $f = \sum a_i x^i$ need not be unique. Consider $x = 0$.

I'm fine with the extra generality obtained by considering the indeterminate to reside in a higher field, instead of being an "indeterminate", but then this needs to be formalised and the degree needs to be defined as an appropriate infimum. — Lord_Farin (talk) 11:46, 13 May 2017 (EDT)

Agreed. It seems like this is how the problem arose:
--barto (talk) 15:43, 12 July 2017 (EDT)