+ #include<CGAL/Modular_arithmetic/Modular_type.h>
contains a Modular_type Modular_traits preliminar version of : chinese_remainder modular_gcd ( up to constant factor ) TODO: implement true modular gcd for multivariat polynomials