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
implement Bernoulli_sum as conversion from unweighted to weighted counting
2008-03-31
Sven Verdool
a
ege
implement Ber
n
oulli_
s
u
m as conversion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
Bernoulli_sum_evalue:
e
xploit integer b
o
u
nds to re
d
uc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
k
e
ep trac
k
of numb
e
r of Bern
o
ull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernou
l
li
.
c: protect shared
evalue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
e
st Bernoulli sums based exa
c
t
e
numeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
ba
r
vino
k
_count_with_options:
compute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
laege
Bern
o
u
l
li
_
s
um_eva
l
u
e
:
optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: expor
t
fra
c
tional_part w
i
t
h C
l
i
nka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
barvinok_enu
m
erat
e
_with_o
p
tions: co
m
pute
(ex
a
ct) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdool
a
ege
Bernoulli_sum_eva
l
ue: handle equ
a
litie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
B
e
r
noulli_sum_
e
value: cut
off some redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: make sure n
o
empty
p
artition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
e
rnoulli_sum_eval
u
e: remove redun
d
ant c
o
nstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
l
aeg
e
bernoulli
.
c:
m
i
n
or refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
lae
g
e
Bernoul
l
i_s
u
m: handle context
c
o
n
st
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernou
l
li_su
m
_eva
l
ue: make
sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
fo
r
_each_lower_upper_
b
ound: add
a
nother callback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
verify
.
c: adjust def
a
ult range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
c
c
: su
m
mate_over_domain: only
con
s
ider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
param_util
.
c: export Param_
V
e
r
t
ex_S
e
t_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
Par
a
m_Polyhedron_
F
acet: pass facet def
i
ning constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
genfun
.
cc:
p
arallel_polyto
p
e
s
: don't
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_split
_
doma
i
ns_into_ort
h
an
t
s: don't reduc
e
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdool
a
eg
e
evalue_read: only allow terms
t
o cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead: only
accept implicit mul
t
iplicatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ev
a
lue_read: a
c
ce
p
t
c
onstraints containing "'
-
'
s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
l
ue_be
r
nstei
n
_coefficient
s
:
ens
u
r
e
r
e
sult
p
art
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
bernstein:
piecewise_lst: correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities: ke
e
p removing parameter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Ver
d
o
o
laeg
e
up
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: consistent us
e
of Kevin's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now publishe
d
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_
b
ou
n
d
:
a
llow absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
Re
v
e
r
t "eadd_par
t
itions: try to
combine multiple
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoola
e
g
e
ev
a
lue_read_
p
artition
:
put par
t
i
t
i
o
ns b
a
c
k in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_
e
value:
a
d
d not
e
on some miss
e
d opportun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
bern
s
t
ein
.
c
c:
han
d
le input with unions + relation viol
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
ma
x
imize
.
cc: deal w
i
th unions in input
d
ur
i
ng verification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_su
b
s
t
itute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdool
a
e
ge
e
v
alue
.
c: clean up
e
mul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolae
g
e
evalu
e
_re
a
d:
co
r
rectly read variable
nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
evalue_read: a
c
c
e
pt top level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
update
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdo
o
laege
e
value_backsubstitute:
a
dd requir
e
d
modulo con
s
tr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdool
a
e
g
e
eva
l
u
e
.
c: *_pa
r
t
i
tions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
l
a
ege
doc: more specific inf
o
r
m
at
i
on on buggy cdd
l
ib versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
e
n
Verdoola
e
ge
config
u
re
.
in: req
u
ire cddlib 0
.
94e by testi
n
g for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
in: only c
o
mpi
l
e
occ if
c
ode_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d
s
ome test
s
for
i
mplement
a
tion o
f
projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cument new option
s
and ne
w
ap
p
licat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
lae
g
e
A
U
T
HORS: u
p
date support informa
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
un
.
cc
:
s
hort
_
rat::print:
c
o
rrectly print polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as barvinok_enumerate_
s
eries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
re
m
ove_pa
r
ame
t
er_equali
t
ies: stop "r
e
moving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
series:
l
eave
freeing of P argument t
o
calling f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docum
e
n
t
imp
l
ementation of the p
r
o
j
ecti
o
n t
h
eo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add barvino
k
_enumera
t
e_e_se
r
ies
i
mplem
e
ntin
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c: fix and docum
e
nt
p
aralle
l
polytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
e
ge
Only compile zsolv
e
i
f
gcc 3
.
4 o
r
later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
Move GiNaC
-
independent part of libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olae
g
e
polyli
b
: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
d
o
c: h
o
w to c
o
u
n
t the num
b
er of elements in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoo
l
aeg
e
d
o
c
/
i
m
p
lementation
.
tex
:
avoid
m
ulti
p
ly d
e
fine
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doolaege
lattice_width
.
c:
try vertices of pr
e
vious integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
o
c
ument
i
n
teger hu
l
l
c
o
mputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
a
dd all points found
b
y sa
m
pli
n
g direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optim
i
zati
o
n
s
for gener
a
l
i
zed
b
a
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
e
ge
S
u
pp
o
r
t use
o
f gener
a
l
ized ba
s
i
s
reduction
t
o comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
l
aege
add Pol
y
hedron_I
n
t
eger_Minim
u
m for
c
omputing
the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaeg
e
do
c
:
docu
m
ent generalized bas
i
s redu
c
tion based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
d
oc
/
barvinok
.
bib: a
d
d
missing stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
la
e
ge
ad
d
mor
e
missing asse
r
t
.
h
#in
c
l
u
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
c
on
f
i
g
ure
.
in: o
n
ly compil
e
li
b
barvinok a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
Polyhed
r
on
_
Reduced_B
a
sis: don'
t
stop too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoola
e
ge
compute_width
_
d
ire
c
tion
s
: only keep list of d
i
sti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
versi
o
n
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
f
igure
.
i
n: don't
s
et with_{poly,pip
}
l
ib_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
P
olyhedron_
S
ample: be satisfied with a reaso
n
able ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
cone_int
e
ger_hull: o
p
tionally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rd
o
ola
e
g
e
basis_reduction: keep track of numb
e
r
of
LPs
solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
o
laege
o
p
tion
s
: move --pr
i
n
t-sta
t
s to librar
y
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
bernstein: r
e
wor
k
tes
t
ing fra
m
ework t
o
not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
b
ernstei
n
: add piecewi
s
e_l
s
t::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
s
u
ppor
t
newer versions o
f
GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
stand
a
rd_constr
a
ints: m
o
ve from topcom
.
c
t
o pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
o
laege
pol
y
sign
.
h
:
rem
o
ve de
p
enden
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Ver
d
oolaege
zsolve: a
d
d ban
n
er
.
h to distri
b
ut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolae
g
e
Polyhedron
_
Lat
t
i
ce_Width_Direction
s
: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
Verdoolaege
ba
s
i
s_reducti
o
n_pip: abort on invalid (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
explain how to get submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
doc: document
l
attice width
c
o
mpu
t
at
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
some
lat
t
i
ce width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Verdoo
l
a
ege
Pol
y
hedron_Lattice_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
a
d
d Polyhedron_
L
a
ttic
e
_Wi
d
t
h
for comput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_Int
e
ger_Hull fo
r
compu
t
ing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
pol
y
s
ig
n
: add pip-b
a
c
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
polysign: add
cons
t
raints
_
o
pt to co
m
pute
optim
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign_cdd:
s
wit
c
h to use of
M
atrix
r
epre
s
entation
.
.
.
commit
|
commitdiff
|
tree
next