laplacian-kernel ( basis1 basis2 basis3 -- basis )

Vocabulary

koszul

Inputs

basis1	an object
basis2	an object
basis3	an object

Outputs

basis

an object

Definition

USING: kernel math.matrices.elimination sequences ;

IN: koszul

:: laplacian-kernel ( basis1 basis2 basis3 -- basis )
    basis1 basis2 basis3 laplacian-matrix
    :> lap lap empty-matrix?
    [ f ] [
        lap nullspace
        [| x | basis2 x [ [ wedge (alt+) ] 2each ] with-terms ]
        map
    ] if ;