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
counter.cc: extracted from barvinok.cc
2007-05-08
S
ve
n
V
e
r
d
o
olaege
cou
n
ter
.
cc: extrac
t
ed f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verd
o
o
l
aege
dpoly
:
:div:
avoid
co
m
putation with rati
o
nal numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
Ver
d
oolaege
dpoly: use Value
in
s
te
a
d of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
add test for lattice poi
n
t comp
u
tation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
e
v
alue
_
read
.
c: add eval
u
e_read
_
from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_
r
ead_f
r
o
m_file: don'
t
modify
v
ar_list arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read:
read more general evalu
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue_convert
.
cc: add missin
g
inc
l
ude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
conve
r
sion
.
h: generalize ra
y
s2matrix
2
t
o
z
z
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
tice_point
.
h: m
a
ke self-containe
d
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
eva
l
ue_read: extract from ma
x
i
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoola
e
ge
enumerator: support primal (half-open) decompositi
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
enumera
t
or:
handle
(
dua
l
) sto
p
ped Barvin
o
k decomposit
i
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
o
o
laege
lattice_point
.
cc: remove unused
P
D
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
la
t
tice_po
i
nt
.
cc: extract coset generatio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
lattice_p
o
int
.
cc:
ren
a
me ceil_mo
d
to fractio
n
al_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
lattice_point
.
cc: use some helper functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
lattice_point
.
cc: implement l
o
okup-table
v
ersion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
m
ov
e
more latti
c
e point
c
om
p
utatio
n
s to lattice_
p
oint
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
b
a
rvin
o
k
.
cc: la
t
tice_poin
t
: remove a
speci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
doc:
i
n
teger po
i
nts i
n
fundame
n
tal paralle
l
epi
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
u
t
il
.
c
:
expo
r
t Mat
r
ix_Tran
s
pos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
util
.
c: export Vector_Opp
o
se
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
scale
.
c: mo
v
e P
a
ram_
V
ertex_Common_De
n
ominat
o
r
t
o para
m
_uti
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
e
v
al
u
e
.
c: add ev
a
lue_add_const
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
evalu
e
.
c: affine2
e
v
alue:
ski
p
zero
c
o
e
fficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue
.
c
: emul_pol
y
: efficiently
h
andle case of
mul
t
i
p
li
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolae
g
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc: update options and so
m
e functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
doc: docu
m
ent vo
l
ume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc: more reports explain
i
n
g parts
of barvin
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bernstein:
b
ump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
: t
r
ansformation of
p
arameter dom
a
in
to
h
ave
r
e
v
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
V
e
r
doolae
g
e
bar
v
inok
.
cc: barvinok_
c
ount_f:
a
void w
a
rning on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
ut
i
l
.
c:
u
nimodula
r
_comp
l
ete: handle completi
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
arv
i
nok_enume
r
ate
.
c
c: h
a
n
d
le all li
n
e
s
i
n --s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
b
a
rvinok_enumerate
.
c
c
: series
:
p
l
ug m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verd
o
olae
g
e
d
o
c
:
d
ocument left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
doc:
r
emove ref
e
rence to old
barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolae
g
e
doc:
update e
v
a
lue_
b
ernst
e
in_coeff
i
ci
e
nts
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ve
r
do
o
laege
barvino
k
/
opt
i
ons
.
h:
p
ut st
a
ts first in
b
arvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvin
o
k_maxim
i
ze
:
read_evalue: suppor
t
relations
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Verdoolaege
b
ernst
e
i
n
.
cc: eva
l
ue
_
bernstein_coeff
i
cients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvinok_maximize: evalue_read: allow identifiers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maximi
z
e: move
-
-(bernstein-)r
e
curse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Verdoolaege
lib/argp: fix logic
i
n hol_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erdoolaege
ba
r
vinok_max
i
miz
e
: al
l
o
w
specific
a
tion of the variable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arvinok_maximize: barf
o
n unexpec
t
ed firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
d
o
o
laege
doc: more documents
r
e
f
ering
t
o the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
o
ola
e
ge
e
valu
e
_convert
.
cc: eva
l
u
e_coset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
eva
l
ue
.
c
: pri
n
t_evalu
e
:
al
w
ay
s
pri
n
t newline a
t
t
h
e en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
doc: multi
v
ariate quas
i
-polynomials as lists o
f
p
o
lynom
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
eg
e
eval
u
e_convert
.
cc
:
includ
e
"
c
onfig
.
h" to pick up USE_F
D
S
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oola
e
g
e
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: triangulation in
p
rimal
space
+
s
ome typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: doc
u
m
e
nt in
n
er
_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: refer
t
o Koeppe articl
e
for
sim
p
ler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
more publication
s
(
implicitly) re
f
ering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
e
n
Verd
o
ol
a
ege
co
n
f
i
gure
.
in: add $(EXEEX
T
) to
o
ption
a
l
programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
Makefile
.
am: make
sure
d
i
s
tributi
o
n conta
i
n
s required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ve
r
doolaege
barvinok
_
e
num
e
r
a
t
e:
d
on't print (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaege
edomain
.
cc:
avoid use of fdstr
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
confi
g
ure
.
in: check f
o
r
p
o
l
ylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoola
e
ge
declare variable at s
t
art
of
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
Ma
k
efile
.
am: rebuild lib
r
a
ries in sub
d
irs if missin
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate:
r
echeck fo
r
equal
i
ties after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a voti
n
g
theory r
e
por
t
t
h
at refers to the libr
a
ry
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: upd
a
t
e
primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
er
d
oolaege
d
oc: ad
d
journal version of improved der
i
vation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdo
o
l
a
ege
volume
.
c: keep track of number o
f
simplices in vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_approx: test volume comput
a
tion varia
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
volume
.
c: volu
m
e_triangulat
e
: u
s
e vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
olume
.
c: face_vert
i
ces: use Para
m
_Inne
r
_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdoolaege
re
d
uce
_
domain: exp
l
oi
t
that no caller u
s
es Polyhedron2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdo
o
laeg
e
lexmin: stop using Polyhedron2Pa
r
am_
S
i
mplif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
b
a
rvin
o
k
.
cc: stop using Polyh
e
d
r
on2Pa
r
am_
S
i
m
plif
i
edDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
Req
u
i
r
e a versi
o
n
of Po
l
yLib that c
o
mputes
cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdool
a
ege
volume
.
c: non_empt
y
_point: simply u
s
e in
t
ernal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdo
o
laege
a
dd an ehrh
a
rt exa
m
ple wit
h
interes
t
ing chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
test_appr
o
x:
test
c
h
a
m
ber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
s
cale
.
c
: optionally
per
f
orm scalin
g
on individu
a
l chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
r
vinok_enumerate:
u
s
e "variable compre
s
sion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdool
a
e
g
e
util
.
c: left_inverse: h
a
ndle co
n
sta
n
t map
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
eval
u
e
.
c: eva
l
ue_substitute: move
from ed
o
main
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ev
a
lu
e
.
c:
affine
2
eval
u
e
: extrac
t
ed from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_domai
n
: partition
c
ham
b
er comple
x
based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
e
duce_
d
omain
.
c: extract inner_poin
t
and is
_
intern
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolae
g
e
reduce_
d
omain
:
c
heck for ad
j
acent chamber
s
in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
laege
FOR
A
L
L
_REDUC
E
D_
D
OMAIN:
ex
t
ra
c
t co
m
mon handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
barvino
k
_enum
e
rat
e
: move rec
u
r
s
ive call d
u
ring
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
ba
r
vi
n
ok
.
cc: Param_Poly
h
edr
o
n_En
u
m
e
rate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
a
dd
s
o
me interesti
n
g test c
a
se
s
for v
o
lume
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very basic polynomia
l
a
p
proximatio
n
te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_approx: compare di
f
f
erent pol
y
nomial approximations
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
e
v
alue_convert
.
cc:
p
artia
l
suppo
r
t for pr
i
n
ting
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
Param_Poly
h
edron_Volume:
p
erform li
f
tin
g
tri
a
ngulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vo
l
ume
.
c: intro
d
uce
para
m
e
t
e
r_point abstr
a
c
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
scale
.
c: expo
r
t
Param_Vertex_Com
m
o
n
_De
n
o
m
inator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
v
o
lume
.
c: drop
redundant a
r
guments
t
o v
o
lume_si
m
plex
commit
|
commitdiff
|
tree
next