\begin{patch}{ugIntroCalcDerivPagePatch1}
\begin{paste}{ugIntroCalcDerivPageFull1}{ugIntroCalcDerivPageEmpty1}
\pastebutton{ugIntroCalcDerivPageFull1}{\hidepaste}
\tab{5}\spadcommand{f := exp exp x\bound{f }}
\indentrel{3}\begin{verbatim}
            x
          %e
   (1)  %e
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty1}
\begin{paste}{ugIntroCalcDerivPageEmpty1}{ugIntroCalcDerivPagePatch1}
\pastebutton{ugIntroCalcDerivPageEmpty1}{\showpaste}
\tab{5}\spadcommand{f := exp exp x\bound{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch2}
\begin{paste}{ugIntroCalcDerivPageFull2}{ugIntroCalcDerivPageEmpty2}
\pastebutton{ugIntroCalcDerivPageFull2}{\hidepaste}
\tab{5}\spadcommand{D(f, x)\free{f }}
\indentrel{3}\begin{verbatim}
               x
          x  %e
   (2)  %e %e
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty2}
\begin{paste}{ugIntroCalcDerivPageEmpty2}{ugIntroCalcDerivPagePatch2}
\pastebutton{ugIntroCalcDerivPageEmpty2}{\showpaste}
\tab{5}\spadcommand{D(f, x)\free{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch3}
\begin{paste}{ugIntroCalcDerivPageFull3}{ugIntroCalcDerivPageEmpty3}
\pastebutton{ugIntroCalcDerivPageFull3}{\hidepaste}
\tab{5}\spadcommand{D(f, x, 4)\free{f }}
\indentrel{3}\begin{verbatim}
                                              x
            x 4       x 3       x 2     x   %e
   (3)  ((%e )  + 6(%e )  + 7(%e )  + %e )%e
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty3}
\begin{paste}{ugIntroCalcDerivPageEmpty3}{ugIntroCalcDerivPagePatch3}
\pastebutton{ugIntroCalcDerivPageEmpty3}{\showpaste}
\tab{5}\spadcommand{D(f, x, 4)\free{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch4}
\begin{paste}{ugIntroCalcDerivPageFull4}{ugIntroCalcDerivPageEmpty4}
\pastebutton{ugIntroCalcDerivPageFull4}{\hidepaste}
\tab{5}\spadcommand{g := sin(x**2 + y)\bound{g }}
\indentrel{3}\begin{verbatim}
                 2
   (4)  sin(y + x )
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty4}
\begin{paste}{ugIntroCalcDerivPageEmpty4}{ugIntroCalcDerivPagePatch4}
\pastebutton{ugIntroCalcDerivPageEmpty4}{\showpaste}
\tab{5}\spadcommand{g := sin(x**2 + y)\bound{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch5}
\begin{paste}{ugIntroCalcDerivPageFull5}{ugIntroCalcDerivPageEmpty5}
\pastebutton{ugIntroCalcDerivPageFull5}{\hidepaste}
\tab{5}\spadcommand{D(g, y)\free{g }}
\indentrel{3}\begin{verbatim}
                 2
   (5)  cos(y + x )
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty5}
\begin{paste}{ugIntroCalcDerivPageEmpty5}{ugIntroCalcDerivPagePatch5}
\pastebutton{ugIntroCalcDerivPageEmpty5}{\showpaste}
\tab{5}\spadcommand{D(g, y)\free{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch6}
\begin{paste}{ugIntroCalcDerivPageFull6}{ugIntroCalcDerivPageEmpty6}
\pastebutton{ugIntroCalcDerivPageFull6}{\hidepaste}
\tab{5}\spadcommand{D(g, [y, y, x, x])\free{g }}
\indentrel{3}\begin{verbatim}
          2         2              2
   (6)  4x sin(y + x ) - 2cos(y + x )
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty6}
\begin{paste}{ugIntroCalcDerivPageEmpty6}{ugIntroCalcDerivPagePatch6}
\pastebutton{ugIntroCalcDerivPageEmpty6}{\showpaste}
\tab{5}\spadcommand{D(g, [y, y, x, x])\free{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch7}
\begin{paste}{ugIntroCalcDerivPageFull7}{ugIntroCalcDerivPageEmpty7}
\pastebutton{ugIntroCalcDerivPageFull7}{\hidepaste}
\tab{5}\spadcommand{D(F,x)}
\indentrel{3}\begin{verbatim}
   (7)  0
                               Type: Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty7}
\begin{paste}{ugIntroCalcDerivPageEmpty7}{ugIntroCalcDerivPagePatch7}
\pastebutton{ugIntroCalcDerivPageEmpty7}{\showpaste}
\tab{5}\spadcommand{D(F,x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch8}
\begin{paste}{ugIntroCalcDerivPageFull8}{ugIntroCalcDerivPageEmpty8}
\pastebutton{ugIntroCalcDerivPageFull8}{\hidepaste}
\tab{5}\spadcommand{F := operator 'F; x := operator 'x; y := operator 'y\bound{F x y }}
\indentrel{3}\begin{verbatim}
   (8)  y
                                    Type: BasicOperator
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty8}
\begin{paste}{ugIntroCalcDerivPageEmpty8}{ugIntroCalcDerivPagePatch8}
\pastebutton{ugIntroCalcDerivPageEmpty8}{\showpaste}
\tab{5}\spadcommand{F := operator 'F; x := operator 'x; y := operator 'y\bound{F x y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch9}
\begin{paste}{ugIntroCalcDerivPageFull9}{ugIntroCalcDerivPageEmpty9}
\pastebutton{ugIntroCalcDerivPageFull9}{\hidepaste}
\tab{5}\spadcommand{a := F(x z, y z, z**2) + x y(z+1)\bound{a }\free{F }\free{x }\free{y }}
\indentrel{3}\begin{verbatim}
                                   2
   (9)  x(y(z + 1)) + F(x(z),y(z),z )
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty9}
\begin{paste}{ugIntroCalcDerivPageEmpty9}{ugIntroCalcDerivPagePatch9}
\pastebutton{ugIntroCalcDerivPageEmpty9}{\showpaste}
\tab{5}\spadcommand{a := F(x z, y z, z**2) + x y(z+1)\bound{a }\free{F }\free{x }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch10}
\begin{paste}{ugIntroCalcDerivPageFull10}{ugIntroCalcDerivPageEmpty10}
\pastebutton{ugIntroCalcDerivPageFull10}{\hidepaste}
\tab{5}\spadcommand{dadz := D(a, z)\bound{da }\free{a }}
\indentrel{3}\begin{verbatim}
   (10)
                      2     ,                  2
     2zF  (x(z),y(z),z ) + y (z)F  (x(z),y(z),z )
        ,3                       ,2
   + 
      ,                  2     ,           ,
     x (z)F  (x(z),y(z),z ) + x (y(z + 1))y (z + 1)
           ,1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty10}
\begin{paste}{ugIntroCalcDerivPageEmpty10}{ugIntroCalcDerivPagePatch10}
\pastebutton{ugIntroCalcDerivPageEmpty10}{\showpaste}
\tab{5}\spadcommand{dadz := D(a, z)\bound{da }\free{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch11}
\begin{paste}{ugIntroCalcDerivPageFull11}{ugIntroCalcDerivPageEmpty11}
\pastebutton{ugIntroCalcDerivPageFull11}{\hidepaste}
\tab{5}\spadcommand{eval(eval(dadz, 'x, z +-> exp z), 'y, z +-> log(z+1))\free{da }}
\indentrel{3}\begin{verbatim}
   (11)
          2            z             2
       (2z  + 2z)F  (%e ,log(z + 1),z )
                  ,3
     + 
             z             2
       F  (%e ,log(z + 1),z )
        ,2
     + 
                z      z             2
       (z + 1)%e F  (%e ,log(z + 1),z ) + z + 1
                  ,1
  /
     z + 1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty11}
\begin{paste}{ugIntroCalcDerivPageEmpty11}{ugIntroCalcDerivPagePatch11}
\pastebutton{ugIntroCalcDerivPageEmpty11}{\showpaste}
\tab{5}\spadcommand{eval(eval(dadz, 'x, z +-> exp z), 'y, z +-> log(z+1))\free{da }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch12}
\begin{paste}{ugIntroCalcDerivPageFull12}{ugIntroCalcDerivPageEmpty12}
\pastebutton{ugIntroCalcDerivPageFull12}{\hidepaste}
\tab{5}\spadcommand{eval(eval(a, 'x, z +-> exp z), 'y, z +-> log(z+1))\free{a }\bound{eva }}
\indentrel{3}\begin{verbatim}
             z             2
   (12)  F(%e ,log(z + 1),z ) + z + 2
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty12}
\begin{paste}{ugIntroCalcDerivPageEmpty12}{ugIntroCalcDerivPagePatch12}
\pastebutton{ugIntroCalcDerivPageEmpty12}{\showpaste}
\tab{5}\spadcommand{eval(eval(a, 'x, z +-> exp z), 'y, z +-> log(z+1))\free{a }\bound{eva }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPagePatch13}
\begin{paste}{ugIntroCalcDerivPageFull13}{ugIntroCalcDerivPageEmpty13}
\pastebutton{ugIntroCalcDerivPageFull13}{\hidepaste}
\tab{5}\spadcommand{D(\%, z)\free{eva }}
\indentrel{3}\begin{verbatim}
   (13)
          2            z             2
       (2z  + 2z)F  (%e ,log(z + 1),z )
                  ,3
     + 
             z             2
       F  (%e ,log(z + 1),z )
        ,2
     + 
                z      z             2
       (z + 1)%e F  (%e ,log(z + 1),z ) + z + 1
                  ,1
  /
     z + 1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcDerivPageEmpty13}
\begin{paste}{ugIntroCalcDerivPageEmpty13}{ugIntroCalcDerivPagePatch13}
\pastebutton{ugIntroCalcDerivPageEmpty13}{\showpaste}
\tab{5}\spadcommand{D(\%, z)\free{eva }}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch1}
\begin{paste}{ugIntroVariablesPageFull1}{ugIntroVariablesPageEmpty1}
\pastebutton{ugIntroVariablesPageFull1}{\hidepaste}
\tab{5}\spadcommand{(x**2 - x*y**3 +3*y)**2}
\indentrel{3}\begin{verbatim}
         2 6       4     3 3     2     2     4
   (1)  x y  - 6x y  - 2x y  + 9y  + 6x y + x
                               Type: Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty1}
\begin{paste}{ugIntroVariablesPageEmpty1}{ugIntroVariablesPagePatch1}
\pastebutton{ugIntroVariablesPageEmpty1}{\showpaste}
\tab{5}\spadcommand{(x**2 - x*y**3 +3*y)**2}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch2}
\begin{paste}{ugIntroVariablesPageFull2}{ugIntroVariablesPageEmpty2}
\pastebutton{ugIntroVariablesPageFull2}{\hidepaste}
\tab{5}\spadcommand{p: UP(x,INT) := (3*x-1)**2 * (2*x + 8)}
\indentrel{3}\begin{verbatim}
           3      2
   (2)  18x  + 60x  - 46x + 8
                  Type: UnivariatePolynomial(x,Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty2}
\begin{paste}{ugIntroVariablesPageEmpty2}{ugIntroVariablesPagePatch2}
\pastebutton{ugIntroVariablesPageEmpty2}{\showpaste}
\tab{5}\spadcommand{p: UP(x,INT) := (3*x-1)**2 * (2*x + 8)}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch3}
\begin{paste}{ugIntroVariablesPageFull3}{ugIntroVariablesPageEmpty3}
\pastebutton{ugIntroVariablesPageFull3}{\hidepaste}
\tab{5}\spadcommand{m: MPOLY([x,y],INT) := (x**2-x*y**3+3*y)**2\bound{m }}
\indentrel{3}\begin{verbatim}
         4     3 3     6       2     4      2
   (3)  x  - 2y x  + (y  + 6y)x  - 6y x + 9y
            Type: MultivariatePolynomial([x,y],Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty3}
