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
Param_Polyhedron_Facet: pass facet defining constraint add Value *
2008-03-31
Sv
e
n
Ver
d
oolaege
P
a
ram_Polyhedron_Facet:
p
a
ss
facet d
e
fining
const
r
a
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
ge
n
fu
n
.
cc: pa
r
all
e
l_po
l
y
topes:
d
on't both
e
r
h
an
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
aege
evalue_split_d
o
mains_in
t
o_ort
h
a
n
ts: don't re
d
u
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
ev
a
lue_read: only allow terms to cross
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
only accept impli
c
it
multip
l
icati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
ev
a
lue_read: accep
t
constraint
s
containi
n
g "
'
-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_be
r
ns
t
ein_c
o
efficie
n
ts: ensure result
p
a
rtition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaeg
e
b
ernstein: piecewise_lst: cor
r
ectly pr
i
nt and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
remo
v
e_all_equalit
i
es:
k
eep re
m
oving
parame
t
er equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
up
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
d
o
c
:
co
n
sistent u
s
e
of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: update now publish
e
d paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolae
g
e
f
or_
e
ach
_
lower_u
p
p
e
r
_bou
n
d
:
allow absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
l
aeg
e
Revert "
e
add_part
i
tions: try to combine multip
l
e d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
do
o
laege
eva
l
u
e
_read_partition
:
put
partition
s
back i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue: reduce_evalue: add not
e
on s
o
me missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdool
a
ege
be
r
n
st
e
in
.
cc: han
d
le
i
np
u
t
wit
h
uni
o
ns + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolaege
maximize
.
cc: d
e
al with un
i
on
s
in
input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
ev
a
lue_sub
s
t
i
tute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaeg
e
eva
l
ue
.
c:
c
lean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
valu
e
_read: correctly read v
a
ri
a
ble n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
d
o
o
l
aege
evalue_re
a
d: acc
e
p
t
top level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
e
v
alue_backsubst
i
tute: add requir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
e
rdoolae
g
e
evalue
.
c: *_pa
r
t
i
tions: simp
l
ify
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
olaege
d
oc
:
mo
r
e
s
pecific infor
m
ation
o
n
buggy cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
Verdoolae
g
e
configu
r
e
.
in: requir
e
cddli
b
0
.
94e by te
s
ting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
o
o
laege
configu
r
e
.
in:
only compile occ if
code_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add some tests for implementation o
f
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
doc: document ne
w
options and new
a
p
pl
i
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
AU
T
HORS: upd
a
t
e
s
upport
i
n
f
ormati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
c
c
: short_r
a
t::print: correctly
p
rint polyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export ser
i
es as b
a
rvin
o
k
_
e
numerat
e
_
s
eries and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
r
emove_par
a
met
e
r
_equalities
:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
o
olaege
se
r
i
e
s: l
e
ave free
i
ng of P argument to calling fun
c
t
ion
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
doc: doc
u
ment im
p
lementation of the
p
rojecti
o
n theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
a
dd barvinok_enumera
t
e_e_se
r
ies implementing the pro
j
e
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
genfun
.
cc: fi
x
and document parall
e
l polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
l
aege
Only comp
i
le zsolve if g
c
c 3
.
4
o
r
l
a
t
er is availabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Mo
v
e Gi
N
aC-in
d
ependent part o
f
lib
r
ar
y
to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
polylib: up
d
a
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdo
o
laege
doc:
h
ow to
count
t
h
e number
o
f elements in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
e
ge
doc/i
m
pleme
n
tation
.
tex: avoi
d
mul
t
iply defi
n
ed la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c
:
try
v
ertice
s
of
previous
i
nteger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: docum
e
nt int
e
g
er hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoola
e
g
e
hull
.
c: add all points
found by
s
a
mpling
dir
e
ctl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n V
e
rdoolaege
Poss
i
b
l
e
o
ptimiza
t
ions for generaliz
e
d basi
s
reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Suppo
r
t use of gene
r
alized basis reduction to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aeg
e
a
dd
P
oly
h
edr
o
n
_
Integer_M
i
nimu
m
for com
p
u
t
ing
t
he i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
doc: documen
t
genera
l
iz
e
d ba
s
is red
u
ction based
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verd
o
olaeg
e
add
more m
i
s
s
i
n
g asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
configure
.
in: only compile
libbarvinok
a
s a st
a
t
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
o
ol
a
eg
e
Po
l
yhe
d
ron_Re
d
uced_Bas
i
s
: don't stop too ear
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_di
r
ections: on
l
y
k
eep list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
zsolve
:
don't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
v
e
rs
i
on
.
c
:
show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
configure
.
in:
do
n
't se
t
wit
h
_{poly,pip}lib_p
r
efix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
ae
g
e
Polyhedron_Sample: be satisfied with a reasonable
c
h
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
cone_integ
e
r_hull: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
basis_reduction: keep track o
f
n
um
b
e
r
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoola
e
ge
o
ption
s
:
m
o
ve --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
bernstein:
r
ework testing
f
ramework to not
depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
bernste
i
n: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaeg
e
support
n
ew
e
r
v
ersions of GiNa
C
(>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
standard_constraints
:
m
o
v
e fr
o
m
topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
polysign
.
h:
r
emove depend
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doo
l
a
e
ge
z
s
o
l
ve: ad
d
banner
.
h to
d
istrib
u
ti
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
a
ege
Polyhedron_Latt
i
ce
_
Wid
t
h_D
i
rections:
pri
n
t progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoo
l
aege
basis_reduct
i
on_pip: abort on inv
a
lid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
README: explain
h
ow to ge
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc
:
d
o
cume
n
t lat
t
ice width c
o
m
putat
i
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
some
lattice width tests from Jon
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
ol
a
ege
Polyh
e
dron_Lattice_
W
idth: de
c
ide on facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Pol
y
hedron_Lattice_Width for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
hilbert
.
c: add C
o
ne_Integer_Hull fo
r
computing vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
polysign: add pip
-
backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign: add constraints_
o
pt
to co
m
p
u
t
e
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign_
c
dd: switch t
o
use
o
f
M
atrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign_glpk:
s
witch to us
e
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
doc: do
c
ument computat
i
o
n of H
i
lbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
Cone_
H
ilbert_Basis: use stan
d
ard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Use zsol
v
e
to co
m
pute Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
compile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install h
e
aders a
n
d executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
zso
l
v
e
: initializ
e
B
ack
u
pTim
e
in ZSolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve
:
zsol
v
e
S
ystem: add mis
s
ing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
r
doo
l
a
ege
zsolve: o
v
erride LIBS
from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
a
d
d
4
ti2-1
.
3
.
1+aut
o
co
n
f-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
add zsolve f
r
o
m
4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
param_util
.
c: export
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
topcom
.
c: ext
r
act p
a
rt of code f
o
r setting up
standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
gen_fu
n
::Hada
m
ard_pro
d
uct: print pr
o
gress
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
m
o
ve --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
eg
e
gen_fun::su
m
mate: handle
f
ull
speci
a
li
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
o
ol
a
ege
Replace i
n
creme
n
t
a
l
i
nfinite set coun
t
er by
"
re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_fal
l
ing_po
w
ers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
ola
e
ge
merg
e
(mos
t
of) common pa
r
t of c
o
un
t
er
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
icou
n
ter: ha
n
dle sp
e
cialization of
polynomials
commit
|
commitdiff
|
tree
next