(wedge) ( n basis1 basis2 -- n basis )

Vocabulary

koszul

Inputs

n	an object
basis1	an object
basis2	an object

Outputs

n	an object
basis	an object

Definition

USING: kernel math sequences sets sorting ;

IN: koszul

: (wedge) ( n basis1 basis2 -- n basis )
    append dup all-unique? not
    [ 2drop 0 { } ]
    [ dup permutation inversions -1^ rot * swap sort ] if ;