Public Git Hosting - barvinok.git/search

2007-02-19	Sven Verdoolaege	DomainIncludes: detect more cases + adapt documentation	commit \| commitdiff \| tree
2007-02-19	Sven Verdoolaege	evalue_bernstein_coefficients: handle fractionals in...	commit \| commitdiff \| tree
2007-02-19	Sven Verdoolaege	evalue_bernstein_coefficients: handle floorings in...	commit \| commitdiff \| tree
2007-02-18	Sven Verdoolaege	barvinok_maximize: new tool for maximizing piecewise...	commit \| commitdiff \| tree
2007-02-17	Sven Verdoolaege	evalue.c: evalue_frac2polynomial: improve accuracy	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	evalue.c: add comment	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	evalue.c: add function for checking nesting of an evalue	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	evalue.c: add missing terms reorderings in evalue_range_redu...	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	evalue.c: make arguments of eequal and evalue_denom...	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	barvinok_enumerate_e: add --verbose option	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	bernstein: mark argument of value2numeric const	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	bernstein.cc: add (optional) options argument to evalue_bern...	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	add missing virtual destructors	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	genfun.cc: rename struct cone to avoid conflict with...	commit \| commitdiff \| tree
2007-02-16	Sven Verdoolaege	doc: integer points in the fundamental parallelepiped...	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	verif_ehrhart.c: clean up indentation	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	verif_ehrhart: optionally continue on error	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	verif_ehrhart: combine check_poly from barvinok_enumerate_e.cc	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	verif_ehrhart.c: check lower and upper polynomial approximations	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	verify.h: move barvinok_options into verify_options	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	barvinok_enumerate: pass parameter names to check_poly	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	barvinok_enumerate: more polynommial approximations	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	evalue.c: add evalue_frac2polynomial	commit \| commitdiff \| tree
2007-02-14	Sven Verdoolaege	evalue.c: extract evalue_split_domains_into_orthants...	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	polysign.c: fix cdd_polyhedron_affine_sign prototype	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	Makefile: only check lexmin if it has been compiled	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	add Param_Polyhedron_Scale_Integer prototype	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	lattice_point.cc: add sanity check for index of cone	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	test: initialize nbMat	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	barvinok_enumerate: optionally compute a polynomial...	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	Provide replacement for new PolyLib function Param_Polyhedro...	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	add evalue_div (adapted from PolyLib)	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	test: simple test for PolyLib's Smith	commit \| commitdiff \| tree
2007-02-12	Sven Verdoolaege	Makefile.am: add dependencies for checks	commit \| commitdiff \| tree
2007-02-11	Sven Verdoolaege	genfun.cc: short_rat::normalize: micro-optimizations	commit \| commitdiff \| tree
2007-02-11	Sven Verdoolaege	QQ: canonicalize on read and multiplication	commit \| commitdiff \| tree
2007-02-09	Sven Verdoolaege	doc: barvinok_series requires polyhedron to have *rev...	commit \| commitdiff \| tree
2007-02-09	Sven Verdoolaege	Makefile.am: check barvinok_enumerate --series during...	commit \| commitdiff \| tree
2007-02-09	Sven Verdoolaege	test all specialization algorithms during make check	commit \| commitdiff \| tree
2007-02-09	Sven Verdoolaege	pass options through to barvinok_count in barvinok_enumerate...	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	Handle non-unimodular cones in dual decomposition	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	barvinok_stats: rename unimodular_cones to base_cones	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	reducer.cc: extra sanity checks	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	Handle non-unimodular cones with a specified maximal...	commit \| commitdiff \| tree
2007-02-07	Sven Verdoolaege	decomposer.cc: decompose: minor clean-up	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	barvinok_options: include pointer to barvinok_stats...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	add barvinok_options_free	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	barvinok_enumerate: collect stats on number of unimodular...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	decomposer.cc: polar_decompose: remove common divisor...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	partial_reducer: specialize list version of base	commit \| commitdiff \| tree
2007-02-05	Sven Verdoolaege	reducer::reduce: better handling of terms with common...	commit \| commitdiff \| tree
2007-02-05	Sven Verdoolaege	reducer::reduce: combine numerators with equal unreduced...	commit \| commitdiff \| tree
2007-02-03	Sven Verdoolaege	QQ: add operator for multiplication of vector by a...	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	reducer::reduce: take a list of numerators as input	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	gen_fun::read: read gen_fun from file descriptor	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	add gen_fun::add(short_rat *r)	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	NTL_QQ.cc: support reading from stream	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	gen_fun: add operator for printing to stream	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	genfun.cc: add short_rat copy constructor	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly_r: micro-optimizations	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: mark some more arguments/methods const	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	short_rat::add: mark short_rat argument const	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	NTL_QQ: attempt to speed-up += operator	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: add some documentation	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: add some more operations	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	barvinok/genfun.h: fix comment	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	add .gitignore	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	QQ: add operator for multiplication by a scalar (ZZ)	commit \| commitdiff \| tree
2007-01-18	Sven Verdoolaege	Makefile.am: check-series: check --primal as well	commit \| commitdiff \| tree
2007-01-16	Sven Verdoolaege	Makefile.am: install (some) binaries	commit \| commitdiff \| tree
2007-01-15	Sven Verdoolaege	undefine CS for Solaris 10	commit \| commitdiff \| tree
2007-01-14	Sven Verdoolaege	barvinok_enumerate: handle lines in input polyhedra...	commit \| commitdiff \| tree
2007-01-10	Sven Verdoolaege	util.c: move left_inverse from lexmin.cc	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun::coefficient: move printing to short_rat	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun::coefficient: new version returning ZZ	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	genfun.cc: move coefficient computation to short_rat	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	partial_reducer: restart computation if random vector...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun: expose clear_terms, a method for clearing...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun::Hadamard_product: propagate full options to...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: integrate verif_ehrhart	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: integrate barvinok_series	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: use argp	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin: make lexmin options private	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	Revert "bernstein/configure.in: remove redundant change...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok.cc: make use of sampling for counting infinite...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate_e: respect --table option	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin.cc: move selection of gbr solver to options.c	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin: use argp	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok_enumerate_e: extract out verification options	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok_enumerate_e: print warning when --omega or...	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok/polylib.h: define value_subtract and value_addmul...	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	decomposer.cc: decompose: micro-optimization	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	signed_cone: store rays of cone	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	lexmin: disable use of lookup-tables	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok_enumerate_e.cc: fix argp options parser	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	options.c: move choice of use of lookup-table to barvinok_op...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	lattice_point.cc: fix #ifndef USE_MODULO code path	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: short_vector: remove redundant code	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: short_vector: negate lambda if z is...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok.cc: series: only require rays to be revlex...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom