barvinok.git
2008-01-16 Sven Verdoolaegebarvinok 0.26barvinok-0.26
2008-01-16 Sven Verdoolaegeadd some tests for implementation of projection theorem
2008-01-16 Sven Verdoolaegedoc: document new options and new applications
2008-01-16 Sven VerdoolaegeAUTHORS: update support information
2008-01-16 Sven Verdoolaegegenfun.cc: short_rat::print: correctly print polynomial...
2008-01-16 Sven VerdoolaegeExport series as barvinok_enumerate_series and use...
2008-01-16 Sven Verdoolaegeremove_parameter_equalities: stop "removing" equalities...
2008-01-16 Sven Verdoolaegeseries: leave freeing of P argument to calling function
2008-01-16 Sven Verdoolaegedoc: document implementation of the projection theorem
2008-01-16 Sven Verdoolaegeadd barvinok_enumerate_e_series implementing the projec...
2008-01-16 Sven Verdoolaegegenfun.cc: fix and document parallel polytopes class
2008-01-16 Sven VerdoolaegeOnly compile zsolve if gcc 3.4 or later is available
2008-01-16 Sven VerdoolaegeMove GiNaC-independent part of library to barvinok...
2008-01-16 Sven Verdoolaegepolylib: update
2007-11-22 Sven Verdoolaegedoc: how to count the number of elements in possibly...
2007-11-22 Sven Verdoolaegedoc/implementation.tex: avoid multiply defined label
2007-11-21 Sven Verdoolaegelattice_width.c: try vertices of previous integer hulls...
2007-11-21 Sven Verdoolaegedoc: document integer hull computation
2007-11-21 Sven Verdoolaegehull.c: add all points found by sampling directly to...
2007-11-21 Sven VerdoolaegePossible optimizations for generalized basis reduction...
2007-11-21 Sven VerdoolaegeSupport use of generalized basis reduction to compute...
2007-11-21 Sven Verdoolaegeadd Polyhedron_Integer_Minimum for computing the intege...
2007-11-21 Sven Verdoolaegedoc: document generalized basis reduction based integer...
2007-11-21 Sven Verdoolaegedoc/barvinok.bib: add missing string
2007-11-17 Sven Verdoolaegeadd more missing assert.h #includes
2007-11-17 Sven Verdoolaegeevalue.c: add missing include of alloca.h
2007-11-17 Sven Verdoolaegeconfigure.in: pass path of GMP installation to PolyLib...
2007-11-15 Sven Verdoolaegeconfigure.in: only compile libbarvinok as a static...
2007-11-15 Sven VerdoolaegePolyhedron_Reduced_Basis: don't stop too early when...
2007-11-15 Sven Verdoolaegecompute_width_directions: only keep list of distinct...
2007-11-15 Sven Verdoolaegezsolve: don't install library
2007-11-08 Sven Verdoolaegeversion.c: show use of TOPCOM
2007-11-08 Sven Verdoolaegeconfigure.in: don't set with_{poly,pip}lib_prefix from...
2007-11-08 Sven VerdoolaegePolyhedron_Sample: be satisfied with a reasonable choic...
2007-11-08 Sven Verdoolaegecone_integer_hull: optionally print stats
2007-11-08 Sven Verdoolaegebasis_reduction: keep track of number of LPs solved
2007-11-08 Sven Verdoolaegeoptions: move --print-stats to library
2007-11-07 Sven Verdoolaegebernstein: rework testing framework to not depend on...
2007-11-07 Sven Verdoolaegebernstein: add piecewise_lst::is_equal
2007-11-07 Sven Verdoolaegesupport newer versions of GiNaC (>= 1.3.8)
2007-11-07 Sven Verdoolaegestandard_constraints: move from topcom.c to polysign.c
2007-11-07 Sven Verdoolaegepolysign.h: remove dependency on lexmin.h
2007-11-07 Sven Verdoolaegezsolve: add banner.h to distribution
2007-11-06 Sven VerdoolaegePolyhedron_Lattice_Width_Directions: print progress...
2007-11-06 Sven Verdoolaegebasis_reduction_pip: abort on invalid (empty) input...
2007-11-02 Sven VerdoolaegeREADME: explain how to get submodules
2007-11-02 Sven Verdoolaegedoc: document lattice width computation
2007-11-02 Sven Verdoolaegesome lattice width tests from Jon Yaggie
2007-11-01 Sven VerdoolaegePolyhedron_Lattice_Width: decide on facets to close...
2007-11-01 Sven Verdoolaegeadd Polyhedron_Lattice_Width for computing lattice...
2007-11-01 Sven Verdoolaegehilbert.c: add Cone_Integer_Hull for computing vertices...
2007-10-31 Sven Verdoolaegepolysign: add pip-backed version
2007-10-31 Sven Verdoolaegepolysign: add constraints_opt to compute optimum over...
2007-10-31 Sven Verdoolaegepolysign_cdd: switch to use of Matrix representation...
2007-10-31 Sven Verdoolaegepolysign_glpk: switch to use of Matrix representation...
2007-10-31 Sven Verdoolaegedoc: document computation of Hilbert basis of a cone
2007-10-31 Sven VerdoolaegeCone_Hilbert_Basis: use standard_constraints to avoid...
2007-10-31 Sven VerdoolaegeUse zsolve to compute Hilbert basis of a cone
2007-10-31 Sven Verdoolaegecompile zsolve
2007-10-31 Sven Verdoolaegezsolve: don't install headers and executables
2007-10-31 Sven Verdoolaegezsolve: initialize BackupTime in ZSolveContext
2007-10-31 Sven Verdoolaegezsolve: zsolveSystem: add missing verbosity check
2007-10-31 Sven Verdoolaegezsolve: override LIBS from top level
2007-10-31 Sven Verdoolaegeadd 4ti2-1.3.1+autoconf-0.1 banner
2007-10-31 Sven Verdoolaegeadd zsolve from 4ti2-1.3.1+autoconf-0.1
2007-10-31 Sven Verdoolaegeparam_util.c: export bit_vector_count
2007-10-31 Sven Verdoolaegetopcom.c: extract part of code for setting up standard...
2007-10-30 Sven Verdoolaegegen_fun::Hadamard_product: print progress indicator...
2007-10-26 Sven Verdoolaegemove --verbose option to library
2007-10-25 Sven Verdoolaegegen_fun::summate: handle full specialization
2007-10-25 Sven VerdoolaegeReplace incremental infinite set counter by "regular...
2007-10-25 Sven Verdoolaegemake counter::add_falling_powers static
2007-10-25 Sven Verdoolaegemerge (most of) common part of counter and tcounter
2007-10-25 Sven Verdoolaegeicounter: handle specialization of polynomials
2007-10-25 Sven Verdoolaegeicounter: don't bother "normalizing" the exponents...
2007-10-25 Sven Verdoolaegeexport neg_left_hermite
2007-10-25 Sven Verdoolaegebasis_reduction_cdd: check for possibly incorrect outpu...
2007-10-25 Sven VerdoolaegePolyhedron_Sample: handle polyhedron becoming empty...
2007-10-25 Sven Verdoolaegegen_fun::operator evalue *: always return a valid ...
2007-10-25 Sven Verdoolaegegen_fun::operator evalue *: remove commented out debugg...
2007-10-25 Sven Verdoolaegebarvinok_enumerate_e.cc: handle verification of problem...
2007-10-25 Sven Verdoolaegebarvinok_enumerate_e: optionally print stats
2007-10-25 Sven Verdoolaegebarvinok_enumerate_e: support verification of generatin...
2007-10-25 Sven Verdoolaegebarvinok_enumerate_e: support conversion of generating...
2007-10-25 Sven Verdoolaegelattice_points: another micro-optimization
2007-10-25 Sven Verdoolaegelattice_points_fixed: nano-optimization
2007-10-25 Sven Verdoolaegegen_fun::add: context of sum should be union of context...
2007-10-25 Sven Verdoolaegebarvinok_enumerate: use verify infrastructure for verif...
2007-10-25 Sven Verdoolaegegenfun.cc: print_power: drop spaces around "/" when...
2007-10-25 Sven Verdoolaegecount_points_e: fall back to count_points if there...
2007-10-25 Sven VerdoolaegeMakefile.am: check-evalue: print name of each test...
2007-10-25 Sven Verdoolaegeverify: add check_poly_print helper function
2007-10-25 Sven Verdoolaegegen_fun: make sure context is always set
2007-10-25 Sven Verdoolaegereducer::reduce: canonicalize coefficients in each...
2007-10-25 Sven Verdoolaegeshort_rat::print: correctly print out terms with a...
2007-10-25 Sven Verdoolaegebarvinok_series: recheck for equalities after computing...
2007-10-25 Sven Verdoolaegeexport Matrix_Read for reading Matrix from a stream
2007-10-25 Sven Verdoolaegeparam_util.c: add Param_Vertex_Domain
2007-10-25 Sven Verdoolaegeutil.c: supporting_constraints: return bit vector
2007-10-25 Sven Verdoolaegepolylib: update for Matrix_Extend
next