Public Git Hosting - barvinok.git/search

2007-03-19	Sven Verdoolaege	util.c: Param_Polyhedron_Print: actually use output...	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	fix merge of check_poly from verif_ehrhart.c and lexmin.cc	commit \| commitdiff \| tree
2007-03-18	Sven Verdoolaege	doc: update Koeppe-Verdoolaege reference	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	barvinok_maximize: support verification	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	merge check_poly from verif_ehrhart.c and lexmin.cc	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	evalue.c: make some evalue arguments const	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	evalue_frac2floor2: also convert non-partition if no...	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	verify.c: change verify_options_set_range prototype	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	bernstein: piecewise_lst::evaluate: support different...	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	verify.c: turn off continue_on_error by default	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	bernstein: export numeric2value	commit \| commitdiff \| tree
2007-03-15	Sven Verdoolaege	doc: proof of existence of suitable y for primal decompositi...	commit \| commitdiff \| tree
2007-03-15	Sven Verdoolaege	doc: fix proof of existence of suitable y for primal...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: bernstein_coefficients: create signed...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	barvinok_maximize: optionally use recursive bernstein_coeffi...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: bernstein_coefficients: support general...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: refactor bernstein_coefficients_product	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein: piecewise_lst: add sign and remove redundant...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein: add remove_redundants method	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	doc: primal decomposition: typo fixes + clarifications	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	doc: fix primal decomposition example + clean-ups	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	Document primal decomposition	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	barvinok.cc: barvinok_enumerate: fix lower bound approximation	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	evalue_split_periods: gracefully handle zero evalues...	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok_maximize: handle zero input	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok_enumerate_e: clean up allocation of options	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok.cc: handle case where nothing is left after...	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	evalue_convert: support printing a quasi-polynomialas...	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	lattice_point.h: make self-contained	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	evalue.c: extract evalue_extract_affine from bernstein.cc	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	bernstein.cc: bernstein_coefficients_product: no need...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein_coefficients: optionally optimize during...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein_coefficients: factorize domain if possible	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	Polyhedron_Factor: optionally return relation between...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein: export replaceVariablesInPolynomial	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein.cc: evalue2ex: represent fractional by scaled...	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	barvinok_maximize: fix handling of UNIONs in domains.	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	bernstein_coefficients: skip empty subdomains	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	barvinok_maximize: fix detection of end of domain specification	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	barvinok_maximize: add input conversion	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	evalue_convert: extracted from barvinok_enumerate and...	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	util.c: move Polyhedron_is_unbounded from bernstein.cc	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein_coefficients: skip infinite (sub)domains	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: let user specify variables over...	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein_coefficients: skip computations if domain...	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: fix access to freed memory	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein/piecewise_lst.cpp: add minimize() method	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: read domains with UNIONs	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	use GiNaC cflags and libs	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	barvinok_maximize: optionally call evalue_split_periods	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	evalue.c: add evalue_split_periods	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	util.c: value_lcm: mark arguments const	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	evalue.c: polynomial_projection: allow NULL R argument	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	evalue.c: extract fiddling with coefficients out of...	commit \| commitdiff \| tree
2007-02-22	Sven Verdoolaege	evalue_bernstein_coefficients: handle each coset of...	commit \| commitdiff \| tree
2007-02-21	Sven Verdoolaege	barvinok_maximize: read evalues with periodics	commit \| commitdiff \| tree
2007-02-21	Sven Verdoolaege	evalue_bernstein_coefficients: handle periodics in...	commit \| commitdiff \| tree
2007-02-21	Sven Verdoolaege	bernstein: bernsteinExpansion: accept list of polynomials	commit \| commitdiff \| tree
2007-02-19	Sven Verdoolaege	barvinok_maximize: make evalue parse a little bit more...	commit \| commitdiff \| tree
2007-02-19	Sven Verdoolaege	barvinok_enumerate*: be less chatty by default	commit \| commitdiff \| tree
2007-02-19	Sven Verdoolaege	count/enumerate: warn if input is a union	commit \| commitdiff \| tree
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	barvinok_enumerate: compute series of polyhedra with...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom