diff options
Diffstat (limited to 'src/hyper/pages/LODO1.pht')
| -rw-r--r-- | src/hyper/pages/LODO1.pht | 356 |
1 files changed, 356 insertions, 0 deletions
diff --git a/src/hyper/pages/LODO1.pht b/src/hyper/pages/LODO1.pht new file mode 100644 index 00000000..0c7ae652 --- /dev/null +++ b/src/hyper/pages/LODO1.pht @@ -0,0 +1,356 @@ +\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} + |