i1 : R = QQ[x_1,x_2,D_1,D_2,WeylAlgebra=>{x_1=>D_1,x_2=>D_2}]
o1 = R
o1 : PolynomialRing, 2 differential variable(s)
|
i3 : DrestrictionAll(I,{1,0})
o3 = HashTable{BFunction => (s + 1) }
Boundaries => HashTable{0 => 0 }
1 => | D_2-1 |
| 0 |
Cycles => HashTable{0 => 0 }
1 => | 1 |
| 0 |
HomologyModules => HashTable{0 => 0 }
1 => cokernel | D_2-1 |
1 1
RestrictComplex => 0 <-- 0 <-- (QQ[x , D ]) <-- (QQ[x , D ])
2 2 2 2
-1 0
1 2
1 2 1
VResolution => R <-- R <-- R
0 1 2
o3 : HashTable
|