inert independence checking - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : Inert Functions : Indep

Indep - inert independence checking

Calling Sequence

Indep(S, 'r')

Parameters

S

-

RootOf or set of RootOfs

r

-

(optional) name

Description

• 

The Indep function is a placeholder for representing the independence-checking of a RootOf or of a set of RootOfs. It is used in conjunction with evala.

• 

The call evala(Indep(S, 'r')) returns true if the RootOfs in S are independent, or false otherwise. In case relations are found, the name r is assigned the set of relations.

• 

RootOfs representing algebraic numbers (or functions) are said to be independent if the polynomial defining a RootOf R is irreducible over the field generated by the RootOfs which do not contain R.

Examples

aliasr1=RootOfx21:

evalaIndepr1,'r'

false

(1)

r

r1=1,r1=1

(2)

aliassqrt2=RootOfx22,sqrt3=RootOfx23,sqrt6=RootOfx26:

evalaIndepsqrt2,sqrt3,sqrt6,'r'

false

(3)

r

sqrt6=sqrt3sqrt2,sqrt6=sqrt3sqrt2

(4)

See Also

evala, 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