atlas
0.6
|
#include <vector>
#include <cassert>
#include <iostream>
#include <algorithm>
#include "polynomials.h"
#include "hashtable.h"
#include "atlas_types.h"
#include "matrix.h"
#include "basic_io.h"
#include "error.h"
Classes | |
class | partition |
class | Poincare_table |
Typedefs | |
typedef atlas::polynomials::Safe_Poly< unsigned long long int > | poly |
Functions | |
bool | is_unimodular (poly p) |
bool | is_log_concave (poly p) |
int | main (int argc, char **argp) |
typedef atlas::polynomials::Safe_Poly<unsigned long long int> poly |
bool is_log_concave | ( | poly | p | ) |
bool is_unimodular | ( | poly | p | ) |
int main | ( | int | argc, |
char ** | argp | ||
) |