Homogenize コマンドはいくつか多項式や、多項式イデアルを斉次化します。f を多項式とし、各項に h のべきを掛けていくことで、全ての項を同じ全次数を持つようにします。f の変数はオプションの第 3 引数 vars によって指定されます。Homogenize は多項式のリストや集合の元それぞれに対して働きます。

第 1 引数 f が PolynomialIdeal であった時は Homogenize コマンドは f の全ての多項式を斉次化したものによって生成されるイデアルを構成します。この計算は f の全次数順序を用いた Groebner 基底を斉次化することによって行われます。