Normal
inert normal function
Calling Sequence
Parameters
Description
Examples
Normal(a)
a
-
expression involving RootOfs
The Normal function is a placeholder for representing a normal form for an expression. It is used in conjunction with mod and evala as described below which defines the coefficient domain.
The call Normal(a) mod p computes a normal form for a where a is a rational expression over a finite field.
The call evala(Normal(a)) computes a normal form for a where a may contain algebraic coefficients defined by RootOfs or radicals. See evala,Normal for more information.
Normal( (x^3-2*x^2+2*x+1)/(x^4+1) ) mod 5;
x+3x2+3
evala(Normal( (x^2-2)/(x-RootOf(_Z^2-2)) ));
x+RootOf⁡_Z2−2
See Also
evala
evala/Normal
Expand
Gcd
mod
normal
RootOf
Download Help Document
What kind of issue would you like to report? (Optional)