Exercise linearalgebra.systemwithmatrix
Description
Solve Linear System with Matrix
Rules for linearalgebra.systemwithmatrix
| Rule name | Args | Used | Siblings | Rewrite rule |
| linearalgebra.gaussianelim.add | 5 | yes | ||
| linearalgebra.gaussianelim.exchange | 4 | yes | ||
| linearalgebra.gaussianelim.scale | 4 | yes | ||
| linearalgebra.linsystem.frommatrix | 1 | yes | ||
| linearalgebra.linsystem.inconsistent | 1 | yes | ||
| linearalgebra.linsystem.tomatrix | 1 | yes | ||
| linearalgebra.linsystem.trivial | 1 | yes |
Buggy rules for linearalgebra.systemwithmatrix
| Rule name | Args | Used | Siblings | Rewrite rule |