Expand 関数は、expand 関数を表すプレースホルダーです。以下に説明されているように、係数領域を定義する mod または evala と併用されます。

evala(Expand(a)) を呼び出すと、a に含まれる積を展開します (a には、代数的数や、RootOfs または radicals によって定義された関数が含まれている場合があります)。詳細については、evala/Expand を参照してください。

Expand(a) mod p を呼び出すと、a に含まれる積を、法が整数の p について展開します (a には、代数拡大を表す RootOfs または radicals が含まれている場合があります)。

Expand( (x+2)^2*(x-2) ) mod 3;

alias(alpha=RootOf(x^2-2)):

evala(Expand( (x+alpha)^2*(x-alpha) ));

alias(beta=RootOf(x^2+x+1)):

Expand( (x+beta)^2*(x-beta) ) mod 2;