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
separate computation of Bernoulli coefficients and Faulhaber polynomials
2007-05-10
Sve
n
Verd
o
olaege
Remo
v
e "normal
i
zation"
o
r
powers
i
n denomi
n
ator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
decompo
s
er
.
cc:
pa
s
s o
p
tions
to
t
riangulat
e
_
cone
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
b
arvinok_count: optionally u
s
e exponential s
u
bstit
u
tion
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoola
e
ge
c
o
unter
.
c
c
: extracted from b
a
rvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly::
d
iv
:
a
void
c
omputa
t
ion with r
a
tiona
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly
:
use
V
a
l
ue
instead
of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaeg
e
add
t
est for lattice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
doolae
g
e
evalue_read
.
c: add
evalue_read_
f
r
o
m_s
t
r fo
r
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rd
o
o
l
ae
g
e
e
value_read_fr
o
m_
f
ile: don
'
t
m
od
i
fy va
r
_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
evalue_read: read more genera
l
e
va
l
ues
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
o
l
aege
evalue_convert
.
cc: ad
d
missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
c
onversion
.
h:
g
eneral
i
ze r
a
ys2matrix2 to
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
latti
c
e
_
point
.
h: make self-cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laege
e
valu
e
_re
a
d: ex
t
ra
c
t from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Ver
d
oolaege
enume
r
ator: support pr
i
m
a
l (half-open) decompositi
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
enumerator: handle (dual) st
o
pped Barvino
k
d
ecomposition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdo
o
la
e
ge
lat
t
ice_point
.
cc: re
m
ove unuse
d
PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
lattice_point
.
cc:
e
xtract coset gene
r
ation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
cc:
r
ename ceil_
m
od to fracti
o
na
l
_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
lattice_point
.
cc: use some h
e
l
per functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
V
erdool
a
ege
lattic
e
_point
.
cc
:
im
p
leme
n
t loo
k
up-table ver
s
ion i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
m
o
ve more lattice point co
m
p
u
t
ations to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoo
l
aege
barvinok
.
cc: latti
c
e_poin
t
: remove a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
doc: in
t
e
g
er points in fund
a
mental
p
arallelep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
util
.
c: export Mat
r
ix_Tr
a
nsposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
util
.
c:
e
xport Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
ae
g
e
scale
.
c: move Param_Ve
r
tex
_
Co
m
mon_Denominato
r
to param
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c:
add evalu
e
_add_constan
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: affine2evalue: skip zero coefficient
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
laege
ev
a
lue
.
c: em
u
l_pol
y
: eff
i
ciently handle case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoola
e
ge
doc:
up
d
ate op
t
i
o
ns and some funct
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
do
c
:
document vo
l
ume comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports explaining pa
r
t
s of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
berns
t
ei
n
: bump v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oo
l
aege
doc: transf
o
rmation
o
f
parame
t
er do
m
ain to hav
e
rev
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoo
l
aege
barvinok
.
cc: barvinok_
c
o
unt_f:
a
voi
d
w
arning
o
n
r
e
c
ursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
util
.
c: unimodular_com
p
lete: handle com
p
l
e
ti
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvino
k
_enumerate
.
cc: handle all l
i
nes in --serie
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
barvinok_enumera
t
e
.
cc: seri
e
s: plug memo
r
y lea
k
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Ver
d
oolaege
doc:
d
ocument left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
do
c
: re
m
ove
r
e
ferenc
e
t
o
old barvinok_
s
erie
s
applicat
i
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc
:
u
p
date
e
value_bernstein
_
c
o
efficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/options
.
h
:
put stats first in barvinok
_
op
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
eg
e
barvinok_maximize:
read_eval
u
e: support relati
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
bernstein
.
cc: evalue
_
bernstein
_
coefficien
t
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdo
o
laege
barvino
k
_maximize: evalue_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoo
l
aege
barvinok_maximize: move
-
-(bern
s
tein-)r
e
curse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp: fix logic in hol_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvinok_maximize: a
l
low specifi
c
ation
of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
b
a
r
vinok_m
a
ximize: barf on
unex
p
ected first t
o
ken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
d
o
c
:
more docum
e
n
ts refering to the l
i
b
r
a
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalu
e
_convert
.
cc: evalue_coset: supp
o
r
t
relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoolaege
ev
a
lue
.
c: print_evalue:
a
lways print newline a
t
the
end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mult
i
variate
qua
s
i
-polynomi
a
ls as lists of polynomia
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_
c
onvert
.
cc: include
"
config
.
h" to
pic
k
up U
S
E_FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erdoolaeg
e
doc: trian
g
ulation in primal s
p
ace
+ s
o
me typo
fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: docume
n
t i
n
ner
_
p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: refer
to Koeppe article for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: more publications (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en Verdoola
e
g
e
configur
e
.
i
n
: add $(EXEEX
T
)
t
o optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am
:
make su
r
e distri
b
ution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
w
ork
a
round incomplete na
m
espace
support in old compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
isable s
o
me fe
a
ture
s
if fdst
r
eam doesn't com
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
olae
g
e
barvin
o
k_enum
e
rate
.
c
c: avoid use
of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaeg
e
barvino
k
_
enumerate: don't pri
n
t (no
n
-existing)
evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
e
domain
.
cc
:
avoi
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
config
u
r
e
.
in: check for polyli
b
/poly
l
ib
g
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
declare variable a
t
st
a
r
t of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verdoola
e
g
e
Mak
e
file
.
am
:
r
e
build lib
r
aries
i
n subdirs if mi
s
sing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdool
a
ege
barv
i
nok_en
u
merate: rech
e
c
k
for equaliti
e
s
a
fter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c: a v
o
t
ing
theory report t
h
at ref
e
rs
t
o the library
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc: update primal
Barvinok referen
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
lae
g
e
doc:
a
dd journal
v
ersion of im
p
roved deriv
a
t
i
on p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c:
k
eep t
r
ack of number of
simplices in
vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
test
_
approx: test volume c
o
mputation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laeg
e
v
olume
.
c:
volume
_
t
riangulat
e
: use vertex instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erdoolaege
vol
u
me
.
c: face_ver
t
ices: use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
Call
s
et_program_name b
e
f
ore calling argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolae
g
e
r
e
duce_domain: ex
p
l
oit tha
t
no
caller use
s
Polyhedron2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
ola
e
ge
lexmin: stop using Poly
h
edron2Param_SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoola
e
ge
b
arvinok
.
c
c: stop
using Polyhedron2
P
aram
_
SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
aege
R
e
quire a version of PolyLib that co
m
put
e
s
corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaeg
e
v
olume
.
c
:
non_
e
mp
t
y_point: simply use internal po
i
nt
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an ehrhart example with interesting ch
a
mb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdool
a
e
ge
test_a
p
prox: t
e
st cha
m
ber based sca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
scale
.
c
:
optiona
l
ly p
e
rf
o
rm sc
a
ling on
i
n
d
ividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok_en
u
m
e
r
ate:
u
s
e
"variable compress
i
on" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
u
t
il
.
c:
left_i
n
v
e
rs
e
: handle
c
on
s
tan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaege
e
v
a
lue
.
c: ev
a
lue_subst
i
tute: move
f
rom e
d
omain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdo
o
laege
evalue
.
c: affine
2
evalue: ext
r
a
c
ted from vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
redu
c
e_doma
i
n: p
a
rti
t
ion cham
b
er
c
omplex based on
in
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
laege
reduce_domain
.
c:
ex
t
r
a
ct i
n
ner_point
a
n
d is_interna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
reduce_domai
n
: c
h
e
c
k for
adj
a
cent chamb
e
rs in simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FOR
A
LL_REDU
C
ED
_
DOMAIN:
e
xtra
c
t common handling of
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvin
o
k_
e
numerat
e
: move recu
r
sive
c
all
durin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaeg
e
barvinok
.
c
c
: Param_Polyhedron_Enumerate
:
ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
r
d
oolaege
add
s
ome inter
e
sting
test cases for volume comput
a
tion
commit
|
commitdiff
|
tree
next