Public Git Hosting - barvinok.git/search

2007-04-03	Sven Verdoolaege	barvinok_enumerate: optionally compute "volume" polynomial...	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	polytope_volume: compute volume of parametric polytope	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	reduce_domain.c: plug memory leak	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	verify.c: move computation of true context into check_poly_c...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: add simplified method of computing tighter...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok_enumerate: optionally compute tighter polynomial...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	polyhedron_sample.c: remove redundant MAXRAYS define	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	evalue.c: evalue_eval: support relations	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	evalue.c: evalue_frac2polynomial: properly handle relations	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok_enumerate: support approximation by means...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: avoid simplification of constraints after...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok/util.h: add POL_UNSET macro for unsetting...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_Fast: ignore...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	move Param_Polyhedron_Scale_Integer to scale.c and...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	use separate flags option for scale approximation method	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok.cc: move scaling to scale.c	commit \| commitdiff \| tree
2007-03-30	Sven Verdoolaege	scale.c: correct extract_lattice in case of redundant...	commit \| commitdiff \| tree
2007-03-30	Sven Verdoolaege	doc: update CC2005 reference	commit \| commitdiff \| tree
2007-03-26	Sven Verdoolaege	verif_ehrhart.c: round inexact evaluation up or down...	commit \| commitdiff \| tree
2007-03-26	Sven Verdoolaege	verif_ehrhart.c: optionally use exact evaluation for...	commit \| commitdiff \| tree
2007-03-25	Sven Verdoolaege	evalue.c: add evalue_eval for exact evaluation of evalue	commit \| commitdiff \| tree
2007-03-25	Sven Verdoolaege	evalue.c: fix evalue_frac2polynomial for negative values...	commit \| commitdiff \| tree
2007-03-20	Sven Verdoolaege	barvinok_enumerate: perform slow scaling approximation...	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	fix Param_Polyhedron_Scale_Integer	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	barvinok_enumerate: more accurate polynomial approximation	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	reorganize polynomial approximation options	commit \| commitdiff \| tree
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	Harald Devos	minimize as option of barvinok_maximize	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
next

lattice point enumeration library

RSS Atom