Module fold

Source

Functionsยง

binary_fold_high
Computes the fold high of a binary multilinear with a fold tensor.
fold_highest_var_inplace
Computes the partial evaluation of a multilinear on its highest variable, inplace.