wedge ( x y -- x.y )

Vocabulary

koszul

Inputs

x	an object
y	an object

Outputs

x.y

an object

Definition

USING: assocs kernel make math namespaces shuffle ;

IN: koszul

: wedge ( x y -- x.y )
    [ >alt ] bi@ [
        swap building get '[
            [ 2swap [ swapd * -rot (wedge) _ at+ ] 2keep ]
            assoc-each 2drop
        ] curry assoc-each
    ] H{ } make canonicalize ;