Indep
inert independence checking
Calling Sequence
Parameters
Description
Examples
Indep(S, 'r')
S
-
RootOf or set of RootOfs
r
(optional) name
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.
See Also
evala
RootOf
Download Help Document