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
doc/barvinok.bib: add missing string
2007-11-21
Sven
Verdoolaege
doc/barvinok
.
bib:
a
dd m
i
ssin
g
st
r
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
r
doola
e
ge
a
dd more
miss
i
ng assert
.
h #i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
evalue
.
c:
a
dd missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
c
onfig
u
re
.
in: pass pa
t
h
of
G
MP ins
t
allation
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
co
n
figu
r
e
.
in:
o
nly co
m
p
ile l
i
bbarvinok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
oolaege
Polyhedron
_
Reduce
d
_Basis: don't
s
to
p
too earl
y
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
co
m
p
ute_width_d
i
rec
t
ions: only keep list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zs
o
lve: don't ins
t
a
ll l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
versio
n
.
c: show
u
se of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
configure
.
in:
don't
set wit
h
_
{
poly,pip}
l
ib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
er
d
oolaege
Poly
h
edron_Sa
m
ple: be satisfied
with a reasonable cho
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
cone_integer_hull: o
p
tionally print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
b
as
i
s_redu
c
t
ion: keep
track of nu
m
ber
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdool
a
e
g
e
optio
n
s: mo
v
e -
-
print
-
stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
be
r
n
s
tein
:
re
w
ork testin
g
fr
a
m
e
w
ork to not d
e
pend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
bern
s
tein:
a
d
d piec
e
wis
e
_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
l
aege
sup
p
o
rt newer
versions of GiN
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoolaege
st
a
ndard_c
o
nstrain
t
s: move
f
r
o
m topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
poly
s
i
g
n
.
h: re
m
ove
dependen
c
y on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add
banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedron_
L
attice_Width_Dir
e
ctions: pri
n
t prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdool
a
ege
basis_reduction_pip: ab
o
rt on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
README: expl
a
in how to get su
b
module
s
commit
|
commitdiff
|
tree
2007-11-02
S
ven V
e
rdo
o
laege
d
oc: do
c
ument lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Ver
d
oolaeg
e
some lattice width t
e
sts from J
o
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laeg
e
Pol
y
hedron
_
L
attice_Width: d
e
cide on facets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
a
e
g
e
add Pol
y
hedron_Lattice_W
i
dth
f
or computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoo
l
aege
hilbe
r
t
.
c: add Cone_I
n
t
e
ger_Hull f
o
r comp
u
ting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
polysig
n
:
a
dd pip-b
a
cked version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
poly
s
ign: ad
d
constraints_opt to co
m
pute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
po
l
ysign_cdd: s
w
itch to
use of Mat
r
ix repre
s
en
t
atio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laege
p
o
l
ysign_gl
p
k: switch to use of Matrix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoola
e
ge
doc: d
o
cu
m
ent
c
omp
u
t
at
i
on of Hilbert
basis of a
c
on
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Cone
_
Hilbert_Basis: use standard
_
con
s
traints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
r
dool
a
ege
Us
e
z
s
olve to compute H
i
lbert basis of a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zs
o
lve:
d
o
n't install headers a
n
d executabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zs
o
l
ve: initial
i
z
e B
a
ckupTime in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
zsolve: zsolveSystem:
a
dd missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
zsolve
:
override LIBS from top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
add 4ti2-1
.
3
.
1+a
u
to
c
onf-0
.
1 ban
n
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoo
l
aege
a
d
d zs
o
l
ve f
r
om
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: export b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdool
a
ege
t
o
pcom
.
c: extract part
o
f
c
ode
for setting up s
t
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
rdool
a
ege
gen
_
fun:
:
Ha
d
amar
d
_p
r
oduct:
p
r
int progress
indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erd
o
olaege
move --verbo
s
e option to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
gen_f
u
n:
:
summate: h
a
ndle full
s
pec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace i
n
cremental infinite set counter
by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
make counter
:
:add_fal
l
ing_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
merge (
m
o
st
o
f) common pa
r
t
of c
o
unter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icoun
t
er:
h
andle specialization o
f
p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
la
e
g
e
i
c
ount
e
r: don'
t
bother "n
o
rmaliz
i
ng"
t
he exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
export neg
_
left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basi
s
_
reduction_
c
dd: check for
p
ossibly incorrect ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Polyhedron_Sample
:
handle po
l
yhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
gen_fun
:
:
o
perator evalue *: always re
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:o
p
erator evalue *: r
e
mov
e
commented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_enum
e
rate_e
.
cc: handle veri
f
ication of p
r
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
a
r
v
inok_
e
n
ume
r
at
e
_e: optio
n
all
y
p
r
int
sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvino
k
_
e
n
u
merate_
e
: support
v
erification o
f
genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
barvinok_e
n
ume
r
ate_e: support co
n
version of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
lattice_poi
n
t
s
: anoth
e
r micr
o
-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdo
o
laege
lattice_point
s
_fi
x
ed: nan
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun:
:
add:
c
ontex
t
of s
u
m should be u
n
ion of
con
t
e
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvi
n
o
k
_enu
m
erate: use
veri
f
y
i
nfrastru
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
genfun
.
c
c
: p
r
i
n
t
_
power: drop sp
a
ces around
"
/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
aege
count_poi
n
t
s
_e: fall back to cou
n
t_p
o
in
t
s if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
Makefile
.
am: che
c
k-evalue
:
print n
a
me of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_pr
i
nt hel
p
er fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ge
n
_fun:
m
ake sure context is
alwa
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
re
d
uc
e
r::red
u
ce
:
canoni
c
ali
z
e coefficients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
short_rat::print
:
correctly
p
r
int ou
t
ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
r
vi
n
ok_s
e
ries:
r
echeck
f
o
r equaliti
e
s
after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
dool
a
ege
expor
t
Mat
r
ix_Read
f
or rea
d
ing
Matrix fr
o
m a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
para
m
_util
.
c: add Param_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
u
t
il
.
c: supporting
_
cons
t
raints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polylib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
opti
o
n
s
.
c
: use P
o
lyhedron_Samp
l
e for c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
kee
p
track of and u
s
e satu
r
ating constrai
n
ts in
P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
valu
e
_gcd an
d
valu
e
_lcm
t
o
p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
Ber
n
oull
i
_sum
_
eval
u
e
: only compute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
Bernoulli_sum_ev
a
lue:
s
um
o
v
e
r var
i
able
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
ev
a
lue
.
c: expo
r
t
eval
u
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhedron_Exchang
e
Columns: normal
i
ze constra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
export Polyhedr
o
n_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
eval
u
e_
p
o
lynomial: o
p
timize evaluati
o
n in
zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c
: e
m
ul: h
a
ndle another
specia
l
c
a
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
e
v
a
l
ue
.
c:
e
add: handle some special
cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
la
e
ge
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
v
alue
.
c: e
a
dd:
m
i
c
ro-opt
i
mize addition of
t
wo rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
setting an approximation method now
i
mp
l
ies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_summa
t
e: op
t
iona
l
l
y use
B
ernoull
i
/
Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Be
r
noull
i
_sum
_
eval
u
e: use ev
a
lue_fr
o
m_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
inok/polylib
.
h: remove c
o
mpatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
move Vector_Op
p
o
s
e to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pol
y
t
o
pe
_
scan: reenab
l
e --dir
e
ct o
p
tio
n
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verd
o
o
l
aege
remove_all_equali
t
i
e
s: keep re
m
oving
e
qual
i
ties
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalit
i
es:
h
andle
e
mpty polyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laeg
e
rem
o
ve_a
l
l
_
equaliti
e
s: m
i
no
r
c
ode clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
o
laege
export Po
l
yhed
r
on_Mat
r
ix_View
commit
|
commitdiff
|
tree
next