Frobby 0.9.5
SatBinomIdeal.h File Reference
#include "VarNames.h"
#include <vector>

Go to the source code of this file.

Classes

class  SatBinomIdeal
 Represents a saturated binomial ideal. More...
 

Functions

ostream & operator<< (ostream &out, const SatBinomIdeal &ideal)
 

Function Documentation

◆ operator<<()

ostream & operator<< ( ostream & out,
const SatBinomIdeal & ideal )