(graded-ker/im-d) ( n seq -- null/rank )

Vocabulary

koszul

Inputs

n	an object
seq	an object

Outputs

null/rank

an object

Definition

USING: kernel math sequences ;

IN: koszul

: (graded-ker/im-d) ( n seq -- null/rank )
    [ ?nth ] [ [ 1 + ] dip ?nth ] 2bi dim-im/ker-d ;