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})| . | * | * ||
|+--------+--------+--------+-----------+|
+----------------------------------------+
|