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
add some tests for implementation of projection theorem
2008-01-16
Sven
Verdoo
l
aege
add some te
s
ts
for implementation of projection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
doc: document ne
w
options and
n
ew
a
pplic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
AUTHORS: up
d
ate suppor
t
in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
gen
f
un
.
c
c
: short_rat::print: corr
e
ctl
y
pr
i
nt pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
E
xpo
r
t series as ba
r
vinok_enumerate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
remove_parame
t
er_equalit
i
es: stop "r
e
m
o
v
ing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
eries: leave f
r
eeing
of P
a
rg
u
ment to cal
l
in
g
fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document i
m
plementation of
t
he projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdool
a
eg
e
a
d
d barvinok
_
en
u
m
e
rate_e_series implementing
t
h
e
proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
genfun
.
cc: fi
x
and do
c
ument parallel pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
Onl
y
co
m
pile zsolve if gcc 3
.
4 or later
i
s available
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdool
a
ege
M
ove
G
iN
a
C-in
d
ependent part of librar
y
to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
poly
l
ib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
doc: how to coun
t
the n
u
m
be
r
of eleme
n
ts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven V
e
rdoolaege
doc
/
implementation
.
tex: avoid
multi
p
ly defi
n
e
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
lattice_width
.
c: try vertices of previous
int
e
ge
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolaege
do
c
:
d
ocume
n
t integer hull
c
omputa
t
io
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaeg
e
hull
.
c:
a
d
d
all
points found by sampli
n
g dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
e
g
e
Po
s
sible optimizations
for generalized basis re
d
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
Suppor
t
u
s
e
of genera
l
ized ba
s
is reduction to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
a
d
d Polyhedron_In
t
eger_Minimum
f
or computi
n
g the int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
d
oc
:
d
o
cument general
i
z
e
d
b
a
sis
reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc
/
barvi
n
ok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more mi
s
sing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n
: on
l
y compi
l
e l
i
bbarvinok as a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoo
l
aege
Polyhedron_
R
educed_Basis: don't sto
p
too early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ve
r
d
o
ol
a
ege
compu
t
e_wid
t
h_dire
c
ti
o
n
s: only
k
e
e
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verd
o
olaege
zs
o
l
ve
:
don't install
l
i
b
r
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
la
e
ge
version
.
c: show use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
con
f
i
g
ur
e
.
in: don't s
e
t with_{po
l
y,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
dool
a
ege
Polyh
e
dron_Sample: be sa
t
i
s
f
ied
with a reaso
n
able choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
d
o
olaege
cone_
i
n
t
e
ge
r
_hull
:
o
p
tionally print stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
laege
basis_reducti
o
n: keep track of
nu
m
ber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
options:
m
o
v
e --pr
i
nt
-
s
tats to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein: rework tes
t
i
n
g
framewo
r
k
t
o not
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoola
e
ge
b
ernstein
:
a
d
d piec
e
wise_
l
st::is_
e
q
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
d
oolaege
sup
p
ort newer v
e
rsions o
f
GiN
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
sta
n
d
a
rd_con
s
traints: move f
r
om topcom
.
c
to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
p
o
l
y
sign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
zsol
v
e: add banner
.
h to
d
istri
b
uti
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyh
e
dron_Lattice_Width_Directions: pr
i
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
sis_re
d
uction_pi
p
: abort on inv
a
lid (em
p
t
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
R
E
ADME: e
x
p
l
a
in how t
o
get submodule
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
lae
g
e
doc
:
doc
u
ment lattice
w
i
dth comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
s
o
m
e lattice w
i
dth tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Pol
y
hedron_Lattice_Width: d
e
cide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
Verdool
a
ege
ad
d
Polyhed
r
o
n
_Lattice_Wid
t
h for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
ege
hilbert
.
c: ad
d
Cone_I
n
t
eger_Hull
f
o
r computing v
e
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
po
l
ysign: add pip-ba
c
ked vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ve
r
d
oola
e
g
e
polys
i
g
n
:
a
dd const
r
aints_
o
p
t to compute optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign_cd
d
: switch to use o
f
Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
d
o
olaege
po
l
ysign_
g
lpk: s
w
itch to use o
f
Matrix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doolae
g
e
d
oc
:
document computation
o
f Hilbert b
a
sis o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hil
b
ert_
B
a
s
i
s: use standard_constr
a
ints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
d
oolaege
U
se
z
solve to compute
Hilbert b
a
sis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
o
l
v
e
:
d
on't ins
t
al
l
headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zso
l
ve: in
i
t
ializ
e
B
ackupTime
in
Z
S
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaeg
e
zsolve: zsolveS
y
stem: add
m
i
ssing
ver
b
osity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolv
e
: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
add 4ti
2
-
1
.
3
.
1+autoco
n
f-0
.
1
ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zso
l
ve
f
rom 4t
i
2-1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
pa
r
am
_
u
til
.
c
:
export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
topcom
.
c
:
extract part of c
o
de for setting up s
t
and
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaeg
e
g
en_fun::Ha
d
amard_product:
p
rin
t
progress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdoolaege
move --verbos
e
o
p
tio
n
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
ol
a
e
ge
gen_fun::summate: handl
e
full
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
R
e
p
lace
inc
r
em
e
ntal infinite s
e
t
c
ounter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
ge
make counter::
a
dd_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
m
erge (most
of) com
m
o
n part of count
e
r a
n
d tc
o
un
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter
:
handl
e
specialization o
f
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
icount
e
r: don't
bother "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
ege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
bas
i
s_redu
c
tion_cdd: check for p
o
s
s
ibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Pol
y
he
d
ron_Sampl
e
: handl
e
polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
g
en_fun
:
:
o
perator evalue *: always re
t
urn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_f
u
n::o
p
e
r
a
to
r
evalue
*:
r
emove comment
e
d out debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
v
inok_enumerate
_
e
.
c
c
: ha
n
dle ve
r
i
fication of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
a
rv
i
nok_enumerate_e: optio
n
a
l
ly print
st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
barvi
n
ok_enumerate_e: suppo
r
t
verific
a
tion of
g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enum
e
rat
e
_e: supp
o
rt con
v
ers
i
on of
gener
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
lattice_p
o
ints
:
another micro
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
lat
t
ice_points
_
fixed
:
nano-optimiza
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun::add:
c
ontext of sum should
be u
n
ion of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enum
e
r
at
e
:
us
e
v
erify
i
nfra
s
tructur
e
for verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc
:
print
_
power: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
co
u
nt_poin
t
s_e: f
a
ll back t
o
count_
p
o
i
nts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Make
f
ile
.
am
:
check-e
v
al
u
e: prin
t
name
o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
veri
f
y:
a
dd ch
e
ck_po
l
y_print helper
f
unction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun: make sure
co
n
text is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doo
l
a
e
ge
reducer::reduce:
c
anonica
l
ize co
e
fficient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
shor
t
_ra
t
::print: cor
r
ectly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
a
rv
i
nok_series: rech
e
ck
fo
r
e
quali
t
ies after comp
u
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
export Matrix_Rea
d
for re
a
din
g
Ma
t
rix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolae
g
e
param_util
.
c:
a
dd Param_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
ut
i
l
.
c: s
u
p
porting_constraints: ret
u
rn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
p
o
lylib: u
p
date f
o
r Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c:
use Po
l
yhedr
o
n_
S
ample
for c
o
unting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
a
ege
ke
e
p track of and us
e
satu
r
a
t
ing constraints i
n
Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move v
a
lue
_
gcd an
d
val
u
e_lcm to pol
y
lib
commit
|
commitdiff
|
tree
next