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
evalue_range_propagation: add monotonicity test
2007-11-01
S
ven
Ve
r
do
o
l
a
ege
Polyhedro
n
_La
t
tic
e
_Width:
d
ecide on
f
acet
s
to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_La
t
tice_Width for c
o
mputing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oola
e
ge
hilbert
.
c
: add Cone_In
t
eger_H
u
ll for computi
n
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
pol
y
s
i
gn: add p
i
p-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysi
g
n
:
a
d
d
constraint
s
_opt to compute
o
ptimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysi
g
n_cdd: switc
h
to us
e
of Ma
t
r
ix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
o
l
ae
g
e
poly
s
ign_glpk: switch to use o
f
Matrix re
p
resent
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: docu
m
ent
c
o
m
putation
o
f
Hilbert basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
g
e
C
o
ne
_
Hilbe
r
t
_B
a
sis: use standard_constraints
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
Use zsolve to comp
u
te Hilb
e
rt basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
o
mpile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don'
t
in
s
tall headers and
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
z
s
olve: initialize BackupTim
e
in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
zsolve: zsolve
S
y
s
tem: ad
d
missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
4
t
i2-1
.
3
.
1+a
u
toconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
add
z
solve from 4ti2
-
1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
para
m
_util
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
opcom
.
c: extract
p
art of code
for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaege
gen_fu
n
::Hadamard_product: print progr
e
ss indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
m
o
ve --ver
b
ose optio
n
t
o
libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun
:
:summate: handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Repla
c
e incremental infini
t
e
set c
o
unte
r
by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
make co
u
nter::a
d
d_falling
_
powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doo
l
aege
m
erge (mos
t
of) common
part of co
u
nter
a
n
d tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
unter: hand
l
e
specialization of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
icounter: do
n
'
t
bother "normal
i
zing
"
the expone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
n
e
g
_
le
f
t
_
hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
o
lae
g
e
basi
s
_r
e
duc
t
ion_cdd:
c
h
e
c
k for possibly inc
o
rr
e
c
t
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
P
o
lyhe
d
ron_
S
ample: handle pol
y
hedron
becom
i
n
g
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::ope
r
a
t
or
e
va
l
ue *: al
w
ays retu
r
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operat
o
r
e
value *:
remove commented
o
ut debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
l
aege
barvinok_enumera
t
e_e
.
cc: hand
l
e v
e
ri
f
ica
t
i
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enum
e
rate_e: option
a
lly p
r
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
do
o
laege
barvino
k
_
enumerate_e: support verification of
generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e:
support conversion of
g
ener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verd
o
olaege
l
a
ttic
e
_points:
a
n
o
t
h
e
r
micro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
t
i
ce_po
i
n
ts_f
i
xed: nano
-
op
t
im
i
zat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::add: c
o
ntext of s
u
m should be union of
c
o
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok
_
enumerat
e
: use
v
erify infrastr
u
c
ture for verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
doolaege
genfun
.
cc: print
_
power: drop s
p
ace
s
a
r
ound
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
coun
t
_p
o
int
s
_e:
f
a
l
l
back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
g
e
Makefile
.
am: check-evalu
e
: print
name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
verify: add check_poly_print h
e
lper function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
o
laege
gen_f
u
n
: ma
k
e s
u
re c
o
ntext
is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
reducer::reduce:
canonica
l
ize coe
f
ficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
short
_
rat::print: correctly
p
rint o
u
t term
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_series: rechec
k
fo
r
equa
l
ities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
export Matrix_Read
for reading Matr
i
x from a
s
trea
m
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
param_util
.
c:
a
d
d Param_V
e
r
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
ut
i
l
.
c
:
supporti
n
g
_
constr
a
ints: r
e
turn bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
la
e
ge
polylib: upd
a
te for Ma
t
rix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
opti
o
n
s
.
c: use
P
olyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
keep tr
a
ck
of
and
u
se satur
a
ting const
r
a
i
nts in
Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
move valu
e
_gcd and value_lc
m
to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Ber
n
ou
l
li_
s
u
m
_evalue: on
l
y
comp
u
te exact sum
if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
Be
r
noulli_sum_evalue: sum over variables with integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
al
u
e
.
c: ex
p
o
rt evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
P
o
l
y
hed
r
on_Exchange
C
olumns: normal
i
ze constrai
n
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
export Po
l
yhedr
o
n_Exchange
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
evalu
e
_pol
y
n
o
mial:
o
p
timize eva
l
uati
o
n
i
n zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
v
alue
.
c
: e
m
ul: handle another specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
evalue
.
c:
eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
tro
d
u
c
e
a
nd use eval
u
e_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
e
v
alu
e
.
c
:
eadd: micr
o
-optimize additi
o
n of two
ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setti
n
g
an approximation me
t
hod n
o
w implies
po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: optionally use Bernoulli/Fau
l
habe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
B
e
rnoull
i
_
s
u
m_e
v
a
l
ue:
use
e
value_from_section
_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/
p
olylib
.
h: remove compatibility wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
do
o
laege
move V
e
ctor_Oppose to Pol
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oola
e
ge
polytope_s
c
an: reenable --direct
optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
ol
a
ege
remove_all_equ
a
lities: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_eq
u
alit
i
es: handle empty po
l
yhed
r
o
n
detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
re
m
ov
e
_all_
e
q
ualities: mino
r
cod
e
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
export Po
l
yhedron
_
Matrix_Vie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verd
o
ol
a
ege
po
l
ar_signed_cone
_
consumer: clean up
m
e
m
ory on
inappropr
i
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Ver
d
o
o
lae
g
e
Par
a
m_In
n
e
r_Produc
t
: fix us
e
of valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verd
o
o
l
aege
doc:
f
ix typ
o
in Michel
e
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoo
l
aege
Ad
d
m
i
ssing files from
po
l
ymake clie
n
t to d
i
stri
b
ut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
U
s
e gmp'
s
gc
d
rather than PolyL
i
b'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ve
r
d
oo
l
aege
polymake/READ
M
E: mention --
w
ith
-
barv
i
nok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoo
l
a
ege
polymake
/
Makefil
e
.
in: add work-around for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
eva
l
ue
.
c: prin
t
_ev
a
lue: always print newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdo
o
laege
o
ptions
.
c: fix typo in --approximation-method desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n
Verdoolaege
topco
m
: fix h
e
ur
i
stic for selecting
row
s
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
V
erdool
a
ege
Me
r
ge
b
ranch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Document TOPCOM based chamb
e
r
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
te
s
t TOP
C
OM chamber decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
Optionally use TOPC
O
M
to compute chamber decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
lexmi
n
: add (protec
t
ed) missing algorit
h
m includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoola
e
ge
Makefile
.
am:
a
dd target for cre
a
ting d
i
st wi
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
u
pdate
v
oting
theor
y
reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
erdo
o
laege
doc
u
ment barvinok_summ
a
te and
b
arvinok
_
m
a
ximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
g
e
doc: consi
s
t
e
n
t use of Barvi
n
ok's in
i
t
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
ba
r
vinok_summat
e
: cor
r
ect o
p
ti
o
ns description
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doolaege
Document Euler-Maclaurin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: cha
n
ge example en
v
ironmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add some
hi
d
den sections
to table of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
doc: ano
t
her document
r
efering to the library
commit
|
commitdiff
|
tree
next