\begin{paste}{ugIntroVariablesPageEmpty3}{ugIntroVariablesPagePatch3}
\pastebutton{ugIntroVariablesPageEmpty3}{\showpaste}
\tab{5}\spadcommand{m: MPOLY([x,y],INT) := (x**2-x*y**3+3*y)**2\bound{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch4}
\begin{paste}{ugIntroVariablesPageFull4}{ugIntroVariablesPageEmpty4}
\pastebutton{ugIntroVariablesPageFull4}{\hidepaste}
\tab{5}\spadcommand{m :: MPOLY([y,x],INT)\free{m }}
\indentrel{3}\begin{verbatim}
         2 6       4     3 3     2     2     4
   (4)  x y  - 6x y  - 2x y  + 9y  + 6x y + x
            Type: MultivariatePolynomial([y,x],Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty4}
\begin{paste}{ugIntroVariablesPageEmpty4}{ugIntroVariablesPagePatch4}
\pastebutton{ugIntroVariablesPageEmpty4}{\showpaste}
\tab{5}\spadcommand{m :: MPOLY([y,x],INT)\free{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch5}
\begin{paste}{ugIntroVariablesPageFull5}{ugIntroVariablesPageEmpty5}
\pastebutton{ugIntroVariablesPageFull5}{\hidepaste}
\tab{5}\spadcommand{m :: DMP([y,x],INT)\free{m }}
\indentrel{3}\begin{verbatim}
         6 2     4      3 3     2       2    4
   (5)  y x  - 6y x - 2y x  + 9y  + 6y x  + x
 Type: DistributedMultivariatePolynomial([y,x],Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty5}
\begin{paste}{ugIntroVariablesPageEmpty5}{ugIntroVariablesPagePatch5}
\pastebutton{ugIntroVariablesPageEmpty5}{\showpaste}
\tab{5}\spadcommand{m :: DMP([y,x],INT)\free{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPagePatch6}
\begin{paste}{ugIntroVariablesPageFull6}{ugIntroVariablesPageEmpty6}
\pastebutton{ugIntroVariablesPageFull6}{\hidepaste}
\tab{5}\spadcommand{m :: HDMP([y,x],INT)\free{m }}
\indentrel{3}\begin{verbatim}
         6 2     3 3     4     4       2     2
   (6)  y x  - 2y x  - 6y x + x  + 6y x  + 9y
Type: HomogeneousDistributedMultivariatePolynomial([y,x],Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroVariablesPageEmpty6}
\begin{paste}{ugIntroVariablesPageEmpty6}{ugIntroVariablesPagePatch6}
\pastebutton{ugIntroVariablesPageEmpty6}{\showpaste}
\tab{5}\spadcommand{m :: HDMP([y,x],INT)\free{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch1}
\begin{paste}{ugIntroIntegratePageFull1}{ugIntroIntegratePageEmpty1}
\pastebutton{ugIntroIntegratePageFull1}{\hidepaste}
\tab{5}\spadcommand{integrate((x**2+2*x+1)/((x+1)**6+1),x)}
\indentrel{3}\begin{verbatim}
              3     2
        atan(x  + 3x  + 3x + 1)
   (1)  ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
                   3
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty1}
\begin{paste}{ugIntroIntegratePageEmpty1}{ugIntroIntegratePagePatch1}
\pastebutton{ugIntroIntegratePageEmpty1}{\showpaste}
\tab{5}\spadcommand{integrate((x**2+2*x+1)/((x+1)**6+1),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch2}
\begin{paste}{ugIntroIntegratePageFull2}{ugIntroIntegratePageEmpty2}
\pastebutton{ugIntroIntegratePageFull2}{\hidepaste}
\tab{5}\spadcommand{integrate(1/(x**2 + a),x)}
\indentrel{3}\begin{verbatim}
               2      ÚÄÄÄ¿
             (x  - a)\³- a  + 2a x         ÚÄ¿
         log(ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ)      x\³a
                      2             atan(ÄÄÄÄÄ)
                     x  + a                a
   (2)  [ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ,ÄÄÄÄÄÄÄÄÄÄÄ]
                     ÚÄÄÄ¿               ÚÄ¿
                   2\³- a               \³a
               Type: Union(List Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty2}
\begin{paste}{ugIntroIntegratePageEmpty2}{ugIntroIntegratePagePatch2}
\pastebutton{ugIntroIntegratePageEmpty2}{\showpaste}
\tab{5}\spadcommand{integrate(1/(x**2 + a),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch3}
\begin{paste}{ugIntroIntegratePageFull3}{ugIntroIntegratePageEmpty3}
\pastebutton{ugIntroIntegratePageFull3}{\hidepaste}
\tab{5}\spadcommand{complexIntegrate(1/(x**2 + a),x)}
\indentrel{3}\begin{verbatim}
              ÚÄÄÄ¿              ÚÄÄÄ¿
            x\³- a  + a        x\³- a  - a
        log(ÄÄÄÄÄÄÄÄÄÄÄ) - log(ÄÄÄÄÄÄÄÄÄÄÄ)
                ÚÄÄÄ¿              ÚÄÄÄ¿
               \³- a              \³- a
   (3)  ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
                        ÚÄÄÄ¿
                      2\³- a
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty3}
\begin{paste}{ugIntroIntegratePageEmpty3}{ugIntroIntegratePagePatch3}
\pastebutton{ugIntroIntegratePageEmpty3}{\showpaste}
\tab{5}\spadcommand{complexIntegrate(1/(x**2 + a),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch4}
\begin{paste}{ugIntroIntegratePageFull4}{ugIntroIntegratePageEmpty4}
\pastebutton{ugIntroIntegratePageFull4}{\hidepaste}
\tab{5}\spadcommand{integrate(x**3 / (a+b*x)**(1/3),x)}
\indentrel{3}\begin{verbatim}
   (4)
        3 3         2 2       2          3 3ÚÄÄÄÄÄÄÄ¿2
   (120b x  - 135a b x  + 162a b x - 243a )\³b x + a
   ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
                              4
                          440b
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty4}
\begin{paste}{ugIntroIntegratePageEmpty4}{ugIntroIntegratePagePatch4}
\pastebutton{ugIntroIntegratePageEmpty4}{\showpaste}
\tab{5}\spadcommand{integrate(x**3 / (a+b*x)**(1/3),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch5}
\begin{paste}{ugIntroIntegratePageFull5}{ugIntroIntegratePageEmpty5}
\pastebutton{ugIntroIntegratePageFull5}{\hidepaste}
\tab{5}\spadcommand{integrate(1 / (x**3 * (a+b*x)**(1/3)),x)}
\indentrel{3}\begin{verbatim}
   (5)
       -
              2 2 ÚÄ¿
            2b x \³3
         *
                3ÚÄ¿3ÚÄÄÄÄÄÄÄ¿2   3ÚÄ¿2 3ÚÄÄÄÄÄÄÄ¿
            log(\³a \³b x + a   + \³a   \³b x + a + a)
     + 
         2 2 ÚÄ¿    3ÚÄ¿2 3ÚÄÄÄÄÄÄÄ¿
       4b x \³3 log(\³a   \³b x + a - a)
     + 
                    ÚÄ¿3ÚÄ¿2 3ÚÄÄÄÄÄÄÄ¿    ÚÄ¿
          2 2     2\³3 \³a   \³b x + a + a\³3
       12b x atan(ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ)
                               3a
     + 
                    ÚÄ¿3ÚÄ¿3ÚÄÄÄÄÄÄÄ¿2
       (12b x - 9a)\³3 \³a \³b x + a
  /
        2 2 ÚÄ¿3ÚÄ¿
     18a x \³3 \³a
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty5}
\begin{paste}{ugIntroIntegratePageEmpty5}{ugIntroIntegratePagePatch5}
\pastebutton{ugIntroIntegratePageEmpty5}{\showpaste}
\tab{5}\spadcommand{integrate(1 / (x**3 * (a+b*x)**(1/3)),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch6}
\begin{paste}{ugIntroIntegratePageFull6}{ugIntroIntegratePageEmpty6}
\pastebutton{ugIntroIntegratePageFull6}{\hidepaste}
\tab{5}\spadcommand{integrate(log(1 + sqrt(a*x + b)) / x,x)}
\indentrel{3}\begin{verbatim}
           x      ÚÄÄÄÄÄÄÄÄ¿
         Ú¿  log(\³b + %S a  + 1)
   (6)   ³   ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ d%S
        ÀÙ            %S
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty6}
\begin{paste}{ugIntroIntegratePageEmpty6}{ugIntroIntegratePagePatch6}
\pastebutton{ugIntroIntegratePageEmpty6}{\showpaste}
\tab{5}\spadcommand{integrate(log(1 + sqrt(a*x + b)) / x,x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch7}
\begin{paste}{ugIntroIntegratePageFull7}{ugIntroIntegratePageEmpty7}
\pastebutton{ugIntroIntegratePageFull7}{\hidepaste}
\tab{5}\spadcommand{integrate((sinh(1+sqrt(x+b))+2*sqrt(x+b)) / (sqrt(x+b) * (x + cosh(1+sqrt(x + b)))), x)}
\indentrel{3}\begin{verbatim}
   (7)
                          ÚÄÄÄÄÄ¿
                 - 2cosh(\³x + b  + 1) - 2x
     2log(ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ)
                ÚÄÄÄÄÄ¿              ÚÄÄÄÄÄ¿
          sinh(\³x + b  + 1) - cosh(\³x + b  + 1)
   + 
         ÚÄÄÄÄÄ¿
     - 2\³x + b
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty7}
\begin{paste}{ugIntroIntegratePageEmpty7}{ugIntroIntegratePagePatch7}
\pastebutton{ugIntroIntegratePageEmpty7}{\showpaste}
\tab{5}\spadcommand{integrate((sinh(1+sqrt(x+b))+2*sqrt(x+b)) / (sqrt(x+b) * (x + cosh(1+sqrt(x + b)))), x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch8}
\begin{paste}{ugIntroIntegratePageFull8}{ugIntroIntegratePageEmpty8}
\pastebutton{ugIntroIntegratePageFull8}{\hidepaste}
\tab{5}\spadcommand{integrate(tan(atan(x)/3),x)}
\indentrel{3}\begin{verbatim}
   (8)
                 atan(x) 2             atan(x) 2
       8log(3tan(ÄÄÄÄÄÄÄ)  - 1) - 3tan(ÄÄÄÄÄÄÄ)
                    3                     3
     + 
               atan(x)
       18x tan(ÄÄÄÄÄÄÄ)
                  3
  /
     18
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty8}
\begin{paste}{ugIntroIntegratePageEmpty8}{ugIntroIntegratePagePatch8}
\pastebutton{ugIntroIntegratePageEmpty8}{\showpaste}
\tab{5}\spadcommand{integrate(tan(atan(x)/3),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch9}
\begin{paste}{ugIntroIntegratePageFull9}{ugIntroIntegratePageEmpty9}
\pastebutton{ugIntroIntegratePageFull9}{\hidepaste}
\tab{5}\spadcommand{integrate((x + 1) / (x*(x + log x) ** (3/2)), x)}
\indentrel{3}\begin{verbatim}
            ÚÄÄÄÄÄÄÄÄÄÄ¿
          2\³log(x) + x
   (9)  - ÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
            log(x) + x
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty9}
\begin{paste}{ugIntroIntegratePageEmpty9}{ugIntroIntegratePagePatch9}
\pastebutton{ugIntroIntegratePageEmpty9}{\showpaste}
\tab{5}\spadcommand{integrate((x + 1) / (x*(x + log x) ** (3/2)), x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePagePatch10}
\begin{paste}{ugIntroIntegratePageFull10}{ugIntroIntegratePageEmpty10}
\pastebutton{ugIntroIntegratePageFull10}{\hidepaste}
\tab{5}\spadcommand{integrate(exp(-x**2) * erf(x) / (erf(x)**3 - erf(x)**2 - erf(x) + 1),x)}
\indentrel{3}\begin{verbatim}
                      ÚÄÄÄ¿    erf(x) - 1      ÚÄÄÄ¿
         (erf(x) - 1)\³%pi log(ÄÄÄÄÄÄÄÄÄÄ) - 2\³%pi
                               erf(x) + 1
   (10)  ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
                         8erf(x) - 8
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroIntegratePageEmpty10}
\begin{paste}{ugIntroIntegratePageEmpty10}{ugIntroIntegratePagePatch10}
\pastebutton{ugIntroIntegratePageEmpty10}{\showpaste}
\tab{5}\spadcommand{integrate(exp(-x**2) * erf(x) / (erf(x)**3 - erf(x)**2 - erf(x) + 1),x)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch1}
\begin{paste}{ugIntroCalcLimitsPageFull1}{ugIntroCalcLimitsPageEmpty1}
\pastebutton{ugIntroCalcLimitsPageFull1}{\hidepaste}
\tab{5}\spadcommand{g := csc(a*x) / csch(b*x)\bound{g }}
\indentrel{3}\begin{verbatim}
         csc(a x)
   (1)  ÄÄÄÄÄÄÄÄÄ
        csch(b x)
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty1}
\begin{paste}{ugIntroCalcLimitsPageEmpty1}{ugIntroCalcLimitsPagePatch1}
\pastebutton{ugIntroCalcLimitsPageEmpty1}{\showpaste}
\tab{5}\spadcommand{g := csc(a*x) / csch(b*x)\bound{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch2}
\begin{paste}{ugIntroCalcLimitsPageFull2}{ugIntroCalcLimitsPageEmpty2}
\pastebutton{ugIntroCalcLimitsPageFull2}{\hidepaste}
\tab{5}\spadcommand{limit(g,x=0)\free{g }}
\indentrel{3}\begin{verbatim}
        b
   (2)  Ä
        a
  Type: Union(OrderedCompletion Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty2}
\begin{paste}{ugIntroCalcLimitsPageEmpty2}{ugIntroCalcLimitsPagePatch2}
\pastebutton{ugIntroCalcLimitsPageEmpty2}{\showpaste}
\tab{5}\spadcommand{limit(g,x=0)\free{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch3}
\begin{paste}{ugIntroCalcLimitsPageFull3}{ugIntroCalcLimitsPageEmpty3}
\pastebutton{ugIntroCalcLimitsPageFull3}{\hidepaste}
\tab{5}\spadcommand{h := (1 + k/x)**x\bound{h }}
\indentrel{3}\begin{verbatim}
         x + k x
   (3)  (ÄÄÄÄÄ)
           x
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty3}
\begin{paste}{ugIntroCalcLimitsPageEmpty3}{ugIntroCalcLimitsPagePatch3}
\pastebutton{ugIntroCalcLimitsPageEmpty3}{\showpaste}
\tab{5}\spadcommand{h := (1 + k/x)**x\bound{h }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch4}
\begin{paste}{ugIntroCalcLimitsPageFull4}{ugIntroCalcLimitsPageEmpty4}
\pastebutton{ugIntroCalcLimitsPageFull4}{\hidepaste}
\tab{5}\spadcommand{limit(h,x=\%plusInfinity)\free{h }}
\indentrel{3}\begin{verbatim}
          k
   (4)  %e
  Type: Union(OrderedCompletion Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty4}
\begin{paste}{ugIntroCalcLimitsPageEmpty4}{ugIntroCalcLimitsPagePatch4}
\pastebutton{ugIntroCalcLimitsPageEmpty4}{\showpaste}
\tab{5}\spadcommand{limit(h,x=\%plusInfinity)\free{h }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch5}
\begin{paste}{ugIntroCalcLimitsPageFull5}{ugIntroCalcLimitsPageEmpty5}
\pastebutton{ugIntroCalcLimitsPageFull5}{\hidepaste}
\tab{5}\spadcommand{limit(sqrt(y**2)/y,y = 0)}
\indentrel{3}\begin{verbatim}
   (5)  [leftHandLimit= - 1,rightHandLimit= 1]
Type: Union(Record(leftHandLimit: Union(OrderedCompletion Expression Integer,"failed"),rightHandLimit: Union(OrderedCompletion Expression Integer,"failed")),...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty5}
\begin{paste}{ugIntroCalcLimitsPageEmpty5}{ugIntroCalcLimitsPagePatch5}
\pastebutton{ugIntroCalcLimitsPageEmpty5}{\showpaste}
\tab{5}\spadcommand{limit(sqrt(y**2)/y,y = 0)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch6}
\begin{paste}{ugIntroCalcLimitsPageFull6}{ugIntroCalcLimitsPageEmpty6}
\pastebutton{ugIntroCalcLimitsPageFull6}{\hidepaste}
\tab{5}\spadcommand{limit(exp(-1/x**2),x = 0)}
\indentrel{3}\begin{verbatim}
   (6)  0
  Type: Union(OrderedCompletion Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty6}
\begin{paste}{ugIntroCalcLimitsPageEmpty6}{ugIntroCalcLimitsPagePatch6}
\pastebutton{ugIntroCalcLimitsPageEmpty6}{\showpaste}
\tab{5}\spadcommand{limit(exp(-1/x**2),x = 0)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPagePatch7}
\begin{paste}{ugIntroCalcLimitsPageFull7}{ugIntroCalcLimitsPageEmpty7}
\pastebutton{ugIntroCalcLimitsPageFull7}{\hidepaste}
\tab{5}\spadcommand{complexLimit(exp(-1/x**2),x = 0)}
\indentrel{3}\begin{verbatim}
   (7)  "failed"
                              Type: Union("failed",...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCalcLimitsPageEmpty7}
\begin{paste}{ugIntroCalcLimitsPageEmpty7}{ugIntroCalcLimitsPagePatch7}
\pastebutton{ugIntroCalcLimitsPageEmpty7}{\showpaste}
\tab{5}\spadcommand{complexLimit(exp(-1/x**2),x = 0)}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch1}
\begin{paste}{ugIntroSysCmmandsPageFull1}{ugIntroSysCmmandsPageEmpty1}
\pastebutton{ugIntroSysCmmandsPageFull1}{\hidepaste}
\tab{5}\spadcommand{)what operations integrate}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty1}
\begin{paste}{ugIntroSysCmmandsPageEmpty1}{ugIntroSysCmmandsPagePatch1}
\pastebutton{ugIntroSysCmmandsPageEmpty1}{\showpaste}
\tab{5}\spadcommand{)what operations integrate}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch2}
\begin{paste}{ugIntroSysCmmandsPageFull2}{ugIntroSysCmmandsPageEmpty2}
\pastebutton{ugIntroSysCmmandsPageFull2}{\hidepaste}
\tab{5}\spadcommand{f(0) == 1; g(0) == 1\bound{u1 }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty2}
\begin{paste}{ugIntroSysCmmandsPageEmpty2}{ugIntroSysCmmandsPagePatch2}
\pastebutton{ugIntroSysCmmandsPageEmpty2}{\showpaste}
\tab{5}\spadcommand{f(0) == 1; g(0) == 1\bound{u1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch3}
\begin{paste}{ugIntroSysCmmandsPageFull3}{ugIntroSysCmmandsPageEmpty3}
\pastebutton{ugIntroSysCmmandsPageFull3}{\hidepaste}
\tab{5}\spadcommand{f(n) == e/2*f(n-1) - x*g(n-1)\bound{u2 }\free{u1 }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty3}
\begin{paste}{ugIntroSysCmmandsPageEmpty3}{ugIntroSysCmmandsPagePatch3}
\pastebutton{ugIntroSysCmmandsPageEmpty3}{\showpaste}
\tab{5}\spadcommand{f(n) == e/2*f(n-1) - x*g(n-1)\bound{u2 }\free{u1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch4}
\begin{paste}{ugIntroSysCmmandsPageFull4}{ugIntroSysCmmandsPageEmpty4}
\pastebutton{ugIntroSysCmmandsPageFull4}{\hidepaste}
\tab{5}\spadcommand{g(n) == -x*f(n-1) + d/3*g(n-1)\bound{u3 }\free{u2 }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty4}
\begin{paste}{ugIntroSysCmmandsPageEmpty4}{ugIntroSysCmmandsPagePatch4}
\pastebutton{ugIntroSysCmmandsPageEmpty4}{\showpaste}
\tab{5}\spadcommand{g(n) == -x*f(n-1) + d/3*g(n-1)\bound{u3 }\free{u2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch5}
\begin{paste}{ugIntroSysCmmandsPageFull5}{ugIntroSysCmmandsPageEmpty5}
\pastebutton{ugIntroSysCmmandsPageFull5}{\hidepaste}
\tab{5}\spadcommand{f(3)\bound{u4 }\free{u3 }}
\indentrel{3}\begin{verbatim}
   (4)
      3        1    2      1  2   1       1  2     1  3
   - x  + (e + Ä d)x  + (- Ä e  - Ä d e - Ä d )x + Ä e
               3           4      6       9        8
                      Type: Polynomial Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty5}
\begin{paste}{ugIntroSysCmmandsPageEmpty5}{ugIntroSysCmmandsPagePatch5}
\pastebutton{ugIntroSysCmmandsPageEmpty5}{\showpaste}
\tab{5}\spadcommand{f(3)\bound{u4 }\free{u3 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch6}
\begin{paste}{ugIntroSysCmmandsPageFull6}{ugIntroSysCmmandsPageEmpty6}
\pastebutton{ugIntroSysCmmandsPageFull6}{\hidepaste}
\tab{5}\spadcommand{)undo 2\bound{u5 }\free{u4 }}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty6}
\begin{paste}{ugIntroSysCmmandsPageEmpty6}{ugIntroSysCmmandsPagePatch6}
\pastebutton{ugIntroSysCmmandsPageEmpty6}{\showpaste}
\tab{5}\spadcommand{)undo 2\bound{u5 }\free{u4 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch7}
\begin{paste}{ugIntroSysCmmandsPageFull7}{ugIntroSysCmmandsPageEmpty7}
\pastebutton{ugIntroSysCmmandsPageFull7}{\hidepaste}
\tab{5}\spadcommand{f(n) == d/3*f(n-1) - x*g(n-1)\bound{u6 }\free{u5 }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty7}
\begin{paste}{ugIntroSysCmmandsPageEmpty7}{ugIntroSysCmmandsPagePatch7}
\pastebutton{ugIntroSysCmmandsPageEmpty7}{\showpaste}
\tab{5}\spadcommand{f(n) == d/3*f(n-1) - x*g(n-1)\bound{u6 }\free{u5 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch8}
\begin{paste}{ugIntroSysCmmandsPageFull8}{ugIntroSysCmmandsPageEmpty8}
\pastebutton{ugIntroSysCmmandsPageFull8}{\hidepaste}
\tab{5}\spadcommand{)undo )redo\bound{u7 }\free{u6 }}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty8}
\begin{paste}{ugIntroSysCmmandsPageEmpty8}{ugIntroSysCmmandsPagePatch8}
\pastebutton{ugIntroSysCmmandsPageEmpty8}{\showpaste}
\tab{5}\spadcommand{)undo )redo\bound{u7 }\free{u6 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch9}
\begin{paste}{ugIntroSysCmmandsPageFull9}{ugIntroSysCmmandsPageEmpty9}
\pastebutton{ugIntroSysCmmandsPageFull9}{\hidepaste}
\tab{5}\spadcommand{)undo 4\bound{u8 }\free{u7 }}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty9}
\begin{paste}{ugIntroSysCmmandsPageEmpty9}{ugIntroSysCmmandsPagePatch9}
\pastebutton{ugIntroSysCmmandsPageEmpty9}{\showpaste}
\tab{5}\spadcommand{)undo 4\bound{u8 }\free{u7 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPagePatch10}
\begin{paste}{ugIntroSysCmmandsPageFull10}{ugIntroSysCmmandsPageEmpty10}
\pastebutton{ugIntroSysCmmandsPageFull10}{\hidepaste}
\tab{5}\spadcommand{f(3)\bound{u9 }\free{u8 }}
\indentrel{3}\begin{verbatim}
   (6)
      3        1    2      1  2   1       1  2     1  3
   - x  + (e + Ä d)x  + (- Ä e  - Ä d e - Ä d )x + Ä e
               3           4      6       9        8
                      Type: Polynomial Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSysCmmandsPageEmpty10}
\begin{paste}{ugIntroSysCmmandsPageEmpty10}{ugIntroSysCmmandsPagePatch10}
\pastebutton{ugIntroSysCmmandsPageEmpty10}{\showpaste}
\tab{5}\spadcommand{f(3)\bound{u9 }\free{u8 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPagePatch1}
\begin{paste}{ugIntroArithmeticPageFull1}{ugIntroArithmeticPageEmpty1}
\pastebutton{ugIntroArithmeticPageFull1}{\hidepaste}
\tab{5}\spadcommand{1 + 2 - 3 / 4 * 3 ** 2 - 1}
\indentrel{3}\begin{verbatim}
          19
   (1)  - ÄÄ
           4
                                 Type: Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPageEmpty1}
\begin{paste}{ugIntroArithmeticPageEmpty1}{ugIntroArithmeticPagePatch1}
\pastebutton{ugIntroArithmeticPageEmpty1}{\showpaste}
\tab{5}\spadcommand{1 + 2 - 3 / 4 * 3 ** 2 - 1}
\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPagePatch2}
\begin{paste}{ugIntroArithmeticPageFull2}{ugIntroArithmeticPageEmpty2}
\pastebutton{ugIntroArithmeticPageFull2}{\hidepaste}
\tab{5}\spadcommand{((1 + 2) - ((3 / 4) * (3 ** 2))) - 1}
\indentrel{3}\begin{verbatim}
          19
   (2)  - ÄÄ
           4
                                 Type: Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPageEmpty2}
