i2 : I = monomialCurveIdeal(R,{1,3,5})
2 2 2 3 2
o2 = ideal (c - b*d, b c - a d, b - a c)
o2 : Ideal of R
|
i5 : can = sheafExt^1(II,OO_projplane^1(-4))
-- ker (109) called with OptionTable: OptionTable{SubringLimit => infinity}
-- ker (109) returned CacheFunction: -*a cache function*-
-- ker (109) called with Matrix: 0
-- 2
-- ker (109) returned Module: R
assert( ker(map(R^0,R^2,0)) === (R^2))
-- ker (110) called with OptionTable: OptionTable{SubringLimit => infinity}
-- ker (110) returned CacheFunction: -*a cache function*-
-- ker (110) called with Matrix: 0
-- 3
-- ker (110) returned Module: R
assert( ker(map(R^0,R^{{-2}, {-1}, {-1}},0)) === (R^{{-2}, {-1}, {-1}}))
o5 = cokernel | c b a2 |
| d c b2 |
2
o5 : coherent sheaf on projplane, quotient of OO
projplane
|