Symplectic group (source code)

= Symplectic group
{title2=$Sp(2n,\mathbb R)$}
{wiki}

The real symplectic group consists of matrices $A$ satisfying $A^TJA=J$. It is an embedded matrix Lie group of dimension $2n^2+n$ in size $2n$.