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

Online Help

All Products    Maple    MapleSim


evala

evaluate in an algebraic number (or function) field

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

evala(expr)

evala(expr, opts)

Parameters

expr

-

expression or an unevaluated function call

opts

-

(optional) name or a set of names

Description

• 

If expr is an unevaluated function call, such as Gcd(u,v), the function is performed in the smallest algebraic number (or function) field possible. Otherwise, evala(Normal(expr)) is computed.

• 

The following placeholders are accepted by evala and described in the documentation.  For example, to find further help on the Gcd command see evala/Gcd.

AFactor

AFactors

AIrreduc

Algfield

Content

Divide

Expand

Factor

Factors

Frobenius

Gcd

Gcdex

Indep

Issimilar

Minpoly

Norm

Normal

Prem

Primfield

Primpart

Quo

Reduce

Rem

Resultant

Simplify

Sprem

Sqrfree

Subfields

Trace

 

 

 

• 

The algebraic numbers and functions must be represented with the RootOf notation.  For example, the algebraic number  is represented by  and the algebraic function  is represented by .

• 

If the function is Gcd or the underlying process involves gcd computations, a case discussion and combination is attempted in case of reducible RootOfs (see evala/Gcd).

• 

The evala command supports a second argument opts, which is an option or a set of options to be passed to the appropriate function. The help pages for the placeholders describe the options that are currently accepted.

• 

In some cases, evala checks that the RootOfs are independent. If relations are found, an error may occur. The relations are accessible through the variable lasterror. The independence checking is performed if the function is one of the following:

Gcd

Primfield

Primpart

Content

 

Factor

Factors

AFactor

AFactors

Sqrfree

  

You can instruct evala to skip this independence checking by adding the option 'independent' to the option set opts. However, the result may be incorrect if the option 'independent' is used but the RootOfs are not actually independent.

• 

Information about the execution of the function can be displayed by setting infolevel[evala] to a positive integer. Likewise, assigning a positive integer to infolevel[function], where function is one of the placeholders, causes Maple to print selected information about computations involving function.

Examples

Define aliases for the examples.

(1)

Compute the quotient q and remainder r of a divided by b such that .

(2)

(3)

(4)

(5)

Polynomial multiplication and factorization over

(6)

(7)

(8)

(9)

An example of dependent algebraic functions

(10)

(11)

Norms of algebraic numbers and algebraic functions

(12)

(13)

(14)

(15)

(16)

(17)

(18)

(19)

The following examples demonstrate that the result by using the option 'independent' for actually dependent algebraic functions may not be correct.

(20)

(21)

Error, (in `evala/Gcd/preproc`) reducible RootOf detected. Substitutions are {RootOf(_Z^2-_Z) = 0, RootOf(_Z^2-_Z) = 1}

(22)

(23)

(24)

(25)

(26)

(27)

(28)

(29)

See Also

Algebraic

alias

convert/RootOf

RootOf

 


Download Help Document