main-alone.cpp 448 B

123456789101112131415161718192021
  1. #include "config.hpp"
  2. #include "treewalk.hpp"
  3. #include "work.hpp"
  4. #include <iostream>
  5. using namespace std;
  6. int main(int argc,char** argv){
  7. Semigroup S;
  8. Results res;
  9. res.clear();
  10. init_full_N(S);
  11. work_on(S,res);
  12. if(res.has_counter_example){
  13. cout<<"A counter example was found : "<<endl;
  14. print_Semigroup_gen(res.S_counter_example);
  15. }
  16. for(size_t g=0;g<=MAX_GENUS;++g){
  17. cout<<g<<","<<res.n1[g]<<","<<res.n2[g]<<endl;
  18. }
  19. }