Divide - Maple Help

Online Help

All Products    Maple    MapleSim


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

Divide

Division of polynomials over algebraic extension fields

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

evala(Divide(P, Q, 'p'))

Parameters

P, Q

-

polynomials over an algebraic number or function field

p

-

(optional) a name

Description

• 

This function returns true if the polynomial Q divides P and false otherwise. The coefficients of P and Q must be algebraic functions or algebraic numbers.

• 

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

• 

When Q divides P, the optional argument p is assigned the quotient P/Q.

• 

The division property is meant in the domain Kx where:

  

x is the set of names in P and Q which do not appear inside a RootOf or a radical,

  

K is a field generated over the rational numbers by the coefficients of P and Q.

  

The arguments P and Q must be polynomials in x.

• 

Algebraic numbers and functions occurring in the results are reduced modulo their minimal polynomial (see Normal).

• 

If a or b contains functions, their arguments are normalized recursively and the functions are frozen before the computation proceeds.

• 

Other objects are frozen and considered as variables.

Examples

aliasα=RootOfx3+x+1

α

(1)

evalaDividex3+x+1,xα,'a1'

true

(2)

a1

α2+αx+x2+1

(3)

evalaDividex3+x+1,xα+1,'a2'

false

(4)

a2

a2

(5)

P1expandxtytx+12

P1tx3+2tx2+xt3/2yx22tyxty

(6)

Q1tytx

Q1tytx

(7)

evalaDivideP1,Q1,'a3'

true

(8)

a3

tx22x1t

(9)

The second argument below is not a polynomial. Therefore, an error is returned:

evalaDivideP1,Q1+1x,'a3'

Error, (in evala/Divide/preproc0) invalid arguments

See Also

Divide

divide

evala

Quo

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