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 Verdo
o
la
e
ge
ve
r
ify
.
c: extract common co
d
e for verifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_propa
g
a
tion:
a
d
d mon
o
to
n
icit
y
test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
barvinok_m
a
x
imize: optionally
use (bas
i
c) range
pro
p
ag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Add
some support for dealing w
i
th eva
l
u
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
arvinok_
e
n
ume
r
ate: support us
e
of Eule
r
-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
impl
e
ment Berno
u
lli_sum as con
v
ersi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Ber
n
o
u
lli_sum
_
eva
l
ue
:
exploit i
n
teger bounds to
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep
t
r
a
c
k o
f
number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
b
ernoulli
.
c
:
protect shared
e
v
a
l
u
e fro
m
modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
t
est Bernoulli sums
b
as
e
d exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bar
v
inok_count_with_options:
c
omp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Be
r
no
u
lli_sum_
e
value: optionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
lattice_point
.
h: export fractio
n
al
_
part with C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
enumerate_wi
t
h
_opt
i
ons:
com
p
u
t
e (ex
a
ct) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Bernoulli_sum_e
v
a
lue: handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
o
l
ae
g
e
Bernoulli_sum
_
evalue: cu
t
off som
e
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue
:
make su
r
e no
e
mpty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
e
rdoolae
g
e
B
ernoulli_sum_eval
u
e
: remove red
u
ndant const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c: min
o
r
refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
Bernoulli_sum: ha
n
dle context
c
o
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: make sure
enough mem
o
ry is al
l
ocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oo
l
aege
for_each_lo
w
er_upper_boun
d
: add another cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adju
s
t default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
ul
e
r
.
c
c
: summate_over_domain
:
only conside
r
act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
param_util
.
c: export Param_
V
erte
x
_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param
_
Polyhedron_Fac
e
t
: pass facet defin
i
ng con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
g
en
f
un
.
c
c
: parall
e
l_polytopes: do
n
't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
e
v
alue_split
_
domain
s
_
i
nto_ortha
n
ts:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaeg
e
e
valu
e
_read:
o
nly all
o
w t
e
rms to cr
o
ss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ev
a
lue_re
a
d:
o
nly acc
e
pt implicit multiplicat
i
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_read
:
accept
constraints contain
i
ng "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
evalue_bernstein_coeff
i
cients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
b
e
rnstein: piecewi
s
e
_
l
st:
correctly print and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
remove
_
all_equalities: keep removing parameter equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
d
o
olaege
doc
:
u
p
date n
o
w published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolae
g
e
f
o
r
_
e
ach_lower_up
p
er_bo
u
nd: allow absenc
e
of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
Revert "e
a
d
d
_
partitions
:
try to combine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
evalue_read_partition: put partitions
b
ack in t
h
e
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolae
g
e
eva
l
ue
:
r
e
duce
_
evalue: add note
o
n some missed opport
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernstein
.
cc
:
handle
i
n
put with unions + r
e
lation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
maxim
i
ze
.
cc:
d
eal w
i
t
h
unions in input d
u
ring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
ev
a
lue_substitute:
pro
p
e
r
ly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
evalue
.
c:
c
lea
n
u
p emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoolaege
evalue_re
a
d
:
correctly read variabl
e
nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
ev
a
lue_read:
acc
e
pt t
o
p level "
r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
ae
g
e
update p
o
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
eval
u
e_backsubstitute: a
d
d requi
r
e
d mod
u
l
o constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaeg
e
ev
a
l
ue
.
c: *_partit
i
ons: sim
p
lify c
o
nstraint
s
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
doc
:
more specific information o
n
bugg
y
cddlib v
e
rs
i
on
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
configure
.
in: requir
e
cddlib 0
.
94
e
by t
e
s
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoo
l
a
ege
configure
.
in
:
only compile occ
if c
o
de_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvin
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdo
o
laege
add s
o
me te
s
ts for
i
mplementat
i
on of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
doc: do
c
ument
n
e
w options and new
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
AUT
H
O
RS: updat
e
support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
genfun
.
cc: short_rat::print: correctly
p
rint po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
Export s
e
r
ies
as barvi
n
o
k_enumerate_se
r
ies and
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
remove_param
e
ter_eq
u
alities: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
series:
l
eave freeing of P argument t
o
calling func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc: document implem
e
ntation of the pr
o
je
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
add barvinok_en
u
m
e
rate_e_
s
erie
s
implementin
g
the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genfun
.
cc: fix a
n
d document pa
r
alle
l
p
olytopes cl
a
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Only compile zsolve if gcc 3
.
4
or
later is available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
Move
G
iNaC-indep
e
ndent part o
f
li
b
rary
t
o b
a
r
v
i
n
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
d
o
olaeg
e
do
c
: how to count the number of e
l
eme
n
ts
i
n
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc/implementati
o
n
.
tex: avoid mul
t
iply de
f
i
ned la
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaege
lattice_width
.
c: try
v
ertices of
p
revious i
n
t
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: document integer hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolae
g
e
h
ull
.
c:
add al
l
p
oints found by sampling direc
t
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
a
eg
e
Possib
l
e
op
t
i
mizati
o
ns
for
g
e
neral
i
zed basis
reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaeg
e
Support use of generaliz
e
d basis
r
educ
t
ion to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
add
P
o
l
yhedr
o
n_Integer_Mi
n
im
u
m for comput
i
ng the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
d
oc: docu
m
ent generalized basis reduction b
a
se
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barv
i
nok
.
bib: add
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verd
o
o
laege
add
m
ore
missi
n
g assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven V
e
rdoolaege
eval
u
e
.
c: add missi
n
g inclu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configur
e
.
in:
pa
s
s path of GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
in: only compi
l
e lib
b
arvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verd
o
olaege
Polyhed
r
on_Reduced_Ba
s
i
s
: don't stop
t
oo early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoo
l
aeg
e
compute_wi
d
th_direct
i
ons:
o
nly keep list of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
zs
o
lve:
d
on
'
t
in
s
tall
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
ve
r
sion
.
c:
s
how use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
i
n:
don'
t
s
et w
i
th
_
{
poly,pip}lib_prefix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
Polyhedron_
S
ample: b
e
satisfied with a reaso
n
able cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
c
one_
i
nteger_hul
l
: optiona
l
ly
print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
aege
b
asis_reduct
i
on: keep t
r
ack
o
f
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
o
ption
s
:
mov
e
-
-
p
rint
-
s
t
at
s
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
bernstein:
rework testing fram
e
w
o
rk t
o
not
depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdo
o
lae
g
e
bernste
i
n: add pie
c
ewise_lst::
i
s
_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaeg
e
support
n
ewer
v
ers
i
o
n
s o
f
Gi
N
a
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
st
a
nda
r
d_c
o
nstrain
t
s: mov
e
from topc
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysi
g
n
.
h
:
r
emove dep
e
ndenc
y
on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
zsol
v
e
:
add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
dool
a
ege
Poly
h
e
d
r
on_Lattice_Width_D
i
rections: pr
i
n
t
p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
d
o
o
la
e
ge
basis_re
d
ucti
o
n_
p
ip: a
b
ort on inva
l
id (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
R
EADME: explain
h
o
w to get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
doc
:
do
c
u
m
e
nt
lattice width co
m
putat
i
on
commit
|
commitdiff
|
tree
next