\begin{paste}{ugIntroArithmeticPageEmpty2}{ugIntroArithmeticPagePatch2}
\pastebutton{ugIntroArithmeticPageEmpty2}{\showpaste}
\tab{5}\spadcommand{((1 + 2) - ((3 / 4) * (3 ** 2))) - 1}
\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPagePatch3}
\begin{paste}{ugIntroArithmeticPageFull3}{ugIntroArithmeticPageEmpty3}
\pastebutton{ugIntroArithmeticPageFull3}{\hidepaste}
\tab{5}\spadcommand{1 + 2 - 3/ (4 * 3 ** (2 - 1))}
\indentrel{3}\begin{verbatim}
        11
   (3)  ÄÄ
         4
                                 Type: Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroArithmeticPageEmpty3}
\begin{paste}{ugIntroArithmeticPageEmpty3}{ugIntroArithmeticPagePatch3}
\pastebutton{ugIntroArithmeticPageEmpty3}{\showpaste}
\tab{5}\spadcommand{1 + 2 - 3/ (4 * 3 ** (2 - 1))}
\end{paste}\end{patch}

\begin{patch}{ugIntroConversionPagePatch1}
\begin{paste}{ugIntroConversionPageFull1}{ugIntroConversionPageEmpty1}
\pastebutton{ugIntroConversionPageFull1}{\hidepaste}
\tab{5}\spadcommand{p := r**2 + 2/3\bound{p }}
\indentrel{3}\begin{verbatim}
         2   2
   (1)  r  + Ä
             3
                      Type: Polynomial Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroConversionPageEmpty1}
\begin{paste}{ugIntroConversionPageEmpty1}{ugIntroConversionPagePatch1}
\pastebutton{ugIntroConversionPageEmpty1}{\showpaste}
\tab{5}\spadcommand{p := r**2 + 2/3\bound{p }}
\end{paste}\end{patch}

\begin{patch}{ugIntroConversionPagePatch2}
\begin{paste}{ugIntroConversionPageFull2}{ugIntroConversionPageEmpty2}
\pastebutton{ugIntroConversionPageFull2}{\hidepaste}
\tab{5}\spadcommand{p :: Fraction Polynomial Integer\free{p }}
\indentrel{3}\begin{verbatim}
          2
        3r  + 2
   (2)  ÄÄÄÄÄÄÄ
           3
                      Type: Fraction Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroConversionPageEmpty2}
\begin{paste}{ugIntroConversionPageEmpty2}{ugIntroConversionPagePatch2}
\pastebutton{ugIntroConversionPageEmpty2}{\showpaste}
\tab{5}\spadcommand{p :: Fraction Polynomial Integer\free{p }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch1}
\begin{paste}{ugIntroYouPageFull1}{ugIntroYouPageEmpty1}
\pastebutton{ugIntroYouPageFull1}{\hidepaste}
\tab{5}\spadcommand{fact(0) == 1\bound{fact }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty1}
\begin{paste}{ugIntroYouPageEmpty1}{ugIntroYouPagePatch1}
\pastebutton{ugIntroYouPageEmpty1}{\showpaste}
\tab{5}\spadcommand{fact(0) == 1\bound{fact }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch2}
\begin{paste}{ugIntroYouPageFull2}{ugIntroYouPageEmpty2}
\pastebutton{ugIntroYouPageFull2}{\hidepaste}
\tab{5}\spadcommand{fact(n) == n*fact(n-1)\bound{facta }\free{fact }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty2}
\begin{paste}{ugIntroYouPageEmpty2}{ugIntroYouPagePatch2}
\pastebutton{ugIntroYouPageEmpty2}{\showpaste}
\tab{5}\spadcommand{fact(n) == n*fact(n-1)\bound{facta }\free{fact }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch3}
\begin{paste}{ugIntroYouPageFull3}{ugIntroYouPageEmpty3}
\pastebutton{ugIntroYouPageFull3}{\hidepaste}
\tab{5}\spadcommand{fact(50)\free{facta }}
\indentrel{3}\begin{verbatim}
   (3)
  304140932017133780436126081660647688443776415689605120_
   00000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty3}
\begin{paste}{ugIntroYouPageEmpty3}{ugIntroYouPagePatch3}
\pastebutton{ugIntroYouPageEmpty3}{\showpaste}
\tab{5}\spadcommand{fact(50)\free{facta }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch4}
\begin{paste}{ugIntroYouPageFull4}{ugIntroYouPageEmpty4}
\pastebutton{ugIntroYouPageFull4}{\hidepaste}
\tab{5}\spadcommand{fac(n) == if n < 3 then n else n * fac(n - 1)\bound{fac }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty4}
\begin{paste}{ugIntroYouPageEmpty4}{ugIntroYouPagePatch4}
\pastebutton{ugIntroYouPageEmpty4}{\showpaste}
\tab{5}\spadcommand{fac(n) == if n < 3 then n else n * fac(n - 1)\bound{fac }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch5}
\begin{paste}{ugIntroYouPageFull5}{ugIntroYouPageEmpty5}
\pastebutton{ugIntroYouPageFull5}{\hidepaste}
\tab{5}\spadcommand{fac(50)\free{fac }}
\indentrel{3}\begin{verbatim}
   (5)
  304140932017133780436126081660647688443776415689605120_
   00000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty5}
\begin{paste}{ugIntroYouPageEmpty5}{ugIntroYouPagePatch5}
\pastebutton{ugIntroYouPageEmpty5}{\showpaste}
\tab{5}\spadcommand{fac(50)\free{fac }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch6}
\begin{paste}{ugIntroYouPageFull6}{ugIntroYouPageEmpty6}
\pastebutton{ugIntroYouPageFull6}{\hidepaste}
\tab{5}\spadcommand{fa(n) == (a := 1; for i in 2..n repeat a := a*i; a)\bound{fa }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty6}
\begin{paste}{ugIntroYouPageEmpty6}{ugIntroYouPagePatch6}
\pastebutton{ugIntroYouPageEmpty6}{\showpaste}
\tab{5}\spadcommand{fa(n) == (a := 1; for i in 2..n repeat a := a*i; a)\bound{fa }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch7}
\begin{paste}{ugIntroYouPageFull7}{ugIntroYouPageEmpty7}
\pastebutton{ugIntroYouPageFull7}{\hidepaste}
\tab{5}\spadcommand{fa(50)\free{fa }}
\indentrel{3}\begin{verbatim}
   (7)
  304140932017133780436126081660647688443776415689605120_
   00000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty7}
\begin{paste}{ugIntroYouPageEmpty7}{ugIntroYouPagePatch7}
\pastebutton{ugIntroYouPageEmpty7}{\showpaste}
\tab{5}\spadcommand{fa(50)\free{fa }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch8}
\begin{paste}{ugIntroYouPageFull8}{ugIntroYouPageEmpty8}
\pastebutton{ugIntroYouPageFull8}{\hidepaste}
\tab{5}\spadcommand{f(n) == reduce(*,[i for i in 2..n])\bound{f }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty8}
\begin{paste}{ugIntroYouPageEmpty8}{ugIntroYouPagePatch8}
\pastebutton{ugIntroYouPageEmpty8}{\showpaste}
\tab{5}\spadcommand{f(n) == reduce(*,[i for i in 2..n])\bound{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch9}
\begin{paste}{ugIntroYouPageFull9}{ugIntroYouPageEmpty9}
\pastebutton{ugIntroYouPageFull9}{\hidepaste}
\tab{5}\spadcommand{f(50)\free{f }}
\indentrel{3}\begin{verbatim}
   (9)
  304140932017133780436126081660647688443776415689605120_
   00000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty9}
\begin{paste}{ugIntroYouPageEmpty9}{ugIntroYouPagePatch9}
\pastebutton{ugIntroYouPageEmpty9}{\showpaste}
\tab{5}\spadcommand{f(50)\free{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch10}
\begin{paste}{ugIntroYouPageFull10}{ugIntroYouPageEmpty10}
\pastebutton{ugIntroYouPageFull10}{\hidepaste}
\tab{5}\spadcommand{factorial(50)}
\indentrel{3}\begin{verbatim}
   (10)
  304140932017133780436126081660647688443776415689605120_
   00000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty10}
\begin{paste}{ugIntroYouPageEmpty10}{ugIntroYouPagePatch10}
\pastebutton{ugIntroYouPageEmpty10}{\showpaste}
\tab{5}\spadcommand{factorial(50)}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch11}
\begin{paste}{ugIntroYouPageFull11}{ugIntroYouPageEmpty11}
\pastebutton{ugIntroYouPageFull11}{\hidepaste}
\tab{5}\spadcommand{permMat(n, i, j) ==
  m := diagonalMatrix
    [(if i = k or j = k then 0 else 1)
      for k in 1..n]
  m(i,j) := 1
  m(j,i) := 1
  m
\bound{permMat }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty11}
\begin{paste}{ugIntroYouPageEmpty11}{ugIntroYouPagePatch11}
\pastebutton{ugIntroYouPageEmpty11}{\showpaste}
\tab{5}\spadcommand{permMat(n, i, j) ==
  m := diagonalMatrix
    [(if i = k or j = k then 0 else 1)
      for k in 1..n]
  m(i,j) := 1
  m(j,i) := 1
  m
\bound{permMat }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch12}
\begin{paste}{ugIntroYouPageFull12}{ugIntroYouPageEmpty12}
\pastebutton{ugIntroYouPageFull12}{\hidepaste}
\tab{5}\spadcommand{p := permMat(4,2,3)\free{permMat }\bound{p }}
\indentrel{3}\begin{verbatim}
         Ú1  0  0  0¿
         ³          ³
         ³0  0  1  0³
   (12)  ³          ³
         ³0  1  0  0³
         ³          ³
         À0  0  0  1Ù
                                   Type: Matrix Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty12}
\begin{paste}{ugIntroYouPageEmpty12}{ugIntroYouPagePatch12}
\pastebutton{ugIntroYouPageEmpty12}{\showpaste}
\tab{5}\spadcommand{p := permMat(4,2,3)\free{permMat }\bound{p }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch13}
\begin{paste}{ugIntroYouPageFull13}{ugIntroYouPageEmpty13}
\pastebutton{ugIntroYouPageFull13}{\hidepaste}
\tab{5}\spadcommand{m := matrix [[4*i + j for j in 1..4] for i in 0..3]\bound{m }}
\indentrel{3}\begin{verbatim}
         Ú1   2   3   4 ¿
         ³              ³
         ³5   6   7   8 ³
   (13)  ³              ³
         ³9   10  11  12³
         ³              ³
         À13  14  15  16Ù
                                   Type: Matrix Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty13}
\begin{paste}{ugIntroYouPageEmpty13}{ugIntroYouPagePatch13}
\pastebutton{ugIntroYouPageEmpty13}{\showpaste}
\tab{5}\spadcommand{m := matrix [[4*i + j for j in 1..4] for i in 0..3]\bound{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch14}
\begin{paste}{ugIntroYouPageFull14}{ugIntroYouPageEmpty14}
\pastebutton{ugIntroYouPageFull14}{\hidepaste}
\tab{5}\spadcommand{permMat(4,2,3) * m\free{p m }}
\indentrel{3}\begin{verbatim}
         Ú1   2   3   4 ¿
         ³              ³
         ³9   10  11  12³
   (14)  ³              ³
         ³5   6   7   8 ³
         ³              ³
         À13  14  15  16Ù
                                   Type: Matrix Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty14}
\begin{paste}{ugIntroYouPageEmpty14}{ugIntroYouPagePatch14}
\pastebutton{ugIntroYouPageEmpty14}{\showpaste}
\tab{5}\spadcommand{permMat(4,2,3) * m\free{p m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch15}
\begin{paste}{ugIntroYouPageFull15}{ugIntroYouPageEmpty15}
\pastebutton{ugIntroYouPageFull15}{\hidepaste}
\tab{5}\spadcommand{t : (Float -> Float, Float) -> Float\bound{tdecl }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty15}
\begin{paste}{ugIntroYouPageEmpty15}{ugIntroYouPagePatch15}
\pastebutton{ugIntroYouPageEmpty15}{\showpaste}
\tab{5}\spadcommand{t : (Float -> Float, Float) -> Float\bound{tdecl }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch16}
\begin{paste}{ugIntroYouPageFull16}{ugIntroYouPageEmpty16}
\pastebutton{ugIntroYouPageFull16}{\hidepaste}
\tab{5}\spadcommand{t(fun, x) == fun(x)**2 + sin(x)**2\free{tdecl }\bound{t }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty16}
\begin{paste}{ugIntroYouPageEmpty16}{ugIntroYouPagePatch16}
\pastebutton{ugIntroYouPageEmpty16}{\showpaste}
\tab{5}\spadcommand{t(fun, x) == fun(x)**2 + sin(x)**2\free{tdecl }\bound{t }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch17}
\begin{paste}{ugIntroYouPageFull17}{ugIntroYouPageEmpty17}
\pastebutton{ugIntroYouPageFull17}{\hidepaste}
\tab{5}\spadcommand{t(cos, 5.2058)\free{t }}
\indentrel{3}\begin{verbatim}
   (17)  1.0
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty17}
\begin{paste}{ugIntroYouPageEmpty17}{ugIntroYouPagePatch17}
\pastebutton{ugIntroYouPageEmpty17}{\showpaste}
\tab{5}\spadcommand{t(cos, 5.2058)\free{t }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch18}
\begin{paste}{ugIntroYouPageFull18}{ugIntroYouPageEmpty18}
\pastebutton{ugIntroYouPageFull18}{\hidepaste}
\tab{5}\spadcommand{cosinv(y) == cos(1/y)\bound{cosinv }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty18}
\begin{paste}{ugIntroYouPageEmpty18}{ugIntroYouPagePatch18}
\pastebutton{ugIntroYouPageEmpty18}{\showpaste}
\tab{5}\spadcommand{cosinv(y) == cos(1/y)\bound{cosinv }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch19}
\begin{paste}{ugIntroYouPageFull19}{ugIntroYouPageEmpty19}
\pastebutton{ugIntroYouPageFull19}{\hidepaste}
\tab{5}\spadcommand{t(cosinv, 5.2058)\free{t }\free{cosinv }}
\indentrel{3}\begin{verbatim}
   (19)  1.7392237241 800516493
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty19}
\begin{paste}{ugIntroYouPageEmpty19}{ugIntroYouPagePatch19}
\pastebutton{ugIntroYouPageEmpty19}{\showpaste}
\tab{5}\spadcommand{t(cosinv, 5.2058)\free{t }\free{cosinv }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch20}
\begin{paste}{ugIntroYouPageFull20}{ugIntroYouPageEmpty20}
\pastebutton{ugIntroYouPageFull20}{\hidepaste}
\tab{5}\spadcommand{groupSqrt := rule(sqrt(a) * sqrt(b) == sqrt(a*b))\bound{g }}
\indentrel{3}\begin{verbatim}
             ÚÄ¿ ÚÄ¿        ÚÄÄÄ¿
   (20)  %BD\³a \³b  == %BD\³a b
  Type: RewriteRule(Integer,Integer,Expression Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty20}
\begin{paste}{ugIntroYouPageEmpty20}{ugIntroYouPagePatch20}
\pastebutton{ugIntroYouPageEmpty20}{\showpaste}
\tab{5}\spadcommand{groupSqrt := rule(sqrt(a) * sqrt(b) == sqrt(a*b))\bound{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch21}
\begin{paste}{ugIntroYouPageFull21}{ugIntroYouPageEmpty21}
\pastebutton{ugIntroYouPageFull21}{\hidepaste}
\tab{5}\spadcommand{a := (sqrt(x) + sqrt(y) + sqrt(z))**4\bound{sxy }}
\indentrel{3}\begin{verbatim}
   (21)
                      ÚÄ¿                   ÚÄ¿  ÚÄ¿
     ((4z + 4y + 12x)\³y  + (4z + 12y + 4x)\³x )\³z
   + 
                     ÚÄ¿ ÚÄ¿    2                 2
     (12z + 4y + 4x)\³x \³y  + z  + (6y + 6x)z + y  + 6x y
   + 
      2
     x
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty21}
\begin{paste}{ugIntroYouPageEmpty21}{ugIntroYouPagePatch21}
\pastebutton{ugIntroYouPageEmpty21}{\showpaste}
\tab{5}\spadcommand{a := (sqrt(x) + sqrt(y) + sqrt(z))**4\bound{sxy }}
\end{paste}\end{patch}

\begin{patch}{ugIntroYouPagePatch22}
\begin{paste}{ugIntroYouPageFull22}{ugIntroYouPageEmpty22}
\pastebutton{ugIntroYouPageFull22}{\hidepaste}
\tab{5}\spadcommand{groupSqrt a\free{sxy }\free{g }}
\indentrel{3}\begin{verbatim}
   (22)
                     ÚÄÄÄ¿                   ÚÄÄÄ¿
     (4z + 4y + 12x)\³y z  + (4z + 12y + 4x)\³x z
   + 
                     ÚÄÄÄ¿    2                 2
     (12z + 4y + 4x)\³x y  + z  + (6y + 6x)z + y  + 6x y
   + 
      2
     x
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroYouPageEmpty22}
\begin{paste}{ugIntroYouPageEmpty22}{ugIntroYouPagePatch22}
\pastebutton{ugIntroYouPageEmpty22}{\showpaste}
\tab{5}\spadcommand{groupSqrt a\free{sxy }\free{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPagePatch1}
\begin{paste}{ugIntroTypesPageFull1}{ugIntroTypesPageEmpty1}
\pastebutton{ugIntroTypesPageFull1}{\hidepaste}
\tab{5}\spadcommand{8}
\indentrel{3}\begin{verbatim}
   (1)  8
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPageEmpty1}
\begin{paste}{ugIntroTypesPageEmpty1}{ugIntroTypesPagePatch1}
\pastebutton{ugIntroTypesPageEmpty1}{\showpaste}
\tab{5}\spadcommand{8}
\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPagePatch2}
\begin{paste}{ugIntroTypesPageFull2}{ugIntroTypesPageEmpty2}
\pastebutton{ugIntroTypesPageFull2}{\hidepaste}
\tab{5}\spadcommand{-8}
\indentrel{3}\begin{verbatim}
   (2)  - 8
                                          Type: Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPageEmpty2}
\begin{paste}{ugIntroTypesPageEmpty2}{ugIntroTypesPagePatch2}
\pastebutton{ugIntroTypesPageEmpty2}{\showpaste}
\tab{5}\spadcommand{-8}
\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPagePatch3}
\begin{paste}{ugIntroTypesPageFull3}{ugIntroTypesPageEmpty3}
\pastebutton{ugIntroTypesPageFull3}{\hidepaste}
\tab{5}\spadcommand{x**8}
\indentrel{3}\begin{verbatim}
         8
   (3)  x
                               Type: Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPageEmpty3}
