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_sum_evalue: remove redundant constraint in one of the cases
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_eva
l
ue: remove redund
a
nt constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
b
ernoulli
.
c: minor refac
t
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_
s
um:
handle cont
e
xt con
s
traint
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_evalu
e
: make sure
en
o
ugh memory is
a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_up
p
er_bound:
add ano
t
her
c
allback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
ve
r
i
f
y
.
c
:
adj
u
st defa
u
lt range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
lae
g
e
euler
.
cc:
s
u
mmate_over_d
o
main
:
o
nly consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
pa
r
a
m
_ut
i
l
.
c: export P
a
ram_
V
ertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Param_Polyhedron_Fac
e
t: pass
facet defi
n
ing c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oo
l
ae
g
e
genfun
.
c
c
:
p
a
r
a
llel_polytop
e
s:
d
on't both
e
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
ev
a
lue
_
spl
i
t_doma
i
n
s
_
i
nto_orthants: d
o
n
'
t
reduce e
v
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
v
alue_read: only allow terms
to
c
ro
s
s newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doola
e
ge
evalue
_
re
a
d: only accept imp
l
i
c
it
m
ulti
p
lic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
ev
a
lue_read: a
c
cept
c
o
nstraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
evalue
_
bernstein_coefficients: ensure res
u
lt p
a
rt
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
ber
n
stein: pie
c
ewi
s
e_
l
st: c
o
rr
e
ctly print and evalu
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erd
o
ola
e
g
e
remo
v
e_all_equa
l
ities: keep removing
parameter
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
do
c
: consiste
n
t use
of
Kevin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
e
r
doolaege
doc: up
d
ate
now
pu
b
lished
pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olae
g
e
for_each_lo
w
er_upper_bound: all
o
w
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
ol
a
eg
e
Revert "eadd_
p
art
i
t
ions
:
t
ry t
o
co
m
bine
multip
l
e
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
eva
l
u
e
_r
e
ad_part
i
t
io
n
: put pa
r
t
itio
n
s b
a
ck in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue: reduce_eva
l
u
e
: add no
t
e on some
m
issed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oolaege
bernst
e
in
.
cc
:
handle input with unions + relati
o
n
vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
m
axi
m
iz
e
.
cc: dea
l
with unions in input dur
i
ng
v
erif
i
c
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
evalue_substit
u
te
:
properly handle relat
i
on
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: cle
a
n up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
eval
u
e_read: correctly read variable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_read:
accept top l
e
vel "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
u
p
d
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_bac
k
su
b
stit
u
te: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
V
e
rdool
a
ege
evalue
.
c: *_part
i
t
ions: simplify c
o
nstraints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: more specifi
c
i
n
formation on buggy
c
ddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdo
o
l
aege
c
onfi
g
ure
.
in: require cddl
i
b 0
.
94e by tes
t
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Ve
r
doolaege
configure
.
in: only
co
m
pile oc
c
if code_g
e
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
a
d
d s
o
me tests f
o
r implementation
o
f
pr
o
jectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: document new options
and new applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
er
d
o
o
l
a
e
g
e
AUTHORS: update support infor
m
a
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genfu
n
.
cc: sh
o
r
t_r
a
t::pri
n
t:
correctly print
pol
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
E
xpor
t
series
as b
a
rvinok_e
n
ume
r
at
e
_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
remove_paramete
r
_equalitie
s
: s
t
op "removing"
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
r
ies:
leave
freeing of P arg
u
ment to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
laege
do
c
: document
i
mplementati
o
n
of the proj
e
cti
o
n theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barvinok_en
u
merate_e_
s
e
r
ies im
p
lement
i
ng
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: fix
a
nd d
o
c
ument parallel
polytopes cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compi
l
e zsolve if gcc 3
.
4
or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
Move GiNaC-in
d
epe
n
dent par
t
o
f library
to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
polylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
ol
a
e
g
e
d
o
c
:
how t
o
count
t
h
e number
o
f el
e
ments in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
doola
e
g
e
doc/imple
m
e
ntation
.
tex: avoid
mul
t
iply d
e
fi
n
ed la
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolae
g
e
latt
i
ce_width
.
c: try vertice
s
of previous
i
nteger hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aeg
e
doc: docu
m
ent integer
hull
c
o
m
putation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
hull
.
c:
add
a
ll
p
o
i
nts foun
d
by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
aege
Possible
o
ptimizations for generalized basis re
d
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use o
f
generalized
basis redu
c
tion to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Po
l
y
h
edron_Integer_Minimum for computing t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaeg
e
d
oc: document genera
l
ized b
a
sis re
d
ucti
o
n based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
d
oc/barvinok
.
bib: add missin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoola
e
ge
ad
d
more missing assert
.
h #inc
l
u
de
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
a
e
ge
evalu
e
.
c: add missing
i
nclude of al
l
oca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
co
n
figure
.
in: pass path of GMP instal
l
ation to P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
configure
.
in:
only compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Pol
y
h
ed
r
on_Reduce
d
_Basis
:
don
'
t
s
top
t
oo
ear
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
compute
_
width_direction
s
: o
n
ly keep list
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
zsolve: don't insta
l
l libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
v
e
rsion
.
c: show
u
se of T
O
PCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
con
f
igure
.
i
n
: don't set w
i
th_{po
l
y
,
pip}lib_pr
e
fix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
Pol
y
h
e
d
ron_Sample: be
satisfied with a reason
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
co
n
e_integer_hull: op
t
ion
a
l
l
y
pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
ba
s
is_reduc
t
ion: keep tra
c
k of n
u
m
b
er of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
e
g
e
options: move --print-sta
t
s to
library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernstein: re
w
o
r
k te
s
ting framework to
n
ot
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
b
er
n
s
t
ein:
add pie
c
ewise_lst::is_e
q
u
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
support newer vers
i
ons o
f
GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
V
e
rdoolaeg
e
st
a
ndard_constraints: move from t
o
pcom
.
c
to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
polysign
.
h: rem
o
ve de
p
endency o
n
le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve:
add ban
n
er
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaege
Pol
y
hedron_Lattice_Width_Directions: p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolaeg
e
b
asis_redu
c
tion_pip: abort
o
n i
n
vali
d
(empty) i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdo
o
la
e
ge
R
E
ADME: e
x
plain how t
o
g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
rdoolaege
doc: document
l
a
t
t
i
ce width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some
l
attice width
t
ests fr
o
m Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolae
g
e
P
olyhed
r
on_Lat
t
ice_Width: decide on
f
a
cets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
add Polyhedr
o
n_Lat
t
ice_W
i
dth f
o
r comput
i
n
g latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolae
g
e
hilbe
r
t
.
c: add C
o
ne_Intege
r
_Hull f
o
r computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign: add pip-ba
c
ked ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysi
g
n: add constraints_opt to compute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
p
o
ly
s
i
g
n_c
d
d
:
switch to use o
f
Matrix represen
t
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
polys
i
g
n
_glp
k
:
swit
c
h
t
o
use of Matri
x
rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laeg
e
d
oc: docume
n
t compu
t
ation of Hi
l
bert b
a
sis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
d
o
olaeg
e
Cone_Hilbert_Basis: use standar
d
_
c
onstraints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Use zsolve to
c
ompute Hilbert basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaeg
e
zsolve: don't in
s
tall headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zso
l
v
e:
in
i
tialize B
a
ckupTime in ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
z
s
olve: zsolveSystem: add missin
g
verbosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve
:
overr
i
de LIBS f
r
o
m
to
p
le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
add 4ti
2
-1
.
3
.
1+aut
o
conf-0
.
1 banner
commit
|
commitdiff
|
tree
next