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
test_bound: convert quasipolynomials to polynomials prior to computing bound
2007-11-02
Sven Verdool
a
ege
s
o
me latt
i
ce
widt
h
tests f
r
om Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doo
l
aege
Polyhe
d
r
o
n
_Lattice_Width:
decide o
n
f
ace
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
ad
d
Polyhe
d
r
o
n_
L
att
i
ce_Width for computing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolae
g
e
hi
l
ber
t
.
c:
add Co
n
e
_Integer_
H
u
ll
for comput
i
ng
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
o
l
a
e
g
e
polysign
:
add
pip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
po
l
ysign:
add c
o
nstr
a
ints_opt
to compute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
ool
a
ege
p
o
lysign_
c
dd: switch to u
s
e of Matri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
pol
y
s
i
g
n
_gl
p
k: switch
t
o
use of Matrix representa
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
doc:
d
o
c
u
m
ent computation of Hilbert
b
asis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
Cone_Hilbert_Bas
i
s: use stan
d
ard_constrai
n
ts
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use zsolve to comput
e
Hilb
e
rt bas
i
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aeg
e
compile z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install
h
e
a
ders
and execu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: initi
a
li
z
e Backup
T
i
m
e
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e:
zso
l
v
e
Sy
s
tem:
a
d
d missing verbosi
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
a
ege
zsolve: override LIBS from t
o
p
l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4t
i
2-1
.
3
.
1+auto
c
on
f
-
0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
ad
d
z
s
o
lve from
4
ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
la
e
ge
param_u
t
il
.
c: ex
p
ort bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
t
op
c
om
.
c
:
extrac
t
part of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
V
e
rdool
a
ege
g
e
n_fun::H
a
damard_prod
u
ct:
p
rint
p
rogress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --verbose op
t
io
n
to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:sum
m
ate: handle
full
s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Replace incremental inf
i
nit
e
set c
o
unter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verd
o
olaege
make counter::a
d
d_falling_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
merge (
m
ost of) common
p
a
rt of counter
and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
icounter: ha
n
dle spec
i
alization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
nter: don't bother "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
exp
o
rt
n
e
g_le
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
basis_reduction_cdd:
c
heck for possibly incorrect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
P
oly
h
edron_Sample
:
handle polyh
e
dr
o
n becomi
n
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fu
n
::operator
e
v
alue *:
a
l
ways return a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::operator evalue *
:
remo
v
e c
o
mmented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumerate_e
.
c
c
:
handle verification
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
barvinok
_
enumerate_e: opti
o
n
ally prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
barvinok
_
enume
r
ate_e:
s
up
p
ort verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
ba
r
vi
n
o
k_enum
e
rate_e:
support convers
i
on o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
lattice_points: another micro
-
o
ptimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
lattice_p
o
ints
_
fi
x
e
d: nano-optimi
z
a
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
a
dd: c
o
nte
x
t
o
f
s
u
m
s
h
ould be union of
c
o
n
t
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_
e
n
u
m
er
a
te:
use verify in
f
rastruct
u
re for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
a
ege
g
e
n
f
un
.
cc: p
r
int_pow
e
r
:
d
r
o
p
sp
a
ces a
r
ound
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
cou
n
t_points_e: f
a
ll ba
c
k to
c
ou
n
t_po
i
nts
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
Makefil
e
.
a
m
: check-evalue:
p
rin
t
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
verify: add check_p
o
ly
_
print helpe
r
functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
gen_fun
:
make sure co
n
tex
t
is
a
l
w
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
r
e
ducer:
:
reduce: canonical
i
ze coeffici
e
n
ts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
short_rat::print:
correctly print out te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdo
o
lae
g
e
barvinok_s
e
r
ies: r
e
che
c
k
f
or equal
i
t
ies after
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
export Matrix_
R
ead for rea
d
ing Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
para
m
_util
.
c: add Param_Vert
e
x_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
util
.
c
: suppor
t
ing_co
n
str
a
i
nts:
return b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
polyl
i
b: update fo
r
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
op
t
ions
.
c: use Polyhedr
o
n_Sample for
counting
i
n
f
i
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rd
o
olaege
keep track of a
n
d use sat
u
r
a
ting constraints i
n
P
aram_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move value_
g
cd a
n
d
v
alue_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Berno
u
lli_sum_e
v
alue:
only comp
u
te exac
t
sum
i
f approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
Bernoul
l
i_sum_evalue
:
sum ov
e
r variables with intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
eval
u
e
.
c
:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oolaege
Polyhedr
o
n_Exc
h
angeColumns: norma
l
ize const
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olae
g
e
exp
o
rt Polyhedro
n
_Excha
n
geCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
evalue_
p
o
lynomi
a
l:
optimize evaluation
i
n zer
o
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
e
v
alue
.
c:
e
mul: h
a
ndle ano
t
h
e
r special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue
.
c: eadd: handle
some
s
pe
c
ial cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
intr
o
duce
and use eval
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalu
e
.
c:
ea
d
d:
m
icro-opt
i
m
i
ze addi
t
ion of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
setting
a
n
appro
x
imati
o
n method n
o
w implies p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
bar
v
i
no
k
_s
u
mma
t
e: op
t
i
o
nally use
Be
r
noulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
a
e
ge
B
e
rnou
l
li_sum_ev
a
l
u
e: use
e
v
a
lue_
f
rom_sect
i
o
n
_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
barv
i
nok/p
o
lylib
.
h
:
remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
V
e
c
t
o
r_Oppose
t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolae
g
e
p
o
l
y
t
ope_scan
:
reenab
l
e --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
e
r
do
o
laege
remo
v
e_all_
e
qualities: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equalities
:
han
d
le em
p
t
y polyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolae
g
e
r
e
move_all_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyh
e
dr
o
n_
M
a
trix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
V
er
d
o
o
laege
pola
r
_signed_co
n
e
_
co
n
sumer: clean up memor
y
on
inappropr
i
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Param_Inner_Product: f
i
x use of
valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc
:
fix t
y
po in
M
iche
l
e Ver
g
ne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing files
from polymake client to distributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Use g
m
p
'
s gcd rather
t
han PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaeg
e
p
olyma
k
e
/README: men
t
ion --with-barvinok
confi
g
ur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymake/Makefile
.
i
n: add work-around fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
evalue
.
c: print_evalue: a
l
ways pr
i
nt
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fix typo in --
a
pproximation-method d
e
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Verdoolae
g
e
top
c
om: fix heu
r
ist
i
c f
o
r selectin
g
rows to use a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolae
g
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Merge branch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoolaege
D
o
cu
m
ent
T
O
PCOM
b
as
e
d
c
hamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
te
s
t TOPCOM
c
hamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optional
l
y use TOPCOM to compute chamber
decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (prot
e
cted) mis
s
i
ng
algori
t
hm include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefi
l
e
.
am: ad
d
targ
e
t for crea
t
ing dist wit
h
gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: up
d
ate
vo
t
i
n
g
t
heory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvi
n
ok_summate and barvin
o
k_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
doc
:
consistent use o
f
Barvinok's
ini
t
ial
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdo
o
laege
b
arvinok_summate:
correct
o
p
t
ions des
c
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Documen
t
Euler-Maclaurin base
d
summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolae
g
e
d
oc: change exa
m
ple envi
r
on
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
some hidden sections to table of contents
commit
|
commitdiff
|
tree
next