For a RealEmbeddable IntegralDomain RT, the class template Root_of_traits<RT> associates a type Root_of_2, which represents algebraic numbers of degree 2 over RT. Moreover, the class provides Root_of_1, which represents the quotient field of RT.
#include <CGAL/Root_of_traits.h>
| |
A RealEmbeddable Field representing the quotient field of RT.
| |
| |
Model of RootOf_2.
|
RootOf_2
CGAL::make_root_of_2<RT>