Minpoly - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


evala/Minpoly

minimal polynomial of an algebraic number (or function)

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

evala(Minpoly(a, x, K))

Parameters

a

-

algebraic number or function

x

-

name

K

-

(optional) set of algebraic numbers or functions defining an extension field

Description

• 

The Minpoly function is a placeholder for representing the minimal polynomial of an algebraic number (or function) . It is used in conjunction with evala.

• 

The call evala(Minpoly(a, x)) computes the monic minimal polynomial of  in the variable  over the field of rational numbers (or multivariate rational functions). The resulting polynomial will not contain any algebraic numbers or functions.

• 

The call evala(Minpoly(a, x, K)) computes the monic minimal polynomial of  in the variable  over the field  resulting from an extension of the rational numbers (or multivariate rational functions) by the algebraic numbers (or functions) in . The resulting polynomial will only contain algebraic numbers or functions from  in its coefficients.

• 

The variable  cannot occur in either  or ; otherwise, an error will be raised.

• 

The algebraic numbers and functions in both  and  can be given either in radical or RootOf notation. A mixture or radicals and RootOfs is not supported. The coefficients of the resulting polynomial will be returned in the same form as  (if specified).

• 

If the algebraic numbers and functions in  do not form a syntactical subset of the algebraic numbers and functions occurring in , evala/Algfield will be used to rewrite  as an element of an appropriate extension field of . This may not always succeed, and as a result, the polynomial returned may not be of minimal degree in that case.

Examples

(1)

(2)

(3)

Specifying an extension field.

(4)

(5)

Using radical instead of RootOf notation:

(6)

(7)

(8)

(9)

If the algebraic numbers and functions are not independent, i.e., they do not form a field, or if the algebraic numbers and functions in  do not occur in , the resulting polynomial may not be of minimal degree. In the following example, Maple is unable to tell whether  equals sqrt2 or -sqrt2.

(10)

In this example, using an indexed RootOf will help.

(11)

(12)

Compatibility

• 

The evala/Minpoly command was introduced in Maple 2020.

• 

For more information on Maple 2020 changes, see Updates in Maple 2020.

See Also

Algfield

evala

Norm

PolynomialTools[MinimalPolynomial]

RootOf

 


Download Help Document