bigraded-ker/im-d ( basis -- seq )

Vocabulary

koszul

Inputs

basis

an object

Outputs

seq

an object

Definition

USING: sequences ;

IN: koszul

:: bigraded-ker/im-d ( basis -- seq )
    basis length <iota> [| z |
        basis first length <iota>
        [| u | u z basis (bigraded-ker/im-d) ] map
    ] map ;