Added rebase function to compute a new basis of an algebra/module
Simultaneous similarity, all looking fairly functional
Smarter testing for similarity