For g = P(u)/Q(u) in lowest terms, span(1, u, ū, g, ug) is visible to the four-dimensional extensions exactly when max(deg P, deg Q) ≤ 2 + [Q(0) = 0]

Initializing...

For g = P(u)/Q(u) in lowest terms, span(1, u, ū, g, ug) is visible to the four-dimensional extensions exactly when max(deg P, deg Q) ≤ 2 + [Q(0) = 0] · Prove2Me