next | previous | forward | backward | up | top | index | toc | Macaulay2 website
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  + a x )dx
       0 0    3 1    6 2   0     1 0    4 1    7 2   1     2 0    5 1    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  + b  x )dx dx  + (b x  + b x  + b  x  + b  x )dx dx  + (b x  +
       0 0    6 1    12 2    18 3   0  1     1 0    7 1    13 2    19 3   0  2     3 0    9 1    15 2    21 3   1  2     2 0  
     ----------------------------------------------------------------------------------------------------------------------------
     b x  + b  x  + b  x )dx dx  + (b x  + b  x  + b  x  + b  x )dx dx  + (b x  + b  x  + b  x  + b  x )dx dx
      8 1    14 2    20 3   0  3     4 0    10 1    16 2    22 3   1  3     5 0    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  - b  x )dx dx  + (- b x  - b x  - b  x  - b  x )dx dx  + (-
         0 0    6 1    12 2    18 3   0  1       1 0    7 1    13 2    19 3   0  2       3 0    9 1    15 2    21 3   1  2     
     ----------------------------------------------------------------------------------------------------------------------------
     b x  - b x  - b  x  - b  x )dx dx  + (- b x  - b  x  - b  x  - b  x )dx dx  + (- b x  - b  x  - b  x  - b  x )dx dx  + (a x 
      2 0    8 1    14 2    20 3   0  3       4 0    10 1    16 2    22 3   1  3       5 0    11 1    17 2    23 3   2  3     0 0
     ----------------------------------------------------------------------------------------------------------------------------
     + a x  + a x )dx  + (a x  + a x  + a x )dx  + (a x  + a x  + a x )dx
        3 1    6 2   0     1 0    4 1    7 2   1     2 0    5 1    8 2   2

o3 : DiffAlgForm