atlas  0.6
Classes | Typedefs | Functions
Poincare.cpp File Reference
#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"
Include dependency graph for Poincare.cpp:

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 Documentation

typedef atlas::polynomials::Safe_Poly<unsigned long long int> poly

Function Documentation

bool is_log_concave ( poly  p)
bool is_unimodular ( poly  p)
int main ( int  argc,
char **  argp 
)