Public Git Hosting - barvinok.git/search

2007-11-22	Sven Verdoolaege	doc: how to count the number of elements in possibly...	commit \| commitdiff \| tree
2007-11-22	Sven Verdoolaege	doc/implementation.tex: avoid multiply defined label	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	lattice_width.c: try vertices of previous integer hulls...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc: document integer hull computation	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	hull.c: add all points found by sampling directly to...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	Possible optimizations for generalized basis reduction...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	Support use of generalized basis reduction to compute...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	add Polyhedron_Integer_Minimum for computing the integer...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc: document generalized basis reduction based integer...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc/barvinok.bib: add missing string	commit \| commitdiff \| tree
2007-11-17	Sven Verdoolaege	add more missing assert.h #includes	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	configure.in: only compile libbarvinok as a static...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	Polyhedron_Reduced_Basis: don't stop too early when...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	compute_width_directions: only keep list of distinct...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	zsolve: don't install library	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	version.c: show use of TOPCOM	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	configure.in: don't set with_{poly,pip}lib_prefix from...	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	Polyhedron_Sample: be satisfied with a reasonable choice...	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	cone_integer_hull: optionally print stats	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	basis_reduction: keep track of number of LPs solved	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	options: move --print-stats to library	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	bernstein: rework testing framework to not depend on...	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	bernstein: add piecewise_lst::is_equal	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	support newer versions of GiNaC (>= 1.3.8)	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	standard_constraints: move from topcom.c to polysign.c	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	polysign.h: remove dependency on lexmin.h	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	zsolve: add banner.h to distribution	commit \| commitdiff \| tree
2007-11-06	Sven Verdoolaege	Polyhedron_Lattice_Width_Directions: print progress...	commit \| commitdiff \| tree
2007-11-06	Sven Verdoolaege	basis_reduction_pip: abort on invalid (empty) input...	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	README: explain how to get submodules	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	doc: document lattice width computation	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	some lattice width tests from Jon Yaggie	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	Polyhedron_Lattice_Width: decide on facets to close...	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	add Polyhedron_Lattice_Width for computing lattice...	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	hilbert.c: add Cone_Integer_Hull for computing vertices...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign: add pip-backed version	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign: add constraints_opt to compute optimum over...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign_cdd: switch to use of Matrix representation...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign_glpk: switch to use of Matrix representation...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	doc: document computation of Hilbert basis of a cone	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	Cone_Hilbert_Basis: use standard_constraints to avoid...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	Use zsolve to compute Hilbert basis of a cone	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	compile zsolve	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: don't install headers and executables	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: initialize BackupTime in ZSolveContext	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: zsolveSystem: add missing verbosity check	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: override LIBS from top level	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	add 4ti2-1.3.1+autoconf-0.1 banner	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	add zsolve from 4ti2-1.3.1+autoconf-0.1	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	param_util.c: export bit_vector_count	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	topcom.c: extract part of code for setting up standard...	commit \| commitdiff \| tree
2007-10-30	Sven Verdoolaege	gen_fun::Hadamard_product: print progress indicator...	commit \| commitdiff \| tree
2007-10-26	Sven Verdoolaege	move --verbose option to library	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::summate: handle full specialization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Replace incremental infinite set counter by "regular...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	make counter::add_falling_powers static	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	merge (most of) common part of counter and tcounter	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	icounter: handle specialization of polynomials	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	icounter: don't bother "normalizing" the exponents...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	export neg_left_hermite	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	basis_reduction_cdd: check for possibly incorrect output...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Polyhedron_Sample: handle polyhedron becoming empty...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::operator evalue *: always return a valid ...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::operator evalue *: remove commented out debugging...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e.cc: handle verification of problems...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: optionally print stats	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: support verification of generating...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: support conversion of generating...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	lattice_points: another micro-optimization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	lattice_points_fixed: nano-optimization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::add: context of sum should be union of contexts...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate: use verify infrastructure for verifying...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	genfun.cc: print_power: drop spaces around "/" when...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	count_points_e: fall back to count_points if there...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Makefile.am: check-evalue: print name of each test...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	verify: add check_poly_print helper function	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun: make sure context is always set	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	reducer::reduce: canonicalize coefficients in each...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	short_rat::print: correctly print out terms with a...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_series: recheck for equalities after computing...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	export Matrix_Read for reading Matrix from a stream	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	param_util.c: add Param_Vertex_Domain	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	util.c: supporting_constraints: return bit vector	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	polylib: update for Matrix_Extend	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	options.c: use Polyhedron_Sample for counting infinite...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	keep track of and use saturating constraints in Param_Polyhedron	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	move value_gcd and value_lcm to polylib	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Bernoulli_sum_evalue: only compute exact sum if approximatio...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Bernoulli_sum_evalue: sum over variables with integer...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	evalue.c: export evalue_var	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Polyhedron_ExchangeColumns: normalize constraints after...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	export Polyhedron_ExchangeColumns	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	evalue_polynomial: optimize evaluation in zero	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	evalue.c: emul: handle another special case	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	evalue.c: eadd: handle some special cases	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	introduce and use evalue_free	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	evalue.c: eadd: micro-optimize addition of two rationals	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	setting an approximation method now implies polynomial...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_summate: optionally use Bernoulli/Faulhaber...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Bernoulli_sum_evalue: use evalue_from_section_array...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom