lineq

Linear Equation

A linear equation with variables is an equation of the form where and are scalars.
A (particular) solution to the equation is a tuple that makes the equation true. That is