The FactorSteps command accepts a polynomial and displays the steps required to factor the expression.

If expr is a string, then it is parsed into an expression using InertForm:-Parse so that no automatic simplifications are applied, and thus no steps are missed.  

The implicitmultiply option is only relevant when expr is a string.  This option is passed directly on to the InertForm:-Parse command and will cause things like 2x to be interpreted as 2*x, but also, xyz to be interpreted as x*y*z.

The output and displaystyle options are described in Student:-Basics:-OutputStepsRecord. The return value is controlled by the output option.  

This function is part of the Student:-Basics package.

$\mathrm{with}\left(\mathrm{Student}:-\mathrm{Basics}\right)\:$

$\mathrm{FactorSteps}\left(x^3\+6x^2\+12x\+8\right)$

$\begin{array}{lll}& & \left[\right]\\ \text{▫}& & \text{1. Trial Evaluations}\\ & \text{◦}& \text{Rewrite in standard form}\\ & & \left[\right]\\ & \text{◦}& \text{The factors of the constant coefficient}8\text{are:}\\ & & C=\left\{1\,2\,4\,8\right\}\\ & \text{◦}& \text{Trial evaluations of}x\text{in}\text{±}C\text{find}x\text{=}\mathrm{-2}\text{satisfies the equation, so}x+2\text{is a factor}\\ & & \left[\right]\\ & \text{◦}& \text{Divide by}x+2\\ & & \begin{array}{cc}\stackrel{\phantom{z^2}}{\left[\right]}& \begin{array}{ccccc}& \phantom{\mathrm{PP}}{x}^2& \phantom{P}\+4x& \phantom{\mathrm{PP}}\+4& \\ \)\phantom{x^2}& \phantom{1}{x}^3& \phantom{1}\+6x^2& \phantom{1}\+12x& \phantom{1}\+8\\ & \multicolumn{2}{c}{\frac{x^3+2x^2}{\phantom{\.}}}& \\ & & \multicolumn{2}{c}{4x^2+12x}& & \\ & & \multicolumn{2}{c}{\frac{4x^2+8x}{\phantom{\.}}}& & \\ & & & \multicolumn{2}{c}{4x+8}& & & \\ & & & \multicolumn{2}{c}{\frac{4x+8}{\phantom{\.}}}& & & \\ & & & & 0\hfill & & & & \end{array}\end{array}\\ & \text{◦}& \text{Quotient times divisor from long division}\\ & & \left[\right]\\ \text{•}& & \text{2. Examine term:}\\ & & x^2+4x+4\\ \text{▫}& & \text{3. Apply the AC Method}\\ & \text{◦}& \text{Examine quadratic}\\ & & \left[\right]\\ & \text{◦}& \text{Look at the coefficients,}A{x}^2+Bx+C\\ & & \left[''A''=1\,''B''=4\,''C''=4\right]\\ & \text{◦}& \text{Find factors of |AC| = |}1\cdot 4\text{| =}4\\ & & \left\{1\,2\,4\right\}\\ & \text{◦}& \text{Find pairs of the above factors, which, when multiplied equal}4\\ & & \left\{\left[\right]\,\left[\right]\right\}\\ & \text{◦}& \text{Which pairs of these factors have a}\text{sum}\text{of B =}4\text{? Found:}\\ & & \left[\right]=4\\ & \text{◦}& \text{Split the middle term to use above pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}x\text{out of the first pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}2\text{out of the second pair}\\ & & \left[\right]\\ & \text{◦}& x+2\text{is a common factor}\\ & & \left[\right]\\ & \text{◦}& \text{Group common factor}\\ & & \left[\right]\\ & & \text{This gives:}\\ & & \left[\right]\\ \text{•}& & \text{4. This gives:}\\ & & \left[\right]\end{array}$

$\mathrm{FactorSteps}\left(a^2-b^2\right)$

$\begin{array}{lll}& & \left[\right]\\ \text{•}& & \text{1. This is a difference of squares, in the form}{A}^2-B^2\\ & & \left[\right]\\ \text{•}& & \text{2. Apply difference of squares rule:}{A}^2-B^2=\left(A+B\right)\left(A-B\right)\\ & & \left[\right]\end{array}$

$\mathrm{FactorSteps}\left(x^2-x-12\right)$

$\begin{array}{lll}& & \left[\right]\\ \text{▫}& & \text{1. Apply the AC Method}\\ & \text{◦}& \text{Rewrite in standard form}\\ & & \left[\right]\\ & \text{◦}& \text{Look at the coefficients,}A{x}^2+Bx+C\\ & & \left[''A''=1\,''B''=\mathrm{-1}\,''C''=\mathrm{-12}\right]\\ & \text{◦}& \text{Find factors of |AC| = |}1\cdot \left(\mathrm{-12}\right)\text{| =}12\\ & & \left\{1\,2\,3\,4\,6\,12\right\}\\ & \text{◦}& \text{Find pairs of the above factors, which, when multiplied equal}12\\ & & \left\{\left[\right]\,\left[\right]\,\left[\right]\right\}\\ & \text{◦}& \text{Which pairs of these factors have a}\text{difference}\text{of B =}\mathrm{-1}\text{? Found:}\\ & & \left[\right]=\mathrm{-1}\\ & \text{◦}& \text{Split the middle term to use above pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}x\text{out of the first pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}\mathrm{-4}\text{out of the second pair}\\ & & \left[\right]\\ & \text{◦}& x+3\text{is a common factor}\\ & & \left[\right]\\ & \text{◦}& \text{Group common factor}\\ & & \left[\right]\\ & & \text{This gives:}\\ & & \left[\right]\end{array}$

$\mathrm{FactorSteps}\left(\frac{2y^2}{5}\+\frac{113y}{5}\+33\right)$

$\begin{array}{lll}& & \left[\right]\\ \text{•}& & \text{1. Remove rationals and common factor}\\ & & \left[\right]\\ \text{•}& & \text{2. Examine term:}\\ & & \left[\right]\\ \text{▫}& & \text{3. Apply the AC Method}\\ & \text{◦}& \text{Examine quadratic}\\ & & \left[\right]\\ & \text{◦}& \text{Look at the coefficients,}A{y}^2+By+C\\ & & \left[''A''=2\,''B''=113\,''C''=165\right]\\ & \text{◦}& \text{Find factors of |AC| = |}2\cdot 165\text{| =}330\\ & & \left\{1\,2\,3\,5\,6\,10\,11\,15\,22\,30\,33\,55\,66\,110\,165\,330\right\}\\ & \text{◦}& \text{Find pairs of the above factors, which, when multiplied equal}330\\ & & \left\{\left[\right]\,\left[\right]\,\left[\right]\,\left[\right]\,\left[\right]\,\left[\right]\,\left[\right]\,\left[\right]\right\}\\ & \text{◦}& \text{Which pairs of these factors have a}\text{sum}\text{of B =}113\text{? Found:}\\ & & \left[\right]=113\\ & \text{◦}& \text{Split the middle term to use above pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}y\text{out of the first pair}\\ & & \left[\right]\\ & \text{◦}& \text{Factor}55\text{out of the second pair}\\ & & \left[\right]\\ & \text{◦}& 2y+3\text{is a common factor}\\ & & \left[\right]\\ & \text{◦}& \text{Group common factor}\\ & & \left[\right]\\ & & \text{This gives:}\\ & & \left[\right]\\ \text{•}& & \text{4. This gives:}\\ & & \left[\right]\end{array}$

The Student[Basics][FactorSteps] command was introduced in Maple 2021.

For more information on Maple 2021 changes, see Updates in Maple 2021.