For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄), the hull is in the real pencil class exactly when |a c̄ − b d̄| = ||a|² − |d|²| ≠ 0

Initializing...

For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄), the hull is in the real pencil class exactly when |a c̄ − b d̄| = ||a|² − |d|²| ≠ 0 · Prove2Me