Public Git Hosting - barvinok.git/search

2006-09-22	Sven Verdoolaege	lexmin.cc: define max_term over an EDomain rather than...	commit \| commitdiff \| tree
2006-09-22	Sven Verdoolaege	reducer.h: add virtual destructor to np_base to avoid...	commit \| commitdiff \| tree
2006-09-22	Sven Verdoolaege	lexmin.cc: extract out some code to evalue_util and...	commit \| commitdiff \| tree
2006-09-21	Sven Verdoolaege	options.c: pick up definition of POL_INTEGER from barvinok...	commit \| commitdiff \| tree
2006-09-21	Sven Verdoolaege	optionc.c: move choice of which specialization to use...	commit \| commitdiff \| tree
2006-09-21	Sven Verdoolaege	omega/parser.l: let flex define yylineno	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	lexmin.cc: optionally skip check for empty domains	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	evalue.c: reduce_evalue_in_domain: reduce to zero evalue...	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	lexmin.cc: use barvinok_options	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	introduce barvinok_options structure	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	lexmin.cc: compute generating functions of vertex cones...	commit \| commitdiff \| tree
2006-09-20	Sven Verdoolaege	lexmin.cc: move some code around to prepare for new...	commit \| commitdiff \| tree
2006-09-11	Sven Verdoolaege	evalue: declare argument of eadd and evalue_copy const	commit \| commitdiff \| tree
2006-09-06	Sven Verdoolaege	lexmin.cc: perform substitution immediately on each...	commit \| commitdiff \| tree
2006-09-06	Sven Verdoolaege	README: add a warning on (not) using shared libraries	commit \| commitdiff \| tree
2006-08-31	Sven Verdoolaege	evalue.h: change name of header define	commit \| commitdiff \| tree
2006-08-31	Sven Verdoolaege	evalue.h: make more self-contained	commit \| commitdiff \| tree
2006-08-26	Sven Verdoolaege	bfcounter.h: undefine divide from polylib's arithmetique.h	commit \| commitdiff \| tree
2006-08-26	Sven Verdoolaege	configure.in: no longer compile shared libraries by...	commit \| commitdiff \| tree
2006-08-26	Sven Verdoolaege	README: reflect that --enable-fractional is now the...	commit \| commitdiff \| tree
2006-08-26	Sven Verdoolaege	lexmin: remove duplicate unfringe	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	gen_fun::Hadamard_product: use unoptimized version...	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	barvinok_series: perform backsubstitution also if all...	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	barvinok_enumerate_union_series: call core of barvinok_series	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	util.c: remove_equalities_p: correct check for end...	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	gen_fun: set context in no variables constructor	commit \| commitdiff \| tree
2006-08-21	Sven Verdoolaege	gen_fun::Hadamard_product: don't assume equalities...	commit \| commitdiff \| tree
2006-08-20	Sven Verdoolaege	barvinok_union: take context into account	commit \| commitdiff \| tree
2006-08-16	Sven Verdoolaege	polytope_scan: optionally skip basis reduction	commit \| commitdiff \| tree
2006-08-16	Sven Verdoolaege	polytope_scan: scan in reduced basis	commit \| commitdiff \| tree
2006-08-16	Sven Verdoolaege	polytope_scan: scans the integer points in a polytope	commit \| commitdiff \| tree
2006-08-14	Sven Verdoolaege	install NTL_QQ.h header	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	basis_reduction.c: clean up GLPK memory	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	lexmin.cc: don't bother transforming if compress_parms...	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	lexmin.cc: fix use of compress_parms	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	sample.c: fix remove_ray	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	barvinok_count: clean up memory after simplifying constraints	commit \| commitdiff \| tree
2006-08-13	Sven Verdoolaege	README: update	commit \| commitdiff \| tree
2006-08-12	Sven Verdoolaege	only perform lexmin tests when lexmin has been compiled	commit \| commitdiff \| tree
2006-08-12	Sven Verdoolaege	some more tests with unbounded polyhedra	commit \| commitdiff \| tree
2006-08-12	Sven Verdoolaege	add some small tests for lexmin	commit \| commitdiff \| tree
2006-08-12	Sven Verdoolaege	lexmin: barf when polyhedron contains line	commit \| commitdiff \| tree
2006-08-12	Sven Verdoolaege	lexmin: don't print solution when verifying	commit \| commitdiff \| tree
2006-08-11	Sven Verdoolaege	verify_main.cc: clean up memory	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	barvinok_series: handle fixed polytopes	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	gen_fun: add constructor for generating function with...	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	barvinok.cc: remove_more_equalities: handle equalities...	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	gen_fun::coefficient: reset the number of rows in the...	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	lexmin.cc: use remove_equalities consistently	commit \| commitdiff \| tree
2006-08-10	Sven Verdoolaege	util.c: compress_variables: extracted from lexmin.cc	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin: don't check anything if given range lies outside...	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin.cc: remove_equalities; take preimage with returned...	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin.cc: remove_equalities: extend returned matrix...	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin.cc: in_domain: fix typo	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin.cc: remove some debugging residues	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	reduce_domain: compute convex union of domain	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin.cc: in_domain: also check other parts of union	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin: in_domain: set values if constraints don't...	commit \| commitdiff \| tree
2006-08-09	Sven Verdoolaege	lexmin: plug some memory leaks	commit \| commitdiff \| tree
2006-08-08	Sven Verdoolaege	lexmin: an experimental tool for computing the parametric...	commit \| commitdiff \| tree
2006-08-08	Sven Verdoolaege	add fdstream	commit \| commitdiff \| tree
2006-08-08	Sven Verdoolaege	evalue.c: floor2frac_r: plug memory leak	commit \| commitdiff \| tree
2006-08-08	Sven Verdoolaege	barvinok.cc: unfringe: work incrementally	commit \| commitdiff \| tree
2006-08-06	Sven Verdoolaege	evalue_frac2floor_in_domain: plug memory leak	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	Polyhedron_Sample: allow equalities in input polyhedra	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	Polyhedron_Sample: make sure vertices are available...	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	Polyhedron_Sample: simplify constraints after choosing...	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	Polyhedron_Sample: handle empty and 0D polyhedra	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	sample.c: alternative implementation of remove_ray	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	sample.c: Polyhedron_RemoveFixedColumns: handle presence...	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	barvinok_count_f: check whether polyhedron is unbounded...	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	barvinok_count: simplify constraints after removing...	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	reduced_basis: support 1D polytopes	commit \| commitdiff \| tree
2006-08-03	Sven Verdoolaege	reduced_basis: ensure all LP solutions are non-negative	commit \| commitdiff \| tree
2006-08-02	Sven Verdoolaege	occ: print parametric vertices of set using PolyLib	commit \| commitdiff \| tree
2006-08-01	Sven Verdoolaege	occ: add interface to barvinok_lexsmaller_ev	commit \| commitdiff \| tree
2006-08-01	Sven Verdoolaege	util.c: provide dummy barvinok_lexsmaller_ev when LexSmaller...	commit \| commitdiff \| tree
2006-07-28	Sven Verdoolaege	4coins: computes generating function for 4 coin Frobenius...	commit \| commitdiff \| tree
2006-07-28	Sven Verdoolaege	gen_fun::Hadamard_product: apply parameter compression...	commit \| commitdiff \| tree
2006-07-28	Sven Verdoolaege	gen_fun::substitute: only pass in transformation matrix...	commit \| commitdiff \| tree
2006-07-28	Sven Verdoolaege	scarf.cc: support more cases of 3 (independent) constraints	commit \| commitdiff \| tree
2006-07-27	Sven Verdoolaege	scarf.cc: support more cases of 4 constraints	commit \| commitdiff \| tree
2006-07-27	Sven Verdoolaege	genfun.cc: add gen_fun::divide method	commit \| commitdiff \| tree
2006-07-27	Sven Verdoolaege	genfun.cc: another gen_fun::summate method	commit \| commitdiff \| tree
2006-07-27	Sven Verdoolaege	infinite_icounter: an incremental counter for possibly...	commit \| commitdiff \| tree
2006-07-27	Sven Verdoolaege	icounter: move from barvinok.cc to reducer.cc	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	bfenumerator::set_factor: plug small memory leak	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	barvinok_enumerate_union_series: use gen_fun::summate...	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	genfun.cc: add gen_fun::summate method	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	gen_fun::Hadamard_product: optimize computation of...	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	gen_fun::Hadamard_product: make first argument const	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	polar_decomposer::decompose: make sure vertices have...	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	np_base: add do_vertex_cone method	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	gen_fun::print: allow printing to streams other than...	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	bfcounter.cc: move some more code from barvinok.cc	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	gen_fun.h: short_rat: use QQ instead of pair of ZZs	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	NTL_QQ.cc: a rational NTL type	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	verify_main.cc: small memory clean-up	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	barvinok_series: move choice of which gf_base subclass...	commit \| commitdiff \| tree
2006-07-26	Sven Verdoolaege	barvinok.cc: move some functionality into separate...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom