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
barvinok 0.28
2008-03-31
Sven Verdoo
l
aege
Add
s
o
m
e support for d
e
aling with
eva
l
ues that rep
r
e
s
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
barvinok_enumerate: su
p
port u
s
e of
E
uler-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
im
p
lement Be
r
noulli_s
u
m
a
s
conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue: ex
p
loit inte
g
er bou
n
ds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
keep track of n
u
mbe
r
of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoul
l
i
.
c: protect shared evalue from m
o
dific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test Ber
n
oulli sums based e
x
act en
u
meratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
barvinok_count_wi
t
h_optio
n
s: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
o
u
lli_sum_evalue: o
p
t
io
n
ally handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
l
a
t
t
ice_poi
n
t
.
h:
e
x
p
o
rt
f
rac
t
ional_part
wi
t
h C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_enu
m
erate_wit
h
_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bernoul
l
i_sum_evalue: h
a
ndle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaege
Bernoull
i
_sum_evalue:
c
ut off some redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Bernoul
l
i_sum_
e
value: make sur
e
no empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
ege
Bernoulli_sum_eval
u
e: remov
e
redundant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernou
l
li
.
c: mino
r
refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bern
o
ulli_sum: handle context
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
o
o
l
a
ege
fo
r
_each_lower_upper_bound: add a
n
other callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: ad
j
us
t
d
efaul
t
range to context
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
u
l
er
.
cc: summate
_
over_domain: only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
param_util
.
c: e
x
port Param_
V
ertex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
P
aram_Polyhedro
n
_Fac
e
t
:
pas
s
facet de
f
ining const
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
g
e
nfun
.
cc:
p
arallel_poly
t
opes: don't both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
l
a
eg
e
evalue_split_domains_in
t
o
_
orthants: d
o
n't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolaege
evalue_read
:
only a
l
low ter
m
s
to c
r
oss newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ev
a
lue_
r
e
a
d
:
only accept i
m
p
l
icit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
e
valu
e
_read: accept constraints containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_bernstein_coefficients
:
ensu
r
e result
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rd
o
ola
e
g
e
ber
n
ste
i
n: piecewis
e
_lst: correct
l
y pr
i
nt
a
n
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
remove_all_equa
l
ities:
k
eep removi
n
g par
a
me
t
er
e
q
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdo
o
laege
doc: consi
s
t
ent use of K
e
v
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: updat
e
now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_eac
h
_low
e
r
_upp
e
r_bou
n
d: al
l
ow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Reve
r
t "eadd_p
a
rtitions
:
try to combi
n
e multiple do
m
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_re
a
d_partition: put
p
artitions bac
k
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue:
r
e
duce_evalue: add note
on
some missed opportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
ber
n
s
t
ein
.
cc: handle
input with
uni
o
ns + re
l
ation vi
o
late
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc:
deal with union
s
in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
ev
a
lue
_
substitute: properly h
a
ndle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
val
u
e
.
c: clean
up
emul and e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Ve
r
doolaege
evalue_read
:
correctly
r
ea
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdool
a
ege
evalu
e
_read: a
c
cept top
level "r
e
l
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaege
eva
l
ue_backs
u
b
st
i
tute:
add requir
e
d modulo const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
S
ven
Ve
r
do
o
laege
eval
u
e
.
c
: *_partitions: si
m
pli
f
y constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verd
o
ol
a
ege
do
c
: more specific information on buggy cddlib v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
r
doolaege
conf
i
gure
.
in: req
u
ire
cddlib 0
.
94e by test
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n
V
erdoolaege
c
onfigure
.
in: only compil
e
occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
bar
v
inok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add some
t
e
s
ts for implementation of projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
: document new option
s
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
AUTHORS:
u
p
date support inform
a
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
ge
n
fun
.
cc: short_rat:
:
pr
i
nt:
c
o
rrectly
print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
ge
Export series as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
re
m
ove_
p
ar
a
meter_equalities: stop "removing" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: le
a
ve freeing of P argument to calli
n
g functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
doc
:
d
o
cumen
t
i
m
pleme
n
tation o
f
the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
ad
d
barv
i
nok
_
enumerate_e_series
i
mp
l
ementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfun
.
cc: fix a
n
d
d
ocument parallel poly
t
op
e
s
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
Move
GiNaC-inde
p
endent part of
l
i
b
r
a
r
y to barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
p
o
lylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how
t
o co
u
nt the
number
o
f e
l
ements in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Ver
d
oolaege
doc/
i
mpl
e
mentat
i
on
.
tex: avoi
d
mu
l
tipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
a
ttice
_
width
.
c: try vertic
e
s of previous intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc: d
o
cument int
e
ger hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
hull
.
c
: add
a
ll points found
b
y
sa
m
p
l
ing direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Possib
l
e optimiz
a
tions for
generalized
b
asis re
d
uctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Supp
o
rt use of generaliz
e
d basi
s
reduction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
a
d
d Poly
h
edron_Integer_M
i
nimum for compu
t
ing the i
n
t
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolae
g
e
doc: docum
e
nt g
e
neralized basis reduction based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaeg
e
doc
/
ba
r
vinok
.
bib: a
d
d mi
s
sing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verd
o
olae
g
e
a
dd more missin
g
ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdo
o
laege
co
n
f
i
g
ure
.
in: o
n
ly comp
i
le libbarvinok as a st
a
t
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
Po
l
yhed
r
on_
R
educed_Basis: d
o
n't st
o
p too ear
l
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
mpute
_
widt
h
_directions: o
n
l
y k
e
ep li
s
t of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en V
e
rdoolaege
zsolve:
d
on't
install l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doo
l
aege
versio
n
.
c: show
u
se o
f
TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
i
n:
d
on't set with_{poly,pip}lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
Polyhedron_Sam
p
le: be s
a
tisfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
laeg
e
cone_integer_hull: optionally
p
rint
st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
r
d
o
o
laege
basis_r
e
ducti
o
n:
k
eep track of
number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
options: move --pri
n
t-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
b
ernstein:
r
e
w
ork t
e
sting
frame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
aege
bernstein: a
d
d pie
c
ewise_lst::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdo
o
laeg
e
support
n
ewer versions of Gi
N
aC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
s
t
a
n
dard_c
o
nstraint
s
: move from topco
m
.
c
to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
pol
y
s
ign
.
h: rem
o
ve dep
e
ndency
on
l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
ola
e
g
e
z
s
o
lve: add banner
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
P
olyhed
r
o
n_Lattice_Width_Dir
e
ctions:
print
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
bas
i
s_reduction_p
i
p
:
a
bort on
inval
i
d (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doola
e
ge
READ
M
E: expl
a
in ho
w
to g
e
t
s
u
bmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document lattice width c
o
mputa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
do
o
l
a
ege
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoo
l
ae
g
e
P
olyhedro
n
_Lattice_Width: decide on f
a
cets to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
a
d
d
P
o
ly
h
edron
_
L
att
i
ce_W
i
dth
f
or computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
h
ilbert
.
c: add Cone_Integer_Hu
l
l for computing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
lae
g
e
polysign
:
a
d
d
p
ip-backed ve
r
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laege
polysign: ad
d
con
s
tra
i
nts_opt to compute optimu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdo
o
l
aege
polysign_cd
d
: switch to use
of Matrix
represen
t
ation
.
.
.
commit
|
commitdiff
|
tree
next