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
Bernoulli_sum_evalue: optionally handle fractional bounds exactly
2008-03-31
Sven Verdoolae
g
e
Berno
u
lli_sum_evalue: op
t
ionally handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
l
a
ttic
e
_
p
oint
.
h:
e
xport
f
ractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ba
r
vinok_enum
e
rate_wit
h
_options: compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i
_
su
m
_evalue: ha
n
dl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum
_
e
v
alue: cut
o
ff some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_e
v
a
l
ue: ma
k
e su
r
e no e
m
pt
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoul
l
i
_su
m
_
e
v
a
lu
e
:
r
e
mov
e
r
e
dun
d
a
n
t
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
bernoulli
.
c: m
i
n
or refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
Bernoulli_sum: handle
context constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
aege
for_
e
ach_lower_upp
e
r_
b
ound:
a
d
d a
n
other callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
e
r
ify
.
c: adjust defaul
t
range to c
o
ntext if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
euler
.
cc: summate
_
over_domain: only conside
r
act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
param_util
.
c: exp
o
rt
P
a
r
am_Vert
e
x_Set_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_Polyhedr
o
n_Face
t
:
pass face
t
defining constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
genfu
n
.
cc: paralle
l
_
pol
y
topes: don't bother ha
n
dl
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
eval
u
e_split_domains_in
t
o
_orthants: don't red
u
ce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
doolaege
evalue_read: only allow t
e
rms
t
o cro
s
s new
l
ines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
read: only accept implicit multip
l
icatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_rea
d
:
accept con
s
t
raints co
n
taini
n
g "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
ege
e
valu
e
_ber
n
s
tein_coefficients: ensure result
p
artiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bern
s
tein: piec
e
wise_lst:
c
orrectl
y
prin
t
and
e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
e
move_a
l
l_equ
a
lities: keep rem
o
ving pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
doc
:
co
n
s
i
s
t
ent use o
f
K
e
vin's
i
nitia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
fo
r
_eac
h
_lower_upper_boun
d
: allow absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
Revert "eadd_pa
r
titions: try to combine multiple d
o
ma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
ev
a
l
u
e_read_partiti
o
n
:
p
u
t partitio
n
s back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
l
aege
eval
u
e: r
e
duce
_
evalue
:
a
d
d note on some mi
s
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erdoolae
g
e
bernstei
n
.
cc:
h
andle
input
w
it
h
uni
o
ns + rel
a
tion violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
maximize
.
c
c:
deal with
union
s
in i
n
p
ut during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c
: clean up e
m
ul
a
nd ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
e
val
u
e_read: correctly re
a
d variab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
g
e
evalue_read: accept t
o
p leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolaege
evalue_ba
c
ksubstitu
t
e:
a
d
d requ
i
re
d
modulo
c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c
:
*_partitions: sim
p
li
f
y cons
t
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ver
d
o
olaege
doc
:
m
or
e
specific information
on buggy cddl
i
b versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoo
l
aege
c
onfigure
.
in: require
c
ddlib 0
.
94e
b
y
te
s
ting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in:
o
nly co
m
pile o
c
c if code_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ba
r
vi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoola
e
ge
add some tests for implem
e
ntation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
d
o
c
: docum
e
nt new opti
o
ns and new app
l
ic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTH
O
RS: update suppor
t
i
n
f
o
r
m
a
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
genfun
.
cc: short_
r
at::prin
t
: correctly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
o
l
ae
g
e
Export series as
barvin
o
k_e
n
u
m
erate_ser
i
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
remove_parameter_equaliti
e
s
:
stop "remo
v
ing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
s
eri
e
s: lea
v
e freein
g
of P a
r
gument
t
o
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
aege
doc: document implementation of the p
r
oje
c
tion theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
add b
a
r
v
i
nok_enumerate_e_se
r
ies implement
i
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
ge
n
fun
.
cc: fix and
document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
iNaC-
i
n
d
epen
d
en
t
part of library to barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laeg
e
d
oc: how to count the nu
m
be
r
of elements
i
n possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc
/
impleme
n
t
ation
.
tex: avoid mu
l
tiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice_w
i
dth
.
c: tr
y
vertices
of pr
e
v
i
ous integer
h
ul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c: add
a
ll
points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoo
l
a
ege
Pos
s
ib
l
e optimizations for generali
z
ed
b
asis
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
Suppo
r
t use of genera
l
i
z
ed basis
r
e
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
olaege
add Poly
h
e
d
ron_Integer
_
Mi
n
imum for
computing the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Ver
d
oolaege
d
o
c:
d
ocument generalized b
a
s
is reduction base
d
int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc/b
a
rvinok
.
b
ib: add miss
i
n
g
strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoolaege
add more miss
i
n
g
asse
r
t
.
h
#
includ
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n V
e
r
d
oolaege
config
u
r
e
.
in:
o
nly compile l
i
bbarvinok as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
olyhedron_Reduced
_
B
a
sis: don't st
o
p too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_directions: only kee
p
list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdoolaege
zsolv
e
: don
'
t install libr
a
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoolaege
version
.
c
:
show use of
T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
conf
i
gure
.
in: don't set w
i
th_{poly,pip}lib
_
prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rdoolae
g
e
Polyhedron_Sample:
be satis
f
i
e
d
w
i
t
h
a reasonable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
laege
c
one_integer_hull: optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
basis_reduction: keep
track of
n
umbe
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
e
ge
options
:
move --print-stats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
b
ernstein
:
rework testing
f
ramew
o
rk to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add piece
w
ise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
supp
o
rt newer versions of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
ge
standar
d
_cons
t
raints: move fro
m
topco
m
.
c
t
o
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaege
polysign
.
h:
r
emov
e
dependen
c
y on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
zsolv
e
: add bann
e
r
.
h
t
o
d
i
s
tr
i
bu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Poly
h
edron_Latt
i
ce_Wi
d
th_Dir
e
ction
s
: print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
l
aege
basis_re
d
u
c
t
i
on_pip: abort on invalid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
e
xplai
n
h
o
w to get su
b
modules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n V
e
rdoolaege
doc: d
o
cument lattice width c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
Polyhed
r
on_La
t
tice_
W
idth: de
c
i
d
e on
facet
s
to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verd
o
o
laege
add Polyhedron_Lattice_Width f
o
r
comput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Ve
r
doolaege
hilb
e
rt
.
c: add Co
n
e_Int
e
ger_Hull for computin
g
vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
r
d
oolaege
polysig
n
: add pip-
b
acked version
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolaege
polysign:
a
dd constraints_opt to com
p
ute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
polysign_c
d
d: sw
i
tch t
o
use of Ma
t
rix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
pol
y
sign_
g
lpk
:
switc
h
to us
e
of Matrix
r
eprese
n
ta
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
doc: document
c
o
m
p
utation of Hilbert basi
s
of a
c
on
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Cone_Hilb
e
rt
_
Basis: u
s
e standard_constraints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use zs
o
lve to
c
ompute
Hi
l
bert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don'
t
in
s
tal
l
headers and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
z
s
o
l
ve: i
n
itialize BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
e
rdoola
e
ge
zsolve: zs
o
l
v
eSystem: add
missing ver
b
osity check
commit
|
commitdiff
|
tree
next