Public Git Hosting - barvinok.git/search

2007-07-30	Sven Verdoolaege	Param_Polyhedron_Print: print everything to given file...	commit \| commitdiff \| tree
2007-07-29	Sven Verdoolaege	barvinok_enumerate_with_options: don't add context...	commit \| commitdiff \| tree
2007-07-29	Sven Verdoolaege	barvinok.cc: don't free P argument in enumerate	commit \| commitdiff \| tree
2007-07-29	Sven Verdoolaege	remove_all_equalities: also remove equalities in context	commit \| commitdiff \| tree
2007-07-29	Sven Verdoolaege	volume.c: avoid warnings	commit \| commitdiff \| tree
2007-07-27	Sven Verdoolaege	export Param_Inner_Product	commit \| commitdiff \| tree
2007-07-25	Sven Verdoolaege	barvinok_enumerate.cc: add minimal check on input	commit \| commitdiff \| tree
2007-07-19	Sven Verdoolaege	more prototype changes to const char *	commit \| commitdiff \| tree
2007-07-19	Sven Verdoolaege	evalue: print_evalue: make parameter names const char*s	commit \| commitdiff \| tree
2007-07-11	Sven Verdoolaege	Always compile polytope_scan	commit \| commitdiff \| tree
2007-07-11	Sven Verdoolaege	polytope_scan: use argp for argument parsing	commit \| commitdiff \| tree
2007-07-05	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2007-07-04	Sven Verdoolaege	configure.in: allow specification of default prefix...	commit \| commitdiff \| tree
2007-07-03	Sven Verdoolaege	consolidate calls to Polyhedron2Param_Domain	commit \| commitdiff \| tree
2007-07-03	Sven Verdoolaege	volume.c: fix typo in comment	commit \| commitdiff \| tree
2007-07-01	Sven Verdoolaege	Makefile.am: add $(EXEEXT) for cygwin	commit \| commitdiff \| tree
2007-07-01	Sven Verdoolaege	Makefile.am: force rebuild libraries in subdirs if...	commit \| commitdiff \| tree
2007-07-01	Sven Verdoolaege	only test barvinok_maximize if it has been/can be created	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	barvinok 0.24	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	testlib.cc: work around incomplete namespace support...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	scale.c: enumerate_narrow_flated: don't simplify constraints...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	declare variables at start of code block	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	doc: update documentation of options and some functions	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Polyhedron_Sample: factor polyhedron if possible	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Polyhedron_Sample: compute vertices of 1D polyhedra...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Polyhedron_Sample: remove all equalities from polyhedron...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	add possibility to use GLPK as LP solver	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Polyhedron_Sample: postpone removal of rays until we...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Polyhedron_Sample: use lp solver for finding range...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	lexmin: move choice of lp solver to use outside basis...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	polysign.h: use correct name of PL_polyhedron_affine_sign...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	barvinok_enumerate: plug memory leak in Bernoulli approximation	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	barvinok_enumerate_e_r: don't assume AddConstraints...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	evalue_frac2polynomial: recheck evalue after evalue_split_do...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	util.c: Line_Length: don't get confused by positivity...	commit \| commitdiff \| tree
2007-06-30	Sven Verdoolaege	Makefile.am: stop after first failed test	commit \| commitdiff \| tree
2007-06-27	Sven Verdoolaege	bernstein: carry through variable renaming to debugging...	commit \| commitdiff \| tree
2007-06-27	Sven Verdoolaege	bernstein: don't assume input polynomial has been expanded	commit \| commitdiff \| tree
2007-06-27	Sven Verdoolaege	evalue_read.c: correct constness of name in parameter_new	commit \| commitdiff \| tree
2007-06-27	Sven Verdoolaege	evalue_read: accept constant multiple of variable without...	commit \| commitdiff \| tree
2007-06-16	Sven Verdoolaege	evalue.c: evalue_sum: better handling of negative values	commit \| commitdiff \| tree
2007-06-15	Sven Verdoolaege	evalue.c: reorder_terms: fix typo	commit \| commitdiff \| tree
2007-06-14	Sven Verdoolaege	evalue: declare first argument of emul const	commit \| commitdiff \| tree
2007-06-14	Sven Verdoolaege	evalue.c: emul: don't use explicit_complement on arguments	commit \| commitdiff \| tree
2007-06-14	Sven Verdoolaege	add a test for evalue_split_periods	commit \| commitdiff \| tree
2007-06-13	Harald.Devos@elis...	find_fractional_with_max_periods: initialize local...	commit \| commitdiff \| tree
2007-06-12	Sven Verdoolaege	evalue.c: evalue_split_periods: make sure selected...	commit \| commitdiff \| tree
2007-06-12	Sven Verdoolaege	evalue.c: polynomial_projection: use evalue_extract_affine	commit \| commitdiff \| tree
2007-06-10	Sven Verdoolaege	add a test for barvinok_maximize and barvinok_summate	commit \| commitdiff \| tree
2007-06-10	Sven Verdoolaege	barvinok_summate: support verification of results	commit \| commitdiff \| tree
2007-06-10	Sven Verdoolaege	evalue.c: evalue_sum: split into orthants + some refactoring	commit \| commitdiff \| tree
2007-06-10	Sven Verdoolaege	barvinok_union: use argp for argument parsing	commit \| commitdiff \| tree
2007-06-09	Sven Verdoolaege	barvinok_enumerate_union_series_with_options: fix typo	commit \| commitdiff \| tree
2007-06-07	Sven Verdoolaege	basis_reduction_cdd.cc: get correct dual solution in...	commit \| commitdiff \| tree
2007-06-07	Sven Verdoolaege	basis_reduction_glpk.c: correctly set type of rows...	commit \| commitdiff \| tree
2007-06-07	Sven Verdoolaege	basis_reduction_glpk.c: check for sanity of solution	commit \| commitdiff \| tree
2007-06-06	Sven Verdoolaege	options: mention default and available solvers for...	commit \| commitdiff \| tree
2007-06-06	Sven Verdoolaege	polyhedron_sample: take options	commit \| commitdiff \| tree
2007-06-06	Sven Verdoolaege	doc: more about power sums	commit \| commitdiff \| tree
2007-06-04	Sven Verdoolaege	doc: typo	commit \| commitdiff \| tree
2007-05-30	Sven Verdoolaege	doc: repeat Matthias' stopped Barvinok experiments...	commit \| commitdiff \| tree
2007-05-25	Sven Verdoolaege	add barvinok_summate to sum a quasi-polynomial over...	commit \| commitdiff \| tree
2007-05-25	Sven Verdoolaege	evalue_read: fix for top-level fractional part	commit \| commitdiff \| tree
2007-05-14	Sven Verdoolaege	bernoulli.c: Bernoulli_sum_evalue: reduce resulting...	commit \| commitdiff \| tree
2007-05-14	Sven Verdoolaege	bernoulli.c: perform nested sums approximation depth...	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	add polynomial approximation based on nested sums	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	util.c: extract for_each_lower_upper_bound from ParamLine_Length	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	decomposer: use NTL to invert matrix rather than convering...	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	lattice_point.cc: allow rays and vertex to have been...	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	counter: optimize summing over points in fundapiped	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	lattice_point.cc: avoid conversion between NTL and...	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	conversion.cc: remove rays2matrix	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	evalue.c: evalue_polynomial extracted from barvinok.cc	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	evalue.c: add evalue_negate	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	doc: a note on the connection between Todd polynomials...	commit \| commitdiff \| tree
2007-05-13	Sven Verdoolaege	doc: points in fundapiped: fix typo	commit \| commitdiff \| tree
2007-05-10	Sven Verdoolaege	barvinok.cc: simplify dpoly_n constructor	commit \| commitdiff \| tree
2007-05-10	Sven Verdoolaege	Remove "normalization" or powers in denominator on...	commit \| commitdiff \| tree
2007-05-09	Sven Verdoolaege	decomposer.cc: pass options to triangulate_cone	commit \| commitdiff \| tree
2007-05-08	Sven Verdoolaege	barvinok_count: optionally use exponential substitution	commit \| commitdiff \| tree
2007-05-08	Sven Verdoolaege	counter.cc: extracted from barvinok.cc	commit \| commitdiff \| tree
2007-05-08	Sven Verdoolaege	dpoly::div: avoid computation with rational numbers...	commit \| commitdiff \| tree
2007-05-08	Sven Verdoolaege	dpoly: use Value instead of ZZ	commit \| commitdiff \| tree
2007-05-08	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	add test for lattice point computation	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	evalue_read.c: add evalue_read_from_str for reading...	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	evalue_read_from_file: don't modify var_list argument	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	evalue_read: read more general evalues	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	evalue_convert.cc: add missing include	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	conversion.h: generalize rays2matrix2 to zz2matrix	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.h: make self-contained	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	evalue_read: extract from maximize.cc	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	enumerator: support primal (half-open) decompositions	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	enumerator: handle (dual) stopped Barvinok decomposition	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.cc: remove unused PD argument	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.cc: extract coset generation	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.cc: rename ceil_mod to fractional_part	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.cc: use some helper functions to simplify...	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	lattice_point.cc: implement lookup-table version in...	commit \| commitdiff \| tree
2007-05-02	Sven Verdoolaege	move more lattice point computations to lattice_point.cc	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom