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
evalue_read_from_file: don't modify var_list argument
2007-05-02
Sven
Verdoolaege
evalue_read_from_fi
l
e: don't m
o
dify v
a
r_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
va
l
ue_read
:
read more gener
a
l evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue_c
o
nvert
.
c
c
: add missin
g
inclu
d
e
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolae
g
e
conver
s
ion
.
h: generaliz
e
r
ays2m
a
tri
x
2 to zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
d
o
o
laege
lattic
e
_poin
t
.
h: mak
e
self-contain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
eva
l
ue_read: extract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
num
e
r
a
tor
:
suppor
t
primal
(half-op
e
n) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
enumerator: handle
(
du
a
l) s
t
opped
B
ar
v
in
o
k decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
lattice_point
.
c
c: remov
e
unused
P
D
arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolae
g
e
l
a
t
tice_point
.
cc: extract coset generati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
lattice_point
.
cc: re
n
ame cei
l
_
m
od to
fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
lattice_point
.
cc:
u
s
e
some helper functions
t
o s
i
mplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
olaege
latt
i
ce_poin
t
.
cc:
implement
lookup-
t
able ve
r
sion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
m
o
ve more
l
attic
e
p
oint computations
to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doola
e
ge
barvinok
.
cc: l
a
tti
c
e_point: remove a special
case
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
doc:
i
n
t
eger poi
n
ts in fundamen
t
al parallelepi
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ola
e
ge
util
.
c: exp
o
rt Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ut
i
l
.
c: expo
r
t
Vect
o
r_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scal
e
.
c:
m
ove Par
a
m
_
Vertex
_
C
o
mmon_Denominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
la
e
ge
evalue
.
c: add eval
u
e_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
e
value
.
c
: affin
e
2evalue: skip
ze
r
o coeffici
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdo
o
laege
eva
l
u
e
.
c:
e
mul
_
poly:
e
fficie
n
t
l
y
handle case o
f
multiplic
a
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verdoolaege
b
um
p
ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc:
updat
e
options and s
o
me
functio
n
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Ve
r
doolaege
doc: document volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: more reports e
x
p
l
a
ining parts of
b
arvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaeg
e
ber
n
stei
n
: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
oolaege
doc: transform
a
t
i
o
n
of parame
t
er domain
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
erdoo
l
aege
barvinok
.
cc:
b
a
rvi
n
ok_count
_
f
:
avoid warning on rec
u
rsi
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdoolaege
util
.
c: unim
o
dular_co
m
plete: handle completion o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
a
rvinok_enumerate
.
c
c: handle all
l
ines in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok
_
enume
r
ate
.
cc: s
e
ries
:
plu
g
memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ver
d
ool
a
ege
doc: document
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
doc: remove refe
r
ence
t
o
old
b
arvinok_ser
i
es
a
p
p
lication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: update evalu
e
_bernste
i
n_co
e
fficients
commit
|
commitdiff
|
tree
2007-04-26
S
ve
n
V
erdoolaege
barvinok/options
.
h: put s
t
at
s
firs
t
in barvino
k
_options
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoola
e
ge
bar
v
inok
_
m
aximize: re
a
d_evalue: su
p
p
ort
r
e
lations
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verdoolaege
berns
t
e
in
.
cc: eva
l
ue_
b
ernstein
_
coefficient
s
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
lae
g
e
b
a
rvinok_maximize: evalue_
r
ead: allow identifier
s
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaeg
e
barvi
n
ok_maximize
:
move --(bern
s
tein-)re
c
urse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
l
i
b/a
r
gp: fix logic in
ho
l
_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok_maximize: al
l
ow specification
of the vari
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvin
o
k_maximize: b
a
r
f
on unexpec
t
ed first to
k
en
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc
:
more documents r
e
f
e
ring to the library
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoo
l
ae
g
e
evalue_con
v
ert
.
cc:
evalue_
c
oset: s
u
pport re
l
ations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ver
d
o
o
laege
evalue
.
c:
p
rint_evalue: always print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Ver
d
oolaege
doc
:
multivar
i
at
e
quasi-
p
olyn
o
mia
l
s as list
s
of
p
olynomials
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verd
o
olaege
e
value
_
convert
.
cc: incl
u
de "config
.
h
" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaeg
e
d
o
c
:
index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: triangulation
i
n primal
sp
a
ce + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoo
l
aeg
e
doc: document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaeg
e
doc
:
ref
e
r to Koeppe article for simpler motiva
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erd
o
o
l
aege
d
o
c: more p
u
bl
i
cations (implicitly) ref
e
ring t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
oola
e
ge
co
n
f
i
gure
.
in
:
ad
d
$(EXEEXT) t
o
opt
i
onal pr
o
grams f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
olaege
Makefile
.
am
:
make sure
distribution
c
o
nt
a
ins req
u
ire
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
er
d
oolaege
work around inc
o
mplete namespace s
u
ppo
r
t in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolae
g
e
disable some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
barvinok_enumerate
.
cc:
a
vo
i
d use of fd
s
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
barvinok_enumerate: don't print
(n
o
n
-
e
xist
i
ng) e
v
alu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
o
olaege
ed
o
m
a
i
n
.
cc: avoid use of
fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
config
u
r
e
.
in: check for poly
l
ib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
declare variab
l
e at start of code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefil
e
.
am: rebuild libraries in
subdirs if m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
V
erdoolae
g
e
barvinok_enumerate
:
recheck for equalities aft
e
r "
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoo
l
aege
doc: a vot
i
ng theory repo
r
t that re
f
ers to th
e
libr
a
ry
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: upd
a
te
p
rimal Barvin
o
k
r
e
feren
c
e
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verd
o
o
laege
d
oc: add
j
o
urn
a
l versi
o
n of improved derivation
pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
r
d
o
olaeg
e
v
olume
.
c:
keep t
r
ack o
f
n
u
mber of
s
imp
l
i
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erd
o
o
laege
t
e
st_approx: test volu
m
e comp
u
tation var
i
at
i
on
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: vo
l
ume_tria
n
g
u
l
at
e
: u
s
e
vertex i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
volume
.
c: face_vertices:
u
se
P
aram
_
In
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
Call s
e
t_pro
g
r
am_name before ca
l
ling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
reduce_domai
n
: exploit
th
a
t
no
c
al
l
er uses
P
olyhedron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexm
i
n
:
stop using
P
olyhedro
n
2
P
a
ram_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
ba
r
vin
o
k
.
cc: s
t
op using Polyhedron2Pa
r
am_SimplifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a version of P
o
lyLib that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
volu
m
e
.
c:
n
on_emp
t
y_point: simply use int
e
rnal
po
i
nt
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
a
d
d an ehrhart e
x
ample with int
e
resting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
test_a
p
p
r
ox: te
s
t chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoola
e
g
e
scale
.
c
:
opt
i
ona
l
ly pe
r
form scal
i
ng on individual
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
barv
i
n
o
k
_enumerate: use "v
a
riable compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
ut
i
l
.
c: left_inverse: h
a
ndle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laeg
e
evalue
.
c: eval
u
e
_s
u
bs
t
itute:
m
ove from ed
o
m
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
e
value
.
c
: a
f
f
ine2evalue: extracted from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolaege
reduce_do
m
a
in: p
a
rtition
c
hamber co
m
p
lex base
d
on
i
n
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdo
o
l
a
ege
reduce_doma
i
n
.
c: extrac
t
i
n
ner_point and is_inte
r
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
r
educ
e
_
domain: check
for adja
c
ent chambers in si
m
plifie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdool
a
eg
e
FORALL
_
R
E
DUCED_DOM
A
IN: extract common
h
andling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
r
doola
e
ge
ba
r
vinok
_
enumerate:
m
ove
r
ecu
r
sive
c
all d
u
ring scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
barvinok
.
cc: Pa
r
am_Polyh
e
dron_Enumerate: extracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolae
g
e
a
d
d
s
ome in
t
eresti
n
g test cases for volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
perform very basic p
o
lynomial approxi
m
ation te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_appro
x
: compare different po
l
ynomial
approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
e
val
u
e_c
o
nve
r
t
.
cc:
p
a
rtial support f
o
r printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
P
aram_Polyhe
d
ron_Volume: perfo
r
m
l
ifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introduc
e
parameter_
p
oi
n
t ab
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
scale
.
c:
e
xport Para
m
_
V
e
rtex
_
C
o
mmon_
D
enominator
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ver
d
oolaege
volume
.
c: drop redundant arguments to volume
_
si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
ool
a
e
ge
o
p
tions
.
c: separate polynom
i
a
l
approximation
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
barvinok
_
options
_
new_
w
ith_
d
efaults: initialize s
c
ale
_
flags
commit
|
commitdiff
|
tree
next