\begin{paste}{ugIntroTypesPageEmpty3}{ugIntroTypesPagePatch3}
\pastebutton{ugIntroTypesPageEmpty3}{\showpaste}
\tab{5}\spadcommand{x**8}
\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPagePatch4}
\begin{paste}{ugIntroTypesPageFull4}{ugIntroTypesPageEmpty4}
\pastebutton{ugIntroTypesPageFull4}{\hidepaste}
\tab{5}\spadcommand{x**(-8)}
\indentrel{3}\begin{verbatim}
         1
   (4)  ÄÄ
         8
        x
                      Type: Fraction Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTypesPageEmpty4}
\begin{paste}{ugIntroTypesPageEmpty4}{ugIntroTypesPagePatch4}
\pastebutton{ugIntroTypesPageEmpty4}{\showpaste}
\tab{5}\spadcommand{x**(-8)}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch1}
\begin{paste}{ugIntroTwoDimPageFull1}{ugIntroTwoDimPageEmpty1}
\pastebutton{ugIntroTwoDimPageFull1}{\hidepaste}
\tab{5}\spadcommand{m := matrix([[1,2], [3,4]])\bound{m }}
\indentrel{3}\begin{verbatim}
        Ú1  2¿
   (1)  ³    ³
        À3  4Ù
                                   Type: Matrix Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty1}
\begin{paste}{ugIntroTwoDimPageEmpty1}{ugIntroTwoDimPagePatch1}
\pastebutton{ugIntroTwoDimPageEmpty1}{\showpaste}
\tab{5}\spadcommand{m := matrix([[1,2], [3,4]])\bound{m }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch2}
\begin{paste}{ugIntroTwoDimPageFull2}{ugIntroTwoDimPageEmpty2}
\pastebutton{ugIntroTwoDimPageFull2}{\hidepaste}
\tab{5}\spadcommand{matrix([[1/(i + j - x) for i in 1..4] for j in 1..4])\bound{hilb }}
\indentrel{3}\begin{verbatim}
        Ú    1        1        1        1  ¿
        ³- ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄij
        ³  x - 2    x - 3    x - 4    x - 5³
        ³                                  ³
        ³    1        1        1        1  ³
        ³- ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄij
        ³  x - 3    x - 4    x - 5    x - 6³
   (2)  ³                                  ³
        ³    1        1        1        1  ³
        ³- ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄij
        ³  x - 4    x - 5    x - 6    x - 7³
        ³                                  ³
        ³    1        1        1        1  ³
        ³- ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄÄ  - ÄÄÄÄij
        À  x - 5    x - 6    x - 7    x - 8Ù
               Type: Matrix Fraction Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty2}
\begin{paste}{ugIntroTwoDimPageEmpty2}{ugIntroTwoDimPagePatch2}
\pastebutton{ugIntroTwoDimPageEmpty2}{\showpaste}
\tab{5}\spadcommand{matrix([[1/(i + j - x) for i in 1..4] for j in 1..4])\bound{hilb }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch3}
\begin{paste}{ugIntroTwoDimPageFull3}{ugIntroTwoDimPageEmpty3}
\pastebutton{ugIntroTwoDimPageFull3}{\hidepaste}
\tab{5}\spadcommand{vm := matrix [[1,1,1], [x,y,z], [x*x,y*y,z*z]]\bound{vm }}
\indentrel{3}\begin{verbatim}
        Ú1   1   1 ¿
        ³          ³
   (3)  ³x   y   z ³
        ³          ³
        ³ 2   2   2³
        Àx   y   z Ù
                        Type: Matrix Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty3}
\begin{paste}{ugIntroTwoDimPageEmpty3}{ugIntroTwoDimPagePatch3}
\pastebutton{ugIntroTwoDimPageEmpty3}{\showpaste}
\tab{5}\spadcommand{vm := matrix [[1,1,1], [x,y,z], [x*x,y*y,z*z]]\bound{vm }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch4}
\begin{paste}{ugIntroTwoDimPageFull4}{ugIntroTwoDimPageEmpty4}
\pastebutton{ugIntroTwoDimPageFull4}{\hidepaste}
\tab{5}\spadcommand{vm(3,3)\free{vm }}
\indentrel{3}\begin{verbatim}
         2
   (4)  z
                               Type: Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty4}
\begin{paste}{ugIntroTwoDimPageEmpty4}{ugIntroTwoDimPagePatch4}
\pastebutton{ugIntroTwoDimPageEmpty4}{\showpaste}
\tab{5}\spadcommand{vm(3,3)\free{vm }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch5}
\begin{paste}{ugIntroTwoDimPageFull5}{ugIntroTwoDimPageEmpty5}
\pastebutton{ugIntroTwoDimPageFull5}{\hidepaste}
\tab{5}\spadcommand{column(vm,2)\free{vm }}
\indentrel{3}\begin{verbatim}
              2
   (5)  [1,y,y ]
                        Type: Vector Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty5}
\begin{paste}{ugIntroTwoDimPageEmpty5}{ugIntroTwoDimPagePatch5}
\pastebutton{ugIntroTwoDimPageEmpty5}{\showpaste}
\tab{5}\spadcommand{column(vm,2)\free{vm }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch6}
\begin{paste}{ugIntroTwoDimPageFull6}{ugIntroTwoDimPageEmpty6}
\pastebutton{ugIntroTwoDimPageFull6}{\hidepaste}
\tab{5}\spadcommand{vm * vm\free{vm }}
\indentrel{3}\begin{verbatim}
   (6)
   Ú    2                2              2          ¿
   ³   x  + x + 1       y  + y + 1     z  + z + 1  ³
   ³                                               ³
   ³  2                 2     2        3           ³
   ³ x z + x y + x     y z + y  + x   z  + y z + x ³
   ³                                               ³
   ³ 2 2      2    2   2 2    3    2   4    2     2³
   Àx z  + x y  + x   y z  + y  + x   z  + y z + x Ù
                        Type: Matrix Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty6}
\begin{paste}{ugIntroTwoDimPageEmpty6}{ugIntroTwoDimPagePatch6}
\pastebutton{ugIntroTwoDimPageEmpty6}{\showpaste}
\tab{5}\spadcommand{vm * vm\free{vm }}
\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPagePatch7}
\begin{paste}{ugIntroTwoDimPageFull7}{ugIntroTwoDimPageEmpty7}
\pastebutton{ugIntroTwoDimPageFull7}{\hidepaste}
\tab{5}\spadcommand{factor determinant vm\free{vm }\bound{d }}
\indentrel{3}\begin{verbatim}
   (7)  (y - x)(z - y)(z - x)
                      Type: Factored Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroTwoDimPageEmpty7}
\begin{paste}{ugIntroTwoDimPageEmpty7}{ugIntroTwoDimPagePatch7}
\pastebutton{ugIntroTwoDimPageEmpty7}{\showpaste}
\tab{5}\spadcommand{factor determinant vm\free{vm }\bound{d }}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch1}
\begin{paste}{ugIntroAssignPageFull1}{ugIntroAssignPageEmpty1}
\pastebutton{ugIntroAssignPageFull1}{\hidepaste}
\tab{5}\spadcommand{(x - y*z)**2}
\indentrel{3}\begin{verbatim}
         2 2             2
   (1)  y z  - 2x y z + x
                               Type: Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty1}
\begin{paste}{ugIntroAssignPageEmpty1}{ugIntroAssignPagePatch1}
\pastebutton{ugIntroAssignPageEmpty1}{\showpaste}
\tab{5}\spadcommand{(x - y*z)**2}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch2}
\begin{paste}{ugIntroAssignPageFull2}{ugIntroAssignPageEmpty2}
\pastebutton{ugIntroAssignPageFull2}{\hidepaste}
\tab{5}\spadcommand{x := 4}
\indentrel{3}\begin{verbatim}
   (2)  4
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty2}
\begin{paste}{ugIntroAssignPageEmpty2}{ugIntroAssignPagePatch2}
\pastebutton{ugIntroAssignPageEmpty2}{\showpaste}
\tab{5}\spadcommand{x := 4}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch3}
\begin{paste}{ugIntroAssignPageFull3}{ugIntroAssignPageEmpty3}
\pastebutton{ugIntroAssignPageFull3}{\hidepaste}
\tab{5}\spadcommand{x := z + 3/5}
\indentrel{3}\begin{verbatim}
            3
   (3)  z + Ä
            5
                      Type: Polynomial Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty3}
\begin{paste}{ugIntroAssignPageEmpty3}{ugIntroAssignPagePatch3}
\pastebutton{ugIntroAssignPageEmpty3}{\showpaste}
\tab{5}\spadcommand{x := z + 3/5}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch4}
\begin{paste}{ugIntroAssignPageFull4}{ugIntroAssignPageEmpty4}
\pastebutton{ugIntroAssignPageFull4}{\hidepaste}
\tab{5}\spadcommand{y : Integer\bound{y }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty4}
\begin{paste}{ugIntroAssignPageEmpty4}{ugIntroAssignPagePatch4}
\pastebutton{ugIntroAssignPageEmpty4}{\showpaste}
\tab{5}\spadcommand{y : Integer\bound{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch5}
\begin{paste}{ugIntroAssignPageFull5}{ugIntroAssignPageEmpty5}
\pastebutton{ugIntroAssignPageFull5}{\hidepaste}
\tab{5}\spadcommand{y := 89\bound{y1 }\free{y }}
\indentrel{3}\begin{verbatim}
   (5)  89
                                          Type: Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty5}
\begin{paste}{ugIntroAssignPageEmpty5}{ugIntroAssignPagePatch5}
\pastebutton{ugIntroAssignPageEmpty5}{\showpaste}
\tab{5}\spadcommand{y := 89\bound{y1 }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch6}
\begin{paste}{ugIntroAssignPageFull6}{ugIntroAssignPageEmpty6}
\pastebutton{ugIntroAssignPageFull6}{\hidepaste}
\tab{5}\spadcommand{y := sin \%pi}
\indentrel{3}\begin{verbatim}
   (6)  0
                                          Type: Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty6}
\begin{paste}{ugIntroAssignPageEmpty6}{ugIntroAssignPagePatch6}
\pastebutton{ugIntroAssignPageEmpty6}{\showpaste}
\tab{5}\spadcommand{y := sin \%pi}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch7}
\begin{paste}{ugIntroAssignPageFull7}{ugIntroAssignPageEmpty7}
\pastebutton{ugIntroAssignPageFull7}{\hidepaste}
\tab{5}\spadcommand{y := 2/3}
\indentrel{3}\begin{verbatim}
   2
   Ä
   3
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty7}
\begin{paste}{ugIntroAssignPageEmpty7}{ugIntroAssignPagePatch7}
\pastebutton{ugIntroAssignPageEmpty7}{\showpaste}
\tab{5}\spadcommand{y := 2/3}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch8}
\begin{paste}{ugIntroAssignPageFull8}{ugIntroAssignPageEmpty8}
\pastebutton{ugIntroAssignPageFull8}{\hidepaste}
\tab{5}\spadcommand{f : Float := 2/3}
\indentrel{3}\begin{verbatim}
   (7)  0.6666666666 6666666667
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty8}
\begin{paste}{ugIntroAssignPageEmpty8}{ugIntroAssignPagePatch8}
\pastebutton{ugIntroAssignPageEmpty8}{\showpaste}
\tab{5}\spadcommand{f : Float := 2/3}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch9}
\begin{paste}{ugIntroAssignPageFull9}{ugIntroAssignPageEmpty9}
\pastebutton{ugIntroAssignPageFull9}{\hidepaste}
\tab{5}\spadcommand{f : Float; f := 2/3\bound{fff }}
\indentrel{3}\begin{verbatim}
   (8)  0.6666666666 6666666667
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty9}
\begin{paste}{ugIntroAssignPageEmpty9}{ugIntroAssignPagePatch9}
\pastebutton{ugIntroAssignPageEmpty9}{\showpaste}
\tab{5}\spadcommand{f : Float; f := 2/3\bound{fff }}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch10}
\begin{paste}{ugIntroAssignPageFull10}{ugIntroAssignPageEmpty10}
\pastebutton{ugIntroAssignPageFull10}{\hidepaste}
\tab{5}\spadcommand{q}
\indentrel{3}\begin{verbatim}
   (9)  q
                                       Type: Variable q
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty10}
\begin{paste}{ugIntroAssignPageEmpty10}{ugIntroAssignPagePatch10}
\pastebutton{ugIntroAssignPageEmpty10}{\showpaste}
\tab{5}\spadcommand{q}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch11}
\begin{paste}{ugIntroAssignPageFull11}{ugIntroAssignPageEmpty11}
\pastebutton{ugIntroAssignPageFull11}{\hidepaste}
\tab{5}\spadcommand{[q, r]}
\indentrel{3}\begin{verbatim}
   (10)  [q,r]
                   Type: List OrderedVariableList [q,r]
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty11}
\begin{paste}{ugIntroAssignPageEmpty11}{ugIntroAssignPagePatch11}
\pastebutton{ugIntroAssignPageEmpty11}{\showpaste}
\tab{5}\spadcommand{[q, r]}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch12}
\begin{paste}{ugIntroAssignPageFull12}{ugIntroAssignPageEmpty12}
\pastebutton{ugIntroAssignPageFull12}{\hidepaste}
\tab{5}\spadcommand{f\free{fff }}
\indentrel{3}\begin{verbatim}
   (11)  0.6666666666 6666666667
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty12}
\begin{paste}{ugIntroAssignPageEmpty12}{ugIntroAssignPagePatch12}
\pastebutton{ugIntroAssignPageEmpty12}{\showpaste}
\tab{5}\spadcommand{f\free{fff }}
\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPagePatch13}
\begin{paste}{ugIntroAssignPageFull13}{ugIntroAssignPageEmpty13}
\pastebutton{ugIntroAssignPageFull13}{\hidepaste}
\tab{5}\spadcommand{'f}
\indentrel{3}\begin{verbatim}
   (12)  f
                                       Type: Variable f
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroAssignPageEmpty13}
\begin{paste}{ugIntroAssignPageEmpty13}{ugIntroAssignPagePatch13}
\pastebutton{ugIntroAssignPageEmpty13}{\showpaste}
\tab{5}\spadcommand{'f}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch1}
\begin{paste}{ugIntroSeriesPageFull1}{ugIntroSeriesPageEmpty1}
\pastebutton{ugIntroSeriesPageFull1}{\hidepaste}
\tab{5}\spadcommand{series(sin(a*x),x = 0)}
\indentrel{3}\begin{verbatim}
   (1)
            3        5        7          9
           a   3    a   5    a    7     a     9
     a x - ÄÄ x  + ÄÄÄ x  - ÄÄÄÄ x  + ÄÄÄÄÄÄ x
            6      120      5040      362880
   + 
           11
          a      11      12
     - ÄÄÄÄÄÄÄÄ x   + O(x  )
       39916800
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty1}
\begin{paste}{ugIntroSeriesPageEmpty1}{ugIntroSeriesPagePatch1}
\pastebutton{ugIntroSeriesPageEmpty1}{\showpaste}
\tab{5}\spadcommand{series(sin(a*x),x = 0)}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch2}
\begin{paste}{ugIntroSeriesPageFull2}{ugIntroSeriesPageEmpty2}
\pastebutton{ugIntroSeriesPageFull2}{\hidepaste}
\tab{5}\spadcommand{series(sin(a*x),x = \%pi/4)}
\indentrel{3}\begin{verbatim}
   (2)
         a %pi          a %pi      %pi
     sin(ÄÄÄÄÄ) + a cos(ÄÄÄÄÄ)(x - ÄÄÄ)
           4              4         4
   + 
        2    a %pi                3    a %pi
       a sin(ÄÄÄÄÄ)              a cos(ÄÄÄÄÄ)
               4         %pi 2           4         %pi 3
     - ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)  - ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)
             2            4            6            4
   + 
      4    a %pi                5    a %pi
     a sin(ÄÄÄÄÄ)              a cos(ÄÄÄÄÄ)
             4         %pi 4           4         %pi 5
     ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)  + ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)
          24            4           120           4
   + 
        6    a %pi                7    a %pi
       a sin(ÄÄÄÄÄ)              a cos(ÄÄÄÄÄ)
               4         %pi 6           4         %pi 7
     - ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)  - ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)
            720           4          5040           4
   + 
      8    a %pi                9    a %pi
     a sin(ÄÄÄÄÄ)              a cos(ÄÄÄÄÄ)
             4         %pi 8           4         %pi 9
     ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)  + ÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)
         40320          4         362880          4
   + 
        10    a %pi
       a  sin(ÄÄÄÄÄ)
                4         %pi 10          %pi 11
     - ÄÄÄÄÄÄÄÄÄÄÄÄÄ (x - ÄÄÄ)   + O((x - ÄÄÄ)  )
          3628800          4               4
