contactization contact manifold contactomorphism contingence superization contact geometry osculation coordinatization algebraization symplectization