eqns により定義される線形システムを、未知数 vars について解きます。 1つの解が存在する場合、 解は方程式の集合として返ります。システムが決定不能の場合、ソルバーは、1つあるいはそれ以上の未知数について、解をパラメータ表示します。

現在、ソルバーは、通常のガウス消去法に加えて、多くの専用のアルゴリズムを使用します。 どのアルゴリズムも、密なシステムについても適しますが、大規模なスパースシステムに対しても適します。(自動的に選択される) 専用のアルゴリズムにはつぎのものがあります:

(a) 有理係数のために、``primitive'' fraction-free アルゴリズムを使用する方法;

(b) 浮動小数係数のために、安定性を考慮したpartial pivoting を用いるガウス消去法を使用する方法;

(c) 有理数上の有理関数係数、 より一般的には、代数体のために、``primitive'' fraction-freeアルゴリズムを使用する方法

solve({a*x+b*y=3, x-y=b}, {x,y});

solve({I*x+y=1,I*x-y=2}, {x,y});