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_count_with_options: compute (exact) Bernoulli sum at request
2008-03-31
Sven Ve
r
doo
l
a
ege
barvinok_count_with
_
opti
o
n
s: c
o
mpute (e
x
act)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue
:
optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
l
attice_point
.
h: export fracti
o
nal_part
w
ith C
lin
k
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barv
i
nok_enume
r
ate_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoull
i
_sum
_
evalue: handle
e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Be
r
noulli_sum_eva
l
ue: cut off some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_
s
um
_
evalue: make sure no empty
p
artit
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
Bernoulli_
s
um_evalue: re
m
ove redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoulli
.
c: minor
refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
la
e
ge
Bernoulli_
s
um:
h
andle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rno
u
lli_sum_evalue
:
ma
k
e sur
e
enough
m
emory is allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
d
oolaege
f
o
r
_
each_
l
ower_upper_bo
u
nd: add a
n
other c
a
llb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
veri
f
y
.
c: adjust default r
a
ng
e
to con
t
e
x
t if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
eule
r
.
cc:
s
ummate_over_domai
n
: only consid
e
r a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
l
aege
p
ar
a
m_util
.
c: export Par
a
m_Vertex_Set
_
Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
P
aram_Pol
y
hed
r
on_Facet: pa
s
s facet
defini
n
g c
o
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
genf
u
n
.
cc: par
a
llel_polytopes:
d
o
n't both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
ev
a
lu
e
_spl
i
t_domai
n
s_
i
nto_o
r
t
h
ants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
e
value
_
read: only allow
term
s
to cross n
e
wlines
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
val
u
e_read:
o
n
l
y acce
p
t
i
mplicit mu
l
tip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaeg
e
ev
a
lue_read:
a
ccept constraints conta
i
ning "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
value_bernstei
n
_coefficients: ens
u
re result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoolaege
bernstei
n
: piecewise_lst: correctly print and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
r
emove_all_e
q
ualitie
s
: keep r
e
moving para
m
eter equa
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
l
aege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: c
o
nsistent use of
K
e
vi
n
's init
i
al
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olaege
d
oc:
u
p
date now publi
s
h
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
fo
r
_each_lo
w
e
r
_u
p
p
er_boun
d
:
allow abs
e
nce
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
Revert "e
a
dd_pa
r
t
ition
s
:
try
t
o combine m
u
ltipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue
_
re
a
d
_
partition: pu
t
partitions
b
ack in
th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue: reduce_e
v
a
l
ue:
a
dd note on som
e
mi
s
se
d
o
p
por
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
be
r
nstein
.
cc: handl
e
input with
unions + rela
t
ion viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ma
x
imize
.
cc:
deal wit
h
u
nions
i
n input during veri
f
icatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaeg
e
ev
a
lue_substitu
t
e: pr
o
pe
r
ly handle
r
elati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
ge
e
v
al
u
e
.
c: clea
n
up emul a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_
r
ead: c
o
rrect
l
y read va
r
i
able n
a
me
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
doolaege
eval
u
e_read: acc
e
pt top
l
evel "r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
up
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalue
_
backsubstitute: add required
m
o
d
ulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven
V
erdool
a
e
g
e
eval
u
e
.
c: *
_
pa
r
t
i
tions:
si
m
p
lify
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ver
d
oolaege
doc
:
m
o
r
e
s
p
e
cific inform
a
t
ion on bugg
y
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verd
o
ola
e
ge
configure
.
in: re
q
uire cddlib 0
.
94e by testin
g
for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolae
g
e
configure
.
in: only compile o
c
c if code_g
e
n libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
some
t
e
s
ts for implement
a
tion of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
d
o
c: docume
n
t new option
s
and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
g
e
AUTHORS: updat
e
support
informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc
:
s
h
o
r
t_r
a
t
::pr
i
nt: correct
l
y print polyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolae
g
e
E
x
port series
a
s
barvinok
_
enumerate_serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
re
m
ove_
p
arameter_equalities: s
t
op "removing" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdool
a
ege
s
eries: leave freeing of
P
ar
g
ument
t
o calling f
u
nction
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: doc
u
m
ent implement
a
t
i
on
o
f the projectio
n
t
h
e
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
a
d
d barvinok_enumerate_
e
_series implementing th
e
pr
o
jecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and document parallel
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoolae
g
e
O
n
ly co
m
pile zs
o
lve
i
f gcc 3
.
4 or late
r
is
available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-inde
p
e
n
dent part of li
b
rary
to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
olaege
po
l
y
lib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolae
g
e
do
c
:
how to count the number
of ele
m
ents
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Verdoolaege
doc/imple
m
en
t
at
i
on
.
tex: avoid mult
i
p
l
y def
i
ned l
a
be
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
lattice_width
.
c: tr
y
v
e
rtices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: doc
u
me
n
t int
e
ger
hull com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
hul
l
.
c: add all poin
t
s fo
u
n
d
by
samp
l
ing dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
Pos
s
ible optimizations for g
e
neralized
b
a
sis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
olaeg
e
Suppo
r
t u
s
e of genera
l
ize
d
b
as
i
s reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
d
d Po
l
yhedron
_
I
nteger_Minimum for compu
t
ing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
la
e
g
e
doc: document generalized bas
i
s reduc
t
ion based int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
doc/b
a
rvinok
.
bib: add
m
issing st
r
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolae
g
e
add more missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
eval
u
e
.
c: add mis
s
i
n
g
incl
u
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoo
l
aege
conf
i
gure
.
in: pa
s
s
p
ath
o
f GMP installation
to
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
con
f
ig
u
re
.
in: only compi
l
e l
i
b
barvinok as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolae
g
e
Polyhedron_Reduc
e
d_Basis
:
do
n
't stop too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verd
o
olae
g
e
c
ompute_widt
h
_dir
e
ctions: only
ke
e
p list of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
oo
l
aege
z
solve: don
'
t install li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
vers
i
on
.
c: sho
w
use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
con
f
igure
.
in: don't set with_{poly,pip}lib_pref
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
Pol
y
hedron
_
Sam
p
l
e
:
b
e satisfied with a rea
s
onabl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
c
o
ne_int
e
ger
_
hull: optionally p
r
int sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
b
asis_reduction: k
e
ep track of n
u
mb
e
r of LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
optio
n
s: m
o
ve
-
-
print-
s
tats to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
ber
n
stein: rework
t
esting fra
m
ework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoo
l
aege
bernstein
:
add piecewise_lst::
i
s_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
supp
o
rt newer ve
r
sions of GiNa
C
(>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
standard_con
s
traints:
m
ove fr
o
m topcom
.
c
to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysig
n
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
do
o
laege
zsol
v
e: add ba
n
n
e
r
.
h to distr
i
butio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
Polyhedron_Lattice_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doola
e
ge
b
asis_reduction_pip
:
abort on
i
n
v
alid (empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
dool
a
ege
README: exp
l
ain h
o
w
to get
s
ubmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdool
a
e
g
e
doc: doc
u
m
ent
l
attice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
lattice widt
h
t
e
sts
from Jon Ya
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaeg
e
Pol
y
hedron_Lattice
_
Width: decide on facets to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoo
l
aeg
e
add Polyh
e
d
ron_
L
attice_Width for co
m
put
i
ng latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaeg
e
hilbert
.
c
:
a
d
d
Cone_Integer_Hull f
o
r
c
omputin
g
vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
p
olysign:
a
d
d
pip-backe
d
versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign: add constraints_opt to compu
t
e o
p
timum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
polysign_cdd
:
switch to use
of Ma
t
rix r
e
presenta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
l
a
ege
polysign_glpk: switch
to us
e
of Matrix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
d
o
c
ument
computation o
f
H
i
lbe
r
t bas
i
s of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdo
o
laege
Cone_Hilb
e
rt_Basi
s
: us
e
standard_constr
a
ints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
next