245{
246 int nhits;
247 int exp_of_v;
249 int v =
popular_var(I, npure, pure, nhits, vp, exp_of_v);
250
251
252
253
254
255
256
257 if (npure >= I.
size() - 1)
258 {
259 assert(vp != NULL);
261 return 0;
262 }
264 return 1;
265}
varpower::ConstExponents const_varpower
static void copy(ConstExponents vp, Vector &result)
static void var(Exponent v, Exponent e, Vector &result)
static int popular_var(const MonomialIdeal &I, int &npure, exponents_t pure, int &nhits, const_varpower &non_pure_power, int &exp_of_popular)