next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
DiffAlg :: ring(DiffAlgElement)

ring(DiffAlgElement) -- ring of the differential form or vector field

Synopsis

Description

This function returns the ring where the given differential form of vector field is defined.

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 : ring w

      QQ[i]
o2 = ------[][a , a , a , a , a , a , a , a , a , a , a  , a  , a  , a  , a  , a  , a  , a  ][x , x , x ][dx , dx , dx ]
      2        0   1   2   3   4   5   6   7   8   9   10   11   12   13   14   15   16   17   0   1   2    0    1    2
     i  + 1

o2 : PolynomialRing, 3 skew commutative variables