Closed rizhu closed 5 years ago
Rewrite elim_gaussian to elim where elim takes a parameter to choose between Gaussian and Gauss-Jordan row-reduction.
elim_gaussian
elim
Uses add-gauss-jordan branch
Rewrite
elim_gaussian
toelim
whereelim
takes a parameter to choose between Gaussian and Gauss-Jordan row-reduction.