val sv: differential
val sv: kernel
val sv: uniquegeodesic