A model fo of this type must provide:
|
| |||
Compares the x and y (the two first) variables of two Root_for_spheres_2_3 lexicographically. |
AlgebraicKernelForSpheres::CompareX
AlgebraicKernelForSpheres::CompareY
AlgebraicKernelForSpheres::CompareZ
AlgebraicKernelForSpheres::CompareXYZ