Exercise

Exercise linearalgebra.linsystem

Description
Solve Linear System

Rules for linearalgebra.linsystem

Rule name	Args	Used	Siblings	Rewrite rule
`linearalgebra.linsystem.coverall`	0	no
`linearalgebra.linsystem.coverup`	1	no
`linearalgebra.linsystem.eliminate`	4	yes
`linearalgebra.linsystem.exchange`	3	yes
`linearalgebra.linsystem.freevars`	0	no
`linearalgebra.linsystem.inconsistent`	1	yes
`linearalgebra.linsystem.scale`	3	yes
`linearalgebra.linsystem.subst`	4	yes
`linearalgebra.linsystem.trivial`	1	yes
`linearalgebra.linsystem.uncover`	1	no

Buggy rules for linearalgebra.linsystem

Rule name

Args

Used

Siblings

Rewrite rule