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
barvinok_enumerate_with_options: compute (exact) Bernoulli sum at request
2008-03-31
Sv
e
n
Verdool
a
ege
barvinok_e
n
umerate_with_o
p
tion
s
: comp
u
te (exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
aege
Be
r
noul
l
i_sum_evalue: handle equ
a
litie
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Bernoulli_su
m
_evalue:
c
ut off
s
ome redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ber
n
oulli_sum_evalue: mak
e
sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
Bern
o
ulli_s
u
m
_evalue:
r
e
m
ove
r
edundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
bern
o
ull
i
.
c: minor refac
t
orin
g
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
Bernoulli
_
sum:
h
andle c
o
nt
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Bern
o
u
l
l
i_sum_evalu
e
: make
s
ure eno
u
g
h
memory is a
l
l
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_l
o
wer_uppe
r
_bound: add
a
nother call
b
ack
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
verify
.
c: adjust default range
t
o
context
if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
e
u
ler
.
cc: s
u
mmate_over_domain
:
on
l
y consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param_u
t
il
.
c: ex
p
ort Param_Vertex
_
Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyh
e
dron_Facet: pas
s
facet def
i
ning constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
genfun
.
c
c:
p
ar
a
l
lel_pol
y
t
opes: don't bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_split_
d
om
a
i
ns
_
into_orthants: don't re
d
uce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
do
o
laege
evalue_read
:
o
n
ly al
l
ow terms to c
r
oss newlines in
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
e
v
a
lue_read: only acce
p
t impl
i
c
i
t multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
la
e
g
e
evalue_read:
ac
c
ept c
o
nstraints containing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olae
g
e
evalue_bern
s
tein_coefficients: ensure
result pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
ber
n
stein: pi
e
cewise_lst:
correctly print and
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
er
d
o
o
laege
remove_all_equalities: keep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc
:
consistent u
s
e
o
f Kevin'
s
i
n
iti
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
a
ege
doc:
u
pdate no
w
publis
h
ed pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
ge
for_each_
l
ower
_
up
p
er_bound
:
allow absen
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Rev
e
rt "e
a
d
d
_partitions: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
e
v
alue_
r
ead_partitio
n
:
put
p
artit
i
ons back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue: r
e
duce_eval
u
e: add note on some missed op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
bernstein
.
cc: handle input
w
ith
un
i
ons
+
relat
i
o
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
o
l
aege
maxim
i
ze
.
c
c
: deal with unions
i
n input duri
n
g veri
f
i
c
atio
n
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
evalue_
s
ubsti
t
ut
e
: pro
p
erly handle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdool
a
eg
e
eva
l
ue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
evalue_read
:
corr
e
ctl
y
r
ead va
r
iab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
e
v
a
l
ue_read: accept t
o
p le
v
el "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoola
e
ge
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
a
lue_b
a
cksubstitu
t
e: add
r
equired modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doo
l
aege
evalue
.
c
:
*_
p
a
r
titions:
s
implify co
n
s
t
raints b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
r
dool
a
ege
d
o
c: more specific information on buggy cddlib vers
i
on
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
configure
.
i
n
:
require cddlib
0
.
9
4
e b
y
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoola
e
ge
c
onfigure
.
in: o
n
ly compile occ if c
o
de_ge
n
libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
ool
a
e
ge
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
add some tes
t
s fo
r
imp
l
ementation of pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
d
o
c:
docu
m
e
nt ne
w
option
s
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
AUTHORS: upd
a
te support info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verd
o
ola
e
ge
genfu
n
.
cc: short
_
rat:
:
p
r
int: correctly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
E
x
port series as barvinok_enumerate_series
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_parameter_equalities: stop "r
e
moving" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
es: leave freein
g
of P a
r
gument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
d
o
c: document
impleme
n
tat
i
on
of the projecti
o
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
a
dd barvi
n
ok_enumerate_e
_
serie
s
implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: fix and docu
m
ent
p
aral
l
el polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
O
n
l
y c
o
m
pile zsolve if gc
c
3
.
4 or later
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
aege
Mo
v
e GiNaC
-
independent par
t
of li
b
rary to ba
r
v
in
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
polylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc: how to count
t
he num
b
e
r
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc/implem
e
ntat
i
on
.
tex: a
v
oid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
r
d
o
olaege
latt
i
ce_w
i
dth
.
c:
t
ry vertic
e
s of previous integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olae
g
e
do
c
:
docum
e
nt in
t
ege
r
hull computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
hull
.
c: add
all p
o
ints found
by
sam
p
ling
d
irectly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
g
e
Possible o
p
timizations f
o
r generalized
b
asis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
S
u
pport u
s
e of generalized basis re
d
u
ction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedro
n
_Integ
e
r_M
i
nim
u
m for computing
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc:
d
o
cument generalized
basi
s
red
u
ction
based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
/
b
a
rvinok
.
bib:
a
dd mi
s
sing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoola
e
g
e
add more missin
g
asse
r
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
evalue
.
c:
add missin
g
include of alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doola
e
ge
configure
.
in:
p
ass p
a
t
h of GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
configure
.
in: only com
p
ile libbarvinok as a
sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
e
r
d
oolaege
P
olyhed
r
on_Re
d
uced_Basi
s
: don't sto
p
too earl
y
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdool
a
ege
com
p
ute_widt
h
_direc
t
ions: on
l
y keep list of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n V
e
rdoolae
g
e
zsol
v
e: don't ins
t
all
library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doolae
g
e
v
e
r
sion
.
c: show u
s
e of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
configure
.
in: do
n
't set
with_{poly
,
pip}lib_prefix
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
Polyhed
r
on_S
a
mple: be satisf
i
ed w
i
th a reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
co
n
e_integer_
h
ull: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doolaege
basi
s
_reduc
t
ion: keep
t
rack
o
f number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
r
doolaege
options: move --print-stats t
o
li
b
rary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rework testi
n
g fra
m
ew
o
rk
t
o no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein
:
a
d
d
pie
c
e
w
ise
_
ls
t
:
:is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
s
upport newer versions
of GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
s
tandard_c
o
nstraints
:
move from to
p
com
.
c
t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dep
e
nde
n
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zs
o
lve: a
d
d banner
.
h to distr
i
butio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
Poly
h
edron_
L
at
t
i
ce_Width_Directions: print
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_red
u
ct
i
on_pip: a
b
ort on
invalid (
e
mpty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain how to
g
et
submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
erd
o
olaege
d
o
c: document lattice wi
d
th computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
V
erdoolaege
some l
a
ttice width tests from Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Po
l
yhe
d
ron_L
a
t
t
ice_Width
:
dec
i
de o
n
facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
Verdo
o
lae
g
e
a
dd Polyh
e
dron_Lattice_
W
idth for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: a
d
d C
o
ne_I
n
t
e
g
er_Hul
l
for com
p
uting
v
e
rti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign: ad
d
p
i
p-backed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
pol
y
sign:
add con
s
tra
i
nts_opt to compute opti
m
u
m o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign_cdd:
s
w
i
t
ch
to use of Matrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdool
a
eg
e
polysign_glpk
:
s
witch to use of Matr
i
x r
e
p
r
esentatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
do
c
:
d
o
c
ument comput
a
tion
o
f Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert
_
Basis: use s
t
andard_c
o
nst
r
a
ints t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
Us
e
zsolve to compute Hilbert
b
a
si
s
of a
con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
com
p
ile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
zsolve: don't install headers
a
n
d
executa
b
les
commit
|
commitdiff
|
tree
next