> restart; x := 1; x; x := 1; x; y := 2; x; y; x-y; y-x; restart; x; y; x := 1; y := 2; x-y;
                                      1
                                      1
                                      1
                                      2
                                      1
                                      2
                                     -1
                                      1
                                      x
                                      y
                                     -1
> Pi; Pi; evalf(Pi); evalf(Pi); evalf(e); exp(1); evalf(exp(1));
                                     pi
                                     Pi
                                     pi
                                 3.141592654
                                      e
                                   exp(1)
                                 2.718281828
> f := proc (x) options operator, arrow; x+2 end proc; f; f(x); restart; f := proc (x) options operator, arrow; x+2 end proc; f(x); f(n); f(1); f(2); r := 2; f(r); g := proc (n) options operator, arrow; (1/2)*n^2+(1/2)*n end proc; g(n); simplify(g(n)); g := proc (n) options operator, arrow; sum(i, i = 0 .. n) end proc; g(n); simplify(g(n));
                                      f
                                    x + 2
                                    x + 2
                                    n + 2
                                      3
                                      4
                                      4
                                 1  2   1  
                                 - n  + - n
                                 2      2  
                                 1  2   1  
                                 - n  + - n
                                 2      2  
                            1        2   1     1
                            - (n + 1)  - - n - -
                            2            2     2
                                 1  2   1  
                                 - n  + - n
                                 2      2  
> restart; sum(i, i = 0 .. n); Sum(i, i = 0 .. n); simplify(sum(i, i = 0 .. n)); simplify(Sum(i, i = 0 .. n)); f := proc (i) options operator, arrow; Sum(i, i = 0 .. n) end proc; f(i); g := proc (x) options operator, arrow; x^2+x+3 end proc; g(x); Sum(g(i), i = 0 .. n); simplify(sum(g(i), i = 0 .. n));
                            1        2   1     1
                            - (n + 1)  - - n - -
                            2            2     2
                                     n    
                                   -----  
                                    \     
                                     )    
                                    /    i
                                   -----  
                                   i = 0  
                                 1  2   1  
                                 - n  + - n
                                 2      2  
                                     n    
                                   -----  
                                    \     
                                     )    
                                    /    i
                                   -----  
                                   i = 0  
                                     n    
                                   -----  
                                    \     
                                     )    
                                    /    i
                                   -----  
                                   i = 0  
                                  2        
                                 x  + x + 3
                               n               
                             -----             
                              \                
                               )   / 2        \
                              /    \i  + i + 3/
                             -----             
                             i = 0             
                            1  3    2   11      
                            - n  + n  + -- n + 3
                            3           3       
> 
#