1mod glwe_to_lwe;
2mod lwe_to_glwe;