normal form for rational expressions with algebraic number coefficients
any Maple object; typically a rational function with algebraic number coefficients
(optional) equation(s) of the form keyword = value, where keyword is one of 'symbolic', 'expanded', 'rationalize', 'characteristic', 'makeindependent', or 'recursive'.
If the option 'symbolic'=true is given and a RootOf whose minimal polynomial factors nontrivially is detected, Normal will reduce it to a RootOf of lower degree by picking one of the factors arbitrarily. The default is 'symbolic'=false.
If the option 'expanded'=true is given, the result will be a quotient of two expanded polynomials, with the following properties:
The leading coefficient, with respect to the block-lexicographic ordering of the variables described above, of the denominator is a positive integer.
If there is a denominator, it is non-constant.
The integer content of the denominator is equal to 1.
This form is unique, but again it may not exist if the radicals and RootOfs in the input do not define a field. The default is 'expanded'=false.
If the option 'rationalize'=false is given, then leading coefficients of non-constant factors in the result will not be rationalized, and the denominator may contain constant factors that are not integers. This can be useful to avoid blowup in some examples where coefficients or denominators in the input contain many algebraic numbers.
If the option 'characteristic'=p is given, where p is a nonnegative integer, the normal form is computed over an extension of the ring ℤp of integers modulo p. The default is 'characteristic'=0 and means that the normal form is computed over an extension of the rational numbers.
Note that if p is positive but not a prime, then ℤp is not a field, and a normal form may not exist. Normal will attempt to compute one anyway. If it does not succeed because it encounters an integer that has no inverse modulo p, it issues the error "zero divisor modulo p detected".
If the option 'makeindependent'=true is given, then Normal will always try to find a field representation for algebraic numbers in the input, regardless of how many algebraic objects the input contains. If the input contains many RootOfs, then this can be a very expensive calculation. If 'makeindependent'=false is given, then no independence checking is performed. The default is 'makeindependent'=FAIL, in which case algebraic dependencies will only be checked for if there are 4 or fewer algebraic objects in the input.
If the option 'recursive'=false is given, then Normal will not map itself recursively over non-algebraic subexpressions. The default is 'recursive'=true.
The Normal command computes a factored normal form for a (multivariate) rational expression whose coefficients contain radicals or RootOfs representing algebraic numbers. In particular, the result is 0 if and only if the input is mathematically equivalent to zero, under certain conditions (see below).
Non-algebraic subexpressions such as sin⁡x that are neither variables, rational numbers, or algebraic objects will first be mapped over recursively (unless the option 'recursive'=false is given; see below). Then they are frozen and temporarily replaced by new local variables, which are not considered to be constant in what follows.
This command preserves partial factorizations in the input and expands polynomials only if necessary, unless the option 'expanded'=true is given (see below).
The normal form satisfies the following properties:
All radicals and powers of RootOfs in the result are reduced with respect to their respective minimal polynomials. That is, every radical is of the form ar, where 0<r<1 is a rational number, and every integer exponent in a power of the form RootOf⁡f,...n satisfies 0<n<degf .
The numerator and the denominator have no non-trivial common factors.
Unless option 'expanded'=true or option 'rationalize'=false is given (see below), the normal form also satisfies the following properties:
The leading coefficients, with respect to a block-lexicographic ordering of the variables where all global variables are considered larger than all local ones, of all non-constant factors are positive integers (except possibly if there is only one non-constant factor and no denominator). If all variables have different names, then this ordering is session-independent.
There is at most one constant factor in the denominator, and it is a positive integer.
There are at most two constant factors in the numerator, at most one of them is not a rational number, and the other one, if present, is an integer.
All factors that are not rational numbers have integer content equal to 1, except possibly if there is only one non-constant factor.
If, after freezing non-algebraic subexpressions, the input contains floating point numbers, only normal will be applied to it.
If the set of radicals and RootOfs in the input cannot be embedded into a field algebraically, a normal form with the properties above may not exist, or Normal may be unable to compute one. It will try to find a field representation if there are at most 4 algebraic objects in the input (unless option 'makeindependent' is given; see below), and otherwise attempt to compute the normal form anyway. If it does not succeed, it will first fall back to calling Algebraic[Reduce], and if this fails as well, to normal (unless the option 'symbolic'=true is given; see below). In this case, the result returned may not satisfy all properties of a normal form above.
Otherwise, if the set of radicals and RootOfs in the input do define a field, then Normal returns 0 if and only if the input is mathematically equivalent to zero.
f := Normal((x+1)*(x+2)*(x/RootOf(_Z^2-2,index=1)+1)/(x^2-2));
p := 1/(x-RootOf(_Z^2-2)) + 1/(x+RootOf(_Z^2-2));
Powers of radicals and RootOfs are reduced and, in particular, constant denominators are inverted. Nested and mixed radicals / RootOfs are handled as well:
p := [RootOf(x^2-x-1)^5+2*RootOf(x^2-x-1)^3,RootOf(x^2-x-1)^(-1)];
Algebraic functions in the coefficients are not accepted:
Error, (in Algebraic:-Normal) ratpoly(s) with radalgnum coefficients expected
Non-algebraic subexpressions are first handled recursively (unless option 'recursive'=false is present) and then temporarily replaced by new variables:
Non-algebraic subexpressions may evaluate to something algebraic after recursive treatment:
Partial factorizations in the inputs are preserved, unless option 'expanded'=true is given:
a := (x^2-1)*(x^2-2);
b := (x^2+2*x+1)*(x-sqrt(2))^2;
By default, leading coefficients are rationalized and made positive. Note that this may factor out a leading term, even if the input is expanded:
Since Maple always expands the product of a number and a single factor, the leading coefficient may not be positive and the integer content may be nontrivial in such a case:
If option 'rationalize'=false is given, then leading coefficients and denominators will not be rationalized in the output:
If the input has floating point coefficients, only normal is applied to it:
There is no way for Normal to know whether RootOf⁡_Z2−2 without an index represents 2 or −2, and it reverts to calling Algebraic[Reduce] or normal. In the following example, option 'symbolic'=true picks −2:
In the following example, there is a zero divisor in the denominator, and the result does not satisfy all properties of a normal form:
If there is a RootOf whose leading coefficient is not invertible, then it is not even possible to reduce a positive power of it:
An example where the normal form can be computed even though there is a non-indexed reducible RootOf:
Using option 'characteristic', normal forms over finite fields can be computed:
In contrast to characteristic 0, the complex number I, radicals, and indexed RootOfs are not uniquely defined in positive characteristic, and they are treated as if they were non-indexed RootOfs:
Normal((x-2)/(x-I), 'characteristic'=5, 'symbolic'=true);
The polynomial defining a RootOf will also be reduced modulo the characteristic:
The normal form cannot always be computed in composite characteristic:
Error, (in Algebraic:-Normal) zero divisor modulo 65 detected
With option 'makeindependent'=true, the input will be checked for algebraic dependencies even if there are more than 4 algebraic objects in the input:
With option 'makeindependent'=false, the input will never be checked for algebraic dependencies:
Download Help Document
What kind of issue would you like to report? (Optional)