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