Vocabulary
koszul

Inputs
basis1an object
basis2an object
basis3an object


Outputs
basisan object


Definition


:: 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 ;