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: read more general evalues
2007-05-02
Sven Verdoolaege
evalue_read: read more gene
r
al evalues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
laege
eva
l
ue_conv
e
rt
.
cc: add missing inc
l
u
d
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
conversion
.
h: g
e
n
eralize
r
ays2matrix2 to zz2m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolaege
la
t
tice
_
p
oint
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
v
alue_read: extract
f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaege
enumerator:
sup
p
o
rt prim
a
l (h
a
lf
-
op
e
n)
decomposi
t
ions
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaege
e
n
umerator: hand
l
e (dual
)
s
topped
Barvinok decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olae
g
e
lat
t
ice_poi
n
t
.
cc: remo
v
e unuse
d
P
D argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc:
extra
c
t coset
genera
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
lattice_point
.
cc: ren
a
me
c
eil_mod to
fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
ge
lattice_poin
t
.
cc: u
s
e some h
e
lpe
r
funct
i
ons to simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
lattice_po
i
nt
.
c
c
: implement lookup-
t
abl
e
versi
o
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdo
o
laege
move
m
ore lattice point
c
omputations to
l
attice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
bar
v
inok
.
cc: lat
t
i
ce_poi
n
t: rem
o
ve a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
doc: integ
e
r
p
oints in fundamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
util
.
c: exp
o
rt Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export V
e
ctor_
O
p
pose
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
s
c
a
le
.
c
: move Para
m
_Vertex
_
Common_Denominator
t
o param_ut
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolae
g
e
evalu
e
.
c: add evalue_
a
dd_
c
onstant
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoola
e
ge
evalue
.
c
:
affine2evalue: skip zero coe
f
ficients
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laeg
e
ev
a
lue
.
c: emul_poly:
e
f
ficiently handle cas
e
o
f multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
bump ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
do
c
: up
d
ate options
and som
e
f
u
ncti
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doo
l
aege
doc: d
o
cument
v
ol
u
me c
o
mputation
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdool
a
ege
doc: more reports explaining p
a
rts of
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoo
l
aege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
doc: transformation of para
m
e
ter
domai
n
to have re
v
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
ool
a
ege
barvinok
.
cc:
bar
v
in
o
k_count_f: avoid warning on
r
ecu
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
o
olaege
util
.
c: un
i
modular_
c
omplete: hand
l
e com
p
letion of
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
b
a
rvinok_
e
numerate
.
cc: h
a
ndle all
l
ines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
arvino
k
_en
u
mer
a
te
.
cc: serie
s
: plug memory le
a
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: document left_in
v
erse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
: remov
e
r
eference to old barv
i
nok_series ap
p
lication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
doc: u
p
d
a
t
e eva
l
ue_
b
ernstein_coefficien
t
s
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
b
arvinok/options
.
h: put stats
firs
t
i
n
b
arvinok
_
options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
e
g
e
barvinok_ma
x
imize
:
read_e
v
alue: s
u
pport relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
bernstein
.
cc: evalue_bernstein_coeffi
c
ients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdo
o
laege
barvinok_ma
x
imize:
evalue_rea
d
: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
ba
r
vin
o
k_max
i
mize: move
--
(
bernstein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ver
d
o
ola
e
ge
li
b
/argp: f
i
x logic in hol_cl
u
s
t
er_
c
mp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
ola
e
ge
barvinok_maximize
:
allow specific
a
tion of
t
he vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvinok_ma
x
imize:
b
a
rf on
unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more documents r
e
fering
t
o t
h
e library
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erdoolaege
ev
a
lue_conver
t
.
c
c: evalue_coset: support
relatio
n
s
commit
|
commitdiff
|
tree
2007-04-23
S
ven V
e
rdool
a
ege
evalue
.
c: print_evalue: al
w
a
y
s pri
n
t newline
a
t
t
h
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verd
o
olaege
d
oc: multivaria
t
e
quas
i
-polyn
o
m
i
als as lists o
f
polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdo
o
laege
evalue_convert
.
cc: includ
e
"con
f
ig
.
h" to
p
i
c
k up USE_FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
d
o
c
: ind
e
x additions
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoo
l
a
ege
doc: triangulation in pri
m
al
space
+
some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
d
o
c: document
inner
_
point
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
erdo
o
lae
g
e
doc: refer to
Koeppe article for sim
p
l
e
r motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: m
o
r
e public
a
tions
(
im
p
licitly) refe
r
ing to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verd
o
olaege
co
n
figure
.
in: add $(EXE
E
XT)
t
o opt
i
on
a
l prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
V
erd
o
o
l
aege
Makefile
.
a
m
: make sure distribution contains re
q
uired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oo
l
aege
wor
k
around
i
n
complete namespace
s
uppo
r
t in o
l
d compil
e
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable s
o
me fea
t
ure
s
if
fdst
r
eam doesn
'
t co
m
pile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
bar
v
inok_enumerate
.
cc: av
o
id use
o
f fd
s
trea
m
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
barvinok_enumerate: don't print (non-existi
n
g) evalu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edom
a
in
.
cc: a
v
oid
u
se of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
config
u
re
.
in: check for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
declare variable at start of c
o
de
block
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolaeg
e
Mak
e
f
ile
.
am: re
b
u
ild
librari
e
s in
s
ubdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
Verdoolae
g
e
barv
i
nok_enumerate: recheck for eq
u
aliti
e
s after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erdool
a
ege
doc: a voting theory re
p
o
rt that
ref
e
rs t
o
the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
d
oc:
u
pd
a
te prim
a
l
B
arvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoola
e
ge
doc
:
add
j
ournal vers
i
on
of improved derivation
paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c: ke
e
p
t
ra
c
k o
f
numb
e
r
of simplices in vol
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
test_appro
x
: test
v
olum
e
comput
a
tion variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
ege
volume
.
c: volume
_
t
r
ian
g
ulate: use ver
t
ex instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
V
er
d
oolaege
volume
.
c: f
a
ce_vertices: use
P
aram
_
Inner_P
r
oduct
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdool
a
ege
Call
s
et
_
p
r
og
r
am_nam
e
b
e
f
ore calling argp_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
reduc
e
_domain
:
ex
p
loit that no call
e
r
u
ses Polyhe
d
r
on2Par
a
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
do
o
l
aege
l
e
xmi
n
: stop using Polyhedron2Param_SimplifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verd
o
o
lae
g
e
barvinok
.
cc: stop using Po
l
yhedr
o
n2Para
m
_
SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require
a version
of Pol
y
L
ib that comp
u
tes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
o
lu
m
e
.
c
:
n
o
n_
e
mpty_p
o
int: sim
p
l
y us
e
inte
r
nal
poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doola
e
ge
add an ehr
h
art example with int
e
resting
chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
te
s
t_approx: test chamber ba
s
e
d s
c
ali
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
s
cale
.
c: optional
l
y perform scaling on indiv
i
d
u
al chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rv
i
no
k
_
en
u
merate: use "vari
a
ble
com
p
ression" to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
lae
g
e
util
.
c:
left_
i
nverse: handle const
a
nt map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
evalue
.
c:
e
value_su
b
stitute: move from
edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
eval
u
e
.
c: affin
e
2evalue: extracted
f
r
o
m
v
o
l
um
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domai
n
: partition ch
a
mb
e
r c
o
mplex b
a
sed
on
i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
.
c
: ext
r
ac
t
inner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdoolaege
red
u
ce_domai
n
: c
h
ec
k
for a
d
jacent cha
m
bers i
n
simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
FORALL_REDUC
E
D_DOMA
I
N: extract common handling o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enumerate:
move recursive
ca
l
l
durin
g
scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
Verdoolaege
b
a
rv
i
nok
.
cc: Param_Po
l
y
hed
r
on_Enumer
a
te: e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add som
e
interesting tes
t
cases for volu
m
e
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
perform v
e
ry basic polynom
i
al approximati
o
n test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
t
e
st
_
a
pprox: compare d
i
ffe
r
ent polynomial approxima
t
i
ons
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
g
e
evalue_convert
.
cc
:
part
i
al support for
printing
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
P
ara
m
_Polyhedron_Volume: perform
lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
eg
e
v
o
lume
.
c
: introduce parame
t
er_poin
t
a
bst
r
act
i
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoola
e
ge
scale
.
c: export Param_V
e
rte
x
_Com
m
o
n
_Denomi
n
a
t
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
volume
.
c: drop re
d
u
ndant ar
g
uments to volume_simp
l
ex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
optio
n
s
.
c: separat
e
polynomial approximation re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
barvinok_opti
o
n
s
_
new
_
with
_
defaults:
i
n
i
t
ialize s
c
ale_flags
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolaeg
e
t
r
iang
u
late_cone: skip D
e
launay
tri
a
ngulation by d
e
faul
t
commit
|
commitdiff
|
tree
next