Vocabulary
koszul

Inputs
u-degan object
z-degan object
bigraded-basisan object


Outputs
null/rankan object


Definition


: (bigraded-ker/im-d)
( u-deg z-deg bigraded-basis -- null/rank )
[ ?nth ?nth ] 3keep [ [ 2 + ] dip 1 - ] dip ?nth ?nth
dim-im/ker-d ;