Assertion: basis | /r/CapableOf | depend of first variable
Facets:
Source sentences:
text: the first coordinates of a solution is a root of the greatest common divisor of polynomials of the basis that depends only of the first variable.