Basis(exprs, vars) 関数は、与えられる変数 vars に関する複雑さで、定義された式 exprs のリストについて、最も簡単な共通の基底を計算します。

exprs の各要素が、整数の係数を持つ、これら返される式の線形結合として書かれているような、新しい式のリストが返されます。

with(SolveTools):
Basis([x+y,x-y],{x,y});

Basis([x+y,x-y],{x});