... example¹

A minor point: here $Hv$ must be typed in as $v*H^t$ since MAGMA (in the Australian tradition?) has matrices acting on the right.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.