next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
DiffAlg :: DiffAlgElement - DiffAlgElement

DiffAlgElement - DiffAlgElement -- subtraction

Synopsis

Description

i1 : w = newForm(2,1,2,"a")

         2               2                          2           2           
o1 = (a x  + a x x  + a x  + a x x  + a  x x  + a  x )dx  + (a x  + a x x  +
       0 0    3 0 1    9 1    6 0 2    12 1 2    15 2   0     1 0    4 0 1  
     ------------------------------------------------------------------------
         2                          2           2                2           
     a  x  + a x x  + a  x x  + a  x )dx  + (a x  + a x x  + a  x  + a x x  +
      10 1    7 0 2    13 1 2    16 2   1     2 0    5 0 1    11 1    8 0 2  
     ------------------------------------------------------------------------
                   2
     a  x x  + a  x )dx
      14 1 2    17 2   2

o1 : DiffAlgForm
i2 : h = newForm(3,2,2,"b")

         2                2                           2                      
o2 = (b x  + b x x  + b  x  + b  x x  + b  x x  + b  x  + b  x x  + b  x x  +
       0 0    6 0 1    24 1    12 0 2    30 1 2    42 2    18 0 3    36 1 3  
     ------------------------------------------------------------------------
                   2              2                2                      
     b  x x  + b  x )dx dx  + (b x  + b x x  + b  x  + b  x x  + b  x x  +
      48 2 3    54 3   0  1     1 0    7 0 1    25 1    13 0 2    31 1 2  
     ------------------------------------------------------------------------
         2                                     2              2           
     b  x  + b  x x  + b  x x  + b  x x  + b  x )dx dx  + (b x  + b x x  +
      43 2    19 0 3    37 1 3    49 2 3    55 3   0  2     3 0    9 0 1  
     ------------------------------------------------------------------------
         2                           2                                
     b  x  + b  x x  + b  x x  + b  x  + b  x x  + b  x x  + b  x x  +
      27 1    15 0 2    33 1 2    45 2    21 0 3    39 1 3    51 2 3  
     ------------------------------------------------------------------------
         2              2                2                           2  
     b  x )dx dx  + (b x  + b x x  + b  x  + b  x x  + b  x x  + b  x  +
      57 3   1  2     2 0    8 0 1    26 1    14 0 2    32 1 2    44 2  
     ------------------------------------------------------------------------
                                       2              2                 2  
     b  x x  + b  x x  + b  x x  + b  x )dx dx  + (b x  + b  x x  + b  x  +
      20 0 3    38 1 3    50 2 3    56 3   0  3     4 0    10 0 1    28 1  
     ------------------------------------------------------------------------
                             2                                     2         
     b  x x  + b  x x  + b  x  + b  x x  + b  x x  + b  x x  + b  x )dx dx  +
      16 0 2    34 1 2    46 2    22 0 3    40 1 3    52 2 3    58 3   1  3  
     ------------------------------------------------------------------------
         2                 2                           2                    
     (b x  + b  x x  + b  x  + b  x x  + b  x x  + b  x  + b  x x  + b  x x 
       5 0    11 0 1    29 1    17 0 2    35 1 2    47 2    23 0 3    41 1 3
     ------------------------------------------------------------------------
                     2
     + b  x x  + b  x )dx dx
        53 2 3    59 3   2  3

o2 : DiffAlgForm
i3 : w - h

           2                2                           2                    
o3 = (- b x  - b x x  - b  x  - b  x x  - b  x x  - b  x  - b  x x  - b  x x 
         0 0    6 0 1    24 1    12 0 2    30 1 2    42 2    18 0 3    36 1 3
     ------------------------------------------------------------------------
                     2                2                2                    
     - b  x x  - b  x )dx dx  + (- b x  - b x x  - b  x  - b  x x  - b  x x 
        48 2 3    54 3   0  1       1 0    7 0 1    25 1    13 0 2    31 1 2
     ------------------------------------------------------------------------
           2                                     2                2         
     - b  x  - b  x x  - b  x x  - b  x x  - b  x )dx dx  + (- b x  - b x x 
        43 2    19 0 3    37 1 3    49 2 3    55 3   0  2       3 0    9 0 1
     ------------------------------------------------------------------------
           2                           2                                
     - b  x  - b  x x  - b  x x  - b  x  - b  x x  - b  x x  - b  x x  -
        27 1    15 0 2    33 1 2    45 2    21 0 3    39 1 3    51 2 3  
     ------------------------------------------------------------------------
         2                2                2                           2  
     b  x )dx dx  + (- b x  - b x x  - b  x  - b  x x  - b  x x  - b  x  -
      57 3   1  2       2 0    8 0 1    26 1    14 0 2    32 1 2    44 2  
     ------------------------------------------------------------------------
                                       2                2                 2  
     b  x x  - b  x x  - b  x x  - b  x )dx dx  + (- b x  - b  x x  - b  x  -
      20 0 3    38 1 3    50 2 3    56 3   0  3       4 0    10 0 1    28 1  
     ------------------------------------------------------------------------
                             2                                     2         
     b  x x  - b  x x  - b  x  - b  x x  - b  x x  - b  x x  - b  x )dx dx  +
      16 0 2    34 1 2    46 2    22 0 3    40 1 3    52 2 3    58 3   1  3  
     ------------------------------------------------------------------------
           2                 2                           2            
     (- b x  - b  x x  - b  x  - b  x x  - b  x x  - b  x  - b  x x  -
         5 0    11 0 1    29 1    17 0 2    35 1 2    47 2    23 0 3  
     ------------------------------------------------------------------------
                             2              2               2           
     b  x x  - b  x x  - b  x )dx dx  + (a x  + a x x  + a x  + a x x  +
      41 1 3    53 2 3    59 3   2  3     0 0    3 0 1    9 1    6 0 2  
     ------------------------------------------------------------------------
                   2           2                2                     
     a  x x  + a  x )dx  + (a x  + a x x  + a  x  + a x x  + a  x x  +
      12 1 2    15 2   0     1 0    4 0 1    10 1    7 0 2    13 1 2  
     ------------------------------------------------------------------------
         2           2                2                          2
     a  x )dx  + (a x  + a x x  + a  x  + a x x  + a  x x  + a  x )dx
      16 2   1     2 0    5 0 1    11 1    8 0 2    14 1 2    17 2   2

o3 : DiffAlgForm