Macaulay2 » Documentation
Packages » EagonResolution :: resolution(EagonData)
next | previous | forward | backward | up | index | toc

resolution(EagonData) -- outputs the resolution that is the 0th row of the Eagon double complex

Synopsis

Description

This command is equivalent to eagonResolution(EagonData).

i1 : R = ZZ/101[a,b]/ideal"a2,b2"

o1 = R

o1 : QuotientRing
i2 : E = eagon(R,4)

o2 = EagonData in <ring>.cache computed to length 4

o2 : EagonData
i3 : C = resolution E

      1      2      3      5      8
o3 = R  <-- R  <-- R  <-- R  <-- R
                                  
     0      1      2      3      4

o3 : ChainComplex
i4 : picture C

     +----------------------------------------+
     |+-------+-------+                       |
o4 = ||       |(1, {})|                       |
     |+-------+-------+                       |
     ||(0, {})|   *   |                       |
     |+-------+-------+                       |
     +----------------------------------------+
     |+-------+-------+--------+              |
     ||       |(2, {})|(0, {1})|              |
     |+-------+-------+--------+              |
     ||(1, {})|   *   |    *   |              |
     |+-------+-------+--------+              |
     +----------------------------------------+
     |+--------+--------+--------+            |
     ||        |(0, {2})|(1, {1})|            |
     |+--------+--------+--------+            |
     || (2, {})|    *   |    *   |            |
     |+--------+--------+--------+            |
     ||(0, {1})|    .   |    *   |            |
     |+--------+--------+--------+            |
     +----------------------------------------+
     |+--------+--------+--------+-----------+|
     ||        |(1, {2})|(2, {1})|(0, {1, 1})||
     |+--------+--------+--------+-----------+|
     ||(0, {2})|    *   |    .   |    1,1    ||
     |+--------+--------+--------+-----------+|
     ||(1, {1})|    .   |    *   |     *     ||
     |+--------+--------+--------+-----------+|
     +----------------------------------------+

See also

Ways to use this method: