Assertion: normal basis | /r/HasProperty | unique
Facets:
value: in this case
type: OTHER
Source sentences:
text: t + 1 {\displaystyle t^{3}{+}t{+}1} , while the normal basis, which in this case is unique, is given by the roots of the remaining factor t 3 + t 2 + 1 {\displaystyle t^{3}{+}t^{2}{+}1} .