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
add 4ti2-1.3.1+autoconf-0.1 banner
2007-05-09
S
v
en Verdoolaege
decomp
o
s
er
.
cc: pass options to triangulate
_
c
one
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
aege
barvinok
_
count: option
a
lly u
s
e ex
p
o
nentia
l
substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
rdoola
e
ge
cou
n
ter
.
cc: extracted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
do
o
laeg
e
dpoly::
d
iv
:
a
void
c
o
m
putation
w
ith rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
o
l
aege
d
p
oly: use Va
l
ue inste
a
d of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
add
test for
l
a
ttice
point computation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
r
doolaege
evalue_r
e
a
d
.
c: a
d
d e
v
alue_re
a
d_from_
s
tr for
rea
d
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalu
e
_r
e
a
d_fr
o
m_
f
ile:
don't modify var_l
i
st argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
lue_r
e
ad: read mor
e
g
eneral eval
u
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
laege
evalue_convert
.
cc: add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
conv
e
rsion
.
h: generalize
r
ays2matrix2
to zz
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
lattice_point
.
h:
m
ake
s
elf-cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lu
e
_read: extract from
m
axi
m
iz
e
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
eg
e
e
n
u
merator: su
p
port
p
rim
a
l (half-open
)
d
ec
o
mpositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumerator: handl
e
(du
a
l) st
o
pped Barvinok decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
lattice_
p
oi
n
t
.
cc: remove unused P
D
argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
l
attice_p
o
int
.
c
c: e
x
tract co
s
et
generat
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
la
t
t
i
ce
_
point
.
c
c
: rename ceil_mod
to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_poin
t
.
cc: use some helper f
u
nctions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
latt
i
ce_
p
oint
.
cc: imp
l
e
m
e
n
t
lo
o
kup
-
table ver
s
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
laege
m
o
ve more latti
c
e point comput
a
tions to latti
c
e_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
b
arvinok
.
cc: lattic
e
_point: remove
a spec
i
al c
a
se
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoola
e
ge
do
c
: integ
e
r points in fun
d
amenta
l
parallele
p
iped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
u
t
i
l
.
c: export Matr
i
x
_
Transp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
util
.
c: export Vect
o
r_O
p
pose
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
r
dool
a
ege
s
cale
.
c: move
Param_Vert
e
x_
C
ommon_Deno
m
inator t
o
p
ar
a
m_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
evalue
.
c: add
evalue_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
e
value
.
c:
affine2evalue
:
skip
zero coe
f
fic
i
ents
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_poly
:
e
fficiently handl
e
case of mult
i
p
li
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
o
olaege
doc: upda
t
e opt
i
ons and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc: document vol
u
me
c
omputation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports explaining parts of b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
b
ernst
e
in: bump ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verdoolaege
d
oc: transformation
of
p
ara
m
eter d
o
m
ain to hav
e
re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
bar
v
inok
.
cc: bar
v
i
n
o
k
_count
_
f: avoid warning
o
n
recur
s
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
l
aege
uti
l
.
c:
u
n
i
m
odu
l
a
r_
c
o
m
pl
e
te: handle c
o
mplet
i
on of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verd
o
ola
e
ge
barvino
k
_
enume
r
at
e
.
c
c:
h
a
n
d
le all
l
ine
s
in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
V
e
rdoola
e
g
e
barvin
o
k_e
n
umer
a
t
e
.
c
c
: series: plug
memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc: docume
n
t lef
t
_
inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remov
e
r
e
fe
r
enc
e
t
o ol
d
ba
r
vino
k
_serie
s
appl
i
c
ation
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc: update
e
value_bernste
i
n
_
coeff
i
cients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verd
o
olaege
barvinok/options
.
h: put st
a
ts f
i
r
st in barvinok_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
barv
i
nok_maximize: rea
d
_e
v
alue: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oola
e
ge
b
ern
s
tein
.
cc:
evalue_bernst
e
i
n_coefficients: h
a
nd
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ve
n
V
e
rdoolaege
barv
i
n
ok_max
i
miz
e
: evalue_read: allo
w
identifie
r
s t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdo
o
laege
ba
r
vi
n
ok_maxim
i
ze: m
o
ve -
-
(
b
ernstein-)recurse op
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n V
e
rdoolaeg
e
lib/argp: fix logic in ho
l
_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvi
n
ok_ma
x
im
i
z
e: allow
s
p
e
cificati
o
n of the vari
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdo
o
lae
g
e
barvinok
_
maximiz
e
:
barf on unexpected
f
irst
t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: more documents refering
t
o the librar
y
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdo
o
laege
eva
l
ue_conv
e
rt
.
cc: evalu
e
_co
s
et
:
support
r
elations
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
e
v
alue
.
c: print_evalue: alwa
y
s pr
i
nt newline at
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olae
g
e
doc:
m
ultivariate quasi-polynom
i
a
l
s as
list
s
of p
o
lyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
ool
a
e
g
e
e
value_convert
.
cc: incl
u
de "config
.
h
"
t
o
pi
c
k up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ver
d
ool
a
e
ge
doc
:
index a
d
ditions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
d
o
c:
t
riangulation in primal space + some typo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
documen
t
inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolae
g
e
doc: refer t
o
Koeppe article
f
or simp
l
er
m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven
Ve
r
doo
l
aege
doc: more publications (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sve
n
Verdoolaeg
e
c
o
nfigure
.
in:
add $(EXEEXT
)
t
o
optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am: make sure distribution conta
i
ns requ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdool
a
ege
work around incomplete namespace support in old com
p
iler
s
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdo
o
laege
disable some fe
a
tures
i
f fdstream
doesn'
t
co
m
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
V
e
r
doolaege
barvino
k
_enumerat
e
.
cc: a
v
oid
u
s
e
of fd
s
tr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoola
e
ge
b
arvinok_enumerate:
don't
p
rint (non
-
existi
n
g) ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomain
.
cc: avoid
u
se of f
d
st
r
e
am
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoola
e
ge
configure
.
in: check for polyli
b
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
declare va
r
iable
a
t
s
tart of
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoola
e
ge
Mak
e
file
.
am: rebuil
d
librarie
s
in subdirs
i
f mis
s
ing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdo
o
laege
barvinok_
e
numerat
e
:
re
c
heck for eq
u
a
l
i
ties after
"
va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
doc: a voting theory report that
r
ef
e
rs to
t
h
e
l
ibra
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
doc: upd
a
t
e primal Barvino
k
r
e
f
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc: a
d
d journal version of i
m
proved deriva
t
i
o
n paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
v
ol
u
me
.
c: keep track of
n
umber of
s
i
mplice
s
i
n volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Ve
r
doolaege
test_approx: test volu
m
e comp
u
t
a
ti
o
n variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verd
o
o
l
aege
v
olum
e
.
c: volume_tria
n
gulate: us
e
vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
o
lume
.
c: f
a
ce_v
e
rtices
:
use Param_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
o
l
aege
C
a
ll se
t
_program_name be
f
ore calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
reduc
e
_
d
omain: e
x
ploi
t
that no calle
r
uses Polyhedro
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
lexmin: s
t
op u
s
i
n
g
P
olyhedro
n
2
Par
a
m_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvi
n
ok
.
cc: stop using Po
l
yhedro
n
2Par
a
m_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
o
o
laege
Requi
r
e a version
of PolyLib that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdo
o
laege
v
o
lume
.
c
:
non_empt
y
_point: sim
p
l
y use
inte
r
n
a
l p
o
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
only compile barvinok_maximize
i
f GiNaC (a
n
d bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ver
d
ool
a
ege
add an
e
h
r
hart
e
xample with interes
t
ing
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
test
_
approx: test
c
h
a
mb
e
r
based sc
a
l
i
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
s
c
al
e
.
c: opt
i
onally p
e
rform scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaeg
e
barvinok_e
n
umer
a
te:
use "variable compression" to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
util
.
c: left_invers
e
: hand
l
e constant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: evalu
e
_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
d
o
olaege
evalue
.
c
:
affine2evalue: extr
a
cted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
reduce_
d
omain: partition c
h
amber complex
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdo
o
laege
reduc
e
_domain
.
c:
extract
inne
r
_point an
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
g
e
reduce_domain: check for adjacent ch
a
m
b
e
r
s
i
n sim
p
lifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORAL
L
_REDUCED_DO
M
AIN:
ex
t
ract common han
d
ling o
f
re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoola
e
ge
barvinok_enumer
a
te:
move recursive call durin
g
sca
l
ing
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
c
c
: Param_Polyhedr
o
n_En
u
merat
e
: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
V
e
rdoolaege
add
some interesti
n
g test c
a
ses
f
or vol
u
me
co
m
putati
o
n
commit
|
commitdiff
|
tree
next