The long exact sequence is returned as a Net with the following general format:
| .- -> ... (k-3) more rows appearing | ( | \ | | \ | .- -> Ext^1(W,X) - - -> Ext^1(W,X/A) - - -> Ext^2(W,A) - -' | ( | \ | | \ | .- -> Hom(W,X) - - -> Hom(W,X/A) - - -> Ext^1(W,A) - -' | ( | \ | | \ | .- -> 0 - - -> 0 - - -> Hom(W,A) - -' | ( | \ | | \ | 0 - -' |
The next example gives a typical use.
i1 : R = QQ[x] o1 = R o1 : PolynomialRing |
i2 : X = R^1 / x^9
o2 = cokernel | x9 |
1
o2 : R-module, quotient of R
|
i3 : A = image map(X,,{{x^7}})
o3 = subquotient (| x7 |, | x9 |)
1
o3 : R-module, subquotient of R
|
i4 : W = coker map(R^1,,{{x^3}})
o4 = cokernel | x3 |
1
o4 : R-module, quotient of R
|
i5 : covariantExtLES(3,W,X,A)
warning: clearing value of symbol f to allow access to subscripted variables based on it
: debug with expression debug 3406 or with command line option --debug 3406
o5 = .- -> 0
0 (
\
0 \
.- -> cokernel {-3} | x3 | - - - - - - -> cokernel {-3} | x3 | - - -> 0 - -'
0 ( {-3} | 1 |
\
{4} | 1 | \
.- -> cokernel {6} | x3 | - - - - - - -> cokernel {4} | x3 | - - - - - -> cokernel {4} | x2 | - -'
{6} | x |( {4} | x2 |
\
0 \
.- -> 0 - - -> 0 - - -> cokernel {7} | x2 | - -'
0 ( 0
\
\
0 - -'
|
i6 : apply(2, p -> prune Ext^p(W,X))
o6 = {cokernel {6} | x3 |, cokernel {-3} | x3 |}
o6 : List
|
i7 : apply(2, p -> prune Ext^p(W,X/A))
o7 = {cokernel {4} | x3 |, cokernel {-3} | x3 |}
o7 : List
|
i8 : apply(2, p -> prune Ext^p(W,A))
o8 = {cokernel {7} | x2 |, cokernel {4} | x2 |}
o8 : List
|
For computational access to the maps in the sequence, use covariantExtCouple instead.
The object covariantExtLES is a method function.