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.
aliasr1=RootOfx2−1:
evalaIndepr1,r
false
r1=−1,r1=1
aliassqrt2=RootOfx2−2,sqrt3=RootOfx2−3,sqrt6=RootOfx2−6:
evalaIndepsqrt2,sqrt3,sqrt6,r
sqrt6=sqrt3sqrt2,sqrt6=−sqrt3sqrt2
See Also
evala
RootOf
Download Help Document