Tree @upstream/0.5 (Download .tar.gz)
- doc
- examples
- gfanlib
- homepage
- testsuite
- app_buchberger.cpp
- app_combinerays.cpp
- app_commonrefinement.cpp
- app_composepermutations.cpp
- app_doesidealcontain.cpp
- app_evaluate.cpp
- app_exponentlattice.cpp
- app_facets.cpp
- app_fancoarsening.cpp
- app_fancones.cpp
- app_fanhomology.cpp
- app_fansubfan.cpp
- app_fiberpolytope.cpp
- app_genericlinearchange.cpp
- app_groebnercone.cpp
- app_groebnerfan.cpp
- app_homogeneityspace.cpp
- app_homogenize.cpp
- app_idealintersection.cpp
- app_idealproduct.cpp
- app_initialdeterminant.cpp
- app_initialforms.cpp
- app_integergb.cpp
- app_interactive.cpp
- app_intsinpolytope.cpp
- app_isconnected.cpp
- app_isgroebnerbasis.cpp
- app_ismarkedgroebnerbasis.cpp
- app_issmooth.cpp
- app_krulldimension.cpp
- app_lattice.cpp
- app_latticeideal.cpp
- app_leadingterms.cpp
- app_librarytest.cpp
- app_link.cpp
- app_lll.cpp
- app_lpsolve.cpp
- app_main.cpp
- app_markpolynomialset.cpp
- app_matrixproduct.cpp
- app_minimalassociatedprimes.cpp
- app_minkowski.cpp
- app_minors.cpp
- app_mixedvolume.cpp
- app_multiplymatrix.cpp
- app_nbody.cpp
- app_normalfancleanup.cpp
- app_padic.cpp
- app_pointconfiguration.cpp
- app_polynomialsetunion.cpp
- app_product.cpp
- app_realroots.cpp
- app_regularsubdivision.cpp
- app_render.cpp
- app_renderstaircase.cpp
- app_representatives.cpp
- app_saturation.cpp
- app_scarfcomplex.cpp
- app_scarfisgeneric.cpp
- app_scarfvisualize.cpp
- app_secondaryfan.cpp
- app_smalessixth.cpp
- app_smalessixth2.cpp
- app_spolynomial.cpp
- app_stats.cpp
- app_sturmsequence.cpp
- app_substitute.cpp
- app_supportindices.cpp
- app_symmetries.cpp
- app_test.cpp
- app_tolatex.cpp
- app_topolyhedralfan.cpp
- app_transposematrix.cpp
- app_traversetropicalintersection.cpp
- app_triangulate.cpp
- app_tropicalbasis.cpp
- app_tropicalbruteforce.cpp
- app_tropicalevaluation.cpp
- app_tropicalfunction.cpp
- app_tropicalhypersurface.cpp
- app_tropicalimage.cpp
- app_tropicalintersection.cpp
- app_tropicallifting.cpp
- app_tropicallinearspace.cpp
- app_tropicalmultiplicity.cpp
- app_tropicalrank.cpp
- app_tropicalstartingcone.cpp
- app_tropicaltraverse.cpp
- app_tropicalweildivisor.cpp
- app_unfold.cpp
- app_volume.cpp
- app_walk.cpp
- app_weightvector.cpp
- application.cpp
- application.h
- bergman.cpp
- bergman.h
- bergmanBackup.cpp
- binomial.cpp
- binomial.h
- breadthfirstsearch.cpp
- breadthfirstsearch.h
- breadthfirstsearch2.cpp
- buchberger.cpp
- buchberger.h
- codimoneconnectedness.cpp
- codimoneconnectedness.h
- continuedfractions.cpp
- continuedfractions.h
- COPYING
- determinant.cpp
- determinant.h
- determinantpoly.cpp
- determinantpoly.h
- dimension.cpp
- dimension.h
- division.cpp
- division.h
- Doxyfile
- enumeration.cpp
- enumeration.h
- ep_standard.cpp
- ep_standard.h
- ep_xfig.cpp
- ep_xfig.h
- field.cpp
- field.h
- field_rationalfunctions.cpp
- field_rationalfunctions.h
- field_rationalfunctions2.cpp
- field_rationalfunctions2.h
- field_rationals.cpp
- field_rationals.h
- field_zmodpz.cpp
- field_zmodpz.h
- fieldlp.cpp
- fieldlp.h
- ge_gfan.cpp
- genericwalk.cpp
- genericwalk.h
- gfanapplication.cpp
- gfanapplication.h
- gfanlib.h
- gfanlib_matrix.h
- gfanlib_polyhedralfan.cpp
- gfanlib_polyhedralfan.h
- gfanlib_polymakefile.cpp
- gfanlib_polymakefile.h
- gfanlib_q.h
- gfanlib_symmetriccomplex.cpp
- gfanlib_symmetriccomplex.h
- gfanlib_symmetry.cpp
- gfanlib_symmetry.h
- gfanlib_vector.h
- gfanlib_z.h
- gfanlib_zcone.cpp
- gfanlib_zcone.h
- gfanlib_zfan.cpp
- gfanlib_zfan.h
- gmpallocator.cpp
- graph.cpp
- graph.h
- groebnerengine.cpp
- groebnerengine.h
- halfopencone.almostworks.cpp
- halfopencone.backup.cpp
- halfopencone.cpp
- halfopencone.h
- integergb.cpp
- integergb.h
- intsinpolytope.cpp
- intsinpolytope.h
- lattice.cpp
- lattice.h
- latticeideal.cpp
- latticeideal.h
- LICENSE
- linalg.cpp
- linalg.h
- linalgfloat.cpp
- linalgfloat.h
- lll.cpp
- lll.h
- log.cpp
- log.h
- lp.cpp
- lp.h
- lp_cdd.cpp
- lp_cdd.h
- lp_soplexcdd.cpp
- lp_soplexcdd.h
- macaulay2.cpp
- macaulay2.h
- macmake
- Makefile
- matrix.cpp
- matrix.h
- minkowskidual.cpp
- minkowskidual.h
- minkowskisum.cpp
- minkowskisum.h
- minors.cpp
- minors.h
- mixedvolume.cpp
- mixedvolume.h
- monomial.cpp
- monomial.h
- multiplicity.cpp
- multiplicity.h
- nbody.cpp
- nbody.h
- newtonpolytope.cpp
- newtonpolytope.h
- padic.cpp
- padic.h
- parser.cpp
- parser.h
- polyhedral.h
- polyhedralcone.cpp
- polyhedralcone.h
- polyhedralfan.cpp
- polyhedralfan.h
- polymakefile.cpp
- polymakefile.h
- polynomial.cpp
- polynomial.h
- polynomialring.cpp
- polynomialring.h
- primarydecomposition.cpp
- primarydecomposition.h
- printer.cpp
- printer.h
- README
- regularsubdivision.cpp
- regularsubdivision.h
- renderer.cpp
- renderer.h
- restrictedautoreduction.cpp
- restrictedautoreduction.h
- restrictedgfan.cpp
- reversesearch.cpp
- reversesearch.h
- sage.cpp
- sage_link.cpp
- saturation.cpp
- saturation.h
- scarf.cpp
- scarf.h
- singular.cpp
- singular.h
- singularconversion.cpp
- singularconversion.h
- subspace.cpp
- subspace.h
- substitute.cpp
- substitute.h
- symmetriccomplex.cpp
- symmetriccomplex.h
- symmetrictraversal.cpp
- symmetrictraversal.h
- symmetry.cpp
- symmetry.h
- term.cpp
- term.h
- termorder.cpp
- termorder.h
- timer.cpp
- timer.h
- traverser_groebnerfan.cpp
- traverser_groebnerfan.h
- traverser_secondaryfan.cpp
- traverser_secondaryfan.h
- traverser_sphere.cpp
- traverser_sphere.h
- traverser_stableintersection.cpp
- traverser_stableintersection.h
- traverser_tropical.cpp
- traverser_tropical.h
- triangulation.cpp
- triangulation.h
- triangulation2.h
- tropical.cpp
- tropical.h
- tropical2.cpp
- tropical2.h
- tropical_weildivisor.cpp
- tropical_weildivisor.h
- tropicalbasis.cpp
- tropicalbasis.h
- tropicaldeterminant.cpp
- tropicaldeterminant.h
- tropicalmap.cpp
- tropicalmap.h
- tropicaltraverse.cpp
- tropicaltraverse.h
- vektor.cpp
- vektor.h
- versioninfo.h
- wallideal.cpp
- wallideal.h
- xfig.cpp
- xfig.h
enumeration.cpp @upstream/0.5 — raw · history · blame
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 | #include "enumeration.h" #include <cassert> #include "printer.h" #include "log.h" EnumerationFilePrinter::EnumerationFilePrinter(): initialisedFile(0), file(0), filename("") { } EnumerationFilePrinter::~EnumerationFilePrinter() { assert(file==0); } void EnumerationFilePrinter::open(string filename) { this->filename=filename; string name=filename+extension(); initialisedFile=fopen(name.c_str(),"w"); file=initialisedFile; assert(file); fprintf(Stderr,"Output file opened: \"%s\"\n",name.c_str()); onOpened(); } void EnumerationFilePrinter::open(FILE *file) { initialisedFile=0; this->file=file; assert(file); onOpened(); } void EnumerationFilePrinter::close() { onClose(); if(initialisedFile) { fclose(initialisedFile); onClosed(); initialisedFile=0; } file=0; } string EnumerationFilePrinter::extension() { return ""; } void EnumerationAlgorithm::printProgress(int step) { while(step>0) { progressCounter++; // if(!(progressCounter&4095)) // if(!(progressCounter&255)) if(!(progressCounter&15)) log2 fprintf(Stderr,"Number of Gr\"obner Bases found %i\n",progressCounter); fflush(Stderr); step--; } } //-------------------------------------- // EnumerationTargetCollector //-------------------------------------- void EnumerationTargetCollector::beginEnumeration(PolynomialSet const &g) { theList=PolynomialSetList(); } void EnumerationTargetCollector::endEnumeration() { } bool EnumerationTargetCollector::basis(const PolynomialSet &groebnerBasis) { theList.push_back(groebnerBasis); return true; } PolynomialSetList EnumerationTargetCollector::getList() { return theList; } #include "traverser_groebnerfan.h" TargetGlue::TargetGlue(EnumerationTarget &target_): target(target_) { } bool TargetGlue::process(ConeTraverser &traverser) { GroebnerFanTraverser &r=dynamic_cast<GroebnerFanTraverser&>(traverser); return target.basis(r.refToGroebnerBasisRepresentation()); } |