\begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch1} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull1}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty1} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull1}{\hidepaste} \tab{5}\spadcommand{RFZ := Fraction UnivariatePolynomial('x, Integer)\bound{RFZ0 }} \indentrel{3}\begin{verbatim} (1) Fraction UnivariatePolynomial(x,Integer) Type: Domain \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty1} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty1}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch1} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty1}{\showpaste} \tab{5}\spadcommand{RFZ := Fraction UnivariatePolynomial('x, Integer)\bound{RFZ0 }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch2} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull2}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty2} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull2}{\hidepaste} \tab{5}\spadcommand{x : RFZ := 'x\free{RFZ0 }\bound{RFZ }} \indentrel{3}\begin{verbatim} (2) x Type: Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty2} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty2}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch2} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty2}{\showpaste} \tab{5}\spadcommand{x : RFZ := 'x\free{RFZ0 }\bound{RFZ }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch3} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull3}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty3} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull3}{\hidepaste} \tab{5}\spadcommand{Dx : LODO1 RFZ := D()\bound{Dx }\free{RFZ }} \indentrel{3}\begin{verbatim} (3) D Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty3} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty3}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch3} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty3}{\showpaste} \tab{5}\spadcommand{Dx : LODO1 RFZ := D()\bound{Dx }\free{RFZ }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch4} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull4}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty4} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull4}{\hidepaste} \tab{5}\spadcommand{b : LODO1 RFZ := 3*x**2*Dx**2 + 2*Dx + 1/x\free{Dx }\bound{b }} \indentrel{3}\begin{verbatim} 2 2 1 (4) 3x D + 2D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty4} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty4}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch4} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty4}{\showpaste} \tab{5}\spadcommand{b : LODO1 RFZ := 3*x**2*Dx**2 + 2*Dx + 1/x\free{Dx }\bound{b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch5} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull5}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty5} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull5}{\hidepaste} \tab{5}\spadcommand{a : LODO1 RFZ := b*(5*x*Dx + 7)\free{b Dx }\bound{a }} \indentrel{3}\begin{verbatim} 3 3 2 2 7 (5) 15x D + (51x + 10x)D + 29D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty5} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty5}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch5} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty5}{\showpaste} \tab{5}\spadcommand{a : LODO1 RFZ := b*(5*x*Dx + 7)\free{b Dx }\bound{a }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch6} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull6}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty6} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull6}{\hidepaste} \tab{5}\spadcommand{p := x**2 + 1/x**2\bound{p }\free{RFZ }} \indentrel{3}\begin{verbatim} 4 x + 1 (6) ÄÄÄÄÄÄ 2 x Type: Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty6} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty6}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch6} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty6}{\showpaste} \tab{5}\spadcommand{p := x**2 + 1/x**2\bound{p }\free{RFZ }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch7} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull7}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty7} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull7}{\hidepaste} \tab{5}\spadcommand{(a*b - b*a) p\free{a b p }} \indentrel{3}\begin{verbatim} 4 - 75x + 540x - 75 (7) ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ 4 x Type: Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty7} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty7}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch7} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty7}{\showpaste} \tab{5}\spadcommand{(a*b - b*a) p\free{a b p }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch8} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull8}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty8} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull8}{\hidepaste} \tab{5}\spadcommand{ld := leftDivide(a,b)\bound{ld }\free{a b }} \indentrel{3}\begin{verbatim} (8) [quotient= 5x D + 7,remainder= 0] Type: Record(quotient: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer),remainder: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer)) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty8} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty8}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch8} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty8}{\showpaste} \tab{5}\spadcommand{ld := leftDivide(a,b)\bound{ld }\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch9} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull9}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty9} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull9}{\hidepaste} \tab{5}\spadcommand{a = b * ld.quotient + ld.remainder\free{a b ld }} \indentrel{3}\begin{verbatim} (9) 3 3 2 2 7 15x D + (51x + 10x)D + 29D + Ä = x 3 3 2 2 7 15x D + (51x + 10x)D + 29D + Ä x Type: Equation LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty9} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty9}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch9} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty9}{\showpaste} \tab{5}\spadcommand{a = b * ld.quotient + ld.remainder\free{a b ld }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch10} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull10}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty10} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull10}{\hidepaste} \tab{5}\spadcommand{rd := rightDivide(a,b)\bound{rd }\free{a b }} \indentrel{3}\begin{verbatim} 5 (10) [quotient= 5x D + 7,remainder= 10D + Ä] x Type: Record(quotient: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer),remainder: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer)) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty10} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty10}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch10} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty10}{\showpaste} \tab{5}\spadcommand{rd := rightDivide(a,b)\bound{rd }\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch11} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull11}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty11} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull11}{\hidepaste} \tab{5}\spadcommand{a = rd.quotient * b + rd.remainder\free{a b rd }} \indentrel{3}\begin{verbatim} (11) 3 3 2 2 7 15x D + (51x + 10x)D + 29D + Ä = x 3 3 2 2 7 15x D + (51x + 10x)D + 29D + Ä x Type: Equation LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty11} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty11}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch11} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty11}{\showpaste} \tab{5}\spadcommand{a = rd.quotient * b + rd.remainder\free{a b rd }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch12} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull12}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty12} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull12}{\hidepaste} \tab{5}\spadcommand{rightQuotient(a,b)\free{a b }} \indentrel{3}\begin{verbatim} (12) 5x D + 7 Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty12} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty12}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch12} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty12}{\showpaste} \tab{5}\spadcommand{rightQuotient(a,b)\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch13} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull13}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty13} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull13}{\hidepaste} \tab{5}\spadcommand{rightRemainder(a,b)\free{a b }} \indentrel{3}\begin{verbatim} 5 (13) 10D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty13} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty13}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch13} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty13}{\showpaste} \tab{5}\spadcommand{rightRemainder(a,b)\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch14} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull14}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty14} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull14}{\hidepaste} \tab{5}\spadcommand{leftExactQuotient(a,b)\free{a b }} \indentrel{3}\begin{verbatim} (14) 5x D + 7 Type: Union(LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer),...) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty14} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty14}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch14} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty14}{\showpaste} \tab{5}\spadcommand{leftExactQuotient(a,b)\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch15} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull15}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty15} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull15}{\hidepaste} \tab{5}\spadcommand{e := leftGcd(a,b)\bound{e }\free{a b }} \indentrel{3}\begin{verbatim} 2 2 1 (15) 3x D + 2D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty15} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty15}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch15} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty15}{\showpaste} \tab{5}\spadcommand{e := leftGcd(a,b)\bound{e }\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch16} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull16}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty16} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull16}{\hidepaste} \tab{5}\spadcommand{leftRemainder(a, e)\free{a e }} \indentrel{3}\begin{verbatim} (16) 0 Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty16} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty16}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch16} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty16}{\showpaste} \tab{5}\spadcommand{leftRemainder(a, e)\free{a e }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch17} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull17}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty17} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull17}{\hidepaste} \tab{5}\spadcommand{rightRemainder(a, e)\free{a e }} \indentrel{3}\begin{verbatim} 5 (17) 10D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty17} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty17}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch17} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty17}{\showpaste} \tab{5}\spadcommand{rightRemainder(a, e)\free{a e }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch18} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull18}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty18} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull18}{\hidepaste} \tab{5}\spadcommand{f := rightLcm(a,b)\bound{f }\free{a b }} \indentrel{3}\begin{verbatim} 3 3 2 2 7 (18) 15x D + (51x + 10x)D + 29D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty18} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty18}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch18} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty18}{\showpaste} \tab{5}\spadcommand{f := rightLcm(a,b)\bound{f }\free{a b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch19} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull19}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty19} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull19}{\hidepaste} \tab{5}\spadcommand{rightRemainder(f, b)\free{f b }} \indentrel{3}\begin{verbatim} 5 (19) 10D + Ä x Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty19} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty19}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch19} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty19}{\showpaste} \tab{5}\spadcommand{rightRemainder(f, b)\free{f b }} \end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch20} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull20}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty20} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageFull20}{\hidepaste} \tab{5}\spadcommand{leftRemainder(f, b)\free{f b }} \indentrel{3}\begin{verbatim} (20) 0 Type: LinearOrdinaryDifferentialOperator1 Fraction UnivariatePolynomial(x,Integer) \end{verbatim} \indentrel{-3}\end{paste}\end{patch} \begin{patch}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty20} \begin{paste}{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty20}{ugxLinearOrdinaryDifferentialOperatorOneRatPagePatch20} \pastebutton{ugxLinearOrdinaryDifferentialOperatorOneRatPageEmpty20}{\showpaste} \tab{5}\spadcommand{leftRemainder(f, b)\free{f b }} \end{paste}\end{patch}