Public Git Hosting - barvinok.git/search

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
2007-10-25	Sven Verdoolaege	barvinok/polylib.h: remove compatibility with older...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	move Vector_Oppose to PolyLib	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	polytope_scan: reenable --direct option	commit \| commitdiff \| tree
2007-10-20	Sven Verdoolaege	remove_all_equalities: keep removing equalities until...	commit \| commitdiff \| tree
2007-10-20	Sven Verdoolaege	remove_all_equalities: handle empty polyhedron detected...	commit \| commitdiff \| tree
2007-10-20	Sven Verdoolaege	remove_all_equalities: minor code clean-up	commit \| commitdiff \| tree
2007-10-20	Sven Verdoolaege	export Polyhedron_Matrix_View	commit \| commitdiff \| tree
2007-10-16	Sven Verdoolaege	polar_signed_cone_consumer: clean up memory on inappropriate...	commit \| commitdiff \| tree
2007-10-05	Sven Verdoolaege	Param_Inner_Product: fix use of value_lcm	commit \| commitdiff \| tree
2007-09-28	Sven Verdoolaege	doc: fix typo in Michele Vergne's name	commit \| commitdiff \| tree
2007-09-21	Sven Verdoolaege	Add missing files from polymake client to distribution	commit \| commitdiff \| tree
2007-09-21	Sven Verdoolaege	Use gmp's gcd rather than PolyLib's	commit \| commitdiff \| tree
2007-09-21	Sven Verdoolaege	polymake/README: mention --with-barvinok configure...	commit \| commitdiff \| tree
2007-09-21	Sven Verdoolaege	polymake/Makefile.in: add work-around for polymake 2.3	commit \| commitdiff \| tree
2007-09-21	Sven Verdoolaege	evalue.c: print_evalue: always print newline at the...	commit \| commitdiff \| tree
2007-09-20	Sven Verdoolaege	options.c: fix typo in --approximation-method description	commit \| commitdiff \| tree
2007-09-15	Sven Verdoolaege	topcom: fix heuristic for selecting rows to use as...	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	barvinok 0.25	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	Merge branch 'topcom'	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	Document TOPCOM based chamber decomposition	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	test TOPCOM chamber decomposition	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	Optionally use TOPCOM to compute chamber decompositions.	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	lexmin: add (protected) missing algorithm include	commit \| commitdiff \| tree
2007-09-11	Sven Verdoolaege	Makefile.am: add target for creating dist with git...	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	doc: update voting theory reference	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	document barvinok_summate and barvinok_maximize	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	doc: consistent use of Barvinok's initials	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	barvinok_summate: correct options description	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	Document Euler-Maclaurin based summation	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	doc: change example environment	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	doc: add some hidden sections to table of contents	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	doc: another document refering to the library	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	add some tests for Euler-Maclaurin based summation	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	Euler-Maclaurin based summation for 1D problems	commit \| commitdiff \| tree
2007-09-10	Sven Verdoolaege	Euler-Maclaurin based summation for 2D problems	commit \| commitdiff \| tree
2007-09-08	Sven Verdoolaege	decomposer.cc: avoid use of half-open cones	commit \| commitdiff \| tree
2007-09-08	Sven Verdoolaege	barvinok_summate: verify solution over whole parameter...	commit \| commitdiff \| tree
2007-09-08	Sven Verdoolaege	introduce barvinok_summate as a wrapper for evalue_sum	commit \| commitdiff \| tree
2007-09-08	Sven Verdoolaege	add evalue_mul_div	commit \| commitdiff \| tree
2007-09-08	Sven Verdoolaege	evalue_{div,mul}: handle some trivial cases more efficiently	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom