expansion over algebraic extension fields - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Evaluation : evala : evala/Expand

Expand - expansion over algebraic extension fields

Calling Sequence

evala(Expand(a))

Parameters

a

-

expression involving algebraic numbers or algebraic functions.

Description

• 

This function expands product and powers of rational functions with algebraic coefficients. Powers of algebraic numbers and functions are reduced and denominators are rationalized.

• 

Algebraic functions and algebraic numbers may be represented by radicals or with the RootOf notation (see type,algnum, type,algfun, type,radnum, type,radfun).

• 

More precisely, the output satisfies the following properties:

  

Positive powers, products of sums and products of positive powers are expanded. The first operand of negative powers is expanded recursively, but negative powers are not expanded. Products of negative powers are not expanded either.

  

Algebraic numbers and functions have been reduced modulo the minimal polynomials. See Normal for a more precise definition.

  

Denominators have been rationalized. In other words, RootOfs and radicals defining algebraic numbers and functions have been removed from the denominator of rational functions.

  

Arguments of functions have been expanded recursively. Note that, unlike expand, Expand has no effect on mathematical functions such as sin or exp.

  

Other objects are frozen and considered as variables, except in the cases below.

  

If a is a set, a list, a range, a relation, or a series, then Expand is mapped over the object.

• 

This function can be used to normalize polynomials over algebraic number fields. If the coefficients are algebraic functions or if a is not a polynomial, Expand cannot be used to decide whether a is mathematically equal to zero. See Normal in this case.

• 

This function does not check that the algebraic quantities are independent.

Examples

s1:=x+2x2x

s1:=x+2x2x

(1)

evalaExpands1

22x22+xx22+2xx22

(2)

aliasα=RootOfy2y+x,y:

s2:=αy2

s2:=αy2

(3)

evalaExpands2

x+α2αy+y2

(4)

s3:=xRootOfx242

s3:=xRootOf_Z242

(5)

evalaExpands3

42xRootOf_Z24+x2

(6)

s4:=1x1+xx11

s4:=1x1+xx11

(7)

evalaExpands4

1x1+xx11

(8)

normals4

0

(9)

s5:=sinα2α+2x+y

s5:=sinα2α+2x+y

(10)

evalaExpands5

sinx+y

(11)

See Also

evala, Expand, expand, Normal, RootOf


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam