Exercise linearalgebra.gramschmidt
Description
Gram-Schmidt
Rules for linearalgebra.gramschmidt
| Rule name | Args | Used | Siblings | Rewrite rule |
| considernextvector | 2 | no | ||
| makeorthogonal | 4 | yes | ||
| turnintounitvector | 1 | yes |
Buggy rules for linearalgebra.gramschmidt
| Rule name | Args | Used | Siblings | Rewrite rule |