A model fo of this concept must provide:
| ||||
|
| |||
Copies in the output iterator the common roots of p1, p2,
and p3, with their multiplicity, as objects of type
std::pair< AlgebraicKernelForSpheres::Root_for_spheres_2_3, int>.
|
Here, Type1, Type2, and Type3 can all be either AlgebraicKernelForSpheres::Polynomial_1_3 or AlgebraicKernelForSpheres::Polynomial_for_spheres_2_3.