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
export neg_left_hermite
2007-10-25
S
v
en
Verdoolaege
e
x
port
n
eg_left_
h
er
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
b
asis_reduction
_
cdd: ch
e
ck for possibly i
n
correct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Samp
l
e: handle p
o
lyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fu
n
::operator ev
a
lu
e
*: always retur
n
a
v
al
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_
f
u
n
:
:operator ev
a
l
ue *: r
e
move commente
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
barvi
n
ok_enum
e
r
ate_e
.
cc: handle veri
f
ication of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enumerate_e: optionall
y
pri
n
t
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_en
u
merate_e: support verificati
o
n of g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
a
rv
i
nok_enumerate_e
:
s
u
pport c
o
nversi
o
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
eg
e
latt
i
ce_points: another
m
icro-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
lattice_point
s
_
fixed: nano-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_f
u
n::add: context of
s
u
m s
h
oul
d
be u
n
ion of c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
b
arvin
o
k_enume
r
ate: use ver
i
fy infrastructure for ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
f
un
.
cc
:
pri
n
t_powe
r
: drop
s
pa
c
e
s around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
count_points_
e
: fall bac
k
t
o
count_po
i
nts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Makefile
.
am: check-evalue: print name of
e
ach
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
verify: add
check_poly_p
r
int
h
elper funct
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
gen_
f
un
:
ma
k
e
sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
red
u
cer::reduce: canonicali
z
e
c
oefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
short_rat:
:
p
rint:
c
orre
c
tly p
r
i
n
t out
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvin
o
k
_series: recheck for
e
qu
a
li
t
i
es
af
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
e
xport Matrix_Read for reading Ma
t
ri
x
f
r
om a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
param
_
util
.
c: add P
a
ram_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c
:
supporting_c
o
nstraints: return
b
i
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ol
a
ege
polylib: update for Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
optio
n
s
.
c:
use Pol
y
hedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
keep track of and u
s
e saturati
n
g constraints in Pa
r
am_Polyh
e
d
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
m
ove v
a
lue_gcd
a
nd value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoulli_sum
_
evalue: only comp
u
t
e
e
xac
t
sum
if
approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_
s
um_evalue:
s
um over vari
a
bl
e
s
with inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c
: export evalue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Pol
y
hedron_Exchange
C
olumns: normalize cons
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export Pol
y
hedron_Exchan
g
eCol
u
mn
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_po
l
y
no
m
ial
:
optimize evaluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
e
v
alue
.
c: emul: hand
l
e anothe
r
special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c: eadd: handl
e
some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
in
t
roduce and use e
v
alue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c
:
eadd:
m
i
cro-optimize addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
se
t
ting
a
n approximatio
n
method
n
ow implies
pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summ
a
te: optionally use B
e
r
n
ou
l
li/Faulh
a
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
li_sum_evalue: use
e
value_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
b
a
rvinok
/
polylib
.
h
: remove compatibility with ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
move Ve
c
tor_Oppo
s
e to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
polyt
o
pe_scan:
reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
S
ven Ve
r
dool
a
ege
remo
v
e_al
l
_
e
qual
i
ties: keep rem
o
ving
equali
t
i
es
u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
Verdool
a
ege
r
e
move_all_equalities: ha
n
d
le empty poly
h
edron
d
etec
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verd
o
olaege
r
e
move_
a
l
l
_equa
l
i
t
ies:
minor
code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
export
P
olyhedron_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolae
g
e
polar_signed_cone_
c
ons
u
mer: c
l
e
an up mem
o
ry on inap
p
ropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Product: fix
u
se of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
laege
doc
:
fix typo in
Michele Ver
g
n
e
'
s
na
m
e
commit
|
commitdiff
|
tree
2007-09-21
S
ve
n
Ver
d
ool
a
ege
A
dd
missi
n
g
files from poly
m
ake client to
d
istribution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
Verdoola
e
ge
Use gmp'
s
g
c
d rathe
r
th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verd
o
olaege
polyma
k
e/READM
E
:
mention --with-barvinok c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verd
o
olaege
polymake
/
Makefile
.
in: add work-a
r
ound for po
l
y
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
doolaege
eva
l
u
e
.
c: print_eval
u
e: alw
a
ys pr
i
nt new
l
i
ne at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdool
a
ege
options
.
c: f
i
x typo in --approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oola
e
ge
to
p
c
om:
fi
x
heuris
t
ic for selecting rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Merge bra
n
ch 'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Docum
e
nt TOPCOM b
a
s
ed cham
b
er
d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
test TO
P
COM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
aege
O
p
t
i
onally
u
se
T
OPCOM
t
o
compute chamb
e
r decompos
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
lexmin: add
(protected) missing algo
r
it
h
m include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aeg
e
Makefile
.
am: add
t
a
rget for cre
a
ting dist wi
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: updat
e
vot
i
ng theo
r
y reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
d
o
cument barv
i
nok
_
summate
an
d
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoo
l
aege
doc: cons
i
st
e
nt u
s
e
of Barvinok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
V
e
rdool
a
ege
barvinok_summate:
c
orrect
o
ptions description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Document Euler-Maclaurin based s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
d
o
c: ch
a
nge examp
l
e environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolaege
doc:
a
dd some h
i
dden sections
t
o
table of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc:
a
nother document refering
t
o the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests for
E
ul
e
r-M
a
claur
i
n base
d
summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler
-
Ma
c
laur
i
n ba
s
ed summation fo
r
1
D
proble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Eule
r
-Ma
c
l
aurin ba
s
ed summation f
o
r 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
lae
g
e
decom
p
oser
.
c
c: avoid use
o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
barvinok_summate:
ve
r
ify solution
o
ver who
l
e parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
in
t
roduce
b
arvinok_summa
t
e as a wra
p
per for ev
a
lu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
laege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
e
value_{div,m
u
l}: han
d
le some trivia
l
cas
e
s more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaeg
e
lattice
_
point
:
export
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e
.
c: extract
com
m
on code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
volume
.
c: export
P
a
ram_Polyhed
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
fix type of
e
va
l
ue_polynomi
a
l
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
support co
m
put
a
t
io
n
o
f
Be
r
noulli pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
separate compu
t
ation of
B
e
rnoul
l
i
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
lattice_
p
oint
:
use Par
a
m_Vertex_Comm
o
n_
D
en
o
mi
n
ato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
o
la
e
ge
reduce_do
m
a
in: avoid use of ma
c
r
o
param
e
t
e
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
export evalue_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use
p
iplib during
b
asis reduction if no oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
Use bundl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
olaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
U
s
e bundl
e
d PolyLib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
ylib sub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
b
e
rnst
e
in: all
o
w linking against uninstalled, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoola
e
ge
add more miss
i
ng as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
d
oolaege
add du
m
my
impl
e
m
en
t
ation
s
of fu
n
c
t
i
ons
that depend
.
.
.
commit
|
commitdiff
|
tree
next