![]() |
Factory's internal polynomials. More...
#include <iostream>
#include "cf_defs.h"
#include "int_cf.h"
#include "variable.h"
#include "canonicalform.h"
#include <omalloc/omalloc.h>
Go to the source code of this file.
Data Structures | |
class | term |
class | InternalPoly |
factory's class for polynomials More... | |
Macros | |
#define | OSTREAM std::ostream |
#define | OM_NDEBUG |
Typedefs | |
typedef term * | termList |
Factory's internal polynomials.
Definition in file int_poly.h.
#define OM_NDEBUG |
Definition at line 31 of file int_poly.h.
#define OSTREAM std::ostream |
Definition at line 17 of file int_poly.h.
Definition at line 63 of file int_poly.h.