-7. If we factor out a "matrix algebra" class, then it would make sense
- to replace the custom embedding/unembedding functions with static
- _real_embedding() and _real_unembedding() methods.
+7. Pass already_echelonized (default: False) and echelon_basis
+ (default: None) into the subalgebra constructor. The value of
+ already_echelonized can be passed to V.span_of_basis() to save
+ some time, and usinf e.g. FreeModule_submodule_with_basis_field
+ we may somehow be able to pass the echelon basis straight in to
+ save time.