For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄) with a five-dimensional hull, the hull is in the involution class exactly when |a| = |d| and (a, d) ≠ (0, 0)

Initializing...

For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄) with a five-dimensional hull, the hull is in the involution class exactly when |a| = |d| and (a, d) ≠ (0, 0) · Prove2Me