Public Git Hosting - barvinok.git/search

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	barvinok_enumerate: compute series of polyhedra with...	commit \| commitdiff \| tree
2007-02-09	Sven Verdoolaege	util.c: move Polyhedron_has_positive_rays from barvinok.cc	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	bernstein/configure.in: remove redundant change to...	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
2007-01-03	Sven Verdoolaege	barvinok.cc: series: pass full options to barvinok_count	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	np_base::handle: pass around rays matrix instead of...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: support primal decomposition	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: barvinok_decompose: implement in terms...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok_enumerate: respect incremental_specialization...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	introduce signed_cone struct	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	separate out decomposition	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	test: use argp parser	commit \| commitdiff \| tree
2006-12-28	Sven Verdoolaege	update argp from gnulib and add progname module	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e.cc: don't exit on unrecognized...	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	lib/argp.h: remove __NTH for __argp_usage inline function	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e.cc: remove another duplicate definition...	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e: use argp parser	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_count: use argp parser	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom