If the option 'symbolic' = true is given and a RootOf whose minimal polynomial factors nontrivially is detected, then it will be reduced to a RootOf of lower degree by picking one of the factors arbitrarily. This will eliminate the possibility of a "reducible RootOf detected" error. The default is 'symbolic'=false.

If the option 'characteristic' = p is given, where p is a non-negative integer, the pseudo-division is performed over an extension of the ring ${\mathrm{\mathbb{Z}}}_p$ of integers modulo p. The default is 'characteristic'=0 and means that the pseudo-division is performed over an extension of the rational numbers.

If the option 'makeindependent'=true is given, then PseudoDivision will always try to find a field representation for algebraic numbers in the input, regardless of how many algebraic objects the input contains. If the input contains many RootOfs, then this can be a very expensive calculation. If 'makeindependent'=false is given, then no independence checking is performed. The default is 'makeindependent'=FAIL, in which case algebraic dependencies will only be checked for if there are $4$ or fewer algebraic objects in the input.

The PseudoDivision command performs pseudo-division on multivariate polynomials a and b with respect to the variable x. It returns the pseudo-remainder r such that the relationship $ma=bq+r$ is satisfied, where m is the multiplier and q is the pseudo-quotient. r and q are polynomials in x, with degree(r,x) < degree(b,x). The multiplier m is defined as lcoeff(b, x) ^ (degree(a, x)-degree(b, x)+1) and is free of x.

If the optional arguments `m` and `q` are included, they will be assigned the values of the multiplier and pseudo-quotient respectively.

The inputs a and b may contain algebraic number coefficients. These may be represented by radicals or with the RootOf notation (see type,algnum, type,radnum). In general, algebraic numbers will be returned in the same representation as they were received in. Nested radicals and RootOfs are also supported.

The property $ma=bq+r$ will hold in the domain K[x], where K is an algebraic field generated over the rationals and any algebraic number coefficients occurring in a and b (unless the option 'characteristic' is given; see below).

Non-algebraic sub-expressions such as $\sin \left(x\right)$ that are neither variables, rational numbers, or algebraic objects are frozen and temporarily replaced by new local variables, which are not considered to be constant in what follows.

The arguments a and b must be polynomials in the variable x, but may contain other names, which are considered as elements of the coefficient field.

The x parameter can also be a function such as $\sin \left(x\right)$, in which case it will be frozen and treated as a variable. However, functions that are also of type AlgebraicObject such as $\sin \left(\frac{\mathrm{\pi }}{3}\right)$ will be converted to algebraic numbers before proceeding, so they cannot be treated as variables. Proceed with caution when using a function for x, as treating some functions as variables may produce mathematically unsound results.

The inputs a and b can be polynomials disguised as rational functions, in which case they are normalized first using Algebraic[Normal].

The output will be normalized as follows:

All non-constant factors are monic with respect to x.

There are at most two constant factors, and at most one of them is not a rational number.

All algebraic numbers occurring in the result are reduced modulo their minimal polynomial (see Reduce), and all arguments of functions, if any, are normalized recursively (see Normal).

If the set of radicals and RootOfs in the input cannot be embedded into a field algebraically, then PseudoDivision may not be able to perform the division. PseudoDivision will try to find a field representation if there are at most $4$ algebraic objects in the input (unless option 'makeindependent' is given; see below), and otherwise attempt to proceed anyway. If unsuccessful, a "reducible RootOf detected" error will be returned. (unless the option 'symbolic'=true is given; see below).

This function does not support input containing floats or radical functions such as $\sqrt{x}$.

$\mathrm{with}\left(\mathrm{Algebraic}\right)\&colon;$

$\mathrm{PseudoDivision}\left(x^2+2\&comma;2x+\mathrm{sqrt}\left(2\right)\&comma;x\&comma;'\mathrm{m1}'\&comma;'\mathrm{q1}'\right)$

$10$

$\left[\mathrm{m1}\&comma;\mathrm{q1}\right]$

$\left[4\&comma;2x-\sqrt{2}\right]$

$\mathrm{expand}\left(4\left(x^2+2\right)-\left(2x+\mathrm{sqrt}\left(2\right)\right)\left(2x-\mathrm{sqrt}\left(2\right)\right)\right)$

$10$

$\left[\mathrm{PseudoDivision}\left(x^3+y^3+5\&comma;\mathrm{I}x+\mathrm{I}y\&comma;x\&comma;'\mathrm{m2}'\&comma;'\mathrm{q2}'\right)\&comma;\mathrm{m2}\&comma;\mathrm{q2}\right]$

$\left[-5\mathrm{I}\&comma;\mathrm{-I}\&comma;-x^2+yx-y^2\right]$

$\mathrm{r1}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)$

$\mathrm{r1}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)$

$\left[\mathrm{PseudoDivision}\left(x^2+1\&comma;\mathrm{r1}x\&comma;x\&comma;'\mathrm{m3}'\&comma;'\mathrm{q3}'\right)\&comma;\mathrm{m3}\&comma;\mathrm{q3}\right]$

$\left[\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)+1\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)+1\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)x\right]$

$\left[\mathrm{PseudoDivision}\left(xyz\&comma;\mathrm{sqrt}\left(2\right)x-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-8\&comma;\mathrm{index}=1\right)\&comma;x\&comma;'\mathrm{m4}'\&comma;'\mathrm{q4}'\right)\&comma;\mathrm{m4}\&comma;\mathrm{q4}\right]$

$\left[2\sqrt{2}zy\&comma;\sqrt{2}\&comma;zy\right]$

$\left[\mathrm{PseudoDivision}\left(\mathrm{sqrt}\left(2\right)x\&comma;\mathrm{sqrt}\left(3\right)x-\mathrm{sqrt}\left(6\right)\&comma;x\&comma;'\mathrm{m5}'\&comma;'\mathrm{q5}'\right)\&comma;\mathrm{m5}\&comma;\mathrm{q5}\right]$

$\left[2\sqrt{3}\&comma;\sqrt{3}\&comma;\sqrt{2}\right]$

$\left[\mathrm{PseudoDivision}\left(x^2-4^{-\frac{2}{3}}+1\&comma;2x+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-2\&comma;\mathrm{index}=1\right)\&comma;x\&comma;'\mathrm{m6}'\&comma;'\mathrm{q6}'\right)\&comma;\mathrm{m6}\&comma;\mathrm{q6}\right]$

$\left[4\&comma;4\&comma;2x-2^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$3$}\right.}\right]$

$\left[\mathrm{PseudoDivision}\left(\mathrm{sqrt}\left(\mathrm{RootOf}\left({\mathrm{\_Z}}^2-3\&comma;\mathrm{index}=1\right)\right)x\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-3\&comma;\mathrm{index}=1\right)\&comma;\mathrm{index}=1\right)\&comma;x\&comma;'\mathrm{m7}'\&comma;'\mathrm{q7}'\right)\&comma;\mathrm{m7}\&comma;\mathrm{q7}\right]$

$\left[0\&comma;\sqrt{3}\&comma;\sqrt{3}x\right]$

$\left[\mathrm{PseudoDivision}\left(x^2{y}^2+7\&comma;xy\&comma;x\&comma;'\mathrm{m8}'\&comma;'\mathrm{q8}'\right)\&comma;\mathrm{m8}\&comma;\mathrm{q8}\right]$

$\left[7y^2\&comma;y^2\&comma;y^{3}x\right]$

$\left[\mathrm{PseudoDivision}\left(x^2{y}^2+7\&comma;xy\&comma;y\&comma;'\mathrm{m9}'\&comma;'\mathrm{q9}'\right)\&comma;\mathrm{m9}\&comma;\mathrm{q9}\right]$

$\left[7x^2\&comma;x^2\&comma;x^{3}y\right]$

$\left[\mathrm{PseudoDivision}\left(x^2{y}^2+7\&comma;xy\&comma;z\&comma;'\mathrm{m10}'\&comma;'\mathrm{q10}'\right)\&comma;\mathrm{m10}\&comma;\mathrm{q10}\right]$

$\left[0\&comma;xy\&comma;x^2{y}^2+7\right]$

$\left[\mathrm{PseudoDivision}\left(x^2\&comma;x^3\&comma;x\&comma;'\mathrm{m11}'\&comma;'\mathrm{q11}'\right)\&comma;\mathrm{m11}\&comma;\mathrm{q11}\right]$

$\left[x^2\&comma;1\&comma;0\right]$

$\left[\mathrm{PseudoDivision}\left(x^{10}\&comma;\mathrm{sqrt}\left(2\right)\&comma;x\&comma;'\mathrm{m11}'\&comma;'\mathrm{q11}'\right)\&comma;\mathrm{m11}\&comma;\mathrm{q11}\right]$

$\left[0\&comma;32\sqrt{2}\&comma;32x^{10}\right]$

$\left[\mathrm{PseudoDivision}\left(x^2\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)\&comma;x\&comma;'\mathrm{m12}'\&comma;'\mathrm{q12}'\right)\&comma;\mathrm{m12}\&comma;\mathrm{q12}\right]$

$\left[0\&comma;2\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)+1\&comma;x^2\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)+x^2\right]$

$\left[\mathrm{PseudoDivision}\left(\frac{x}{\mathrm{RootOf}\left({\mathrm{\_Z}}^2+6\mathrm{\_Z}-1\right)}+7\&comma;2x\&comma;x\&comma;'\mathrm{m13}'\&comma;'\mathrm{q13}'\right)\&comma;\mathrm{m13}\&comma;\mathrm{q13}\right]$

$\left[14\&comma;2\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2+6\mathrm{\_Z}-1\right)+6\right]$

$\left[\mathrm{PseudoDivision}\left(x+\sin \left(\frac{\mathrm{\pi }}{4}\right)\&comma;\mathrm{sqrt}\left(2\right)x+\exp \left(\mathrm{I}\mathrm{\pi }\right)\&comma;x\&comma;'\mathrm{m14}'\&comma;'\mathrm{q14}'\right)\&comma;\mathrm{m14}\&comma;\mathrm{q14}\right]$

$\left[2\&comma;\sqrt{2}\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(z^2+1\&comma;z\sin \left(x\right)\&comma;z\&comma;'\mathrm{m15}'\&comma;'\mathrm{q15}'\right)\&comma;\mathrm{m15}\&comma;\mathrm{q15}\right]$

$\left[{\sin \left(x\right)}^2\&comma;{\sin \left(x\right)}^2\&comma;z\sin \left(x\right)\right]$

$\left[\mathrm{PseudoDivision}\left(\sin \left(x\right)+4\&comma;2\sin \left(x\right)\&comma;\sin \left(x\right)\&comma;'\mathrm{m16}'\&comma;'\mathrm{q16}'\right)\&comma;\mathrm{m16}\&comma;\mathrm{q16}\right]$

$\left[8\&comma;2\&comma;1\right]$

$a≔\frac{\mathrm{\pi }}{4}$

$a≔\frac{\mathrm{\pi }}{4}$

$\mathrm{PseudoDivision}\left(\sin \left(a\right)+4\&comma;2\sin \left(a\right)\&comma;\sin \left(a\right)\right)$

Error, invalid input: Algebraic:-PseudoDivision expects its 3rd argument, x, to be of type Or(name,And(function,Not(AlgebraicObject))), but received 1/2*2^(1/2)

$\left[\mathrm{PseudoDivision}\left(\tan \left(\frac{x^2-1}{x+1}\right)+\exp \left({\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)}^3\right)\&comma;\tan \left(x-\sin \left(\frac{\mathrm{\pi }}{2}\right)\right)\&comma;\tan \left(x-1\right)\&comma;'\mathrm{m17}'\&comma;'\mathrm{q17}'\right)\&comma;\mathrm{m17}\&comma;\mathrm{q17}\right]$

$\left[{\&ExponentialE;}^{2\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}-1\right)+1}\&comma;1\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(\sin \left(\frac{\frac{x^2-1}{\left(x-1\right)\left(x+1\right)}\mathrm{\pi }}{4}\right)x\&comma;x+1\&comma;x\&comma;'\mathrm{m18}'\&comma;'\mathrm{q18}'\right)\&comma;\mathrm{m18}\&comma;\mathrm{q18}\right]$

$\left[-\frac{\sqrt{2}}{2}\&comma;1\&comma;\frac{\sqrt{2}}{2}\right]$

$\mathrm{PseudoDivision}\left(\frac{1}{x}\&comma;\frac{1}{x^2}\&comma;x\right)$

Error, (in Algebraic:-PseudoDivision) polynom(s) with radalgnum coefficients expected

$\mathrm{PseudoDivision}\left(x^2+2x\mathrm{sqrt}\left(x\right)+x\&comma;x+\mathrm{sqrt}\left(x\right)\&comma;x\right)$

Error, (in Algebraic:-PseudoDivision) polynom(s) with radalgnum coefficients expected

$\left[\mathrm{PseudoDivision}\left(x^2-1+\mathrm{RootOf}\left({\mathrm{\_Z}}^2-3\right)\&comma;2x-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-4\right)\&comma;x\&comma;'\mathrm{m19}'\&comma;'\mathrm{q19}'\right)\&comma;\mathrm{m19}\&comma;\mathrm{q19}\right]$

$\left[4\mathrm{RootOf}\left({\mathrm{\_Z}}^2-3\right)\&comma;4\&comma;2x+\mathrm{RootOf}\left({\mathrm{\_Z}}^2-4\right)\right]$

$\left[\mathrm{PseudoDivision}\left(x+\mathrm{sqrt}\left(2\right)\&comma;2x+\mathrm{RootOf}\left({\mathrm{\_Z}}^2-8\right)\&comma;x\&comma;'\mathrm{m20}'\&comma;'\mathrm{q20}'\right)\&comma;\mathrm{m20}\&comma;\mathrm{q20}\right]$

$\left[-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-8\right)+2\sqrt{2}\&comma;2\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(\mathrm{sqrt}\left(2\right)x\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\&comma;\mathrm{index}=1\right)x+\mathrm{sqrt}\left(2\right)x+1\&comma;x\&comma;'\mathrm{m21}'\&comma;'\mathrm{q21}'\right)\&comma;\mathrm{m21}\&comma;\mathrm{q21}\right]$

$\left[-\sqrt{2}\&comma;2\sqrt{2}\&comma;\sqrt{2}\right]$

$\left[\mathrm{PseudoDivision}\left(\mathrm{sqrt}\left(2\right)x\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\&comma;\mathrm{index}=2\right)x+\mathrm{sqrt}\left(2\right)x+1\&comma;x\&comma;'\mathrm{m22}'\&comma;'\mathrm{q22}'\right)\&comma;\mathrm{m22}\&comma;\mathrm{q22}\right]$

$\left[0\&comma;1\&comma;\sqrt{2}x\right]$

$\left[\mathrm{PseudoDivision}\left(\mathrm{sqrt}\left(2\right)x\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)x+\mathrm{sqrt}\left(2\right)x+1\&comma;x\&comma;'\mathrm{m23}'\&comma;'\mathrm{q23}'\right)\&comma;\mathrm{m23}\&comma;\mathrm{q23}\right]$

$\left[-\sqrt{2}\&comma;\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)+\sqrt{2}\&comma;\sqrt{2}\right]$

$\left[\mathrm{PseudoDivision}\left(x\&comma;\mathrm{sqrt}\left(2\right)-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)\&comma;x\&comma;'\mathrm{m24}'\&comma;'\mathrm{q24}'\right)\&comma;\mathrm{m24}\&comma;\mathrm{q24}\right]$

$\left[0\&comma;-2\sqrt{2}\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)+4\&comma;\sqrt{2}x-\mathrm{RootOf}\left({\mathrm{\_Z}}^2-2\right)x\right]$

$\left[\mathrm{PseudoDivision}\left(x^2+2x+2\&comma;2x+1\&comma;x\&comma;'\mathrm{m25}'\&comma;'\mathrm{q25}'\&comma;'\mathrm{characteristic}'=0\right)\&comma;\mathrm{m25}\&comma;\mathrm{q25}\right]$

$\left[5\&comma;4\&comma;2x+3\right]$

$\left[\mathrm{PseudoDivision}\left(x^2+2x+2\&comma;2x+1\&comma;x\&comma;'\mathrm{m26}'\&comma;'\mathrm{q26}'\&comma;'\mathrm{characteristic}'=3\right)\&comma;\mathrm{m26}\&comma;\mathrm{q26}\right]$

$\left[2\&comma;1\&comma;2x\right]$

$\left[\mathrm{PseudoDivision}\left(x^2\&comma;\mathrm{I}x-\mathrm{sqrt}\left(2\right)\&comma;x\&comma;'\mathrm{m27}'\&comma;'\mathrm{q27}'\&comma;'\mathrm{characteristic}'=7\right)\&comma;\mathrm{m27}\&comma;\mathrm{q27}\right]$

$\left[2\&comma;6\&comma;\mathrm{I}x+\sqrt{2}\right]$

$\mathrm{PseudoDivision}\left(x\&comma;\mathrm{RootOf}\left(\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}\right)\mathrm{\_Z}+1\right)x+1\&comma;x\right)$

Error, (in Algebraic:-PseudoDivision) reducible RootOf detected. Substitutions are {RootOf(_Z^2-_Z) = 0, RootOf(_Z^2-_Z) = 1}

