 type/facint - Maple Programming Help

Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/facint

type/facint

test for factored integer form

 Calling Sequence type(expr, facint)

Parameters

 expr - any expression

Description

 • This function will return true if expr is an expression of the form returned by the function ifactor, and false otherwise.
 • The numbers $0$, $1$, and $-1$ are considered to be of type facint, but all other integers and rationals must be passed through ifactor before type/facint will return true when applied to them.

Examples

 > $a≔\mathrm{ifactor}\left(2520\right)$
 ${a}{≔}{\left({2}\right)}^{{3}}{}{\left({3}\right)}^{{2}}{}\left({5}\right){}\left({7}\right)$ (1)
 > $\mathrm{type}\left(a,\mathrm{facint}\right)$
 ${\mathrm{true}}$ (2)
 > $b≔\mathrm{ifactor}\left(\frac{81}{8}\right)$
 ${b}{≔}\frac{{\left({3}\right)}^{{4}}}{{\left({2}\right)}^{{3}}}$ (3)
 > $\mathrm{type}\left(b,\mathrm{facint}\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{type}\left(1,\mathrm{facint}\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{type}\left(5,\mathrm{facint}\right)$
 ${\mathrm{false}}$ (6)
 > $\mathrm{type}\left(\mathrm{ifactor}\left(5\right),\mathrm{facint}\right)$
 ${\mathrm{true}}$ (7)