Divide - Maple Help

Online Help

All Products    Maple    MapleSim


Divide

inert divide function

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Divide(a, b, 'q')

Parameters

a, b

-

multivariate polynomials

q

-

(optional) unevaluated name

Description

• 

The Divide function is a placeholder for the division of the polynomial a by b . It is used in conjunction with mod, modp1, or evala as described below.

• 

The call Divide(a,b,'q') mod p determines whether b divides a modulo p, a prime integer. It returns true if the division succeeds and assigns the quotient to q, such that a=b*q; otherwise it returns false. The polynomials a and b must be multivariate polynomials over the rationals or over a finite field specified by RootOfs.

• 

The call modp1(Divide(a,b,'q'),p) does likewise for a and b polynomials in the modp1 representation, p a prime integer.

• 

The call evala(Divide(a,b,'q')) does likewise for a and b, multivariate polynomials defined over an algebraic number or function field specified by RootOf or radicals. See evala/Divide for more information.

Examples

Dividex3+x2+2x+3,x+2,qmod5

true

(1)

q

x2+4x+4

(2)

ax2+x2RootOf_Z22:

bxRootOf_Z22:

evalaDividea,b,q1

true

(3)

q1

x+1+RootOf_Z22

(4)

evalaDividex2z,xsqrtz,q2

true

(5)

q2

x+z

(6)

See Also

divide

Gcd

mod

Prem

Quo