Function sugarDivisibleBy

kernel/GBEngine/kutil.cc:1331–1334

2 *if ecart1<=ecart2 it returns TRUE */

*if ecart1<=ecart2 it returns TRUE
*/
static inline BOOLEAN sugarDivisibleBy(int ecart1, int ecart2)
{
  return (ecart1 <= ecart2);
}

/*2
* put the pair (s[i],p)  into the set B, ecart=ecart(p) (ring case)