Algebraic Concepts

Concepts
concept	AlgebraicKernelForSpheres
	The AlgebraicKernelForSpheres concept is meant to provide the curved kernel with all the algebraic functionalities required for the manipulation of spheres, circles, and circular arcs in 3D. More...
concept	AlgebraicKernelForSpheres::CompareX
concept	AlgebraicKernelForSpheres::CompareXYZ
concept	AlgebraicKernelForSpheres::CompareZ
concept	AlgebraicKernelForSpheres::ConstructPolynomialForSpheres_2_3
concept	AlgebraicKernelForSpheres::Polynomial_1_3
	Concept to represent trivariate polynomials of degree 1 whose coefficients are of a type that is a model of the concept RingNumberType. More...
concept	AlgebraicKernelForSpheres::PolynomialsForCircles_3
	Concept to represent a system of polynomials on FieldNumberType capable of storing equations of circles. More...
concept	AlgebraicKernelForSpheres::RootForSpheres_2_3
	Concept to represent the roots of a system of three equations of degree 2 in three variables x, y and z that are models of concept AlgebraicKernelForSpheres::PolynomialForSpheres_2_3. More...
concept	AlgebraicKernelForSpheres::Solve
concept	AlgebraicKernelForSpheres::YCriticalPoints
concept	AlgebraicKernelForSpheres::CompareXY
concept	AlgebraicKernelForSpheres::ConstructPolynomial_1_3
concept	AlgebraicKernelForSpheres::PolynomialForSpheres_2_3
	Concept to represent trivariate polynomials of degree up to 2 capable of storing equations of spheres, whose center's coordinates, as well as the square of the radius, are of a type that is a model of the concept FieldNumberType. More...
concept	AlgebraicKernelForSpheres::SignAt
concept	AlgebraicKernelForSpheres::ZCriticalPoints
concept	AlgebraicKernelForSpheres::CompareY
concept	AlgebraicKernelForSpheres::PolynomialsForLines_3
	Concept to represent a system of polynomials on FieldNumberType capable of storing equations of lines. More...
concept	AlgebraicKernelForSpheres::ConstructPolynomialsForLines_3
concept	AlgebraicKernelForSpheres::XCriticalPoints