A model fo of this concept must provide:
template < class OutputIterator > | ||||
OutputIterator | fo ( Type1 p1 , Type2 p2 , Type3 p3 , OutputIterator res ) | |||
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.