-1. Finish CartesianProductEJA: add to_matrix(), random_instance(),...
- methods. I guess we should create a separate class hierarchy for
+1. Finish CartesianProductEJA: add random_instance() method and
+ optimize. I guess I should create a separate class hierarchy for
Cartesian products of RationalBasisEJA? That way we get fast
charpoly and random_instance() defined...