FunctionObjectConcept

Kernel::Lift_to_paraboloid_d

A model for this must provide:

Kernel::Point_d fo ( Kernel::Point_d p ) returns p = (x0, ,xd-1) lifted to the paraboloid of revolution which is the point (p0, ,pd-1,0 i < dpi2) in (d+1)-space.