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: document integer hull computation
2007-11-21
Sven Ver
d
o
o
laege
doc
:
document
i
nteger hull com
p
utat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
hull
.
c
:
add
a
l
l
points
f
ound by
s
ampl
i
ng
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdo
o
laege
Possible
optimizations for ge
n
er
a
liz
e
d ba
s
is redu
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
aege
Support use
o
f gene
r
a
lized basis r
e
duction
t
o comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Inte
g
er_Minimum
for c
o
mputing the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdo
o
laege
doc: document ge
n
eralize
d
b
asis red
u
ction bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
doc/barvinok
.
bib: add missi
n
g string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoo
l
aege
add more missin
g
asse
r
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdool
a
e
g
e
eva
l
ue
.
c: add
m
is
s
ing include
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoola
e
ge
configure
.
in: pass p
a
th of GM
P
i
n
stallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: on
l
y
compil
e
lib
b
arvinok as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verd
o
olaeg
e
Polyh
e
dron_Reduced_Basis: don't
s
t
op too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
comp
u
te_width_directions: only ke
e
p list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve: don't ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
v
ersion
.
c: show use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
c
o
nfigure
.
i
n
: do
n
't s
e
t with_{poly,pip
}
lib_p
r
e
fix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_
S
ampl
e
: be sa
t
i
s
fi
e
d with
a r
e
a
s
onable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
l
a
e
ge
c
o
ne_i
n
teg
e
r_hull: optionally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
basis_reduction: keep t
r
ack of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
options: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein: r
e
work te
s
ting framework to no
t
d
epen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
e
ge
bernstein: add pie
c
ewise_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
support
n
ewer ve
r
sions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
standard_constraints: move from topco
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaege
p
olysign
.
h: remove de
p
e
ndency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
olaege
zsolve:
add bann
e
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Pol
y
hed
r
on_Lattice_Width_Di
r
ecti
o
ns: print pr
o
g
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoo
l
aege
bas
i
s
_reduction_pi
p
:
a
bort on invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
REA
D
ME: explain
how to get sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
do
c
: do
c
ument lattice width c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some lattice width tests
f
r
om Jon
Y
a
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rd
o
olaege
Polyhedron_L
a
tt
i
c
e
_Width: de
c
i
d
e on
f
acet
s
to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
add Polyhedro
n
_Lattice_Wid
t
h for c
o
mput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add
Co
n
e_In
t
eger_Hull f
o
r computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysi
g
n:
ad
d
pip-ba
c
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
poly
s
i
g
n: add con
s
traints_opt to compute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
p
olysign_cdd:
s
witch to use of Matrix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
polysign_glpk:
s
wit
c
h to use
o
f M
a
trix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
doc:
document
c
omput
a
tion
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
aege
Cone_Hilbert_Bas
i
s: use standard_constraints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
Use zsolve to compute Hilbert ba
s
is of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
a
eg
e
zsolve:
d
on't ins
t
all
headers and
e
x
ecutables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
zsolv
e
: in
i
tialize BackupTime
in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laege
zsolve: zsolveSystem: add missing verbosity
c
he
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
z
s
olv
e
:
o
verr
i
d
e LIBS from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
add zsol
v
e
from 4ti2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param_util
.
c: exp
o
rt bi
t
_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
topcom
.
c: extrac
t
part o
f
code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
V
e
rdoolaege
gen_fun::Had
a
mard_product:
p
r
i
n
t prog
r
ess indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verdoolaege
m
ov
e
--v
e
rbose option to l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
gen_fun::summate: handle full specializat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolae
g
e
Repl
a
ce incremental infinite set counter by
"
re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ol
a
ege
ma
k
e
c
ounter::a
d
d_
f
al
l
in
g
_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oo
l
aege
merg
e
(
m
o
st of)
c
omm
o
n part of c
o
unter and tcoun
t
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icount
e
r: handle special
i
zation of
p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bother "norma
l
iz
i
ng" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
ex
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
s
is_re
d
u
ction_cdd
:
check for possibl
y
incorrect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhedron_Sample: handle pol
y
hedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
ool
a
e
g
e
gen_
f
un::ope
r
ator evalue *: always r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
g
e
n_fun:
:
op
e
ra
t
or
evalu
e
*:
r
emove com
m
ented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
b
arv
i
nok_enumerate_e
.
cc:
h
a
n
dle verification of pr
o
blem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
bar
v
in
o
k
_
enumerate_e: option
a
lly print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate
_
e: support veri
f
ication of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok_enu
m
erate_e: supp
o
rt
c
onversion of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
lattice_p
o
ints: a
n
other micr
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_points_f
i
x
ed: n
a
no-o
p
timizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::a
d
d
: cont
e
xt of
s
um
shou
l
d be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
barvinok_enumerate: use verify infrastructure
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: print_powe
r
: dr
o
p space
s
aro
u
nd "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
count_po
i
n
ts_e: fall bac
k
to count_p
o
ints i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
Makefile
.
a
m: check-eva
l
u
e: print name of
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
verify: add
check_poly_print
h
elper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
aege
gen_fun: make
sure
context i
s
a
lways se
t
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
r
e
d
uc
e
r::reduce: canoni
c
alize coe
f
ficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
short_rat::print: correctly print out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barv
i
nok_series:
reche
c
k
for equ
a
lities aft
e
r c
o
mpu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort Matrix_
R
ead for
r
eading Mat
r
ix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
param_uti
l
.
c: add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
util
.
c:
sup
p
orting_constra
i
nts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
po
l
ylib: update for
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
opt
i
ons
.
c: use
Polyhedron
_
Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep tr
a
ck of and
use
s
aturatin
g
c
o
nstraints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
move val
u
e_gc
d
a
n
d value_l
c
m
t
o pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdo
o
laege
Bernoulli_
s
um_ev
a
lue: only
c
ompute exact sum
i
f
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
B
e
rnoulli
_
s
um_ev
a
lue:
s
um ov
e
r variables with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
evalue
.
c
:
e
xport
e
valu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
ol
a
ege
Polyhedron_Ex
c
hangeCol
u
mns: normalize co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
exp
o
rt Polyhedron_ExchangeColumn
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue_
p
olynomial: opti
m
ize eval
u
a
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c
: emul: han
d
le ano
t
her spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
e
value
.
c: eadd: handle so
m
e sp
e
cial cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
int
r
oduce and
u
se evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: m
i
cro-optimize
a
ddition of tw
o
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
settin
g
an
a
pproximation method
now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
bar
v
inok_s
u
mmate: optionally
use Bernoulli/Fau
l
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaeg
e
Bernoulli_sum_e
v
a
l
ue:
use evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/
p
olylib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
next