pub fn kernel_pca_ty() -> Expr
Kernel PCA: principal components in feature space via eigendecomposition of K Type: (Type → Type) → Nat → Nat → Type