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
update isl for fix in isl_map_deltas
2008-03-31
Sven Verdoola
e
ge
B
ernoulli_sum_evalue:
e
x
ploit integer b
o
unds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
ge
keep track of n
u
mber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
aege
bernoull
i
.
c: pr
o
tect share
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Berno
u
lli su
m
s based exact
en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvinok_
c
ount_with_options: co
m
pute (exac
t
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
Be
r
n
ou
l
li_sum_evalue:
opti
o
n
al
l
y handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
lattice
_
point
.
h: exp
o
rt
f
ractional_pa
r
t
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_enumerate_with
_
opti
o
ns: co
m
pute (e
x
act) Bern
o
ul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Berno
u
l
l
i_sum_eva
l
ue: h
a
ndle eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
la
e
ge
Bern
o
ulli_s
u
m_evalue
:
c
ut
o
f
f
s
ome redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
n
o
ulli_s
u
m_e
v
alue: m
a
k
e
sure no em
p
ty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
e
rnoul
l
i_sum_evalue: remove red
u
ndant
c
onstra
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
do
o
l
a
e
g
e
berno
u
lli
.
c: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoull
i
_
s
u
m:
h
andle context c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_
l
o
w
er_upper_bo
u
nd: a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
verify
.
c: ad
j
u
st defau
l
t
r
a
nge
to
co
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
e
u
ler
.
cc: su
m
mate_over
_
domain: only consid
e
r
a
ctu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
par
a
m_util
.
c: expo
r
t Param
_
Vertex_
S
et_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Param_
P
o
l
yhedron_Fa
c
et: pass
f
acet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
genfu
n
.
cc: parall
e
l
_polytopes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
s
p
lit_domains_into_
o
rthants: d
o
n
't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_
r
ead: only allow terms to cross newl
i
nes
i
n
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
evalue_r
e
ad:
o
n
l
y ac
c
e
p
t
implicit
m
ultiplica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
ege
evalue_read: ac
c
e
pt const
r
ain
t
s containi
n
g "'-' sp
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eva
l
ue_bernstei
n
_c
o
effici
e
nts: en
s
ure result pa
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein:
piecewis
e
_lst: correctly
print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
remov
e
_all_equ
a
lities: kee
p
removing p
a
ramete
r
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: c
o
nsis
t
ent use
of Kev
i
n's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
d
oc: update
n
o
w
publ
i
sh
e
d paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
f
or_
e
ach_
l
owe
r
_upper_
b
ound: all
o
w ab
s
ence of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
Revert "eadd_partitions
:
try
to combine mu
l
tiple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaeg
e
evalue_read_partition: put pa
r
titions b
a
ck
i
n the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value: r
e
duce_evalue:
a
dd no
t
e on
so
m
e
m
issed o
p
por
t
u
n
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
ege
bernstei
n
.
c
c: handl
e
i
nput with unions + relation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc: deal with
unions in inp
u
t during verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
evalue_sub
s
t
i
t
u
te:
p
roperly
h
a
ndle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
o
ola
e
ge
evalue
.
c: clean
u
p e
m
u
l
a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_re
a
d
: correctly re
a
d
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
e
v
a
lue_read: ac
c
ept to
p
level "relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalu
e
_
b
acksubsti
t
u
t
e: add required modulo
c
onstra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
ev
a
lue
.
c: *_
p
arti
t
ions: simplify cons
t
raints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdool
a
ege
doc
:
more speci
f
ic information on
buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
o
nfig
u
re
.
in: require cddlib 0
.
94
e
by t
e
sting f
o
r b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
r
do
o
laege
configure
.
in: o
n
ly co
m
pile occ
i
f
c
ode_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add
s
o
me tests for implementation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: do
c
u
m
ent n
e
w
o
p
ti
o
ns and ne
w
appli
c
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AU
T
HORS: update sup
p
ort
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
genfun
.
cc:
s
ho
r
t_rat::print: corr
e
ctly prin
t
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
Export ser
i
es a
s
barvinok_enumerate_se
r
ies
a
n
d
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
mo
v
e
_para
m
et
e
r_
e
q
ualitie
s
: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave freei
n
g
of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc
:
document
i
mplementatio
n
o
f
th
e
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
add barvinok_enumerate_e_
s
erie
s
implementing
the
p
rojectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
genf
u
n
.
cc:
fix and document paralle
l
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olae
g
e
Move GiN
a
C
-
ind
e
pend
e
n
t
p
a
rt of library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc: ho
w
to count the numb
e
r of el
e
ments in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n V
e
rdoolaege
d
oc/implem
e
ntatio
n
.
tex: a
v
oid m
u
l
tiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
a
ege
lattic
e
_
w
idth
.
c:
try vertices of p
r
evio
u
s integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
ege
doc: document integer hull
c
omputatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
laege
hull
.
c: add all points
f
ou
n
d
by
s
a
mpling direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoola
e
g
e
Pos
s
ible o
p
timiz
a
tions f
o
r genera
l
ized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oolaege
Support use of gen
e
ralized basis
r
eduction to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
add Polyhedron_In
t
eger_Mi
n
imum
for
c
omputin
g
the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: d
o
cument gene
r
ali
z
ed basis reducti
o
n
based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Ve
r
doolaege
doc/b
a
rvinok
.
b
i
b: add mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaege
add
more m
i
s
s
ing a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
configure
.
i
n
: only comp
i
l
e lib
b
a
r
vinok as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Poly
h
e
d
ron_Reduced_Ba
s
is:
d
on't stop too ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
comp
u
te_width_directions: only keep
li
s
t of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zso
l
ve: don't ins
t
all libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show use o
f
TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
co
n
f
i
gure
.
i
n
: d
o
n't set with_{po
l
y,pip}lib_pr
e
f
ix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdool
a
ege
Polyhedron
_
S
ample: be satisfied wi
t
h a reasona
b
le choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer
_
hull:
o
pt
i
onally print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
bas
i
s
_
re
d
u
c
tion: kee
p
t
r
ack of number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
options: move --pr
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
b
ernstein: rewor
k
testing fram
e
wor
k
t
o n
o
t
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add piecewise
_
lst::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
support newer versions of
G
iNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
stand
a
rd_co
n
stra
i
nts
:
move f
r
om topc
o
m
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
ol
a
ege
polysign
.
h: re
m
o
v
e
depende
n
cy on le
x
mi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
zsolve:
a
dd b
a
nner
.
h t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
Polyhe
d
ron_Lattice_Wi
d
th_D
i
rections: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
Verdoolaege
ba
s
is_red
u
ction_pip: abort on inva
l
id (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
er
d
oolaege
READ
M
E: explain how to get
submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoo
l
aege
doc: d
o
cument la
t
tice wi
d
th
c
omputation
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaeg
e
some la
t
ti
c
e width tests from
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
d
oolae
g
e
Polyhedr
o
n_Lattice_Widt
h
: decide on f
a
cets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdo
o
laege
ad
d
Pol
y
h
e
dron
_
La
t
tice_Width fo
r
comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
hilbert
.
c: add Cone_In
t
eger_Hull
for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdool
a
ege
polysi
g
n
: add
pip-b
a
cke
d
vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polys
i
gn: add const
r
aints_opt to compute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
p
o
lysign_c
d
d:
switch to use o
f
Mat
r
ix
r
epresentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glp
k
: switch to use of
M
at
r
ix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
doc:
d
ocument
c
o
mput
a
tion of Hilbert basis of
a
co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hi
l
bert_B
a
sis: use standard_const
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
next