Searched refs:type_operator_minus_times (Results 1 – 3 of 3) sorted by relevance
1053 void type_operator_minus_times(const gen & a,const gen & b,gen & c);
5916 void type_operator_minus_times(const gen & a,const gen & b,gen & c){ in type_operator_minus_times() function
10890 type_operator_minus_times(tmp,fact,*it); // *it -= tmp*fact; in mod_gcd_c()