If 1, v, v̄, g, vg are free and ḡ ∈ span(1, v, vg) for a Laurent g, their span is span(1, v, v̄, h, h̄) with h = G(v) + κ · conj(v G(v)), |κ| = 1

Initializing...

If 1, v, v̄, g, vg are free and ḡ ∈ span(1, v, vg) for a Laurent g, their span is span(1, v, v̄, h, h̄) with h = G(v) + κ · conj(v G(v)), |κ| = 1 · Prove2Me