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
verify.c: extract common code for verifying operation on evalue
2008-03-31
Sven Ve
r
doolaege
v
e
r
ify
.
c: extract common co
d
e for verifying operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
evalue_range_pr
o
pagation: ad
d
m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdool
a
e
ge
b
arvino
k
_m
a
ximize: opti
o
nally use (basic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add some
s
upport for deal
i
ng with evalues
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bar
v
inok_enumera
t
e
: support
u
se of
E
uler-
M
acl
a
ur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
implement Ber
n
oulli_su
m
as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
n
oulli_
s
um_eva
l
u
e
:
exploit int
e
ger bounds to r
e
d
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
keep track of n
u
mber of Bernoul
l
i
sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
bernoulli
.
c
:
pro
t
ect share
d
evalue from modifica
t
io
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
test Bernoulli sums ba
s
ed exact enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoola
e
ge
ba
r
v
i
nok_count_wi
t
h
_
options: compute
(
e
x
ac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Berno
u
lli_su
m
_e
v
a
lue:
o
ptionally handle
fr
a
ctiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
la
t
tice_poi
n
t
.
h
:
e
x
po
r
t fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok
_
enumerate
_
with_options:
c
om
p
ute (e
x
ac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: handle e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolae
g
e
B
ern
o
ulli_sum_ev
a
lue: cut off some redundan
t
par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Be
r
noulli_sum_eva
l
u
e
: make
s
ure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
lli_sum_evalue:
r
e
move red
u
n
dant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoulli
.
c: minor
refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoull
i
_
sum:
h
andle context constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
for_each_lowe
r
_upper_b
o
und: add ano
t
her
callback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
verify
.
c: adjust defa
u
lt range to context if
n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
euler
.
cc: su
m
mate_ov
e
r
_
domain: only
co
n
sider act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oolaege
param_ut
i
l
.
c: expor
t
Pa
r
a
m
_Vert
e
x_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Pa
r
am_Polyhedr
o
n_Facet: pass fa
c
et
defining co
n
s
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaeg
e
genfun
.
cc:
parallel
_
p
olytopes: don't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_split_doma
i
ns_
i
nt
o
_o
r
than
t
s: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalu
e
_read:
o
n
ly allow terms
t
o c
r
oss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: onl
y
accept implicit multip
l
ication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: accept constraints containi
n
g
"
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laege
evalue_bern
s
tein_coef
f
ic
i
ents: ens
u
re
r
e
s
ult
p
a
rtitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
bernstein: pi
e
cewise_lst: correctly p
r
i
n
t
a
n
d
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
e
rdoolaege
re
m
ove_all_eq
u
alit
i
e
s
: keep remov
i
ng p
a
rameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
date polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
doolae
g
e
doc: c
o
nsistent use of Kevi
n
's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
update n
o
w
published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
ool
a
ege
fo
r
_e
a
c
h
_
lower_upper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
R
e
ver
t
"eadd_partitions: try to co
m
bine m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
e
value_r
e
ad_part
i
tion:
p
ut partition
s
back in the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
evalue: reduce_e
v
al
u
e: add note on some
miss
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoola
e
ge
bernste
i
n
.
c
c:
h
andle input with unions + relation
vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
maximize
.
cc: de
a
l
with un
i
ons in
i
nput during
verif
i
c
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
e
v
a
l
u
e
_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
eva
l
ue
.
c: clean
up
e
mul an
d
ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_re
a
d: correctly read varia
b
le name
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalu
e
_read: accept
to
p
level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
e
r
doo
l
a
ege
u
p
date
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitu
t
e: ad
d
required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
ev
a
lue
.
c:
*
_p
a
rt
i
tions: simp
l
if
y
con
s
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ve
n
V
erdoolaege
doc: more specific
informa
t
i
on
o
n buggy c
d
dlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Ve
r
doolaege
con
f
igure
.
in: require cddlib 0
.
94e
b
y testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
con
f
igure
.
i
n: only c
o
mpile
occ if code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
ba
r
v
inok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add some test
s
for i
m
plementat
i
on of projectio
n
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc
:
d
o
c
ument new options and new ap
p
l
i
cat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
A
UTHORS: up
d
ate supp
o
rt informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
cc: short
_
rat::pr
i
n
t
: correctly print polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaeg
e
Export series as ba
r
vinok_enumerate_
s
e
ries an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
rem
o
ve_parameter
_
equali
t
ie
s
: st
o
p "re
m
ovi
n
g" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erd
o
olaege
series:
l
eave freein
g
of P argume
n
t to
calli
n
g func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
doc: document impl
e
me
n
t
a
tion of t
h
e projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add barv
i
nok_enumerat
e
_e_series im
p
lementi
n
g
the pr
o
j
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaege
genfun
.
cc: fix and document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
Move GiNa
C
-inde
p
endent part of library to ba
r
vin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
aege
poly
l
ib
:
upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc:
h
o
w
t
o count the number of el
e
ments in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
r
doola
e
g
e
doc
/
implem
e
nt
a
tion
.
tex: av
o
id multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_
w
i
dt
h
.
c
:
try vertices of p
r
ev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc:
d
o
cument
i
n
teger hull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
do
o
laege
hull
.
c: add all points fo
u
nd by sampl
i
ng d
i
rect
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
ae
g
e
Possib
l
e opt
i
mizations for g
e
ne
r
aliz
e
d basis
r
educ
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolae
g
e
Sup
p
o
r
t
use of gene
r
alized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
g
e
add
Po
l
y
hedron_I
n
tege
r
_Mi
n
i
m
um for c
o
m
puting the
in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
doc: document gene
r
alized b
a
s
i
s reduct
i
on based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/barv
i
nok
.
bib: add missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
a
dd more mi
s
sing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
configure
.
in: only co
m
pile libbarvi
n
o
k
as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
Polyhedron_Reduced_Basi
s
: don't st
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Ve
r
dool
a
ege
compute_width_dir
e
ctions: only keep li
s
t of dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
zso
l
ve: don't
i
nstall lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
ve
r
s
ion
.
c:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolae
g
e
co
n
fi
g
u
re
.
in: don'
t
set with_{poly,pip}lib_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
Po
l
yhe
d
ron_Sampl
e
: be sati
s
fied with a
r
eason
a
ble c
h
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
c
one_inte
g
er_hull:
optionally print
sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
b
asis_reduction: keep track of
n
umber of
LP
s
s
o
l
ved
commit
|
commitdiff
|
tree
2007-11-08
S
ven
Verdoolaege
options: move -
-
print-stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
bernstein: rework testing framew
o
r
k to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoolaege
ber
n
stein: add piecew
i
se_lst::is_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
u
pport new
e
r versions of Gi
N
aC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
standard_constrain
t
s
:
m
ove fr
o
m t
o
pcom
.
c
t
o
polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
polys
i
gn
.
h:
r
emove dependency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsol
v
e
: add
banner
.
h to dis
t
ribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
V
e
rdoola
e
ge
Polyh
e
dr
o
n_Lattice_Width_Directions: prin
t
progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
basis_reduction_pip: abort on invalid (empty
)
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
RE
A
DME: explain ho
w
t
o
g
et submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
doc: docum
e
nt lattice wi
d
th computat
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
r
d
oolaeg
e
some
l
attic
e
width tests from Jo
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
Poly
h
edron
_
Lat
t
i
ce_Width: decide on
f
a
c
ets
t
o
c
l
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ver
d
oolaege
add Polyhedron_Lattice_W
i
dth for
c
o
mput
i
ng lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Ver
d
o
olaege
hilbert
.
c:
a
dd Cone_Integer_Hul
l
for
computing verti
c
es
.
.
.
commit
|
commitdiff
|
tree
next