specified rootof - Maple Help

type/specified_rootof

check for a RootOf data structure that is a specific root of an expression

 Calling Sequence type(expr, specified_rootof)

Parameters

 expr - any expression

Description

 • The type(expr, specified_rootof) function returns true if expr is a specific root of an expression that uses a RootOf data structure. Otherwise, false is returned.
 This function recognizes two forms of roots.

 1.  RootOf(expr, index = n) where expr is an algebraic expression, and n is a positive integer Specifies the roots of a rational polynomial. 2.  RootOf(expr, c) where expr is an algebraic expression, and c is a constant Specifies the closest root to the point c.

 If extra arguments are included in the call to type(expr, specified_rootof), they are ignored.

Examples

 > $\mathrm{type}\left(\mathrm{RootOf}\left({x}^{2}-4x+71\right),\mathrm{specified_rootof}\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(\mathrm{RootOf}\left({x}^{2}-4x+71,\mathrm{index}=1\right),\mathrm{specified_rootof}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(\mathrm{RootOf}\left({x}^{2}-4x+7,\mathrm{label}=A\right),\mathrm{specified_rootof}\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left(\mathrm{RootOf}\left({x}^{2}-4x+7,2.+1.732050808I\right),\mathrm{specified_rootof}\right)$
 ${\mathrm{true}}$ (4)