Type: UnivariatePuiseuxSeries(Expression Integer,x,pi/4)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty2}
\begin{paste}{ugIntroSeriesPageEmpty2}{ugIntroSeriesPagePatch2}
\pastebutton{ugIntroSeriesPageEmpty2}{\showpaste}
\tab{5}\spadcommand{series(sin(a*x),x = \%pi/4)}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch3}
\begin{paste}{ugIntroSeriesPageFull3}{ugIntroSeriesPageEmpty3}
\pastebutton{ugIntroSeriesPageFull3}{\hidepaste}
\tab{5}\spadcommand{series(n +-> (-1)**((3*n - 4)/6)/factorial(n - 1/3),x = 0,4/3..,2)}
\indentrel{3}\begin{verbatim}
         4      10
         Ä      ÄÄ
         3   1   3      5
   (3)  x  - Ä x   + O(x )
             6
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty3}
\begin{paste}{ugIntroSeriesPageEmpty3}{ugIntroSeriesPagePatch3}
\pastebutton{ugIntroSeriesPageEmpty3}{\showpaste}
\tab{5}\spadcommand{series(n +-> (-1)**((3*n - 4)/6)/factorial(n - 1/3),x = 0,4/3..,2)}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch4}
\begin{paste}{ugIntroSeriesPageFull4}{ugIntroSeriesPageEmpty4}
\pastebutton{ugIntroSeriesPageFull4}{\hidepaste}
\tab{5}\spadcommand{f := series(1/(1-x),x = 0)\bound{f }}
\indentrel{3}\begin{verbatim}
   (4)
              2    3    4    5    6    7    8    9    10
     1 + x + x  + x  + x  + x  + x  + x  + x  + x  + x
   + 
        11
     O(x  )
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty4}
\begin{paste}{ugIntroSeriesPageEmpty4}{ugIntroSeriesPagePatch4}
\pastebutton{ugIntroSeriesPageEmpty4}{\showpaste}
\tab{5}\spadcommand{f := series(1/(1-x),x = 0)\bound{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch5}
\begin{paste}{ugIntroSeriesPageFull5}{ugIntroSeriesPageEmpty5}
\pastebutton{ugIntroSeriesPageFull5}{\hidepaste}
\tab{5}\spadcommand{f ** 2\free{f }}
\indentrel{3}\begin{verbatim}
   (5)
                2     3     4     5     6     7     8
     1 + 2x + 3x  + 4x  + 5x  + 6x  + 7x  + 8x  + 9x
   + 
        9      10      11
     10x  + 11x   + O(x  )
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty5}
\begin{paste}{ugIntroSeriesPageEmpty5}{ugIntroSeriesPagePatch5}
\pastebutton{ugIntroSeriesPageEmpty5}{\showpaste}
\tab{5}\spadcommand{f ** 2\free{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch6}
\begin{paste}{ugIntroSeriesPageFull6}{ugIntroSeriesPageEmpty6}
\pastebutton{ugIntroSeriesPageFull6}{\hidepaste}
\tab{5}\spadcommand{f := series(1/(1-x),x = 0)\bound{f1 }}
\indentrel{3}\begin{verbatim}
   (6)
              2    3    4    5    6    7    8    9    10
     1 + x + x  + x  + x  + x  + x  + x  + x  + x  + x
   + 
        11
     O(x  )
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty6}
\begin{paste}{ugIntroSeriesPageEmpty6}{ugIntroSeriesPagePatch6}
\pastebutton{ugIntroSeriesPageEmpty6}{\showpaste}
\tab{5}\spadcommand{f := series(1/(1-x),x = 0)\bound{f1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch7}
\begin{paste}{ugIntroSeriesPageFull7}{ugIntroSeriesPageEmpty7}
\pastebutton{ugIntroSeriesPageFull7}{\hidepaste}
\tab{5}\spadcommand{g := log(f)\free{f1 }\bound{g }}
\indentrel{3}\begin{verbatim}
   (7)
         1  2   1  3   1  4   1  5   1  6   1  7   1  8
     x + Ä x  + Ä x  + Ä x  + Ä x  + Ä x  + Ä x  + Ä x
         2      3      4      5      6      7      8
   + 
     1  9    1  10    1  11      12
     Ä x  + ÄÄ x   + ÄÄ x   + O(x  )
     9      10       11
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty7}
\begin{paste}{ugIntroSeriesPageEmpty7}{ugIntroSeriesPagePatch7}
\pastebutton{ugIntroSeriesPageEmpty7}{\showpaste}
\tab{5}\spadcommand{g := log(f)\free{f1 }\bound{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch8}
\begin{paste}{ugIntroSeriesPageFull8}{ugIntroSeriesPageEmpty8}
\pastebutton{ugIntroSeriesPageFull8}{\hidepaste}
\tab{5}\spadcommand{exp(g)\free{g }}
\indentrel{3}\begin{verbatim}
   (8)
              2    3    4    5    6    7    8    9    10
     1 + x + x  + x  + x  + x  + x  + x  + x  + x  + x
   + 
        11
     O(x  )
  Type: UnivariatePuiseuxSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty8}
\begin{paste}{ugIntroSeriesPageEmpty8}{ugIntroSeriesPagePatch8}
\pastebutton{ugIntroSeriesPageEmpty8}{\showpaste}
\tab{5}\spadcommand{exp(g)\free{g }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch9}
\begin{paste}{ugIntroSeriesPageFull9}{ugIntroSeriesPageEmpty9}
\pastebutton{ugIntroSeriesPageFull9}{\hidepaste}
\tab{5}\spadcommand{f := taylor(exp(x))\bound{f2 }}
\indentrel{3}\begin{verbatim}
   (9)
             1  2   1  3    1  4    1   5    1   6
     1 + x + Ä x  + Ä x  + ÄÄ x  + ÄÄÄ x  + ÄÄÄ x
             2      6      24      120      720
   + 
     1   7     1    8      1    9      1     10      11
   ÄÄÄÄ x  + ÄÄÄÄÄ x  + ÄÄÄÄÄÄ x  + ÄÄÄÄÄÄÄ x   + O(x  )
   5040      40320      362880      3628800
   Type: UnivariateTaylorSeries(Expression Integer,x,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty9}
\begin{paste}{ugIntroSeriesPageEmpty9}{ugIntroSeriesPagePatch9}
\pastebutton{ugIntroSeriesPageEmpty9}{\showpaste}
\tab{5}\spadcommand{f := taylor(exp(x))\bound{f2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPagePatch10}
\begin{paste}{ugIntroSeriesPageFull10}{ugIntroSeriesPageEmpty10}
\pastebutton{ugIntroSeriesPageFull10}{\hidepaste}
\tab{5}\spadcommand{eval(f,1.0)\free{f2 }}
\indentrel{3}\begin{verbatim}
   (10)
   [1.0, 2.0, 2.5, 2.6666666666 666666667,
    2.7083333333 333333333, 2.7166666666 666666667,
    2.7180555555 555555556, 2.7182539682 53968254,
    2.7182787698 412698413, 2.7182815255 731922399, ...]
                          Type: Stream Expression Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSeriesPageEmpty10}
\begin{paste}{ugIntroSeriesPageEmpty10}{ugIntroSeriesPagePatch10}
\pastebutton{ugIntroSeriesPageEmpty10}{\showpaste}
\tab{5}\spadcommand{eval(f,1.0)\free{f2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPagePatch1}
\begin{paste}{ugIntroCallFunPageFull1}{ugIntroCallFunPageEmpty1}
\pastebutton{ugIntroCallFunPageFull1}{\hidepaste}
\tab{5}\spadcommand{factor(120)}
\indentrel{3}\begin{verbatim}
         3
   (1)  2 3 5
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPageEmpty1}
\begin{paste}{ugIntroCallFunPageEmpty1}{ugIntroCallFunPagePatch1}
\pastebutton{ugIntroCallFunPageEmpty1}{\showpaste}
\tab{5}\spadcommand{factor(120)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPagePatch2}
\begin{paste}{ugIntroCallFunPageFull2}{ugIntroCallFunPageEmpty2}
\pastebutton{ugIntroCallFunPageFull2}{\hidepaste}
\tab{5}\spadcommand{divide(125,7)}
\indentrel{3}\begin{verbatim}
   (2)  [quotient= 17,remainder= 6]
     Type: Record(quotient: Integer,remainder: Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPageEmpty2}
\begin{paste}{ugIntroCallFunPageEmpty2}{ugIntroCallFunPagePatch2}
\pastebutton{ugIntroCallFunPageEmpty2}{\showpaste}
\tab{5}\spadcommand{divide(125,7)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPagePatch3}
\begin{paste}{ugIntroCallFunPageFull3}{ugIntroCallFunPageEmpty3}
\pastebutton{ugIntroCallFunPageFull3}{\hidepaste}
\tab{5}\spadcommand{quatern(3.4,5.6,2.9,0.1)}
\indentrel{3}\begin{verbatim}
   (3)  3.4 + 5.6 i + 2.9 j + 0.1 k
                                 Type: Quaternion Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPageEmpty3}
\begin{paste}{ugIntroCallFunPageEmpty3}{ugIntroCallFunPagePatch3}
\pastebutton{ugIntroCallFunPageEmpty3}{\showpaste}
\tab{5}\spadcommand{quatern(3.4,5.6,2.9,0.1)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPagePatch4}
\begin{paste}{ugIntroCallFunPageFull4}{ugIntroCallFunPageEmpty4}
\pastebutton{ugIntroCallFunPageFull4}{\hidepaste}
\tab{5}\spadcommand{factorial 10}
\indentrel{3}\begin{verbatim}
   (4)  3628800
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCallFunPageEmpty4}
\begin{paste}{ugIntroCallFunPageEmpty4}{ugIntroCallFunPagePatch4}
\pastebutton{ugIntroCallFunPageEmpty4}{\showpaste}
\tab{5}\spadcommand{factorial 10}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch1}
\begin{paste}{ugIntroCollectPageFull1}{ugIntroCollectPageEmpty1}
\pastebutton{ugIntroCollectPageFull1}{\hidepaste}
\tab{5}\spadcommand{u := [1,-7,11]\bound{u }}
\indentrel{3}\begin{verbatim}
   (1)  [1,- 7,11]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty1}
\begin{paste}{ugIntroCollectPageEmpty1}{ugIntroCollectPagePatch1}
\pastebutton{ugIntroCollectPageEmpty1}{\showpaste}
\tab{5}\spadcommand{u := [1,-7,11]\bound{u }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch2}
\begin{paste}{ugIntroCollectPageFull2}{ugIntroCollectPageEmpty2}
\pastebutton{ugIntroCollectPageFull2}{\hidepaste}
\tab{5}\spadcommand{first rest rest u\free{u }}
\indentrel{3}\begin{verbatim}
   (2)  11
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty2}
\begin{paste}{ugIntroCollectPageEmpty2}{ugIntroCollectPagePatch2}
\pastebutton{ugIntroCollectPageEmpty2}{\showpaste}
\tab{5}\spadcommand{first rest rest u\free{u }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch3}
\begin{paste}{ugIntroCollectPageFull3}{ugIntroCollectPageEmpty3}
\pastebutton{ugIntroCollectPageFull3}{\hidepaste}
\tab{5}\spadcommand{concat!(u,[9,1,3,-4]); u\free{u }\bound{u1 }}
\indentrel{3}\begin{verbatim}
   (3)  [1,- 7,11,9,1,3,- 4]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty3}
\begin{paste}{ugIntroCollectPageEmpty3}{ugIntroCollectPagePatch3}
\pastebutton{ugIntroCollectPageEmpty3}{\showpaste}
\tab{5}\spadcommand{concat!(u,[9,1,3,-4]); u\free{u }\bound{u1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch4}
\begin{paste}{ugIntroCollectPageFull4}{ugIntroCollectPageEmpty4}
\pastebutton{ugIntroCollectPageFull4}{\hidepaste}
\tab{5}\spadcommand{lastnode := rest(u,3)\free{u1 }\bound{u2 }}
\indentrel{3}\begin{verbatim}
   (4)  [9,1,3,- 4]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty4}
\begin{paste}{ugIntroCollectPageEmpty4}{ugIntroCollectPagePatch4}
\pastebutton{ugIntroCollectPageEmpty4}{\showpaste}
\tab{5}\spadcommand{lastnode := rest(u,3)\free{u1 }\bound{u2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch5}
\begin{paste}{ugIntroCollectPageFull5}{ugIntroCollectPageEmpty5}
\pastebutton{ugIntroCollectPageFull5}{\hidepaste}
\tab{5}\spadcommand{setrest!(lastnode,rest(u,2)); u\free{u2 }}
\indentrel{3}\begin{verbatim}
               ____
   (5)  [1,- 7,11,9]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty5}
\begin{paste}{ugIntroCollectPageEmpty5}{ugIntroCollectPagePatch5}
\pastebutton{ugIntroCollectPageEmpty5}{\showpaste}
\tab{5}\spadcommand{setrest!(lastnode,rest(u,2)); u\free{u2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch6}
\begin{paste}{ugIntroCollectPageFull6}{ugIntroCollectPageEmpty6}
\pastebutton{ugIntroCollectPageFull6}{\hidepaste}
\tab{5}\spadcommand{[factor(i) for i in 2.. by 2]\bound{stream1 }}
\indentrel{3}\begin{verbatim}
            2      3      2       4    2  2
   (6)  [2,2 ,2 3,2 ,2 5,2 3,2 7,2 ,2 3 ,2 5,...]
                          Type: Stream Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty6}
\begin{paste}{ugIntroCollectPageEmpty6}{ugIntroCollectPagePatch6}
\pastebutton{ugIntroCollectPageEmpty6}{\showpaste}
\tab{5}\spadcommand{[factor(i) for i in 2.. by 2]\bound{stream1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch7}
\begin{paste}{ugIntroCollectPageFull7}{ugIntroCollectPageEmpty7}
\pastebutton{ugIntroCollectPageFull7}{\hidepaste}
\tab{5}\spadcommand{\%.36\free{stream1 }}
\indentrel{3}\begin{verbatim}
         3 2
   (7)  2 3
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty7}
\begin{paste}{ugIntroCollectPageEmpty7}{ugIntroCollectPagePatch7}
\pastebutton{ugIntroCollectPageEmpty7}{\showpaste}
\tab{5}\spadcommand{\%.36\free{stream1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch8}
\begin{paste}{ugIntroCollectPageFull8}{ugIntroCollectPageEmpty8}
\pastebutton{ugIntroCollectPageFull8}{\hidepaste}
\tab{5}\spadcommand{a := oneDimensionalArray [1, -7, 3, 3/2]\bound{a }}
\indentrel{3}\begin{verbatim}
                 3
   (8)  [1,- 7,3,Ä]
                 2
             Type: OneDimensionalArray Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty8}
\begin{paste}{ugIntroCollectPageEmpty8}{ugIntroCollectPagePatch8}
\pastebutton{ugIntroCollectPageEmpty8}{\showpaste}
\tab{5}\spadcommand{a := oneDimensionalArray [1, -7, 3, 3/2]\bound{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch9}
\begin{paste}{ugIntroCollectPageFull9}{ugIntroCollectPageEmpty9}
\pastebutton{ugIntroCollectPageFull9}{\hidepaste}
\tab{5}\spadcommand{a.3 := 11; a\bound{a1 }\free{a }}
\indentrel{3}\begin{verbatim}
                  3
   (9)  [1,- 7,11,Ä]
                  2
             Type: OneDimensionalArray Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty9}
\begin{paste}{ugIntroCollectPageEmpty9}{ugIntroCollectPagePatch9}
\pastebutton{ugIntroCollectPageEmpty9}{\showpaste}
\tab{5}\spadcommand{a.3 := 11; a\bound{a1 }\free{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch10}
\begin{paste}{ugIntroCollectPageFull10}{ugIntroCollectPageEmpty10}
\pastebutton{ugIntroCollectPageFull10}{\hidepaste}
\tab{5}\spadcommand{concat!(a,oneDimensionalArray [1,-2])\free{a1 }}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty10}
\begin{paste}{ugIntroCollectPageEmpty10}{ugIntroCollectPagePatch10}
\pastebutton{ugIntroCollectPageEmpty10}{\showpaste}
\tab{5}\spadcommand{concat!(a,oneDimensionalArray [1,-2])\free{a1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch11}
\begin{paste}{ugIntroCollectPageFull11}{ugIntroCollectPageEmpty11}
\pastebutton{ugIntroCollectPageFull11}{\hidepaste}
\tab{5}\spadcommand{bits(32,true)}
\indentrel{3}\begin{verbatim}
   (10)  "11111111111111111111111111111111"
                                             Type: Bits
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty11}
\begin{paste}{ugIntroCollectPageEmpty11}{ugIntroCollectPagePatch11}
\pastebutton{ugIntroCollectPageEmpty11}{\showpaste}
\tab{5}\spadcommand{bits(32,true)}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch12}
\begin{paste}{ugIntroCollectPageFull12}{ugIntroCollectPageEmpty12}
\pastebutton{ugIntroCollectPageFull12}{\hidepaste}
\tab{5}\spadcommand{f := flexibleArray [2, 7, -5]\bound{f }}
\indentrel{3}\begin{verbatim}
   (11)  [2,7,- 5]
                            Type: FlexibleArray Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty12}
\begin{paste}{ugIntroCollectPageEmpty12}{ugIntroCollectPagePatch12}
\pastebutton{ugIntroCollectPageEmpty12}{\showpaste}
\tab{5}\spadcommand{f := flexibleArray [2, 7, -5]\bound{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch13}
\begin{paste}{ugIntroCollectPageFull13}{ugIntroCollectPageEmpty13}
\pastebutton{ugIntroCollectPageFull13}{\hidepaste}
\tab{5}\spadcommand{insert!(flexibleArray [11, -3],f,2)\free{f }}
\indentrel{3}\begin{verbatim}
   (12)  [2,11,- 3,7,- 5]
                            Type: FlexibleArray Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty13}
\begin{paste}{ugIntroCollectPageEmpty13}{ugIntroCollectPagePatch13}
\pastebutton{ugIntroCollectPageEmpty13}{\showpaste}
\tab{5}\spadcommand{insert!(flexibleArray [11, -3],f,2)\free{f }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch14}
\begin{paste}{ugIntroCollectPageFull14}{ugIntroCollectPageEmpty14}
\pastebutton{ugIntroCollectPageFull14}{\hidepaste}
\tab{5}\spadcommand{h := heap [-4,7,11,3,4,-7]\bound{h }}
\indentrel{3}\begin{verbatim}
   (13)  [11,4,7,- 4,3,- 7]
                                     Type: Heap Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty14}
\begin{paste}{ugIntroCollectPageEmpty14}{ugIntroCollectPagePatch14}
\pastebutton{ugIntroCollectPageEmpty14}{\showpaste}
\tab{5}\spadcommand{h := heap [-4,7,11,3,4,-7]\bound{h }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch15}
\begin{paste}{ugIntroCollectPageFull15}{ugIntroCollectPageEmpty15}
\pastebutton{ugIntroCollectPageFull15}{\hidepaste}
\tab{5}\spadcommand{[extract!(h) while not empty?(h)]\free{h }}
\indentrel{3}\begin{verbatim}
   (14)  [11,7,4,3,- 4,- 7]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty15}
\begin{paste}{ugIntroCollectPageEmpty15}{ugIntroCollectPagePatch15}
\pastebutton{ugIntroCollectPageEmpty15}{\showpaste}
\tab{5}\spadcommand{[extract!(h) while not empty?(h)]\free{h }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch16}
\begin{paste}{ugIntroCollectPageFull16}{ugIntroCollectPageEmpty16}
\pastebutton{ugIntroCollectPageFull16}{\hidepaste}
\tab{5}\spadcommand{binarySearchTree [5,3,2,9,4,7,11]}
\indentrel{3}\begin{verbatim}
   (15)  [[2,3,4],5,[7,9,11]]
                 Type: BinarySearchTree PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty16}
\begin{paste}{ugIntroCollectPageEmpty16}{ugIntroCollectPagePatch16}
\pastebutton{ugIntroCollectPageEmpty16}{\showpaste}
\tab{5}\spadcommand{binarySearchTree [5,3,2,9,4,7,11]}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch17}
\begin{paste}{ugIntroCollectPageFull17}{ugIntroCollectPageEmpty17}
\pastebutton{ugIntroCollectPageFull17}{\hidepaste}
\tab{5}\spadcommand{modTree(8,[2,3,5,7])}
\indentrel{3}\begin{verbatim}
   (16)  [0,2,3,1]
                                     Type: List Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty17}
\begin{paste}{ugIntroCollectPageEmpty17}{ugIntroCollectPagePatch17}
\pastebutton{ugIntroCollectPageEmpty17}{\showpaste}
\tab{5}\spadcommand{modTree(8,[2,3,5,7])}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch18}
\begin{paste}{ugIntroCollectPageFull18}{ugIntroCollectPageEmpty18}
\pastebutton{ugIntroCollectPageFull18}{\hidepaste}
\tab{5}\spadcommand{fs := set[1/3,4/5,-1/3,4/5]\bound{fs }}
\indentrel{3}\begin{verbatim}
            1 1 4
   (17)  {- Ä,Ä,Ä}
            3 3 5
                             Type: Set Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty18}
\begin{paste}{ugIntroCollectPageEmpty18}{ugIntroCollectPagePatch18}
\pastebutton{ugIntroCollectPageEmpty18}{\showpaste}
\tab{5}\spadcommand{fs := set[1/3,4/5,-1/3,4/5]\bound{fs }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch19}
\begin{paste}{ugIntroCollectPageFull19}{ugIntroCollectPageEmpty19}
\pastebutton{ugIntroCollectPageFull19}{\hidepaste}
\tab{5}\spadcommand{multiset [x rem 5 for x in primes(2,1000)]}
\indentrel{3}\begin{verbatim}
   (18)  {0,42: 3,40: 1,38: 4,47: 2}
                                 Type: Multiset Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty19}
\begin{paste}{ugIntroCollectPageEmpty19}{ugIntroCollectPagePatch19}
\pastebutton{ugIntroCollectPageEmpty19}{\showpaste}
\tab{5}\spadcommand{multiset [x rem 5 for x in primes(2,1000)]}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch20}
\begin{paste}{ugIntroCollectPageFull20}{ugIntroCollectPageEmpty20}
\pastebutton{ugIntroCollectPageFull20}{\hidepaste}
\tab{5}\spadcommand{t : Table(Integer,Integer) := empty()\bound{t }}
\indentrel{3}\begin{verbatim}
   (19)  table()
                           Type: Table(Integer,Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty20}
\begin{paste}{ugIntroCollectPageEmpty20}{ugIntroCollectPagePatch20}
\pastebutton{ugIntroCollectPageEmpty20}{\showpaste}
\tab{5}\spadcommand{t : Table(Integer,Integer) := empty()\bound{t }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch21}
\begin{paste}{ugIntroCollectPageFull21}{ugIntroCollectPageEmpty21}
\pastebutton{ugIntroCollectPageFull21}{\hidepaste}
\tab{5}\spadcommand{howMany(k) == (n:=search(k,t); n case "failed" => 1; n+1)\bound{how }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty21}
\begin{paste}{ugIntroCollectPageEmpty21}{ugIntroCollectPagePatch21}
\pastebutton{ugIntroCollectPageEmpty21}{\showpaste}
\tab{5}\spadcommand{howMany(k) == (n:=search(k,t); n case "failed" => 1; n+1)\bound{how }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch22}
\begin{paste}{ugIntroCollectPageFull22}{ugIntroCollectPageEmpty22}
\pastebutton{ugIntroCollectPageFull22}{\hidepaste}
\tab{5}\spadcommand{for p in primes(2,1000) repeat (m:= p rem 5; t.m:= howMany(m)); t\free{how t }}
\indentrel{3}\begin{verbatim}
   (21)  table(2= 47,4= 38,1= 40,3= 42,0= 1)
                           Type: Table(Integer,Integer)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty22}
\begin{paste}{ugIntroCollectPageEmpty22}{ugIntroCollectPagePatch22}
\pastebutton{ugIntroCollectPageEmpty22}{\showpaste}
\tab{5}\spadcommand{for p in primes(2,1000) repeat (m:= p rem 5; t.m:= howMany(m)); t\free{how t }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch23}
\begin{paste}{ugIntroCollectPageFull23}{ugIntroCollectPageEmpty23}
\pastebutton{ugIntroCollectPageFull23}{\hidepaste}
\tab{5}\spadcommand{daniel : Record(age : Integer, salary : Float)\bound{danieldec }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty23}
\begin{paste}{ugIntroCollectPageEmpty23}{ugIntroCollectPagePatch23}
\pastebutton{ugIntroCollectPageEmpty23}{\showpaste}
\tab{5}\spadcommand{daniel : Record(age : Integer, salary : Float)\bound{danieldec }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch24}
\begin{paste}{ugIntroCollectPageFull24}{ugIntroCollectPageEmpty24}
\pastebutton{ugIntroCollectPageFull24}{\hidepaste}
\tab{5}\spadcommand{daniel := [28, 32005.12]\free{danieldec }\bound{daniel }}
\indentrel{3}\begin{verbatim}
   (23)  [age= 28,salary= 32005.12]
               Type: Record(age: Integer,salary: Float)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty24}
\begin{paste}{ugIntroCollectPageEmpty24}{ugIntroCollectPagePatch24}
\pastebutton{ugIntroCollectPageEmpty24}{\showpaste}
\tab{5}\spadcommand{daniel := [28, 32005.12]\free{danieldec }\bound{daniel }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch25}
\begin{paste}{ugIntroCollectPageFull25}{ugIntroCollectPageEmpty25}
\pastebutton{ugIntroCollectPageFull25}{\hidepaste}
\tab{5}\spadcommand{daniel.salary := 35000; daniel\free{daniel }}
\indentrel{3}\begin{verbatim}
   (24)  [age= 28,salary= 35000.0]
               Type: Record(age: Integer,salary: Float)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty25}
\begin{paste}{ugIntroCollectPageEmpty25}{ugIntroCollectPagePatch25}
\pastebutton{ugIntroCollectPageEmpty25}{\showpaste}
\tab{5}\spadcommand{daniel.salary := 35000; daniel\free{daniel }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch26}
\begin{paste}{ugIntroCollectPageFull26}{ugIntroCollectPageEmpty26}
\pastebutton{ugIntroCollectPageFull26}{\hidepaste}
\tab{5}\spadcommand{dog: Union(licenseNumber: Integer, name: String)\bound{xint }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty26}
\begin{paste}{ugIntroCollectPageEmpty26}{ugIntroCollectPagePatch26}
\pastebutton{ugIntroCollectPageEmpty26}{\showpaste}
\tab{5}\spadcommand{dog: Union(licenseNumber: Integer, name: String)\bound{xint }}
\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPagePatch27}
\begin{paste}{ugIntroCollectPageFull27}{ugIntroCollectPageEmpty27}
\pastebutton{ugIntroCollectPageFull27}{\hidepaste}
\tab{5}\spadcommand{dog := "Whisper"\free{xint }}
\indentrel{3}\begin{verbatim}
   (26)  "Whisper"
                          Type: Union(name: String,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCollectPageEmpty27}
\begin{paste}{ugIntroCollectPageEmpty27}{ugIntroCollectPagePatch27}
\pastebutton{ugIntroCollectPageEmpty27}{\showpaste}
\tab{5}\spadcommand{dog := "Whisper"\free{xint }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch1}
\begin{paste}{ugIntroNumbersPageFull1}{ugIntroNumbersPageEmpty1}
\pastebutton{ugIntroNumbersPageFull1}{\hidepaste}
\tab{5}\spadcommand{11**13 * 13**11 * 17**7 - 19**5 * 23**3}
\indentrel{3}\begin{verbatim}
   (1)  25387751112538918594666224484237298
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty1}
\begin{paste}{ugIntroNumbersPageEmpty1}{ugIntroNumbersPagePatch1}
\pastebutton{ugIntroNumbersPageEmpty1}{\showpaste}
\tab{5}\spadcommand{11**13 * 13**11 * 17**7 - 19**5 * 23**3}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch2}
\begin{paste}{ugIntroNumbersPageFull2}{ugIntroNumbersPageEmpty2}
\pastebutton{ugIntroNumbersPageFull2}{\hidepaste}
\tab{5}\spadcommand{factor 643238070748569023720594412551704344145570763243\bound{ex1 }}
\indentrel{3}\begin{verbatim}
          13  11  7  5  3  2
   (2)  11  13  17 19 23 29
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty2}
\begin{paste}{ugIntroNumbersPageEmpty2}{ugIntroNumbersPagePatch2}
\pastebutton{ugIntroNumbersPageEmpty2}{\showpaste}
\tab{5}\spadcommand{factor 643238070748569023720594412551704344145570763243\bound{ex1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch3}
\begin{paste}{ugIntroNumbersPageFull3}{ugIntroNumbersPageEmpty3}
\pastebutton{ugIntroNumbersPageFull3}{\hidepaste}
\tab{5}\spadcommand{\% * 12\free{ex1 }}
\indentrel{3}\begin{verbatim}
         2    13  11  7  5  3  2
   (3)  2 3 11  13  17 19 23 29
                                 Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty3}
\begin{paste}{ugIntroNumbersPageEmpty3}{ugIntroNumbersPagePatch3}
\pastebutton{ugIntroNumbersPageEmpty3}{\showpaste}
\tab{5}\spadcommand{\% * 12\free{ex1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch4}
\begin{paste}{ugIntroNumbersPageFull4}{ugIntroNumbersPageEmpty4}
\pastebutton{ugIntroNumbersPageFull4}{\hidepaste}
\tab{5}\spadcommand{radix(25937424601,11)}
\indentrel{3}\begin{verbatim}
   (4)  10000000000
                                Type: RadixExpansion 11
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty4}
\begin{paste}{ugIntroNumbersPageEmpty4}{ugIntroNumbersPagePatch4}
\pastebutton{ugIntroNumbersPageEmpty4}{\showpaste}
\tab{5}\spadcommand{radix(25937424601,11)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch5}
\begin{paste}{ugIntroNumbersPageFull5}{ugIntroNumbersPageEmpty5}
\pastebutton{ugIntroNumbersPageFull5}{\hidepaste}
\tab{5}\spadcommand{roman(1992)}
\indentrel{3}\begin{verbatim}
   (5)  MCMXCII
                                     Type: RomanNumeral
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty5}
\begin{paste}{ugIntroNumbersPageEmpty5}{ugIntroNumbersPagePatch5}
\pastebutton{ugIntroNumbersPageEmpty5}{\showpaste}
\tab{5}\spadcommand{roman(1992)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch6}
\begin{paste}{ugIntroNumbersPageFull6}{ugIntroNumbersPageEmpty6}
\pastebutton{ugIntroNumbersPageFull6}{\hidepaste}
\tab{5}\spadcommand{r := 10 + 9/2 + 8/3 + 7/4 + 6/5 + 5/6 + 4/7 + 3/8 + 2/9\bound{r }}
\indentrel{3}\begin{verbatim}
        55739
   (6)  ÄÄÄÄÄ
         2520
                                 Type: Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty6}
\begin{paste}{ugIntroNumbersPageEmpty6}{ugIntroNumbersPagePatch6}
\pastebutton{ugIntroNumbersPageEmpty6}{\showpaste}
\tab{5}\spadcommand{r := 10 + 9/2 + 8/3 + 7/4 + 6/5 + 5/6 + 4/7 + 3/8 + 2/9\bound{r }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch7}
\begin{paste}{ugIntroNumbersPageFull7}{ugIntroNumbersPageEmpty7}
\pastebutton{ugIntroNumbersPageFull7}{\hidepaste}
\tab{5}\spadcommand{map(factor,r)\free{r }}
\indentrel{3}\begin{verbatim}
        139 401
   (7)  ÄÄÄÄÄÄÄ
         3 2
        2 3 5 7
                        Type: Fraction Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty7}
\begin{paste}{ugIntroNumbersPageEmpty7}{ugIntroNumbersPagePatch7}
\pastebutton{ugIntroNumbersPageEmpty7}{\showpaste}
\tab{5}\spadcommand{map(factor,r)\free{r }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch8}
\begin{paste}{ugIntroNumbersPageFull8}{ugIntroNumbersPageEmpty8}
\pastebutton{ugIntroNumbersPageFull8}{\hidepaste}
\tab{5}\spadcommand{11@SingleInteger}
\indentrel{3}\begin{verbatim}
   (8)  11
                                    Type: SingleInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty8}
\begin{paste}{ugIntroNumbersPageEmpty8}{ugIntroNumbersPagePatch8}
\pastebutton{ugIntroNumbersPageEmpty8}{\showpaste}
\tab{5}\spadcommand{11@SingleInteger}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch9}
\begin{paste}{ugIntroNumbersPageFull9}{ugIntroNumbersPageEmpty9}
\pastebutton{ugIntroNumbersPageFull9}{\hidepaste}
\tab{5}\spadcommand{123.21@DoubleFloat}
\indentrel{3}\begin{verbatim}
   (9)  123.21000000000001
                                      Type: DoubleFloat
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty9}
\begin{paste}{ugIntroNumbersPageEmpty9}{ugIntroNumbersPagePatch9}
\pastebutton{ugIntroNumbersPageEmpty9}{\showpaste}
\tab{5}\spadcommand{123.21@DoubleFloat}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch10}
\begin{paste}{ugIntroNumbersPageFull10}{ugIntroNumbersPageEmpty10}
\pastebutton{ugIntroNumbersPageFull10}{\hidepaste}
\tab{5}\spadcommand{r :: Float\free{r }}
\indentrel{3}\begin{verbatim}
   (10)  22.1186507936 50793651
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty10}
\begin{paste}{ugIntroNumbersPageEmpty10}{ugIntroNumbersPagePatch10}
\pastebutton{ugIntroNumbersPageEmpty10}{\showpaste}
\tab{5}\spadcommand{r :: Float\free{r }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch11}
\begin{paste}{ugIntroNumbersPageFull11}{ugIntroNumbersPageEmpty11}
\pastebutton{ugIntroNumbersPageFull11}{\hidepaste}
\tab{5}\spadcommand{digits(22)\bound{fewerdigits }}
\indentrel{3}\begin{verbatim}
   (11)  20
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty11}
\begin{paste}{ugIntroNumbersPageEmpty11}{ugIntroNumbersPagePatch11}
\pastebutton{ugIntroNumbersPageEmpty11}{\showpaste}
\tab{5}\spadcommand{digits(22)\bound{fewerdigits }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch12}
\begin{paste}{ugIntroNumbersPageFull12}{ugIntroNumbersPageEmpty12}
\pastebutton{ugIntroNumbersPageFull12}{\hidepaste}
\tab{5}\spadcommand{exp(\%pi * sqrt 163.0)\free{fewerdigits }}
\indentrel{3}\begin{verbatim}
   (12)  26253741 2640768744.0
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty12}
\begin{paste}{ugIntroNumbersPageEmpty12}{ugIntroNumbersPagePatch12}
\pastebutton{ugIntroNumbersPageEmpty12}{\showpaste}
\tab{5}\spadcommand{exp(\%pi * sqrt 163.0)\free{fewerdigits }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch13}
\begin{paste}{ugIntroNumbersPageFull13}{ugIntroNumbersPageEmpty13}
\pastebutton{ugIntroNumbersPageFull13}{\hidepaste}
\tab{5}\spadcommand{digits(40); exp(\%pi * sqrt 163.0)\free{moredigits }}
\indentrel{3}\begin{verbatim}
   (13)  26253741 2640768743.9999999999 9925007259 76
                                            Type: Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty13}
\begin{paste}{ugIntroNumbersPageEmpty13}{ugIntroNumbersPagePatch13}
\pastebutton{ugIntroNumbersPageEmpty13}{\showpaste}
\tab{5}\spadcommand{digits(40); exp(\%pi * sqrt 163.0)\free{moredigits }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch14}
\begin{paste}{ugIntroNumbersPageFull14}{ugIntroNumbersPageEmpty14}
\pastebutton{ugIntroNumbersPageFull14}{\hidepaste}
\tab{5}\spadcommand{(2/3 + \%i)**3\bound{gaussint }}
\indentrel{3}\begin{verbatim}
           46   1
   (14)  - ÄÄ + Ä %i
           27   3
                         Type: Complex Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty14}
\begin{paste}{ugIntroNumbersPageEmpty14}{ugIntroNumbersPagePatch14}
\pastebutton{ugIntroNumbersPageEmpty14}{\showpaste}
\tab{5}\spadcommand{(2/3 + \%i)**3\bound{gaussint }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch15}
\begin{paste}{ugIntroNumbersPageFull15}{ugIntroNumbersPageEmpty15}
\pastebutton{ugIntroNumbersPageFull15}{\hidepaste}
\tab{5}\spadcommand{conjugate \%\free{gaussint }}
\indentrel{3}\begin{verbatim}
           46   1
   (15)  - ÄÄ - Ä %i
           27   3
                         Type: Complex Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty15}
\begin{paste}{ugIntroNumbersPageEmpty15}{ugIntroNumbersPagePatch15}
\pastebutton{ugIntroNumbersPageEmpty15}{\showpaste}
\tab{5}\spadcommand{conjugate \%\free{gaussint }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch16}
\begin{paste}{ugIntroNumbersPageFull16}{ugIntroNumbersPageEmpty16}
\pastebutton{ugIntroNumbersPageFull16}{\hidepaste}
\tab{5}\spadcommand{factor(89 - 23 * \%i)}
\indentrel{3}\begin{verbatim}
                           2         2
   (16)  - (1 + %i)(2 + %i) (3 + 2%i)
                         Type: Factored Complex Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty16}
\begin{paste}{ugIntroNumbersPageEmpty16}{ugIntroNumbersPagePatch16}
\pastebutton{ugIntroNumbersPageEmpty16}{\showpaste}
\tab{5}\spadcommand{factor(89 - 23 * \%i)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch17}
\begin{paste}{ugIntroNumbersPageFull17}{ugIntroNumbersPageEmpty17}
\pastebutton{ugIntroNumbersPageFull17}{\hidepaste}
\tab{5}\spadcommand{exp(\%pi/4.0 * \%i)}
\indentrel{3}\begin{verbatim}
   (17)
     0.7071067811 8654752440 0844362104 8490392849
   + 
     0.7071067811 8654752440 0844362104 8490392848 %i
                                    Type: Complex Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty17}
\begin{paste}{ugIntroNumbersPageEmpty17}{ugIntroNumbersPagePatch17}
\pastebutton{ugIntroNumbersPageEmpty17}{\showpaste}
\tab{5}\spadcommand{exp(\%pi/4.0 * \%i)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch18}
\begin{paste}{ugIntroNumbersPageFull18}{ugIntroNumbersPageEmpty18}
\pastebutton{ugIntroNumbersPageFull18}{\hidepaste}
\tab{5}\spadcommand{decimal(1/352)}
\indentrel{3}\begin{verbatim}
                __
   (18)  0.0028409
                                 Type: DecimalExpansion
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty18}
\begin{paste}{ugIntroNumbersPageEmpty18}{ugIntroNumbersPagePatch18}
\pastebutton{ugIntroNumbersPageEmpty18}{\showpaste}
\tab{5}\spadcommand{decimal(1/352)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch19}
\begin{paste}{ugIntroNumbersPageFull19}{ugIntroNumbersPageEmpty19}
\pastebutton{ugIntroNumbersPageFull19}{\hidepaste}
\tab{5}\spadcommand{continuedFraction(6543/210)}
\indentrel{3}\begin{verbatim}
                1 ³     1 ³     1 ³     1 ³
   (19)  31 + ÚÄÄÄÙ + ÚÄÄÄÙ + ÚÄÄÄÙ + ÚÄÄÄÙ
              ³ 6     ³ 2     ³ 1     ³ 3
                        Type: ContinuedFraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty19}
\begin{paste}{ugIntroNumbersPageEmpty19}{ugIntroNumbersPagePatch19}
\pastebutton{ugIntroNumbersPageEmpty19}{\showpaste}
\tab{5}\spadcommand{continuedFraction(6543/210)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch20}
\begin{paste}{ugIntroNumbersPageFull20}{ugIntroNumbersPageEmpty20}
\pastebutton{ugIntroNumbersPageFull20}{\hidepaste}
\tab{5}\spadcommand{partialFraction(1,factorial(10))\bound{partfrac }}
\indentrel{3}\begin{verbatim}
         159   23   12   1
   (20)  ÄÄÄ - ÄÄ - ÄÄ + Ä
           8    4    2   7
          2    3    5
                          Type: PartialFraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty20}
\begin{paste}{ugIntroNumbersPageEmpty20}{ugIntroNumbersPagePatch20}
\pastebutton{ugIntroNumbersPageEmpty20}{\showpaste}
\tab{5}\spadcommand{partialFraction(1,factorial(10))\bound{partfrac }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch21}
\begin{paste}{ugIntroNumbersPageFull21}{ugIntroNumbersPageEmpty21}
\pastebutton{ugIntroNumbersPageFull21}{\hidepaste}
\tab{5}\spadcommand{padicFraction(\%)\free{partfrac }}
\indentrel{3}\begin{verbatim}
   (21)
   1    1    1    1    1    1    2    1    2   2    2   1
   Ä + ÄÄ + ÄÄ + ÄÄ + ÄÄ + ÄÄ - ÄÄ - ÄÄ - ÄÄ - Ä - ÄÄ + Ä
   2    4    5    6    7    8    2    3    4   5    2   7
       2    2    2    2    2    3    3    3        5
                          Type: PartialFraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty21}
\begin{paste}{ugIntroNumbersPageEmpty21}{ugIntroNumbersPagePatch21}
\pastebutton{ugIntroNumbersPageEmpty21}{\showpaste}
\tab{5}\spadcommand{padicFraction(\%)\free{partfrac }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch22}
\begin{paste}{ugIntroNumbersPageFull22}{ugIntroNumbersPageEmpty22}
\pastebutton{ugIntroNumbersPageFull22}{\hidepaste}
\tab{5}\spadcommand{radix(4/7, 8)\bound{rad }}
\indentrel{3}\begin{verbatim}
           _
   (22)  0.4
                                 Type: RadixExpansion 8
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty22}
\begin{paste}{ugIntroNumbersPageEmpty22}{ugIntroNumbersPagePatch22}
\pastebutton{ugIntroNumbersPageEmpty22}{\showpaste}
\tab{5}\spadcommand{radix(4/7, 8)\bound{rad }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch23}
\begin{paste}{ugIntroNumbersPageFull23}{ugIntroNumbersPageEmpty23}
\pastebutton{ugIntroNumbersPageFull23}{\hidepaste}
\tab{5}\spadcommand{\% + 2/3*\%i\free{rad }}
\indentrel{3}\begin{verbatim}
         4   2
   (23)  Ä + Ä %i
         7   3
                         Type: Complex Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty23}
\begin{paste}{ugIntroNumbersPageEmpty23}{ugIntroNumbersPagePatch23}
\pastebutton{ugIntroNumbersPageEmpty23}{\showpaste}
\tab{5}\spadcommand{\% + 2/3*\%i\free{rad }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch24}
\begin{paste}{ugIntroNumbersPageFull24}{ugIntroNumbersPageEmpty24}
\pastebutton{ugIntroNumbersPageFull24}{\hidepaste}
\tab{5}\spadcommand{(5 + sqrt 63 + sqrt 847)**(1/3)}
\indentrel{3}\begin{verbatim}
          ÚÄÄÄÄÄÄÄÄÄÄ¿
         3³   ÚÄ¿
   (24)  \³14\³7  + 5
                                  Type: AlgebraicNumber
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty24}
\begin{paste}{ugIntroNumbersPageEmpty24}{ugIntroNumbersPagePatch24}
\pastebutton{ugIntroNumbersPageEmpty24}{\showpaste}
\tab{5}\spadcommand{(5 + sqrt 63 + sqrt 847)**(1/3)}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch25}
\begin{paste}{ugIntroNumbersPageFull25}{ugIntroNumbersPageEmpty25}
\pastebutton{ugIntroNumbersPageFull25}{\hidepaste}
\tab{5}\spadcommand{x : PrimeField 7 := 5\bound{x }}
\indentrel{3}\begin{verbatim}
   (25)  5
                                     Type: PrimeField 7
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty25}
\begin{paste}{ugIntroNumbersPageEmpty25}{ugIntroNumbersPagePatch25}
\pastebutton{ugIntroNumbersPageEmpty25}{\showpaste}
\tab{5}\spadcommand{x : PrimeField 7 := 5\bound{x }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch26}
\begin{paste}{ugIntroNumbersPageFull26}{ugIntroNumbersPageEmpty26}
\pastebutton{ugIntroNumbersPageFull26}{\hidepaste}
\tab{5}\spadcommand{x**3\free{x }}
\indentrel{3}\begin{verbatim}
   (26)  6
                                     Type: PrimeField 7
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty26}
\begin{paste}{ugIntroNumbersPageEmpty26}{ugIntroNumbersPagePatch26}
\pastebutton{ugIntroNumbersPageEmpty26}{\showpaste}
\tab{5}\spadcommand{x**3\free{x }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch27}
\begin{paste}{ugIntroNumbersPageFull27}{ugIntroNumbersPageEmpty27}
\pastebutton{ugIntroNumbersPageFull27}{\hidepaste}
\tab{5}\spadcommand{1/x\free{x }}
\indentrel{3}\begin{verbatim}
   (27)  3
                                     Type: PrimeField 7
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty27}
\begin{paste}{ugIntroNumbersPageEmpty27}{ugIntroNumbersPagePatch27}
\pastebutton{ugIntroNumbersPageEmpty27}{\showpaste}
\tab{5}\spadcommand{1/x\free{x }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch28}
\begin{paste}{ugIntroNumbersPageFull28}{ugIntroNumbersPageEmpty28}
\pastebutton{ugIntroNumbersPageFull28}{\hidepaste}
\tab{5}\spadcommand{y : IntegerMod 6 := 5\bound{y }}
\indentrel{3}\begin{verbatim}
   (28)  5
                                     Type: IntegerMod 6
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty28}
\begin{paste}{ugIntroNumbersPageEmpty28}{ugIntroNumbersPagePatch28}
\pastebutton{ugIntroNumbersPageEmpty28}{\showpaste}
\tab{5}\spadcommand{y : IntegerMod 6 := 5\bound{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch29}
\begin{paste}{ugIntroNumbersPageFull29}{ugIntroNumbersPageEmpty29}
\pastebutton{ugIntroNumbersPageFull29}{\hidepaste}
\tab{5}\spadcommand{y**3\free{y }}
\indentrel{3}\begin{verbatim}
   (29)  5
                                     Type: IntegerMod 6
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty29}
\begin{paste}{ugIntroNumbersPageEmpty29}{ugIntroNumbersPagePatch29}
\pastebutton{ugIntroNumbersPageEmpty29}{\showpaste}
\tab{5}\spadcommand{y**3\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch30}
\begin{paste}{ugIntroNumbersPageFull30}{ugIntroNumbersPageEmpty30}
\pastebutton{ugIntroNumbersPageFull30}{\hidepaste}
\tab{5}\spadcommand{1/y\free{y }}
\indentrel{3}\begin{verbatim}
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty30}
\begin{paste}{ugIntroNumbersPageEmpty30}{ugIntroNumbersPagePatch30}
\pastebutton{ugIntroNumbersPageEmpty30}{\showpaste}
\tab{5}\spadcommand{1/y\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch31}
\begin{paste}{ugIntroNumbersPageFull31}{ugIntroNumbersPageEmpty31}
\pastebutton{ugIntroNumbersPageFull31}{\hidepaste}
\tab{5}\spadcommand{a := rootOf(a**5 + a**3 + a**2 + 3,a)\bound{a }}
\indentrel{3}\begin{verbatim}
   (30)  a
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty31}
\begin{paste}{ugIntroNumbersPageEmpty31}{ugIntroNumbersPagePatch31}
\pastebutton{ugIntroNumbersPageEmpty31}{\showpaste}
\tab{5}\spadcommand{a := rootOf(a**5 + a**3 + a**2 + 3,a)\bound{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch32}
\begin{paste}{ugIntroNumbersPageFull32}{ugIntroNumbersPageEmpty32}
\pastebutton{ugIntroNumbersPageFull32}{\hidepaste}
\tab{5}\spadcommand{(a + 1)**10\free{a }}
\indentrel{3}\begin{verbatim}
              4       3       2
   (31)  - 85a  - 264a  - 378a  - 458a - 287
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty32}
\begin{paste}{ugIntroNumbersPageEmpty32}{ugIntroNumbersPagePatch32}
\pastebutton{ugIntroNumbersPageEmpty32}{\showpaste}
\tab{5}\spadcommand{(a + 1)**10\free{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch33}
\begin{paste}{ugIntroNumbersPageFull33}{ugIntroNumbersPageEmpty33}
\pastebutton{ugIntroNumbersPageFull33}{\hidepaste}
\tab{5}\spadcommand{b := rootOf(b**4 + a,b)\bound{b }\free{a }}
\indentrel{3}\begin{verbatim}
   (32)  b
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty33}
\begin{paste}{ugIntroNumbersPageEmpty33}{ugIntroNumbersPagePatch33}
\pastebutton{ugIntroNumbersPageEmpty33}{\showpaste}
\tab{5}\spadcommand{b := rootOf(b**4 + a,b)\bound{b }\free{a }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch34}
\begin{paste}{ugIntroNumbersPageFull34}{ugIntroNumbersPageEmpty34}
\pastebutton{ugIntroNumbersPageFull34}{\hidepaste}
\tab{5}\spadcommand{2/(b - 1)\free{b }\bound{check }}
\indentrel{3}\begin{verbatim}
           2
   (33)  ÄÄÄÄÄ
         b - 1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty34}
\begin{paste}{ugIntroNumbersPageEmpty34}{ugIntroNumbersPagePatch34}
\pastebutton{ugIntroNumbersPageEmpty34}{\showpaste}
\tab{5}\spadcommand{2/(b - 1)\free{b }\bound{check }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch35}
\begin{paste}{ugIntroNumbersPageFull35}{ugIntroNumbersPageEmpty35}
\pastebutton{ugIntroNumbersPageFull35}{\hidepaste}
\tab{5}\spadcommand{ratDenom(\%)\free{check }\bound{check1 }}
\indentrel{3}\begin{verbatim}
   (34)
       4    3     2          3     4    3     2          2
     (a  - a  + 2a  - a + 1)b  + (a  - a  + 2a  - a + 1)b
   + 
       4    3     2              4    3     2
     (a  - a  + 2a  - a + 1)b + a  - a  + 2a  - a + 1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty35}
\begin{paste}{ugIntroNumbersPageEmpty35}{ugIntroNumbersPagePatch35}
\pastebutton{ugIntroNumbersPageEmpty35}{\showpaste}
\tab{5}\spadcommand{ratDenom(\%)\free{check }\bound{check1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch36}
\begin{paste}{ugIntroNumbersPageFull36}{ugIntroNumbersPageEmpty36}
\pastebutton{ugIntroNumbersPageFull36}{\hidepaste}
\tab{5}\spadcommand{2/\%+1\free{check1 }\bound{check2 }}
\indentrel{3}\begin{verbatim}
   (35)
         4    3     2          3
       (a  - a  + 2a  - a + 1)b
     + 
         4    3     2          2
       (a  - a  + 2a  - a + 1)b
     + 
         4    3     2              4    3     2
       (a  - a  + 2a  - a + 1)b + a  - a  + 2a  - a + 3
  /
         4    3     2          3
       (a  - a  + 2a  - a + 1)b
     + 
         4    3     2          2
       (a  - a  + 2a  - a + 1)b
     + 
         4    3     2              4    3     2
       (a  - a  + 2a  - a + 1)b + a  - a  + 2a  - a + 1
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty36}
\begin{paste}{ugIntroNumbersPageEmpty36}{ugIntroNumbersPagePatch36}
\pastebutton{ugIntroNumbersPageEmpty36}{\showpaste}
\tab{5}\spadcommand{2/\%+1\free{check1 }\bound{check2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch37}
\begin{paste}{ugIntroNumbersPageFull37}{ugIntroNumbersPageEmpty37}
\pastebutton{ugIntroNumbersPageFull37}{\hidepaste}
\tab{5}\spadcommand{ratDenom(\%)\free{check2 }}
\indentrel{3}\begin{verbatim}
   (36)  b
                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty37}
\begin{paste}{ugIntroNumbersPageEmpty37}{ugIntroNumbersPagePatch37}
\pastebutton{ugIntroNumbersPageEmpty37}{\showpaste}
\tab{5}\spadcommand{ratDenom(\%)\free{check2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPagePatch38}
\begin{paste}{ugIntroNumbersPageFull38}{ugIntroNumbersPageEmpty38}
\pastebutton{ugIntroNumbersPageFull38}{\hidepaste}
\tab{5}\spadcommand{q:=quatern(1,2,3,4)*quatern(5,6,7,8) - quatern(5,6,7,8)*quatern(1,2,3,4)}
\indentrel{3}\begin{verbatim}
   (37)  - 8i + 16j - 8k
                               Type: Quaternion Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroNumbersPageEmpty38}
\begin{paste}{ugIntroNumbersPageEmpty38}{ugIntroNumbersPagePatch38}
\pastebutton{ugIntroNumbersPageEmpty38}{\showpaste}
\tab{5}\spadcommand{q:=quatern(1,2,3,4)*quatern(5,6,7,8) - quatern(5,6,7,8)*quatern(1,2,3,4)}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch1}
\begin{paste}{ugIntroDiffEqnsPageFull1}{ugIntroDiffEqnsPageEmpty1}
\pastebutton{ugIntroDiffEqnsPageFull1}{\hidepaste}
\tab{5}\spadcommand{y := operator 'y\bound{y }}
\indentrel{3}\begin{verbatim}
   (1)  y
                                    Type: BasicOperator
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty1}
\begin{paste}{ugIntroDiffEqnsPageEmpty1}{ugIntroDiffEqnsPagePatch1}
\pastebutton{ugIntroDiffEqnsPageEmpty1}{\showpaste}
\tab{5}\spadcommand{y := operator 'y\bound{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch2}
\begin{paste}{ugIntroDiffEqnsPageFull2}{ugIntroDiffEqnsPageEmpty2}
\pastebutton{ugIntroDiffEqnsPageFull2}{\hidepaste}
\tab{5}\spadcommand{deq := x**3 * D(y x, x, 3) + x**2 * D(y x, x, 2) - 2 * x * D(y x, x) + 2 * y x = 2 * x**4\bound{e3 }\free{y }}
\indentrel{3}\begin{verbatim}
         3 ,,,       2 ,,         ,               4
   (2)  x y   (x) + x y  (x) - 2xy (x) + 2y(x)= 2x

                      Type: Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty2}
\begin{paste}{ugIntroDiffEqnsPageEmpty2}{ugIntroDiffEqnsPagePatch2}
\pastebutton{ugIntroDiffEqnsPageEmpty2}{\showpaste}
\tab{5}\spadcommand{deq := x**3 * D(y x, x, 3) + x**2 * D(y x, x, 2) - 2 * x * D(y x, x) + 2 * y x = 2 * x**4\bound{e3 }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch3}
\begin{paste}{ugIntroDiffEqnsPageFull3}{ugIntroDiffEqnsPageEmpty3}
\pastebutton{ugIntroDiffEqnsPageFull3}{\hidepaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{e3 }\free{y }}
\indentrel{3}\begin{verbatim}
   (3)
                 5      3      2
                x  - 10x  + 20x  + 4
   [particular= ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ,
                         15x
              3     2      3      3     2
            2x  - 3x  + 1 x  - 1 x  - 3x  - 1
    basis= [ÄÄÄÄÄÄÄÄÄÄÄÄÄ,ÄÄÄÄÄÄ,ÄÄÄÄÄÄÄÄÄÄÄÄ]]
                  x          x         x
Type: Union(Record(particular: Expression Integer,basis: List Expression Integer),...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty3}
\begin{paste}{ugIntroDiffEqnsPageEmpty3}{ugIntroDiffEqnsPagePatch3}
\pastebutton{ugIntroDiffEqnsPageEmpty3}{\showpaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{e3 }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch4}
\begin{paste}{ugIntroDiffEqnsPageFull4}{ugIntroDiffEqnsPageEmpty4}
\pastebutton{ugIntroDiffEqnsPageFull4}{\hidepaste}
\tab{5}\spadcommand{deq := (x**2 + 1) * D(y x, x, 2) + 3 * x * D(y x, x) + y x = 0\bound{e5 }\free{y }}
\indentrel{3}\begin{verbatim}
          2      ,,         ,
   (4)  (x  + 1)y  (x) + 3xy (x) + y(x)= 0

                      Type: Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty4}
\begin{paste}{ugIntroDiffEqnsPageEmpty4}{ugIntroDiffEqnsPagePatch4}
\pastebutton{ugIntroDiffEqnsPageEmpty4}{\showpaste}
\tab{5}\spadcommand{deq := (x**2 + 1) * D(y x, x, 2) + 3 * x * D(y x, x) + y x = 0\bound{e5 }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch5}
\begin{paste}{ugIntroDiffEqnsPageFull5}{ugIntroDiffEqnsPageEmpty5}
\pastebutton{ugIntroDiffEqnsPageFull5}{\hidepaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{e5 }\free{y }}
\indentrel{3}\begin{verbatim}
   (5)
                                         ÚÄÄÄÄÄÄ¿
                                         ³ 2
                              1     log(\³x  + 1  - x)
   [particular= 0,basis= [ÄÄÄÄÄÄÄÄÄ,ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ]]
                           ÚÄÄÄÄÄÄ¿       ÚÄÄÄÄÄÄ¿
                           ³ 2            ³ 2
                          \³x  + 1       \³x  + 1
Type: Union(Record(particular: Expression Integer,basis: List Expression Integer),...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty5}
\begin{paste}{ugIntroDiffEqnsPageEmpty5}{ugIntroDiffEqnsPagePatch5}
\pastebutton{ugIntroDiffEqnsPageEmpty5}{\showpaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{e5 }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch6}
\begin{paste}{ugIntroDiffEqnsPageFull6}{ugIntroDiffEqnsPageEmpty6}
\pastebutton{ugIntroDiffEqnsPageFull6}{\hidepaste}
\tab{5}\spadcommand{eq := 2*x**3 * D(y x,x,2) + 3*x**2 * D(y x,x) - 2 * y x\bound{eq }\free{y }}
\indentrel{3}\begin{verbatim}
          3 ,,        2 ,
   (6)  2x y  (x) + 3x y (x) - 2y(x)

                               Type: Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty6}
\begin{paste}{ugIntroDiffEqnsPageEmpty6}{ugIntroDiffEqnsPagePatch6}
\pastebutton{ugIntroDiffEqnsPageEmpty6}{\showpaste}
\tab{5}\spadcommand{eq := 2*x**3 * D(y x,x,2) + 3*x**2 * D(y x,x) - 2 * y x\bound{eq }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch7}
\begin{paste}{ugIntroDiffEqnsPageFull7}{ugIntroDiffEqnsPageEmpty7}
\pastebutton{ugIntroDiffEqnsPageFull7}{\hidepaste}
\tab{5}\spadcommand{solve(eq,y,x).basis\free{eq }}
\indentrel{3}\begin{verbatim}
               2      2
           - ÄÄÄÄ   ÄÄÄÄ
              ÚÄ¿    ÚÄ¿
             \³x    \³x
   (7)  [%e      ,%e    ]
                          Type: List Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty7}
\begin{paste}{ugIntroDiffEqnsPageEmpty7}{ugIntroDiffEqnsPagePatch7}
\pastebutton{ugIntroDiffEqnsPageEmpty7}{\showpaste}
\tab{5}\spadcommand{solve(eq,y,x).basis\free{eq }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch8}
\begin{paste}{ugIntroDiffEqnsPageFull8}{ugIntroDiffEqnsPageEmpty8}
\pastebutton{ugIntroDiffEqnsPageFull8}{\hidepaste}
\tab{5}\spadcommand{deq := D(y x, x) = y(x) / (x + y(x) * log y x)\bound{deqi }\free{y }}
\indentrel{3}\begin{verbatim}
         ,            y(x)
   (8)  y (x)= ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
               y(x)log(y(x)) + x
                      Type: Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty8}
\begin{paste}{ugIntroDiffEqnsPageEmpty8}{ugIntroDiffEqnsPagePatch8}
\pastebutton{ugIntroDiffEqnsPageEmpty8}{\showpaste}
\tab{5}\spadcommand{deq := D(y x, x) = y(x) / (x + y(x) * log y x)\bound{deqi }\free{y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch9}
\begin{paste}{ugIntroDiffEqnsPageFull9}{ugIntroDiffEqnsPageEmpty9}
\pastebutton{ugIntroDiffEqnsPageFull9}{\hidepaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{deqi y }}
\indentrel{3}\begin{verbatim}
                     2
        y(x)log(y(x))  - 2x
   (9)  ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
               2y(x)
                    Type: Union(Expression Integer,...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty9}
\begin{paste}{ugIntroDiffEqnsPageEmpty9}{ugIntroDiffEqnsPagePatch9}
\pastebutton{ugIntroDiffEqnsPageEmpty9}{\showpaste}
\tab{5}\spadcommand{solve(deq, y, x)\free{deqi y }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch10}
\begin{paste}{ugIntroDiffEqnsPageFull10}{ugIntroDiffEqnsPageEmpty10}
\pastebutton{ugIntroDiffEqnsPageFull10}{\hidepaste}
\tab{5}\spadcommand{x := operator 'x\bound{x }}
\indentrel{3}\begin{verbatim}
   (10)  x
                                    Type: BasicOperator
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty10}
\begin{paste}{ugIntroDiffEqnsPageEmpty10}{ugIntroDiffEqnsPagePatch10}
\pastebutton{ugIntroDiffEqnsPageEmpty10}{\showpaste}
\tab{5}\spadcommand{x := operator 'x\bound{x }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch11}
\begin{paste}{ugIntroDiffEqnsPageFull11}{ugIntroDiffEqnsPageEmpty11}
\pastebutton{ugIntroDiffEqnsPageFull11}{\hidepaste}
\tab{5}\spadcommand{eq1 := D(x(t), t) = 1 + x(t)**2\free{x }\free{y }\bound{eq1 }}
\indentrel{3}\begin{verbatim}
          ,         2
   (11)  x (t)= x(t)  + 1

                      Type: Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty11}
\begin{paste}{ugIntroDiffEqnsPageEmpty11}{ugIntroDiffEqnsPagePatch11}
\pastebutton{ugIntroDiffEqnsPageEmpty11}{\showpaste}
\tab{5}\spadcommand{eq1 := D(x(t), t) = 1 + x(t)**2\free{x }\free{y }\bound{eq1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch12}
\begin{paste}{ugIntroDiffEqnsPageFull12}{ugIntroDiffEqnsPageEmpty12}
\pastebutton{ugIntroDiffEqnsPageFull12}{\hidepaste}
\tab{5}\spadcommand{eq2 := D(y(t), t) = x(t) * y(t)\free{x }\free{y }\bound{eq2 }}
\indentrel{3}\begin{verbatim}
          ,
   (12)  y (t)= x(t)y(t)

                      Type: Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty12}
\begin{paste}{ugIntroDiffEqnsPageEmpty12}{ugIntroDiffEqnsPagePatch12}
\pastebutton{ugIntroDiffEqnsPageEmpty12}{\showpaste}
\tab{5}\spadcommand{eq2 := D(y(t), t) = x(t) * y(t)\free{x }\free{y }\bound{eq2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPagePatch13}
\begin{paste}{ugIntroDiffEqnsPageFull13}{ugIntroDiffEqnsPageEmpty13}
\pastebutton{ugIntroDiffEqnsPageFull13}{\hidepaste}
\tab{5}\spadcommand{seriesSolve([eq2, eq1], [x, y], t = 0, [y(0) = 1, x(0) = 0])\free{x }\free{y }\free{eq1 }\free{eq2 }}
\indentrel{3}\begin{verbatim}
   (13)
        1  3    2  5    17  7    62   9      11
   [t + Ä t  + ÄÄ t  + ÄÄÄ t  + ÄÄÄÄ t  + O(t  ),
        3      15      315      2835

           1  2    5  4    61  6    277  8    50521   10
       1 + Ä t  + ÄÄ t  + ÄÄÄ t  + ÄÄÄÄ t  + ÄÄÄÄÄÄÄ t
           2      24      720      8064      3628800
     + 
          11
       O(t  )
     ]
Type: List UnivariateTaylorSeries(Expression Integer,t,0)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroDiffEqnsPageEmpty13}
\begin{paste}{ugIntroDiffEqnsPageEmpty13}{ugIntroDiffEqnsPagePatch13}
\pastebutton{ugIntroDiffEqnsPageEmpty13}{\showpaste}
\tab{5}\spadcommand{seriesSolve([eq2, eq1], [x, y], t = 0, [y(0) = 1, x(0) = 0])\free{x }\free{y }\free{eq1 }\free{eq2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroGraphicsPagePatch1}
\begin{paste}{ugIntroGraphicsPageFull1}{ugIntroGraphicsPageEmpty1}
\pastebutton{ugIntroGraphicsPageFull1}{\hidepaste}
\tab{5}\spadgraph{draw(cos(5*t/8), t=0..16*\%pi, coordinates==polar)}
\center{\unixcommand{\inputimage{\env{AXIOM}/doc/viewports/ugIntroGraphicsPage1.VIEW/image}}{viewAlone\space{1} \env{AXIOM}/doc/viewports/ugIntroGraphicsPage1}}
\end{paste}\end{patch}

\begin{patch}{ugIntroGraphicsPageEmpty1}
\begin{paste}{ugIntroGraphicsPageEmpty1}{ugIntroGraphicsPagePatch1}
\pastebutton{ugIntroGraphicsPageEmpty1}{\showpaste}
\tab{5}\spadgraph{draw(cos(5*t/8), t=0..16*\%pi, coordinates==polar)}
\end{paste}\end{patch}

\begin{patch}{ugIntroGraphicsPagePatch2}
\begin{paste}{ugIntroGraphicsPageFull2}{ugIntroGraphicsPageEmpty2}
\pastebutton{ugIntroGraphicsPageFull2}{\hidepaste}
\tab{5}\spadgraph{draw((x,y) +-> real atan complex(x,y), -\%pi..\%pi, -\%pi..\%pi, colorFunction == (x,y) +-> argument atan complex(x,y))}
\center{\unixcommand{\inputimage{\env{AXIOM}/doc/viewports/ugIntroGraphicsPage2.VIEW/image}}{viewAlone\space{1} \env{AXIOM}/doc/viewports/ugIntroGraphicsPage2}}
\end{paste}\end{patch}

\begin{patch}{ugIntroGraphicsPageEmpty2}
\begin{paste}{ugIntroGraphicsPageEmpty2}{ugIntroGraphicsPagePatch2}
\pastebutton{ugIntroGraphicsPageEmpty2}{\showpaste}
\tab{5}\spadgraph{draw((x,y) +-> real atan complex(x,y), -\%pi..\%pi, -\%pi..\%pi, colorFunction == (x,y) +-> argument atan complex(x,y))}
\end{paste}\end{patch}

\begin{patch}{ugIntroCommentsPagePatch1}
\begin{paste}{ugIntroCommentsPageFull1}{ugIntroCommentsPageEmpty1}
\pastebutton{ugIntroCommentsPageFull1}{\hidepaste}
\tab{5}\spadcommand{2 + 3 -- this is rather simple, no?}
\indentrel{3}\begin{verbatim}
   (1)  5
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroCommentsPageEmpty1}
\begin{paste}{ugIntroCommentsPageEmpty1}{ugIntroCommentsPagePatch1}
\pastebutton{ugIntroCommentsPageEmpty1}{\showpaste}
\tab{5}\spadcommand{2 + 3 -- this is rather simple, no?}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch1}
\begin{paste}{ugIntroSolutionPageFull1}{ugIntroSolutionPageEmpty1}
\pastebutton{ugIntroSolutionPageFull1}{\hidepaste}
\tab{5}\spadcommand{S(t) == [x**2-2*y**2 - t,x*y-y-5*x + 5]\bound{S1 }}
\indentrel{3}\begin{verbatim}
                                             Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty1}
\begin{paste}{ugIntroSolutionPageEmpty1}{ugIntroSolutionPagePatch1}
\pastebutton{ugIntroSolutionPageEmpty1}{\showpaste}
\tab{5}\spadcommand{S(t) == [x**2-2*y**2 - t,x*y-y-5*x + 5]\bound{S1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch2}
\begin{paste}{ugIntroSolutionPageFull2}{ugIntroSolutionPageEmpty2}
\pastebutton{ugIntroSolutionPageFull2}{\hidepaste}
\tab{5}\spadcommand{solve(S(19),1/10**20)\free{S1 }}
\indentrel{3}\begin{verbatim}
   (2)
               2451682632253093442511
   [[y= 5,x= - ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ],
                295147905179352825856
             2451682632253093442511
    [y= 5,x= ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ]]
              295147905179352825856
   Type: List List Equation Polynomial Fraction Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty2}
\begin{paste}{ugIntroSolutionPageEmpty2}{ugIntroSolutionPagePatch2}
\pastebutton{ugIntroSolutionPageEmpty2}{\showpaste}
\tab{5}\spadcommand{solve(S(19),1/10**20)\free{S1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch3}
\begin{paste}{ugIntroSolutionPageFull3}{ugIntroSolutionPageEmpty3}
\pastebutton{ugIntroSolutionPageFull3}{\hidepaste}
\tab{5}\spadcommand{complexSolve(S(19),10.e-20)\free{S1 }}
\indentrel{3}\begin{verbatim}
   (3)
   [
     [y= 5.0,
      x= 8.3066238629 1807485256 1669055295 290320373]
     ,

     [y= 5.0,
      x= - 8.3066238629 1807485256 1669055295 290320373]
     ,
    [y= - 3.0 %i,x= 1.0], [y= 3.0 %i,x= 1.0]]
      Type: List List Equation Polynomial Complex Float
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty3}
\begin{paste}{ugIntroSolutionPageEmpty3}{ugIntroSolutionPagePatch3}
\pastebutton{ugIntroSolutionPageEmpty3}{\showpaste}
\tab{5}\spadcommand{complexSolve(S(19),10.e-20)\free{S1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch4}
\begin{paste}{ugIntroSolutionPageFull4}{ugIntroSolutionPageEmpty4}
\pastebutton{ugIntroSolutionPageFull4}{\hidepaste}
\tab{5}\spadcommand{radicalSolve(S(a),[x,y])\free{S1 }}
\indentrel{3}\begin{verbatim}
   (4)
           ÚÄÄÄÄÄÄ¿             ÚÄÄÄÄÄÄ¿
   [[x= - \³a + 50 ,y= 5], [x= \³a + 50 ,y= 5],
              ÚÄÄÄÄÄÄÄ¿               ÚÄÄÄÄÄÄÄ¿
              ³- a + 1                ³- a + 1
    [x= 1,y=  ³ÄÄÄÄÄÄÄ ], [x= 1,y= -  ³ÄÄÄÄÄÄÄ ]]
             \³   2                  \³   2
            Type: List List Equation Expression Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty4}
\begin{paste}{ugIntroSolutionPageEmpty4}{ugIntroSolutionPagePatch4}
\pastebutton{ugIntroSolutionPageEmpty4}{\showpaste}
\tab{5}\spadcommand{radicalSolve(S(a),[x,y])\free{S1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch5}
\begin{paste}{ugIntroSolutionPageFull5}{ugIntroSolutionPageEmpty5}
\pastebutton{ugIntroSolutionPageFull5}{\hidepaste}
\tab{5}\spadcommand{eqns := [x**2 - y + z,x**2*z + x**4 - b*y, y**2 *z - a - b*x]\bound{e }}
\indentrel{3}\begin{verbatim}
                  2  2           4  2
   (5)  [z - y + x ,x z - b y + x ,y z - b x - a]
                          Type: List Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty5}
\begin{paste}{ugIntroSolutionPageEmpty5}{ugIntroSolutionPagePatch5}
\pastebutton{ugIntroSolutionPageEmpty5}{\showpaste}
\tab{5}\spadcommand{eqns := [x**2 - y + z,x**2*z + x**4 - b*y, y**2 *z - a - b*x]\bound{e }}
\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPagePatch6}
\begin{paste}{ugIntroSolutionPageFull6}{ugIntroSolutionPageEmpty6}
\pastebutton{ugIntroSolutionPageFull6}{\hidepaste}
\tab{5}\spadcommand{solve(eqns,[x,y,z])\free{e }}
\indentrel{3}\begin{verbatim}
   (6)
                       2
          a           a
   [[x= - Ä,y= 0,z= - ÄÄ],
          b            2
                      b

          3       2    2
         z  + 2b z  + b z - a
     [x= ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ, y= z + b,
                   b

          6       5     2 4      3       3     4         2
         z  + 4b z  + 6b z  + (4b  - 2a)z  + (b  - 4a b)z
       + 
               2     3    2
         - 2a b z - b  + a
         =
         0
       ]
     ]
   Type: List List Equation Fraction Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroSolutionPageEmpty6}
\begin{paste}{ugIntroSolutionPageEmpty6}{ugIntroSolutionPagePatch6}
\pastebutton{ugIntroSolutionPageEmpty6}{\showpaste}
\tab{5}\spadcommand{solve(eqns,[x,y,z])\free{e }}
\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPagePatch1}
\begin{paste}{ugIntroPreviousPageFull1}{ugIntroPreviousPageEmpty1}
\pastebutton{ugIntroPreviousPageFull1}{\hidepaste}
\tab{5}\spadcommand{10 ** 10\bound{prev }}
\indentrel{3}\begin{verbatim}
   (1)  10000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPageEmpty1}
\begin{paste}{ugIntroPreviousPageEmpty1}{ugIntroPreviousPagePatch1}
\pastebutton{ugIntroPreviousPageEmpty1}{\showpaste}
\tab{5}\spadcommand{10 ** 10\bound{prev }}
\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPagePatch2}
\begin{paste}{ugIntroPreviousPageFull2}{ugIntroPreviousPageEmpty2}
\pastebutton{ugIntroPreviousPageFull2}{\hidepaste}
\tab{5}\spadcommand{\% - 1\free{prev }\bound{prev1 }}
\indentrel{3}\begin{verbatim}
   (2)  9999999999
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPageEmpty2}
\begin{paste}{ugIntroPreviousPageEmpty2}{ugIntroPreviousPagePatch2}
\pastebutton{ugIntroPreviousPageEmpty2}{\showpaste}
\tab{5}\spadcommand{\% - 1\free{prev }\bound{prev1 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPagePatch3}
\begin{paste}{ugIntroPreviousPageFull3}{ugIntroPreviousPageEmpty3}
\pastebutton{ugIntroPreviousPageFull3}{\hidepaste}
\tab{5}\spadcommand{\%\%(-1)\free{prev1 }\bound{prev2 }}
\indentrel{3}\begin{verbatim}
   (3)  9999999999
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPageEmpty3}
\begin{paste}{ugIntroPreviousPageEmpty3}{ugIntroPreviousPagePatch3}
\pastebutton{ugIntroPreviousPageEmpty3}{\showpaste}
\tab{5}\spadcommand{\%\%(-1)\free{prev1 }\bound{prev2 }}
\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPagePatch4}
\begin{paste}{ugIntroPreviousPageFull4}{ugIntroPreviousPageEmpty4}
\pastebutton{ugIntroPreviousPageFull4}{\hidepaste}
\tab{5}\spadcommand{\%\%(1)\free{prev2 }}
\indentrel{3}\begin{verbatim}
   (4)  10000000000
                                  Type: PositiveInteger
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}

\begin{patch}{ugIntroPreviousPageEmpty4}
\begin{paste}{ugIntroPreviousPageEmpty4}{ugIntroPreviousPagePatch4}
\pastebutton{ugIntroPreviousPageEmpty4}{\showpaste}
\tab{5}\spadcommand{\%\%(1)\free{prev2 }}
\end{paste}\end{patch}