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
lattice_width.c: try vertices of previous integer hulls in new integer hulls
2007-11-21
Sven Verdoolaege
lattice_w
i
dth
.
c: try vertices
o
f
prev
i
ous i
n
teg
e
r hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: document int
e
ger hull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdo
o
laege
h
ull
.
c: add all points
f
ound by
s
ampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
Possi
b
l
e
optimizations f
o
r generalized ba
s
i
s red
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support u
s
e of general
i
zed basis redu
c
tion t
o
co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
add Polyhedron_Integer_Minimum for computi
n
g the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdool
a
ege
doc: document
g
eneralized bas
i
s reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
aege
d
oc/
b
a
rvinok
.
b
i
b: add m
i
s
s
ing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
add more missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
evalue
.
c:
a
dd missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoo
l
aeg
e
configure
.
i
n
: pas
s
path of G
M
P insta
l
l
ation
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
configu
r
e
.
i
n: only compi
l
e libbar
v
inok a
s
a st
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
Pol
y
hedron_
R
ed
u
ced_Ba
s
is:
don't stop too
ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
compute_width_directions: o
n
ly
keep
l
ist of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
zsolve: don'
t
install library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
version
.
c
:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoolaeg
e
configure
.
in: don't se
t
with_{pol
y
,pip}lib_
p
r
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdo
o
l
aege
P
olyhedro
n
_
S
ample: be
satisfie
d
wit
h
a reason
a
bl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
cone_i
n
teger_hull
:
opti
o
nally
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
basis_redu
c
tion: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
options:
move --print-stats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
ber
n
stein: rewo
r
k testing framew
o
rk to not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
olaege
bernstein:
add
piecewise_l
s
t::
i
s_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
support newer versions of GiNa
C
(>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
standard_cons
t
raint
s
: move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
polysign
.
h: remove depen
d
ency on l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add banner
.
h to dist
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Ver
d
oolaege
Polyhedron_Lattice_Wid
t
h_Dir
e
c
tions: pr
i
nt pro
g
r
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
basis_reduction_p
i
p: abort
o
n inva
l
id (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
README
:
explain how to
g
e
t
s
ubmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: documen
t
lattice width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice widt
h
tests from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_La
t
tice_Wi
d
th: decide
on face
t
s to
c
l
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
r
d
oo
l
ae
g
e
ad
d
P
o
lyhedro
n
_L
a
t
tice_
W
id
t
h
f
or
c
omput
i
ng
l
a
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hilbe
r
t
.
c:
a
dd Cone_
I
ntege
r
_Hul
l
for computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
poly
s
ign: add pip
-
backe
d
v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaeg
e
polysign: a
d
d constraints_op
t
to
c
o
mpute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oola
e
ge
polysign_c
d
d: switch t
o
use of M
a
tr
i
x
re
p
re
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk: sw
i
t
ch to us
e
of Matrix repr
e
s
entat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
r
d
oolaege
d
o
c: document
computation
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_H
i
lbert_Bas
i
s: use standard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
Use zs
o
l
ve
to c
o
mpute
Hilber
t
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
r
doolaege
com
p
ile
z
sol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: don't install h
e
aders and ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
e
ge
zsol
v
e: initia
l
ize Back
u
p
T
ime in ZS
o
lve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve:
zsolveSystem
:
add missing ver
b
osity
c
hec
k
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: o
v
er
r
id
e
LIB
S
from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve from 4ti
2
-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_ut
i
l
.
c: export
b
it_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
l
a
ege
topcom
.
c:
extract part of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ve
n
Ve
r
doolaege
gen_fun:
:
H
adam
a
r
d
_product: print pr
o
gr
e
ss in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n V
e
rdoolaege
move --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
s
um
m
a
t
e
: handle full
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
a
e
ge
Replac
e
in
c
r
emental
infinite set co
u
nter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ma
k
e
cou
n
ter
:
:add_falling_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
laege
merge (mos
t
o
f) co
m
mon part o
f
c
o
unter
a
n
d tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handle sp
e
cializatio
n
of
polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
ic
o
unter:
d
on
'
t bother
"
n
ormalizing" the ex
p
o
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
x
p
o
r
t
n
e
g_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
basis_
r
e
du
c
tion_cdd: check for possibly
inc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhedron_Sample
:
ha
n
d
l
e
p
olyhedr
o
n b
e
coming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
g
e
n_fun::
o
perator
e
value *: always return a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun::operator evalue *: r
e
move co
m
m
e
nted out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok
_
enu
m
erate_e
.
c
c: handle verificatio
n
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
b
ar
v
inok_enumerate
_
e: opt
i
o
nally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvin
o
k_enumerate_e:
s
up
p
o
rt verificat
i
o
n of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
ino
k
_enu
m
erate_e: support
c
onver
s
ion of
generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
tic
e
_points:
a
nother micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
lattice_p
o
ints_
f
ixed:
n
ano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::add: contex
t
of sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enume
r
ate
:
u
se ver
i
fy infrastru
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
genfun
.
cc: pri
n
t_power: drop s
p
aces around "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e:
fal
l
back to count_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
a
kef
i
le
.
am: che
c
k
-evalue: print name o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
dool
a
ege
ver
i
f
y
:
a
dd
c
hec
k
_po
l
y
_
print helper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ge
n
_fun: make sure context is
al
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
r
e
ducer::red
u
ce:
c
anonicalize coeff
i
cients in
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
shor
t
_rat::prin
t
:
correctly print out
terms w
i
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barv
i
nok_s
e
ries
:
recheck for equ
a
lities
after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
xport Matrix_Rea
d
for reading Matrix f
r
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
p
aram_util
.
c
:
add Pa
r
am_
V
ertex_Doma
i
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
u
til
.
c: support
i
ng_
c
ons
t
raints:
r
eturn bit
v
ec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
p
o
lylib:
u
p
date f
o
r
Matri
x
_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oola
e
ge
opti
o
ns
.
c: use Polyhedron_Samp
l
e fo
r
counting in
f
ini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
k
e
ep tr
a
ck o
f
a
nd
use saturating
constra
i
n
t
s in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
ov
e
va
l
ue_gcd and value_l
c
m to po
l
yli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolae
g
e
Be
r
noulli_sum_eva
l
u
e
:
only compute e
x
act su
m
if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
a
ege
Be
r
n
oulli_s
u
m_evalue:
s
u
m
over variab
l
es with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
evalue
.
c
:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
P
o
lyhedro
n
_Exc
h
angeColumns: normalize constraints
aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
export P
o
l
y
hedron_Excha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue_poly
n
omial: optimize evaluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
e
value
.
c: emul: handle anot
h
er special case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalue
.
c
:
eadd
:
handl
e
some spec
i
al cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoo
l
aege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
e
value
.
c
:
eadd: micro-
o
p
timize addition of two rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
se
t
t
i
n
g
an approximation
m
ethod now im
p
lies polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ba
r
vinok
_
summat
e
: opti
o
nally use Berno
u
l
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
Bernoulli_sum
_
e
v
alue:
use eval
u
e_fr
o
m_sec
t
ion_arra
y
.
.
.
commit
|
commitdiff
|
tree
next