bigraded-laplacian ( u-generators z-generators quot -- seq )

Vocabulary

koszul

Inputs

u-generators	an object
z-generators	an object
quot	an object

Outputs

seq

an object

Definition

USING: kernel sequences ;

IN: koszul

: bigraded-laplacian
    ( u-generators z-generators quot -- seq )
    [ [ basis graded ] bi@ tensor bigraded-triples ] dip
    [ [ first3 ] prepose map ] curry map ; inline