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
bernoulli.c: minor refactoring
2008-03-31
Sven Verdoolaege
bernoulli
.
c: mino
r
refact
o
ri
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
B
ernoul
l
i_sum
:
handle c
o
nte
x
t co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdo
o
laege
f
o
r_eac
h
_
l
ower_u
p
per_boun
d
: ad
d
another
c
a
ll
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
verify
.
c: adjust defau
l
t range to con
t
ext if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
eule
r
.
cc: summate_ov
e
r_domain: only con
s
ider
actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
param
_
ut
i
l
.
c: export P
a
ram_
V
e
rtex_Set_Fa
c
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Poly
h
e
d
ro
n
_
Fac
e
t: pass
facet defin
i
ng
constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
g
e
n
f
u
n
.
cc: parallel_polytope
s
: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
e
value_s
p
lit_
d
omains_
i
nto_orthan
t
s: don't red
u
ce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read: onl
y
allow ter
m
s to cross
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
eval
u
e_read: only accep
t
im
p
l
ic
i
t multiplica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalu
e
_r
e
ad:
a
ccept constraints cont
a
ining "'-
'
sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
val
u
e_bern
s
tein_coeffi
c
ie
n
t
s
:
ensure result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
b
ern
s
te
i
n:
piecewise_l
s
t
:
correct
l
y
print
a
n
d evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoola
e
ge
r
e
move_all_equalities:
keep r
e
m
oving para
m
ete
r
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
l
aege
d
o
c:
u
p
date
n
o
w publish
e
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
f
or_each_lower_upper_boun
d
: all
o
w abs
e
nce of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_partit
i
on
s
: try to
c
o
m
bine multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_pa
r
t
i
tion: pu
t
pa
r
titions bac
k
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
evalue:
reduce_evalue: add note on some mis
s
e
d
opportunit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
b
e
r
n
stein
.
cc: handle inp
u
t w
i
th
u
nions + relation v
i
ola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olaeg
e
maxim
i
ze
.
cc: deal with unions in inp
u
t during ver
i
fica
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
l
aege
evalue_
s
ubstitute: properl
y
handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
olaege
evalue
.
c
: clean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
e
g
e
evalue_
r
ead: correctly read variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_r
e
ad: ac
c
ept
t
op level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalu
e
_backsu
b
stitute: add
r
e
quired modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Ve
r
do
o
laege
evalue
.
c: *_partition
s
: simplify constraint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
do
c
:
m
or
e
s
p
ecific informati
o
n on
buggy cd
d
lib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
c
o
nfigu
r
e
.
in:
require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n
V
e
r
d
oolaege
configure
.
in: only compile o
c
c if code_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
bar
v
inok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoola
e
ge
add
s
o
m
e
tests
f
or implementa
t
ion of project
i
on
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
eg
e
doc: doc
u
ment new options and
new appl
i
c
a
ti
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
AUTHORS: update sup
p
ort inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
g
enfu
n
.
c
c: short_rat::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Exp
o
rt series
as ba
r
vino
k
_en
u
mer
a
te_series and
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
r
e
move_parame
t
er_equaliti
e
s: st
o
p
"remov
i
n
g"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: le
a
v
e
freeing of
P argu
m
ent to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
ege
doc:
d
ocument i
m
pleme
n
tation of the
p
r
ojecti
o
n theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add
b
arvinok_enumerate
_
e_
s
e
r
i
e
s implem
e
nting the p
r
ojectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
genfun
.
cc: fix
and
document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiNaC-indepe
n
dent
p
a
r
t of librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
po
l
y
l
ib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoo
l
aege
doc:
h
ow to count the num
b
e
r of
e
le
m
ents i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc/implem
e
ntati
o
n
.
tex: avoid mul
t
ipl
y
defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lattice_wid
t
h
.
c: t
r
y
v
ertices of
previous i
n
t
eg
e
r
hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: doc
u
m
e
nt integer hu
l
l
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
ege
h
u
ll
.
c: add al
l
points found by
s
a
mpling
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Po
s
sible
o
p
tim
i
zat
i
ons fo
r
generalized
b
asi
s
red
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
S
up
p
ort use of ge
n
erali
z
ed basis
redu
c
tion
t
o compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
g
e
ad
d
Polyhedron_In
t
eger_Mi
n
i
m
um for co
m
puting t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
do
c
:
document
ge
n
e
ral
i
zed basis re
d
uction based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
doc/barvinok
.
b
i
b: add
missi
n
g
str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more
mi
s
sing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verd
o
olaege
co
n
f
igure
.
i
n
: only compile l
i
bbarvino
k
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
Polyhe
d
r
on_Reduc
e
d_Basis: don't
stop t
o
o e
a
rl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
compute_width
_
d
irections: o
n
ly keep l
i
st of
d
i
stinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve
:
don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoolaege
v
e
rsion
.
c: show use of
T
OPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
co
n
figu
r
e
.
in: d
o
n
'
t set
wit
h
_{poly,pip}lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
Polyhed
r
on_Sample: be satisfied w
i
t
h
a reasonable
c
ho
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
one
_
integer_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaeg
e
b
asis_reduc
t
ion: keep track of nu
m
b
er
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdo
o
laege
options: move --print-s
t
a
ts to library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoola
e
ge
ber
n
ste
i
n: rework tes
t
ing framework to n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
bernstein:
add piece
w
ise_ls
t
::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
uppo
r
t newer
versions of GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
standard_constr
a
i
nt
s
: move
fro
m
top
c
om
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oola
e
g
e
polysi
g
n
.
h
: remove d
e
pendency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
olaege
z
s
olve: ad
d
ba
n
ne
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ver
d
ool
a
e
g
e
Polyh
e
dron_
L
at
t
ice_Width_Directions
:
print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
basis_reductio
n
_pi
p
: abort on invalid (
e
mpty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
eg
e
R
EAD
M
E: e
x
plain
h
ow to
g
e
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olaege
doc: document lattice
wid
t
h computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
e
ge
some lattice wid
t
h tests from Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Pol
y
h
edron_Lattice_Width
:
decide on
f
a
cets
t
o
cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
ad
d
Po
l
yhedron_Lattice_Width for computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdool
a
eg
e
hilb
e
rt
.
c: add Cone
_
Intege
r
_Hull
f
o
r c
o
mputing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
l
a
e
ge
polysign: add p
i
p
-
backed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add constraint
s
_opt to
compute opt
i
mum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: switch
to use of
M
a
tri
x
represe
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolae
g
e
po
l
ysi
g
n
_glp
k
: switch
to
u
se of
M
atrix
r
epresen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: doc
u
ment comp
u
tation of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone
_
Hilber
t
_Basis: use stan
d
ard_constrai
n
ts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
Use
zsolve to c
o
mpute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
c
ompile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
zsolve: d
o
n
'
t
in
s
t
all h
e
a
d
e
r
s
a
nd e
x
ecutable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve:
in
i
tialize
B
ackupTime in
Z
Solve
C
on
t
e
xt
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
zsolve: zs
o
lveSystem: a
d
d missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verd
o
o
laege
zsolve: overri
d
e LIBS
from to
p
leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
add
4
ti2-1
.
3
.
1
+autoconf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add zsolve fro
m
4ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
par
a
m
_
util
.
c: expo
r
t bit_
v
e
c
tor_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
l
a
ege
t
o
p
com
.
c: extract part of code fo
r
se
t
ti
n
g u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hada
m
ard_prod
u
ct
:
print
p
rogress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verb
o
se o
p
t
i
on to library
commit
|
commitdiff
|
tree
next