A scalar expression for matrices with symplectic involution

Various algebraic reductions are made to facilitate computer verification of the following result: If <italic>x</italic> and <italic>y</italic> are <inline-f...