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 [ [ swapd * -rot (wedge) ] ] dip
        [ at+ ] curry compose [ [ 2swap ] ] dip [ 2keep ] curry
        compose [ assoc-each 2drop ] curry curry assoc-each
    ] H{ } make canonicalize ;