$\left[\mathrm{PseudoDivision}\left(x\&comma;\mathrm{RootOf}\left(\mathrm{RootOf}\left({\mathrm{\_Z}}^2-\mathrm{\_Z}\right)\mathrm{\_Z}+1\right)x+1\&comma;x\&comma;'\mathrm{m29}'\&comma;'\mathrm{q29}'\&comma;'\mathrm{symbolic}'=\mathrm{true}\right)\&comma;\mathrm{m29}\&comma;\mathrm{q29}\right]$

$\left[\mathrm{-1}\&comma;\mathrm{-1}\&comma;1\right]$

$\mathrm{CubeRootOf}\left[-4\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3+4\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_{\mathrm{-4}}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3+4\&comma;\mathrm{index}=1\right)$

$\mathrm{CubeRootOf}\left[-2\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3+2\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_{\mathrm{-2}}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3+2\&comma;\mathrm{index}=1\right)$

$\mathrm{CubeRootOf}\left[2\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-2\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_2≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-2\&comma;\mathrm{index}=1\right)$

$\mathrm{CubeRootOf}\left[3\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_3≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\&comma;\mathrm{index}=1\right)$

$\mathrm{CubeRootOf}\left[4\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-4\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_4≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-4\&comma;\mathrm{index}=1\right)$

$\mathrm{CubeRootOf}\left[6\right]≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-6\&comma;\mathrm{index}=1\right)$

${\mathrm{CubeRootOf}}_6≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-6\&comma;\mathrm{index}=1\right)$

$\left[\mathrm{PseudoDivision}\left(x+\mathrm{CubeRootOf}\left[4\right]\mathrm{CubeRootOf}\left[-2\right]\mathrm{CubeRootOf}\left[3\right]\&comma;x+\mathrm{CubeRootOf}\left[-4\right]\mathrm{CubeRootOf}\left[6\right]\&comma;x\&comma;'\mathrm{m30}'\&comma;'\mathrm{q30}'\right)\&comma;\mathrm{m30}\&comma;\mathrm{q30}\right]$

$\left[\mathrm{RootOf}\left({\mathrm{\_Z}}^3+2\&comma;\mathrm{index}=1\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\&comma;\mathrm{index}=1\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^3-4\&comma;\mathrm{index}=1\right)-\mathrm{RootOf}\left({\mathrm{\_Z}}^3+4\&comma;\mathrm{index}=1\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^3-6\&comma;\mathrm{index}=1\right)\&comma;1\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(x+\mathrm{CubeRootOf}\left[4\right]\mathrm{CubeRootOf}\left[-2\right]\mathrm{CubeRootOf}\left[3\right]\&comma;x+\mathrm{CubeRootOf}\left[-4\right]\mathrm{CubeRootOf}\left[6\right]\&comma;x\&comma;'\mathrm{m31}'\&comma;'\mathrm{q31}'\&comma;'\mathrm{makeindependent}'=\mathrm{true}\right)\&comma;\mathrm{m31}\&comma;\mathrm{q31}\right]$

$\left[0\&comma;1\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(x+\mathrm{CubeRootOf}\left[2\right]\mathrm{CubeRootOf}\left[3\right]\&comma;x+\mathrm{CubeRootOf}\left[6\right]\&comma;x\&comma;'\mathrm{m32}'\&comma;'\mathrm{q32}'\right)\&comma;\mathrm{m32}\&comma;\mathrm{q32}\right]$

$\left[0\&comma;1\&comma;1\right]$

$\left[\mathrm{PseudoDivision}\left(x+\mathrm{CubeRootOf}\left[2\right]\mathrm{CubeRootOf}\left[3\right]\&comma;x+\mathrm{CubeRootOf}\left[6\right]\&comma;x\&comma;'\mathrm{m33}'\&comma;'\mathrm{q33}'\&comma;'\mathrm{makeindependent}'=\mathrm{false}\right)\&comma;\mathrm{m33}\&comma;\mathrm{q33}\right]$

$\left[\mathrm{RootOf}\left({\mathrm{\_Z}}^3-2\&comma;\mathrm{index}=1\right)\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\&comma;\mathrm{index}=1\right)-\mathrm{RootOf}\left({\mathrm{\_Z}}^3-6\&comma;\mathrm{index}=1\right)\&comma;1\&comma;1\right]$