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_summate: verify solution over whole parameter domain
2007-05-13
S
ven
V
erdo
o
laege
latt
i
c
e_point
.
cc:
allow rays
and ve
r
tex to hav
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
coun
t
e
r:
o
ptimize summing
o
v
er points in fu
n
dapip
e
d
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
a
tt
i
ce_point
.
cc:
a
voi
d
conversi
o
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verd
o
ola
e
ge
co
n
ve
r
sion
.
cc:
r
e
move rays2ma
t
r
ix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
e
v
alue
.
c: evalue_polynomial ex
t
racted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
evalue
.
c:
add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
ve
n
Verdoolaege
d
o
c: a
note on t
h
e c
o
nnection
b
etween Todd
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
doc: p
o
ints i
n
fun
d
apiped:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Ver
d
o
olaege
b
arvinok
.
cc: si
m
plify d
p
oly_n const
r
uctor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
R
e
move "norm
a
l
i
za
t
ion" or po
w
ers
in den
o
min
a
t
o
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
Ver
d
oolaege
decompos
e
r
.
cc: pass options to t
r
iangulat
e
_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
do
o
laege
barv
i
nok_count: o
p
tionally use exponent
i
al substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolaege
c
ounter
.
cc:
extracted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdool
a
ege
d
p
ol
y
::div: avoi
d
computati
o
n wit
h
ration
a
l numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpo
l
y: use
V
al
u
e
instead
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
ad
d
t
e
st for lattice point computat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
evalue_read
.
c
: add
e
v
alue_read_from_st
r
for re
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_r
e
ad
_
fro
m
_
file: don't
m
o
d
ify
v
ar_list argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue_read: rea
d
mor
e
general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
eval
u
e
_
convert
.
cc: add m
i
ssin
g
inclu
d
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
conversion
.
h:
genera
l
ize ra
y
s2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
lat
t
ice_
p
oint
.
h:
make
self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
evalue_
r
ead
:
e
x
t
r
act fro
m
max
i
m
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
en
u
merator: sup
p
ort pri
m
a
l
(half-open) decomposition
s
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
enumerator:
h
andl
e
(dual) stopped Barvinok dec
o
mposit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_point
.
c
c
: remo
v
e unu
s
ed PD a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
c
c
: extract cose
t
ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
lattice
_
point
.
cc: rename
c
eil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Ve
r
dool
a
e
ge
lattice_point
.
cc:
use some help
e
r functio
n
s to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
latt
i
ce_point
.
cc: impleme
n
t lookup-t
a
ble version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
m
o
v
e
more
lattice p
o
int computations t
o
la
t
tice_
p
oin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barvinok
.
cc:
latti
c
e
_
p
o
int: r
e
move a
specia
l
case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
doc:
integer points in fu
n
damental par
a
llelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c:
e
x
p
o
rt Matrix_Transp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ut
i
l
.
c: export Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
sc
a
l
e
.
c: m
o
ve Param_Vertex_Com
m
on_Denominator to
p
a
ram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
evalue
.
c:
a
d
d eval
u
e_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolae
g
e
e
v
alu
e
.
c: af
f
ine2
e
valu
e
: sk
i
p zer
o
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
eva
l
ue
.
c
: emul
_
poly: ef
f
i
ciently
handle c
a
se
o
f multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
b
u
m
p version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ve
r
dool
a
e
g
e
doc: update
o
pt
i
ons and so
m
e f
u
nction
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
er
d
oolaege
d
oc: document
v
olume com
p
u
t
ation
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
doc: more
reports expl
a
ining
p
arts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
bernst
e
in: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Ve
r
dool
a
ege
d
oc: transformatio
n
of p
a
rameter domain to
h
ave rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
V
erdo
o
laege
barvi
n
ok
.
cc: barvinok_count_f: avoid warni
n
g on
recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
erdoolaege
util
.
c: unim
o
dular
_
co
m
plete: ha
n
dle completio
n
o
f
m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
barvinok_enumerate
.
cc: handle all lin
e
s in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaege
bar
v
inok_
e
numerate
.
cc: series: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
g
e
doc
:
doc
u
men
t
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
e
rdoolaege
doc:
r
em
o
ve
r
efer
e
nce to old barvinok_seri
e
s ap
p
li
c
ation
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaeg
e
doc: update evalue_bern
s
tein
_
coeffic
i
e
nts
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
barvinok/options
.
h: put st
a
ts fi
r
st
i
n barvino
k
_
o
ptio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_max
i
mize: read_evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolae
g
e
bernstein
.
cc:
e
value_bernstein_coeff
i
cien
t
s: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoo
l
aege
barvinok_maximize: ev
a
l
u
e_read: allow
i
denti
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
a
rvinok_max
i
m
ize: move --
(
bernstei
n
-)rec
u
rse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
l
i
b
/argp: fix
l
o
gic in ho
l
_cluster_
c
mp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok_
m
aximize: allow speci
f
ication of t
h
e
va
r
iab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
o
laege
barvinok_maxim
i
ze
:
barf on
u
n
expected f
i
rst
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc
:
more docum
e
nts re
f
ering to the li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalu
e
_conver
t
.
c
c: evalue_coset: su
p
po
r
t relation
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
aege
evalue
.
c
:
print_eva
l
ue
:
always print newline at th
e
en
d
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaeg
e
doc: mu
l
tivariate quasi-polynomials as list
s
of polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
ae
g
e
e
v
a
l
u
e_convert
.
c
c
: include "config
.
h"
to pick
up USE_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
a
ege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
doc:
triangulatio
n
in pri
m
al spa
c
e +
som
e
typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doola
e
g
e
doc: docume
n
t
inner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: refe
r
to
K
o
e
ppe article
for simpler
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ve
r
doola
e
ge
d
o
c
: more publ
i
cati
o
ns (impli
c
itly) refering
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoola
e
ge
confi
g
ure
.
in: add $(EXE
E
X
T) to op
t
i
o
nal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
Ma
k
efile
.
am: m
a
ke sure
distri
b
ution contai
n
s required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verd
o
o
l
aege
barv
i
nok_e
n
umerate: don't print (non
-
exist
i
ng) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
edomain
.
cc: avoid
u
se of fds
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
configure
.
in: check for polylib/polyli
b
gm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
Verd
o
o
laeg
e
declare v
a
ri
a
ble at
start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoo
l
a
ege
M
a
k
efile
.
am: rebuild libra
r
ies in subdirs if mi
s
s
i
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barv
i
no
k
_enumerate:
rec
h
eck
for equal
i
ties after "
v
a
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven Ve
r
dool
a
ege
d
o
c: a voting theory report that refer
s
to th
e
l
i
b
r
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoo
l
aege
doc: up
d
ate pri
m
a
l
B
a
rvinok ref
e
r
enc
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
doc: add jou
r
nal v
e
rsion of improved derivation pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
volume
.
c: keep tra
c
k of number of simpl
i
ces
in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
Ve
r
d
o
olae
g
e
tes
t
_approx: test volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volum
e
.
c:
v
olume_tr
i
an
g
ulate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
volume
.
c: face
_
vertices: use Param_Inner_Pr
o
d
u
ct
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdoolaege
reduce_domain: exploit that no c
a
ller uses Polyh
e
dron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
olaege
lex
m
in: stop using
Po
l
y
h
edron2Pa
r
am_S
i
mplifie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
b
arv
i
nok
.
cc: sto
p
using Polyhedron2Para
m
_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
Re
q
uire
a
version
of PolyL
i
b th
a
t c
o
mp
u
tes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
v
o
lum
e
.
c
: n
o
n_empty_point:
s
imply use i
n
te
r
nal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
a
dd an ehr
h
art ex
a
m
p
le w
i
t
h
interesting
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test_approx: test
cham
b
er based sca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oo
l
aege
sca
l
e
.
c: optionally perform s
c
a
l
ing on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
ae
g
e
barvinok_enumerate: use "variable compres
s
ion"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_inverse: han
d
l
e
constant map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
e
val
u
e
.
c:
e
v
alue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
e
v
a
lue
.
c: affi
n
e
2
evalue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
r
e
du
c
e_do
m
ai
n
: partiti
o
n chamber complex ba
s
ed
o
n
i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_dom
a
in
.
c:
extr
a
ct inner_
p
oint
a
n
d is_internal
.
.
.
commit
|
commitdiff
|
tree
next