Assertion: vector | /r/HasProperty | single-variable polynomials
Facets:
value: with rational coefficients
type: OTHER
Source sentences:
text: The vectors in {\mathbb Q}[X] are the single-variable polynomials with rational coefficients: one is x^{42}+\frac1{137}x-1 .