17#ifndef INTERSECT_FACADE_GUARD
18#define INTERSECT_FACADE_GUARD
39 unique_ptr<BigIdeal>
intersect(
const vector<BigIdeal*>& ideals,
Facade(bool printActions)
Constructs a facade that prints out what it is doing if printActions is true.
unique_ptr< BigIdeal > intersect(const vector< BigIdeal * > &ideals, const VarNames &names)
Returns the intersection of ideals.
IntersectFacade(bool printActions)
Defines the variables of a polynomial ring and facilities IO involving them.