Loading paper
A bideterminant basis for a reductive monoid | Tomesphere