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
doc: fix typos
2008-03-31
Sve
n
Verdoolaege
k
e
ep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
bernoull
i
.
c: prot
e
ct shared
e
v
a
lue from modi
f
ications
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
t
e
st Bernoulli su
m
s ba
s
ed exact enume
r
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_cou
n
t_with_options: compute (exact) Bern
o
ull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
B
ernoulli_sum_eva
l
ue:
o
ptionally h
a
n
d
le fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
lat
t
ice_point
.
h: export fractional_part with C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barv
i
nok
_
e
n
u
m
e
rate_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Berno
u
l
l
i_sum_evalue: h
a
ndl
e
equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue: cut of
f
some re
d
u
n
da
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
e
rnoulli_sum_eval
u
e: make sure no
empty
p
a
r
t
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Berno
u
lli_sum_evalue: remove redun
d
ant cons
t
raint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
Bernoulli_sum: hand
l
e context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
l
li_sum_evalu
e
: make s
u
re enoug
h
me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
for_each_lower_upp
e
r_bound:
a
dd
a
nother c
a
ll
b
a
c
k fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
verify
.
c: adjust default range
t
o context if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
le
r
.
cc: summa
t
e
_over_domain: only consid
e
r ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
pa
r
a
m
_ut
i
l
.
c: exp
o
rt
Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Para
m
_
Po
l
yhe
d
ron_F
a
cet: pass face
t
defin
i
ng c
o
n
s
tra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
genfun
.
cc: p
a
rallel_polytop
e
s: don't
bother
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
e
value_split_dom
a
ins_into_or
t
hants:
d
on't reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalu
e
_
r
ead: only allow terms to cross newlines
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
eval
u
e_read:
o
nly accept impli
c
it multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
evalue_read: accept constraints
conta
i
n
i
ng "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
evalue_b
e
rns
t
ein_c
o
efficie
n
ts: ensure r
e
sult pa
r
tit
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
o
olaege
ber
n
stein:
p
iecewis
e
_lst: correc
t
ly print and
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
olaege
remove_
a
ll_equalities
:
keep re
m
ovin
g
p
aram
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consi
s
tent use
of Kevin's
in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
do
c
: update now publi
s
h
ed p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
for_
e
a
ch_lower_upper_boun
d
:
a
l
lo
w
a
b
sence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert
"
eadd
_
partiti
o
ns: t
r
y to combine mu
l
ti
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaege
evalue_read_partitio
n
: pu
t
partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
v
a
l
ue: red
u
c
e
_e
v
a
l
ue: a
d
d
note on some missed op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdool
a
ege
be
r
nstein
.
cc: handle input wit
h
unions +
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
maximiz
e
.
cc: deal with unions in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
a
ege
evalue_substitute
:
properly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
eva
l
u
e
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_read
:
correctly rea
d
vari
a
ble name
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
eva
l
ue_read:
a
cce
p
t top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
eva
l
ue_backsubs
t
itute: add req
u
ire
d
mo
d
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoola
e
ge
ev
a
lue
.
c: *_partit
i
ons:
s
i
m
p
l
ify c
o
n
s
tr
a
in
t
s
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Verdoola
e
g
e
doc
:
more specific informati
o
n on buggy cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
S
v
e
n Ver
d
oolaege
co
n
figure
.
i
n:
requ
i
re cddli
b
0
.
9
4
e
b
y t
e
sting
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaeg
e
conf
i
gure
.
in: only compi
l
e occ if code
_
ge
n
l
ibrar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests fo
r
implementation
o
f projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t new opti
o
ns and
new app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laege
AUTH
O
R
S:
update support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verd
o
olaege
g
e
nfun
.
c
c:
sh
o
r
t_rat::prin
t
: correctly print p
o
lynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export
se
r
ies as barvinok_en
u
merate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
r
emove
_
p
a
rameter_equalities: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
series: leave freeing of P argument to calling func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
ege
doc: document implementation of the projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d barvinok_enumera
t
e_e_
s
eries implementing t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
g
enfun
.
cc: fix a
n
d doc
u
m
e
n
t parallel
po
l
ytopes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
Only compile zsolve
i
f gcc 3
.
4 or la
t
er is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Move
GiNaC-indep
e
ndent part of lib
r
ary to
b
ar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
e
rdoola
e
ge
pol
y
l
ib:
u
p
d
ate
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaeg
e
doc: how to count
t
he nu
m
ber of elem
e
n
ts
i
n possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaeg
e
doc/implement
a
tion
.
tex: av
o
i
d
m
u
ltiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erd
o
olae
g
e
l
a
ttice_wid
t
h
.
c: try vertices of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: documen
t
i
nteger hull
computatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
hull
.
c
:
a
d
d al
l
points fou
n
d
by sam
p
ling direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
P
o
ssible
optimizations for genera
l
ized
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
aeg
e
Su
p
port use of g
e
nera
l
iz
e
d ba
s
i
s redu
c
tion to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Integer_Mi
n
imum
f
or
c
omputing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
gener
a
l
i
zed basis reduction based
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc
/
barvinok
.
bib: add mis
s
ing
strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
e
g
e
ad
d
more missing assert
.
h
#inc
l
udes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
evalue
.
c: add missing
i
n
c
lude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
conf
i
gu
r
e
.
in
:
pas
s
path of GMP instal
l
atio
n
to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erd
o
olaege
configure
.
in: only
c
om
p
ile l
i
bbarvinok a
s
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_Reduce
d
_
B
asi
s
: don't stop too early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
co
m
pute_
w
i
d
th_directions:
o
nly keep list of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdoolaege
z
s
olve: do
n
't
install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
v
ers
i
on
.
c:
s
how
use of
T
OP
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
configure
.
in: don't se
t
w
i
t
h_{poly,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
ool
a
eg
e
Polyhedro
n
_Sample: be
satisf
i
e
d
with
a
re
a
son
a
bl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
one_integer_hull: optionally p
r
int
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
basis_reducti
o
n
:
ke
e
p t
r
ack of number of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
op
t
ions: move --print-stats to l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaeg
e
bernstein: rework testing frame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein
:
add
piecewise_
l
s
t
::is_
e
qu
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
ge
support newer versions
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
doolaege
standard_c
o
nstraints: m
o
ve
f
r
om
t
opco
m
.
c t
o
po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
polysign
.
h: r
e
move dependency on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verd
o
olaege
z
solve:
add banner
.
h to distrib
u
tio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
Po
l
yhedron_Lattice_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdo
o
laege
ba
s
is
_
re
d
ucti
o
n
_pip: abort on invalid (empty)
inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
README: e
x
plain how to
g
e
t s
u
bmodule
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
d
oc: document
lattice width comp
u
t
atio
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
s
ome
la
t
tice
w
idth tests
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verd
o
olaege
Polyhedron_Latt
i
ce_Widt
h
: decide
o
n
fa
c
e
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
a
d
d Polyhedron_Lattice_Widt
h
for compu
t
i
n
g la
t
ti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
hilbert
.
c: add Cone_Integer_
H
ull for computi
n
g ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
poly
s
ign:
add pip-backed
v
ersi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign
:
add constraints_opt to compu
t
e optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysig
n
_cdd: switch to
u
se
of
M
atrix
re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
next