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

DiffAlgElement - DiffAlgElement -- subtraction

Synopsis

Description

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

o1 = (a x  + a x  + a x )dx  + (a x  + a x  + a x )dx  + (a x  + a x  +
       0 0    3 1    6 2   0     1 0    4 1    7 2   1     2 0    5 1  
     ------------------------------------------------------------------------
     a x )dx
      8 2   2

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

o2 = (b x  + b x  + b  x  + b  x )dx dx  + (b x  + b x  + b  x  +
       0 0    6 1    12 2    18 3   0  1     1 0    7 1    13 2  
     ------------------------------------------------------------------------
     b  x )dx dx  + (b x  + b x  + b  x  + b  x )dx dx  + (b x  + b x  +
      19 3   0  2     3 0    9 1    15 2    21 3   1  2     2 0    8 1  
     ------------------------------------------------------------------------
     b  x  + b  x )dx dx  + (b x  + b  x  + b  x  + b  x )dx dx  + (b x  +
      14 2    20 3   0  3     4 0    10 1    16 2    22 3   1  3     5 0  
     ------------------------------------------------------------------------
     b  x  + b  x  + b  x )dx dx
      11 1    17 2    23 3   2  3

o2 : DiffAlgForm
i3 : w - h

o3 = (- b x  - b x  - b  x  - b  x )dx dx  + (- b x  - b x  - b  x  -
         0 0    6 1    12 2    18 3   0  1       1 0    7 1    13 2  
     ------------------------------------------------------------------------
     b  x )dx dx  + (- b x  - b x  - b  x  - b  x )dx dx  + (- b x  - b x  -
      19 3   0  2       3 0    9 1    15 2    21 3   1  2       2 0    8 1  
     ------------------------------------------------------------------------
     b  x  - b  x )dx dx  + (- b x  - b  x  - b  x  - b  x )dx dx  + (- b x 
      14 2    20 3   0  3       4 0    10 1    16 2    22 3   1  3       5 0
     ------------------------------------------------------------------------
     - b  x  - b  x  - b  x )dx dx  + (a x  + a x  + a x )dx  + (a x  + a x 
        11 1    17 2    23 3   2  3     0 0    3 1    6 2   0     1 0    4 1
     ------------------------------------------------------------------------
     + a x )dx  + (a x  + a x  + a x )dx
        7 2   1     2 0    5 1    8 2   2

o3 : DiffAlgForm