is_gcd_one_pair()

bool gbA::is_gcd_one_pair ( spair * p )

private

Definition at line 669 of file gb-default.cpp.

{
  int i, j;
  exponents_t e1, e2;
  if (p->type != SPAIR::SPAIR_SPAIR) return false;
  i = p->x.pair.i;
  j = p->x.pair.j;
  e1 = gb[i]->lead;
  e2 = gb[j]->lead;
  for (i = 0; i < _nvars; i++)
    if (e1[i] > 0 && e2[i] > 0) return false;
  return true;
}

References _nvars, gb(), p, and SPAIR_SPAIR.

Referenced by minimalize_pairs_non_ZZ().