式 f は、因数分解標準形に変換します。これは分子/分母の形で、分子と分母は、整数係数をもつ互いに素な多項式です。

normal コマンドは、基本的な簡素化を行い、の領域で、式が 0 に等しいことを認識します。和、積、整数や変数の整数乗からなる式を扱うことができます。

f がリスト、集合、範囲、級数、方程式、関係式、関数なら、normal は f のコンポーネントに繰り返し適用されます。たとえば級数の場合、級数の係数が正規化されることを意味します。

f が、平方根、べき乗、関数のような有理関数の領域外の部分式を含む場合、normal はこれらのオブジェクトに繰り返し適用されます。さらに、それらはユニークな名前に凍結 (frontend 関数を参照) され、f の形が簡単化されます。このような場合、normal は式が 0 に等しいことを、認識できないことがあります。

normal が 2 番目の引数に expanded を指定して呼び出されると、分子と分母は展開された多項式となります。

normal( x^2-(x+1)*(x-1)-1 );

normal( (x^2-y^2)/(x-y)^3 );

normal( (f(x)^2-1)/(f(x)-1) );

normal( {2/x + y/3 = 0, 1/x-5/x^2 =1} );

normal( sin(x*(x+1)-x) );

normal( 1/x -1/x^2<5);

g:=[seq(7*i*x/(i^2*x+1)+1/x, i=1..4)];

normal(g);

f:=series(x*y/(x+y)+1/x, x=1, 3);

normal(f);

normal( 1/x+x/(x+1) );

normal( 1/x+x/(x+1), expanded );