Concept

AlgebraicKernelForSpheres::Solve

Definition

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>.
Precondition: The set of solutions of the system is 0-dimensional.

Here, Type1, Type2, and Type3 can all be either AlgebraicKernelForSpheres::Polynomial_1_3 or AlgebraicKernelForSpheres::Polynomial_for_spheres_2_3.