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
normalization.c: extract standard_constraints from polysign.c
2008-04-03
Sven Verdoolaege
normalization
.
c:
extract
sta
n
dard
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolae
g
e
parker/count_solutions
.
cc:
fix
t
reatment of existent
i
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Verd
o
olaeg
e
compile par
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
euler
.
cc: e
v
alue
_
d
e
rive: handl
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoola
e
ge
a
d
d
s
ome test sets from
ca
s
es 2004 an
d
cc
2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
rename barv
i
nok_
m
aximize to barvinok_b
o
un
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oolaege
add a test for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olaege
e
v
a
l
ue_range_
p
ro
p
ag
a
tion: remove redu
n
d
a
nt
po
l
ynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
t
e
st_
b
ound: record
nu
m
ber of polynomials as
"
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
te
s
t_bound: convert q
u
asip
o
l
ynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
tes
t
_bound: compare polyno
m
ial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
verify
.
c: optimum: handle i
n
put evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
verify
.
c
:
e
x
tract evalue_o
p
timum fr
o
m
maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c: ext
r
act common
c
o
d
e f
o
r verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
a
e
g
e
e
v
alue_range_propagatio
n
: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_maximize: o
p
tionally use (basic) range
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add some support
f
or dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_enumerat
e
: support use of Eule
r
-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
implement Bern
o
u
l
li_sum
as
conve
r
sion from unwe
i
gh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_su
m
_ev
a
lue:
e
xploit
i
n
t
e
ger bounds
t
o r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaeg
e
keep track of n
u
m
b
er of Bern
o
u
l
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: pr
o
tect
shar
e
d evalue fro
m
modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test B
e
r
noulli sums based exac
t
enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
barvinok_
c
oun
t
_w
i
th_options:
compute (exact)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_eval
u
e: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lat
t
ice
_
point
.
h
:
e
xport fract
i
onal_part wit
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok
_
enumerat
e
_with
_
options: compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
B
e
r
noulli_sum_eval
u
e: hand
l
e e
q
u
alit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bern
o
ulli_sum_eval
u
e:
c
ut off some red
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_s
u
m_eval
u
e:
m
ake
s
ure
no
e
mpty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Bernoulli_sum_evalue: remove r
e
dundant c
o
nstr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c: m
i
nor refactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: hand
l
e con
t
ex
t
constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
laege
for_each_lower_upp
e
r_bound: add
a
nother callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
veri
f
y
.
c: a
d
just default r
a
ng
e
t
o
c
ontext if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
euler
.
cc:
summate_over_domain
:
only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolae
g
e
par
a
m_util
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
P
aram_Polyhedron_
F
acet: p
a
ss facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
genfun
.
c
c:
p
a
ra
l
lel_p
o
l
ytopes: don't
bo
t
her ha
n
d
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
u
e
_split
_
do
m
a
i
ns_int
o
_o
r
t
hants: don't r
e
duce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_read: only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
e
v
a
lue_read: only accept implic
i
t multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead: accept
constrain
t
s
c
on
t
a
i
ning "'
-
'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_bernste
i
n_coeff
i
cients
:
ensure result parti
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewise_lst: correctly p
r
in
t
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
remo
v
e_all_e
q
ualities
:
keep
r
emov
i
ng param
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
r
d
oolaege
doc:
c
o
nsistent use of
K
evin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc
:
u
p
date now pu
b
lishe
d
p
apers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
for_each
_
lower_
u
pper_b
o
und: a
l
l
ow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Re
v
ert
"
e
add_partitions: tr
y
t
o combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
e
v
alue_
r
ead_parti
t
ion:
p
u
t
partition
s
back in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdool
a
ege
evalue: re
d
u
ce_evalue
:
add note o
n
some
m
issed opportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
bernst
e
i
n
.
cc: handle
in
p
ut with unions + rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
m
a
x
imize
.
cc: d
e
a
l
with unions in input duri
n
g ve
r
ificatio
n
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_substi
t
u
t
e:
p
ro
p
erl
y
handle re
l
ati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdo
o
laeg
e
evalue
.
c:
c
lean up emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_rea
d
: correct
l
y read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
laege
evalue_
r
ea
d
: acc
e
pt top leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubs
t
itute: add requir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_partition
s
: simpl
i
fy constr
a
ints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
e
rdo
o
laege
do
c
: more spe
c
ific information
o
n b
u
ggy cddlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdo
o
l
a
ege
configure
.
in: r
e
q
u
ire cd
d
li
b
0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
confi
g
u
re
.
in: only compil
e
occ if code_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
some tests for i
m
plementati
o
n of pro
j
e
c
tion
t
heor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
o
olaege
doc:
docume
n
t
new
options and new applic
a
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
A
U
THO
R
S: up
d
ate supp
o
r
t
i
n
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
un
.
cc
:
short_rat::print: co
r
rectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Exp
o
rt
ser
i
es
as ba
r
v
i
nok_
e
nu
m
era
t
e_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
r
e
move_parameter_equalities: stop
"
rem
o
ving" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave freeing of P ar
g
ument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: documen
t
implementati
o
n of the pr
o
ject
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd barvinok_e
n
umerate_e_seri
e
s implementing t
h
e proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
genfun
.
cc: fix and docume
n
t
parallel
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
Move GiNa
C
-ind
e
p
e
n
dent part o
f
librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
olyl
i
b: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
o
olaege
d
o
c: h
o
w
t
o count
the number o
f
eleme
n
ts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven
Ver
d
o
o
l
a
ege
doc/im
p
lementation
.
tex:
a
void mul
t
iply
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
lat
t
ice_width
.
c: try vertices of previou
s
i
nteger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolae
g
e
doc: document
i
nteger
hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
ege
hul
l
.
c:
a
dd all points fou
n
d by
sampling dire
c
t
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
P
ossible optimiza
t
ions
f
or generalized basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laeg
e
Support use of generalized basi
s
reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
a
e
ge
add Polyhedron_Integer_Minimum
f
or comp
u
ting the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
d
o
c: d
o
cument generalized basis reduction based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
ge
doc/barvinok
.
bib: ad
d
m
i
s
sing
s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolae
g
e
add more missing
a
ssert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
oolaege
configure
.
in: only c
o
mp
i
l
e libbarvin
o
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
ege
P
olyh
e
d
ron_Reduced_Basis: don
'
t
s
t
op too ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoolaege
c
o
mpu
t
e
_
width_directions: only ke
e
p list
of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
zsolv
e
:
don'
t
install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show use of TO
P
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
i
n: don't set with_{poly,pip}l
i
b_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
l
a
ege
P
o
lyhedron_Sample: be satisfied with a reasonab
l
e cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_integer_hu
l
l: o
p
tion
a
lly print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
b
a
sis_
r
eduction: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
dool
a
ege
o
p
tions: move --
p
rint-stats to
l
ibrary
commit
|
commitdiff
|
tree
next