n_monoms()

int res_comp::n_monoms	(	int	lev,
		int	d ) const

Definition at line 1165 of file res-a1.cpp.

{
  res_degree *p = get_degree_set(lev, d);
  if (p == nullptr) return 0;
  int result = 0;
  for (res_pair *q = p->first; q != nullptr; q = q->next)
    result += R->n_terms(q->syz);
 
  return result;
}

References get_degree_set(), p, R, and result().

Referenced by get_betti().