repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
doc: update voting theory reference
2007-09-10
Sve
n
Verdoolaege
doc: update voting
t
heory reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
o
cume
n
t
ba
r
v
i
nok_s
u
mmate and
b
arvinok_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc
:
consiste
n
t us
e
of
B
arvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
barvinok_su
m
mate: correct opti
o
ns
descripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Document Euler-Maclauri
n
b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
e
r
d
oolaege
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolae
g
e
d
o
c: ad
d
some hidden s
e
ctions t
o
t
able of conte
n
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another
d
ocument
refer
i
ng to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some
tests for
Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Euler
-
Maclaurin b
a
s
e
d summat
i
on for 1D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Euler-Maclaur
i
n
based
s
u
mmation for
2
D
p
r
obl
e
ms
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdool
a
e
ge
decomposer
.
cc: avoid us
e
of
h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
b
ar
v
ino
k
_
s
u
m
mate
:
v
erify
s
olution
o
ver whole para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
introduce ba
r
vinok_summate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ola
e
ge
eval
u
e_{
d
i
v
,
m
ul}: ha
n
d
le some trivial c
a
ses more
e
ffic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
lattic
e
_poin
t
: exp
o
r
t fraction
a
l
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verd
o
olaege
evalue
.
c: extract common co
d
e f
o
r construc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
vo
l
ume
.
c: export Par
a
m_Polyhedro
n
_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
add ev
a
lu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
fix type of evalue_
p
olynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
dool
a
ege
suppor
t
computat
i
on of Bernoulli polynomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
separate c
o
mput
a
tion of Bernou
l
l
i
c
oeffi
c
ien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdo
o
la
e
ge
lattice_point: use Para
m
_
V
er
t
ex_Comm
o
n_Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Ve
r
d
oolaege
make decomposer
.
h self-
c
ontai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdo
o
laege
reduce_domain: a
v
oid us
e
o
f
macro
par
a
meter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
export evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
oolaege
Use piplib d
u
ring basis r
e
duction if no other
L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled pi
p
l
i
b by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add piplib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bundl
e
d
PolyLib
by
d
efa
u
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
add polyli
b
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
a
e
ge
berns
t
ein: al
l
ow
linking aga
i
nst unin
s
talled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolaege
a
dd mor
e
missing asser
t
.
h #include
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
a
d
d
dummy impleme
n
tati
o
ns of functions that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update
"Counting with ration
a
l generat
i
ng functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
o
l
aege
b
arvinok
.
cc:
s
plit off part
constructin
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verd
o
olaege
barvinok
.
cc: s
p
lit off part dealing with existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdo
o
l
aege
*
c
ounter: avoid recomputation of denominators
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remo
v
e
r
edun
d
ant memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
chan
g
e type of
some "sign"s to
i
nt as they
c
an o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verd
o
olaege
do
c
: update Al
g
orithmica publication
commit
|
commitdiff
|
tree
2007-08-10
S
ven Verdo
o
la
e
ge
evalue
.
c: make parameter
n
ames
of
t
ype con
s
t char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ve
r
d
oolaege
s
ample
.
c: P
o
l
yhed
r
on_RemoveF
i
x
edC
o
lumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verdoolaege
uti
l
.
c: re
m
o
v
e
_eq
u
alities: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_
P
olyhedron_
P
r
i
nt: print every
t
hing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven
V
erdool
a
ege
barvinok_e
n
umerate_with_op
t
ions: don't
add cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
r
d
o
olaege
barvinok
.
cc: don't f
r
ee
P a
r
g
ument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolae
g
e
remove_all_equalit
i
e
s
: also remove equalities in contex
t
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
volume
.
c: avo
i
d warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inn
e
r
_
Pr
o
d
u
c
t
commit
|
commitdiff
|
tree
2007-07-25
S
v
en V
e
rdool
a
e
ge
barvin
o
k
_
e
nu
m
erate
.
c
c
:
add
minimal
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
aege
more
pr
o
t
otyp
e
c
hang
e
s to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue:
pr
i
nt_evalue: make parameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Ve
r
doolaege
A
lw
a
y
s
compi
l
e
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
e
r
doo
l
a
e
ge
pol
y
tope_sc
a
n
:
use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
conf
i
g
ure
.
in: all
o
w
specificat
i
o
n o
f
de
f
ault
p
ref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
con
s
olidat
e
calls to Polyhedro
n
2
Param_Dom
a
i
n
commit
|
commitdiff
|
tree
2007-07-03
S
v
en
V
e
rdoolaege
volume
.
c:
f
ix typo
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
le
.
am:
a
dd $
(
EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
ve
n
Verdoola
e
ge
Makefile
.
am:
f
o
rce rebui
l
d
librarie
s
in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
o
nly t
e
st barvin
o
k_maximize if it has been/
c
an be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
arv
i
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
t
e
stlib
.
cc:
work aro
u
nd inco
m
plete
namespace supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scal
e
.
c:
enumerate_narrow
_
f
l
ated: don't s
i
m
plify constraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verd
o
olae
g
e
d
ecl
a
r
e var
i
ables at start
o
f code b
l
oc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
doc: update do
c
umentation of
options and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: facto
r
polyhedron i
f
p
o
ssible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhed
r
o
n
_Sample: c
o
mpu
t
e v
e
rtices of 1
D
polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedro
n
_Sa
m
ple
:
remove all equalities from
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
a
d
d possib
i
lity t
o
use GL
P
K as LP
s
o
lver
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
Polyhed
r
on_S
a
m
ple: p
o
s
tp
o
ne removal o
f
rays unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedron_Sample: use
lp
solver f
o
r find
i
ng
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
lex
m
in:
m
o
v
e choice of lp solver
t
o use outsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
po
l
ys
i
gn
.
h:
us
e
correct name of PL
_
polyhedron_affi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
barv
i
n
o
k_enumera
t
e: p
l
ug memory leak in Bern
o
ulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
barvinok_enumer
a
t
e_e_r: don't assum
e
AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
evalue_fr
a
c2polynomial: rechec
k
eva
l
u
e aft
e
r evalue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
util
.
c
: Line_Length
:
don't
ge
t
conf
u
sed by positiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Makefile
.
am
:
stop
a
fter first faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
rdoolaege
bernstein: ca
r
ry
through
v
a
riable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
b
e
rnstein: do
n
'
t assume i
n
pu
t
polynomia
l
has bee
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
eg
e
e
v
alue_read
.
c
:
c
orr
e
ct
c
onstness of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eva
l
ue_rea
d
: accept
con
s
tant multiple
o
f v
a
riable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
v
al
u
e
.
c: e
v
alue
_
sum: b
e
tter hand
l
ing of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doolaege
ev
a
lu
e
.
c: reorder_term
s
: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue:
declare f
i
r
st argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
eva
l
ue
.
c:
e
mu
l
: don't use explicit_complement
o
n
arg
u
m
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test for evalue_spl
i
t_per
i
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
olaeg
e
evalue
.
c: evalue_split_perio
d
s: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en
Verdoolae
g
e
evalue
.
c: poly
n
omial_projection: use evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a
t
e
s
t for barvinok_max
i
mize and barv
i
n
ok_
s
u
m
mate
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
ba
r
v
inok
_
s
ummate:
su
p
por
t
v
e
rifica
t
ion of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
ev
a
lue
.
c
:
evalue_sum
:
split into orthants + some r
e
f
a
ct
o
ri
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
ba
r
vinok_
u
nion: use a
r
g
p for argument pars
i
ng
commit
|
commitdiff
|
tree
2007-06-09
S
v
en
Verdo
o
laege
barvinok_enumerate_union_series_with_op
t
ions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rd
o
o
l
aege
basis_reduction_cdd
.
c
c: ge
t
c
o
rrect dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
ola
e
ge
basi
s
_reduct
i
on_glpk
.
c:
c
orre
c
tly set type of row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doo
l
ae
g
e
basis_reduction_glpk
.
c: chec
k
f
or s
a
nity of solution
commit
|
commitdiff
|
tree
next