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 generalized basis reduction based integer feasibility testing
2007-11-21
Sv
e
n
V
er
d
ool
a
ege
doc: document generaliz
e
d
b
asis
r
e
duction
based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
oolaege
doc/barvinok
.
bib:
add mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
dd m
o
re missing ass
e
rt
.
h #i
n
clu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
erdoo
l
aege
evalue
.
c: ad
d
miss
i
ng include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
o
laeg
e
configure
.
in:
p
as
s
path of
GMP in
s
tallatio
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
laege
c
o
n
f
igure
.
in: o
n
ly compile libbarvinok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
P
olyhedron_Reduced_Ba
s
is: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
compute_
w
idth_directions: only
k
eep list of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
z
s
ol
v
e
: don't install librar
y
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoo
l
aege
version
.
c: sh
o
w use of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoolaege
confi
g
ure
.
in: don'
t
set
with_{pol
y
,
p
ip}lib_
p
refix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdoolaege
Polyhedron_Sample: be satisfied with
a rea
s
on
a
ble choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
cone_integ
e
r_hull: optionally
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
bas
i
s_reduction: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
op
t
i
ons: mov
e
--print-s
t
ats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
d
oo
l
aege
bernstein: rew
o
rk
t
e
sting framework to not
d
epend o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add
p
ie
c
ewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
ool
a
e
ge
suppor
t
newer versions of G
i
NaC (>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
s
t
andard_c
o
nstraints: move from t
o
p
com
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
oo
l
a
ege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add b
a
nner
.
h to
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven
V
e
r
doo
l
aege
P
o
lyhedron
_
Lattic
e
_Widt
h
_D
i
rections:
pri
n
t p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
b
a
sis_reduction_pip: abort on
i
nvalid (empt
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdo
o
lae
g
e
README: expla
i
n how to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document
l
attice
w
i
dth computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lat
t
ice width tes
t
s from Jon Y
a
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Polyhed
r
on_La
t
tice
_
Wi
d
th:
d
ecid
e
on facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhed
r
on_L
a
ttice_Width
fo
r
computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
hilbert
.
c:
a
dd
C
one_Integer_Hul
l
for com
p
u
ting ve
r
tic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaeg
e
poly
s
ign
:
add pi
p
-backe
d
versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
l
ysign:
add co
n
str
a
ints
_
o
p
t to
comp
u
t
e
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
d
oolaege
po
l
ysign_cdd:
sw
i
tch
t
o use of Matrix re
p
r
esent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign_glpk:
switch to use of Matrix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
doc: d
o
cument computation
of Hilbert bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
Cone_Hil
b
ert_Basis: us
e
st
a
nda
r
d_co
n
s
t
r
a
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erd
o
olaege
Use zsolve to com
p
ute
H
ilbe
r
t basis of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaeg
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoola
e
ge
zsolve: don't i
n
stall
h
e
aders and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve: initia
l
ize Back
u
pTime in ZSol
v
eC
o
ntex
t
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zso
l
ve: zsolveSystem: add mis
s
i
n
g ve
r
b
osity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
d
o
olae
g
e
zsolv
e
: overri
d
e LIBS fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
dd 4ti2-1
.
3
.
1+a
u
toc
o
nf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve from
4ti
2
-1
.
3
.
1+autoco
n
f
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaege
param_util
.
c: export bit_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
l
a
e
ge
t
o
pcom
.
c: e
x
tr
a
ct pa
r
t of code for
s
etting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
ge
n
_fun::Hadamard
_
pro
d
uct
:
p
r
int progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
m
ove --verb
o
se
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
g
e
n_fun::s
u
mmat
e
: han
d
l
e
full special
i
za
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ve
r
doolae
g
e
Repla
c
e in
c
remental infi
n
ite s
e
t cou
n
te
r
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
make counter::
a
d
d_falling_power
s
stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
me
r
ge
(m
o
st of) co
m
mon part of count
e
r and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: han
d
le specialization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
o
la
e
ge
icou
n
te
r
:
d
on't b
o
ther
"normalizing" the expone
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
exp
o
rt
n
e
g_left_
h
erm
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_reduction_cdd:
c
heck for possibly incorrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhe
d
ron_Sam
p
le: handle polyhed
r
on
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
ge
n
_fun::op
e
rator evalue *: al
w
ays return a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
gen_f
u
n
::operator
e
value *: remove commented out
d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vi
n
ok
_
enumerate_e
.
cc: handle
ve
r
i
f
ication of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_
e
nume
r
ate_e: optionally pri
n
t
sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
oola
e
g
e
b
arvi
n
o
k
_
enumerate_e: support ver
i
f
i
cati
o
n
o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_enumera
t
e
_e
:
support conversion of g
e
ne
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
l
attice_p
o
i
nts: another micro-optimi
z
at
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_points_fixed:
n
ano-opti
m
izat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
u
n
::add: co
n
text of sum sh
o
ul
d
be unio
n
o
f
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumerate: u
s
e
ver
i
fy infrastru
c
t
u
r
e
fo
r
verify
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
genfun
.
cc: print_power: drop
spac
e
s
a
round "/" w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aeg
e
coun
t
_points_e:
f
all
back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Makefile
.
am
:
c
h
e
ck-evalu
e
: print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
verify:
add check_poly_print h
e
lper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
g
e
n_fu
n
: make
sure cont
e
xt i
s
a
l
w
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
reduce
r
:
:
r
e
duce: ca
n
onic
a
lize
coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::print
:
correctly
p
ri
n
t out t
e
rms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
bar
v
inok_series: recheck for equalities
after com
p
u
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
ex
p
o
r
t
Matrix
_
Read for reading Matrix
from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
par
a
m_ut
i
l
.
c:
a
dd Pa
r
am_Vert
e
x_Do
m
ai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
util
.
c: su
p
porting_constraints: retu
r
n
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polylib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
options
.
c: use Polyhed
r
o
n_Sample for co
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
eep track of and use
s
at
u
rating constra
i
nts
i
n Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_
g
cd and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: only compute
exa
c
t sum if ap
p
ro
x
im
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Bernoull
i
_sum_evalue: sum over variables
wit
h
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: ex
p
ort evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
P
o
lyhedron_ExchangeColumn
s
:
norma
l
ize constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
expo
r
t Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue_polynomial: optim
i
ze e
v
aluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c: e
m
u
l: handle an
o
ther special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: ea
d
d
: handle some
special
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
i
ntroduce and
use
e
v
al
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c: eadd:
m
icro-o
p
timize a
d
d
i
t
i
on of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
eg
e
settin
g
an
a
p
proxi
m
a
t
i
o
n
me
t
hod now
implies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
barvinok_
s
u
mm
a
te:
o
ptionally use B
e
rn
o
ull
i
/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Be
r
noulli_su
m
_evalue: use eval
u
e_f
r
om_s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
barvin
o
k/polylib
.
h: r
e
move compatibilit
y
with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
move Ve
c
tor_Oppose
t
o Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
polytop
e
_scan
:
reenabl
e
--direct o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ve
r
doola
e
g
e
remove_all_equali
t
ies:
k
e
e
p removing equal
i
ties until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ver
d
oolaege
remove
_
all_equ
a
lities:
h
andle empty poly
h
e
d
ron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
remove_all
_
equa
l
ities
:
minor
c
o
d
e clea
n
-up
commit
|
commitdiff
|
tree
next