abstract rootof - Maple Help

type/abstract_rootof

check for a RootOf data structure that is the collection of roots of an expression

 Calling Sequence type(expr, abstract_rootof)

Parameters

 expr - any expression

Description

 • The type(expr, abstract_rootof) function returns true if expr is the abstract collection of all the roots of an expression that uses a RootOf data structure. Otherwise, false is returned.
 This function recognizes two forms of roots.
 1 RootOf(expr) where expr is an algebraic expression
 2 RootOf(expr, label = L) where expr is an algebraic expression, and L is any expression
 If extra arguments are included in the call to type(expr, abstract_rootof), they are ignored.

Examples

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