A practical model for computation with matrix groups. (May 2015)