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
configure.in: pass path of GMP installation to PolyLib's configure
2007-11-17
Sven Verdoolaeg
e
configure
.
in: pass path
o
f GMP
i
nsta
l
lation t
o
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaeg
e
c
o
n
f
igur
e
.
i
n: on
l
y
compile libba
r
v
inok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
Polyhedron_R
e
duced_
B
asis: don't stop too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_dir
e
ctions: onl
y
keep list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolv
e
:
d
o
n't install li
b
r
ar
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
oolae
g
e
versio
n
.
c: show use
of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
a
e
g
e
co
n
f
i
g
u
re
.
i
n: d
o
n't set with_{pol
y
,
pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_
S
ample:
b
e sati
s
fied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
e
r
do
o
la
e
g
e
con
e
_integer_hull: optional
l
y pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
l
a
e
ge
basis
_
re
d
uction: keep trac
k
of
n
umber o
f
LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
op
t
ion
s
: move --print-stats
t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
g
e
b
erns
t
e
i
n: re
w
o
r
k
t
e
sti
n
g framewo
r
k t
o
not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolae
g
e
ber
n
stei
n
: add
pi
e
ce
w
ise_lst
:
:is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
eg
e
s
u
pp
o
rt new
e
r ver
s
ions of G
i
NaC
(>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
dool
a
ege
stan
d
ard_constrai
n
ts: mo
v
e
f
ro
m
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remo
v
e dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doo
l
a
e
g
e
z
s
olve: add banner
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
S
ve
n
Verdoolae
g
e
Polyhed
r
o
n
_La
t
tice_Width_Directio
n
s: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verd
o
olaege
basis_reduct
i
on_pi
p
:
abort on invalid (em
p
ty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
README: explain how
t
o
ge
t
subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoola
e
g
e
doc: docume
n
t lattice w
i
dth co
m
put
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
r
doo
l
aeg
e
some
l
a
tt
i
ce width tests fr
o
m Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
ge
P
olyhedr
o
n_Lattice_Wid
t
h: decide o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add
P
o
l
yhe
d
r
on
_
Lattice_Width for computi
n
g latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ver
d
oolaege
hil
b
er
t
.
c:
add Cone_Inte
g
er_H
u
ll for co
m
puting
v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
polysign:
add pip
-
backed ver
s
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
y
s
ign: ad
d
constra
i
nts_
o
pt to
c
ompute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
r
d
o
olaege
poly
s
i
g
n_
c
dd:
s
w
itch to use of Ma
t
r
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
polysign_glpk: sw
i
tch to
use of
M
atrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
doc: d
o
c
u
m
e
nt co
m
putation of Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Cone_Hilber
t
_
Basis: u
s
e sta
n
dard_c
o
nstraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
Us
e
z
solv
e
to com
p
ute Hilbert basi
s
of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
comp
i
le z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
don'
t
install
headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaege
z
so
l
ve: initializ
e
B
ackupTime
in ZSolveCont
e
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zso
l
ve
:
zso
l
veS
y
stem
:
add missing verbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
zsolv
e
: o
v
erride LI
B
S
f
rom
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
g
e
add
4
ti2-1
.
3
.
1+autoconf-0
.
1 b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
add zs
o
l
v
e
f
rom 4ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
param_util
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
topcom
.
c: extract part of code
f
or setting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun::Hadam
a
rd_produ
c
t: print
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdoolaege
mo
v
e -
-
verbose
o
ption
to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_
f
un::summate: handle f
u
l
l
s
peci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
R
eplace incremental infi
n
ite set
c
ounter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
make c
o
unter::a
d
d_falling_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
me
r
ge (m
o
st
o
f) common part of
c
ou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter: handle
s
pe
c
ia
l
i
z
ati
o
n of po
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdool
a
ege
icounter:
don't bother "norm
a
lizing" the ex
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
export
neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
r
d
oolaege
b
a
s
is_redu
c
tion_cdd: che
c
k
f
or possib
l
y i
n
c
orrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
Polyhedron_Sample: handle polyhedron becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
gen_f
u
n::opera
t
o
r
evalue *:
al
w
ays retu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_
f
un::operator e
v
alue *: remove comm
e
n
t
ed o
u
t deb
u
g
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
barv
i
nok_enumerate_e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate_e:
option
a
lly
p
rint
stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
ola
e
ge
barvinok_enumerate_e: suppo
r
t v
e
rific
a
tio
n
of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
barvi
n
ok_enum
e
ra
t
e
_e: sup
p
ort conve
r
sion of
g
enerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
latt
i
c
e_points
:
anoth
e
r mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lat
t
ice_points_fixed
:
nano-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::ad
d
:
context of sum s
h
ould be union of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enumerate: use verify infr
a
struc
t
u
r
e f
o
r
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
genfun
.
cc: p
r
int_power: drop
s
paces arou
n
d
"/
"
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
count_po
i
nt
s
_
e
: fall back to
count_
p
oints if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
Makefile
.
am: check-evalue: print n
a
me of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ve
r
d
ool
a
ege
verify:
add che
c
k
_
p
o
ly_print helper
f
u
ncti
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ola
e
ge
gen_fun: make sure context is always
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
reduce
r
::reduce:
canonicalize
c
oeffi
c
ients in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
short_rat::print: correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
b
a
r
v
inok_s
e
ries: re
c
heck
f
or equalities
a
fter co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export Matrix_Read
for r
e
ading
Matrix
f
ro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
param_util
.
c: add P
a
r
a
m_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: support
i
ng_constraints
:
return bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
polyl
i
b: up
d
a
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
o
p
tions
.
c:
u
se
Pol
y
hedron
_
Sample for counting
i
nf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
t
rack of and use saturati
n
g constra
i
nts in
P
aram_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
ol
a
ege
move v
a
lue_gcd and value_lcm to
polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoulli_sum_evalue
:
only comp
u
te exact su
m
if ap
p
roxim
a
ti
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bernoulli_sum_evalu
e
: sum ov
e
r va
r
ia
b
les with int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
v
a
lue
.
c: export evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedro
n
_Ex
c
h
ang
e
Columns
:
norma
l
ize constraints
af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport
Pol
y
h
edron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue_p
o
lyn
o
mial: optimize evaluation
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
eval
u
e
.
c: emul:
h
andle another speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
eval
u
e
.
c: eadd: handle so
m
e special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
int
r
oduce a
n
d us
e
evalue_f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalu
e
.
c: eadd:
m
icro-optimize a
d
dition of two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
etting an
appro
x
i
ma
t
i
o
n
method now implies
p
ol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
b
a
r
v
inok_summate: o
p
tionally use
B
ernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
Bernoulli_sum_eval
u
e: use evalue_fro
m
_sec
t
ion
_
arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok/p
o
l
ylib
.
h
: remove compatib
i
l
i
ty with
ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
move Vecto
r
_Oppos
e
to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
polytope_sc
a
n: re
e
n
able --dir
e
ct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_all_equ
a
lities:
k
eep
r
emovi
n
g equalities un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
r
emove_all_equali
t
ies:
h
andle empty pol
y
hedro
n
detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aeg
e
r
e
m
o
ve_all_equ
a
lities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
expor
t
Poly
h
edron_Matrix_
V
ie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
o
ola
e
ge
polar_signed_con
e
_consumer: clean up
m
e
m
o
r
y on inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
do
o
laege
Param_
I
nne
r
_Product: fix use of val
u
e_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
l
aege
doc: fix typo i
n
M
i
chele Vergne's
n
ame
commit
|
commitdiff
|
tree
next