bigraded-betti ( u-generators z-generators -- seq )

Vocabulary

koszul

Inputs

u-generators	an object
z-generators	an object

Outputs

seq

an object

Definition

USING: arrays assocs kernel math.vectors sequences ;

IN: koszul

: bigraded-betti ( u-generators z-generators -- seq )
    [ basis graded ] bi@ tensor bigraded-ker/im-d
    [ [ keys ] map ] keep [ values 2 head* { 0 0 } prepend ] map
    rest dup first length 0 <array> suffix [ v- ] 2map ;