Witt group of isometric structures (source code)

= Witt group of isometric structures
{c}
{title2=$\mathcal W_F$}

The Witt group of isometric structures identifies two <isometric structure>[isometric structures] when their orthogonal difference is metabolic.