37 auto_ptr<BigIdeal> entireRing(
new BigIdeal(emptyNames));
38 entireRing->newLastTerm();
42 vector<Ideal*> ideals2;
49 auto_ptr<Ideal> intersection(
new Ideal(variableCount));
50 Term identity(variableCount);
51 intersection->insert(identity);
53 for (
size_t i = 0; i < ideals2.size(); ++i) {
54 ideals2[i]->minimize();
57 auto_ptr<Ideal> tmp(
new Ideal(variableCount));
58 ::intersect(tmp.get(), intersection.get(), ideals2[i]);
64 auto_ptr<BigIdeal> bigIdeal(
new BigIdeal(names));
65 bigIdeal->insert(*intersection, translator);