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
a
eg
e
Add some support for deali
n
g with eval
u
es th
a
t re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
a
e
ge
barvinok_enumerate: support use o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
impleme
n
t Berno
u
lli_sum
as
conversion fr
o
m
u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
ou
l
l
i_sum_evalue: exploi
t
integer bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
k
e
ep
t
rack
o
f
n
u
m
ber of Bernoul
l
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
bernoulli
.
c: protect shared eval
u
e from mod
i
fica
t
io
n
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
olaege
test B
e
rnou
l
li s
u
ms based
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
lae
g
e
barvinok_
c
o
unt_with_opti
o
n
s
: com
p
ute
(exact)
B
ernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bern
o
ull
i
_sum_evalue: opti
o
nally handle
f
r
a
ct
i
on
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
lattice_poi
n
t
.
h:
export fractio
n
al_
p
art with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barv
i
no
k
_
e
n
ume
r
a
te_w
i
th_optio
n
s: c
o
mpute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_ev
a
lue
:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Berno
u
lli_sum_evalue: cut off
s
ome
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdool
a
ege
Berno
u
lli_s
u
m
_
evalue:
m
ake sure n
o
em
p
ty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
Bernoulli_sum_evalue: remo
v
e redund
a
nt
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
o
la
e
ge
ber
n
oulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
ernoulli_sum:
h
andle
context
constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for_eac
h
_lower_upper_bound: add anot
h
er callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: ad
j
ust default ra
n
ge to co
n
text
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc:
s
umma
t
e
_
over_d
o
main
:
only c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
param_
u
til
.
c: export
Pa
r
am_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Pa
r
am_Poly
h
edron_Facet:
p
ass facet de
f
ining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
genf
u
n
.
cc:
p
arallel_polytopes: don't bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
evalue_spl
i
t_domains_into_o
r
thants: d
o
n
't reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doolaege
eval
u
e_r
e
ad: only
allow te
r
ms
to
c
ross
newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_read: only accept imp
l
icit multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalu
e
_r
e
a
d:
a
c
cept constrain
t
s
c
o
n
taining "'-'
sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
value_ber
n
stein
_
c
o
efficie
n
t
s:
e
nsure re
s
ult p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
bernstein: piecewise_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remove_all_equalities
:
k
e
ep
removing param
e
ter eq
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolae
g
e
doc: consist
e
nt use o
f
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
doc: upda
t
e now
p
u
blished
p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
o
r_eac
h
_lower_u
p
per_bound: allow absence of
l
owe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
R
e
vert "eadd_partitions: try to com
b
i
ne
mult
i
ple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
e
value_rea
d
_p
a
r
t
ition: p
u
t
p
artitions
b
a
ck in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
v
alue: reduce_evalue: add not
e
on s
o
me m
i
ss
e
d oppo
r
tu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
bernstein
.
cc: handle input with
u
nions +
re
l
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laege
maximize
.
cc: deal wit
h
unio
n
s in input
d
u
r
i
ng
v
erificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_su
b
stitute: prope
r
ly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue
.
c: clean
up em
u
l and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue
_
read: c
o
rrectly
read
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e_read: accept top
level
"
relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
V
erdo
o
l
a
eg
e
evalue_backs
u
bstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verd
o
olaege
evalue
.
c: *_par
t
i
t
ions: simplify
co
n
straints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdoolae
g
e
doc: more specifi
c
information
o
n b
u
ggy c
d
dlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
aege
c
onfigure
.
in
:
requi
r
e cddlib 0
.
94e by
t
e
sting
f
or bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdool
a
ege
configu
r
e
.
i
n: only co
m
pile occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add some tests for
i
mpl
e
men
t
ati
o
n of pr
o
jecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
doc: do
c
u
me
n
t new opti
o
ns and new applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdool
a
ege
A
UTHORS
:
upd
a
te
s
up
p
ort
i
nforma
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
gen
f
un
.
cc:
short_rat:
:
print: co
r
rec
t
ly print poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export
series a
s
barvinok_en
u
mer
a
te_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
remove_para
m
eter_equalities: sto
p
"remo
v
i
n
g" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
s
eries
:
leav
e
freeing of P argume
n
t to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc
:
docu
m
ent imple
m
enta
t
i
o
n of the p
r
ojection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
lae
g
e
add b
a
rvinok_enumera
t
e
_e_series implementing the pr
o
j
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaeg
e
genfu
n
.
cc
:
fi
x
and d
o
cument parallel polyt
o
pes
c
l
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
ge
Move Gi
N
aC-independ
e
nt part of
library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdo
o
la
e
ge
doc: how to count
t
h
e number of eleme
n
ts
in possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implement
a
tion
.
tex: avoid multiply defined
l
a
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
ola
e
ge
l
at
t
i
ce_wi
d
th
.
c: t
r
y
vertices o
f
previ
o
u
s
i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc
:
document
i
nteger hull com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
h
ull
.
c: add all points found
by sampling d
i
r
ec
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olae
g
e
Possib
l
e optimizations for gen
e
r
ali
z
ed basi
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
lae
g
e
Support use
o
f generalized
basis
reduc
t
ion to
c
o
mp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
erd
o
olaege
add Polyhedr
o
n
_Integer_Mini
m
um for comp
u
ting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc: do
c
ument gene
r
alized basis re
d
u
c
tion based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc
/
barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
V
erdoolae
g
e
add mo
r
e
missing assert
.
h
#inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaeg
e
configure
.
i
n
:
only comp
i
le libbar
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doo
l
a
e
ge
Polyhedron
_
Reduced_Bas
i
s: don't stop
too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ve
r
doolaege
compute_width_direc
t
ions: only keep
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdool
a
eg
e
zsolve: don'
t
inst
a
ll
librar
y
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ver
d
o
o
l
aege
version
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
configure
.
i
n: don't set with_{poly,pip}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoo
l
ae
g
e
Polyhedron_Sample: be satisfi
e
d with a
r
easonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
c
one_i
n
t
e
ger
_
hull:
op
t
ionally
p
rint
stats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
lae
g
e
basis_red
u
ction: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
rdoolae
g
e
options: mov
e
--print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
ge
bernstei
n
: rework tes
t
ing framework to not de
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
b
ernstein: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
support
n
ew
e
r
v
ersions o
f
G
iNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaeg
e
standard_constraints: move from topcom
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
polysi
g
n
.
h:
r
emove
dependency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add
banner
.
h
t
o dis
t
r
ibu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
la
e
g
e
Polyhedr
o
n_La
t
t
i
ce_Wid
t
h
_Directions:
pr
i
n
t
p
r
o
g
r
es
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
g
e
basis_re
d
uction_pip
:
abort o
n
invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README:
explain how
t
o get
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc
:
docum
e
nt l
a
ttice width compu
t
ati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
ome l
a
ttice
w
idth tests from Jo
n
Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattice_Widt
h
: decide
o
n facets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
ol
a
ege
add P
o
lyhed
r
on_Lattice_Width for
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hil
b
ert
.
c:
add C
o
ne_Int
e
ger_Hull fo
r
computi
n
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign: add pip
-
backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysign: add c
o
nstra
i
n
ts_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
p
olysi
g
n_cdd: switc
h
to us
e
of Matrix represe
n
tatio
n
.
.
.
commit
|
commitdiff
|
tree
next