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
zsolve: don't install headers and executables
2007-10-31
Sven Ve
r
d
o
o
lae
g
e
zsolve:
d
o
n
't instal
l
he
a
ders and executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: initialize
B
ackupTime in
Z
Solv
e
Co
n
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve: zs
o
l
v
eSystem:
a
dd missing
v
erb
o
s
ity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zs
o
lve: overrid
e
LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
add 4ti
2
-1
.
3
.
1
+auto
c
onf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
eg
e
add zsolve f
r
om 4ti2
-
1
.
3
.
1+auto
c
onf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param
_
util
.
c: export bit_vector_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Ve
r
dool
a
ege
topcom
.
c: ext
r
act p
a
rt of cod
e
f
o
r
setting
up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
V
e
rdoolae
g
e
gen_fun
:
:
H
adamard_pr
o
duct:
p
rint progres
s
ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
m
ove --verbo
s
e opti
o
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun::s
u
mmate:
h
an
d
le f
u
ll specialization
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verd
o
o
l
aege
R
e
place incr
e
mental inf
i
nite set counter
by "re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::a
d
d_fall
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
merge (most of) common
p
art
o
f counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: handle s
p
ec
i
a
l
ization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: d
o
n
'
t bother "normalizing" the
e
x
p
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
ege
basis_redu
c
tion_cd
d
: c
h
eck for
p
o
s
sib
l
y inc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
P
oly
h
edr
o
n_Sample: handle polyhedr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
a
ege
gen_
f
un::
o
perator evalue
*:
always return a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
l
aege
g
e
n_fun::oper
a
tor
evalue *:
remo
v
e comment
e
d out
d
ebuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_
e
nu
m
erate
_
e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
barvinok_enu
m
erate_
e
:
o
p
tionally p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
barvin
o
k_enum
e
r
a
te_
e
:
support verification of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
barvinok_enumerate_e: suppo
r
t conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
latt
i
ce_points: anothe
r
micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolae
g
e
latt
i
ce_points
_
fixed: nan
o
-o
p
timizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
e
g
e
gen_fu
n
:
:
a
dd: conte
x
t of sum should
be union of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
barvinok_enumer
a
te: use
v
erify infr
a
struc
t
ure
f
o
r
verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
dool
a
ege
genfun
.
c
c
:
pr
i
nt_power: drop spac
e
s around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
doolaege
co
u
nt_point
s
_e
:
fall
b
ack
t
o count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Mak
e
file
.
am: check-evalue: print na
m
e of ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
e
ge
verify: a
d
d che
c
k_poly_
p
rin
t
helper
func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make sure context
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
r
educer::re
d
uc
e
: canoni
c
a
lize coefficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
shor
t
_rat::
p
rint: correctly
p
rint out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aeg
e
b
arvinok
_
serie
s
:
rec
h
eck for
e
qual
i
ties after co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
d
o
olaege
export Matrix_Read for re
a
ding Matrix
f
r
o
m
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param
_
util
.
c: add Pa
r
am_Vertex_
D
omai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
uti
l
.
c: supporting_con
s
t
r
a
i
n
t
s:
r
etu
r
n bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
polylib: update for Ma
t
r
i
x_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: us
e
Polyhedron_
S
ample for coun
t
ing infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of and use s
a
turat
i
ng
c
o
n
s
tra
i
nts in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
move value_gcd
a
n
d v
a
lue_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
Bernoulli_s
u
m
_
evalue:
o
nl
y
comp
u
te
exa
c
t
s
um if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erd
o
olaege
Be
r
noulli_sum
_
e
value
:
s
u
m over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
:
e
x
port
e
value_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
P
o
lyhedron_Exchang
e
C
o
lumns: normal
i
ze constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export Polyhedr
o
n_
E
x
changeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalu
e
_poly
n
omial: opt
i
mize
e
valuat
i
on in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
evalue
.
c: emul:
h
andle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaeg
e
evalue
.
c: eadd: han
d
le
s
ome special c
a
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
intr
o
duce and
us
e
eval
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
dool
a
ege
evalue
.
c: eadd: micro-optimi
z
e addit
i
on of
t
wo
rational
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolae
g
e
setting an appro
x
i
m
at
i
on method
n
ow im
p
lies po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
barvinok_summ
a
te: o
p
tio
n
ally
u
se
B
er
n
oulli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
B
e
rnoulli_sum_
e
value: use
e
value_f
r
om_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok/p
o
lylib
.
h
:
remo
v
e com
p
atibility
with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
m
ove Vector_Opp
o
se
t
o Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyt
o
pe_scan: reenable
--direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
remove
_
a
l
l
_e
q
ua
l
ities: keep removing eq
u
a
li
t
ies until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
remove_al
l
_equali
t
ies: handle
emp
t
y po
l
yhedron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
rem
o
v
e
_all_equalities:
m
inor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
export Polyh
e
dron_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdo
o
laeg
e
polar_sig
n
ed_cone_consum
e
r: clean up
m
emory on
inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
Verdoolaege
Param_Inner_Product
:
fix u
s
e of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
laege
doc: fix t
y
po in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaeg
e
Add missing files from polymake cl
i
ent to distr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gm
p
's gc
d
rathe
r
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
poly
m
ake/README: mentio
n
--with-barvin
o
k c
o
nf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
polymake/Makefile
.
in: add work-aro
u
n
d
for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
evalue
.
c: prin
t
_eval
u
e
:
a
lway
s
print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
dool
a
ege
op
t
ions
.
c: fix t
y
po in --
a
ppro
x
imation-method
d
escript
i
on
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
topcom: fi
x
heu
r
is
t
ic
for
s
electing rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
olaeg
e
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoolaege
Me
r
g
e
bran
c
h 'to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Docum
e
n
t
TOPC
O
M based chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
t
est TOPC
O
M chamber deco
m
posi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Optiona
l
ly u
s
e
T
OPCOM to compute ch
a
mber decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
lexmin: a
d
d (pr
o
tect
e
d
) missing
a
lg
o
r
ithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdo
o
laege
Make
f
ile
.
am:
a
dd t
a
r
g
et for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
do
o
laege
doc:
u
pdate vo
t
i
ng
th
e
ory refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
o
c
ument barvinok_summate a
n
d barvino
k
_maxi
m
iz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: consi
s
tent use
o
f Barvinok'
s
initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
b
a
r
v
i
nok_summate: correct options des
c
ripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoo
l
aege
Document Euler-
M
a
c
laur
i
n based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
d
oc: c
h
ange exampl
e
environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
a
d
d some hidden sections to table
of
conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: an
o
ther
d
ocu
m
ent re
f
ering to
t
h
e
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add some te
s
ts
for
E
uler-Macl
a
ur
i
n based
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
doolae
g
e
Euler-Ma
c
laur
i
n based summ
a
tion for 1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
olaeg
e
Eule
r
-Ma
c
l
aurin
b
ased summation for 2D
p
r
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
decomposer
.
cc:
avoid
use of
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
b
a
rvinok_su
m
mate: verify solutio
n
over
w
h
ole para
m
ete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
i
n
troduc
e
b
a
r
v
i
nok_
s
u
mmate as a wrapper for e
v
alue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add e
v
al
u
e_mu
l
_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Ver
d
oolaege
evalue_{div,mul}: handle some tr
i
v
ial cases more eff
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
lattice_point: export fr
a
c
tion
a
l_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdo
o
la
e
ge
evalue
.
c
:
e
x
t
rac
t
common
code for
c
o
n
st
r
uction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
volume
.
c: export
P
aram_Polyhedron
_
Facet
commit
|
commitdiff
|
tree
next