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
bump version
2007-04-28
Sven Ve
r
doolaege
bump v
e
rsio
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoo
l
aege
doc: u
p
date opti
o
n
s
a
n
d some
fun
c
ti
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc:
d
ocument
volume computation
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdool
a
ege
d
oc:
m
ore r
e
p
orts
explain
i
ng
p
a
rts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaeg
e
ber
n
ste
i
n
:
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ver
d
oola
e
ge
doc:
t
ransformation of param
e
ter do
m
ain to
h
a
v
e revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
oolaege
barvinok
.
cc:
b
arvi
n
ok
_
c
o
u
n
t_f: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaeg
e
util
.
c: un
i
modular_c
o
mplete: ha
n
dle comple
t
ion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
barvinok_enumerate
.
c
c
:
h
andle all l
i
nes in
-
-
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
barvinok_enumerate
.
cc: serie
s
:
plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
d
o
c: remo
v
e refe
r
e
n
ce to old barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Ve
r
doolaege
doc: update evalue_bernstein
_
coef
f
icient
s
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
bar
v
ino
k
/optio
n
s
.
h
:
p
ut stats first
i
n barvinok_
o
pti
o
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoo
l
aege
barvinok
_
max
i
m
iz
e
: read_evalu
e
: su
p
port relat
i
on
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laeg
e
bern
s
t
e
i
n
.
cc: e
v
alue_
b
ernstein_coeffi
c
ients: handl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
Verdoolaege
barv
i
nok_ma
x
imize: e
v
a
l
u
e_read: al
l
ow
identi
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_m
a
ximiz
e
: move --(bernst
e
in-)
r
ecurse
o
ptio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
l
ib/
a
r
gp
:
fix logi
c
in hol_c
l
ust
e
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verd
o
olaege
barvin
o
k_maximize: allo
w
spec
i
fic
a
t
i
on of the vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvinok_maximize
:
barf on unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: m
o
re documents refer
i
ng to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ver
d
o
olae
g
e
eva
l
ue_convert
.
cc: evalue_coset: suppor
t
relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
evalu
e
.
c: print_ev
a
l
ue: always prin
t
newli
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaeg
e
doc: multivariate qua
s
i-po
l
ynomi
a
l
s
as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaeg
e
evalue_convert
.
cc: include "config
.
h" to
pick up U
S
E_FDST
R
EA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
oolaege
d
oc: index additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc:
t
riangulation in primal space
+
some
t
ypo
fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
d
o
c
: re
f
e
r
to Koeppe
article for simple
r
mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: more publica
t
ions (i
m
p
licitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven V
e
rdoolaege
c
o
nfigure
.
in:
a
d
d $(EXEEXT)
t
o opt
i
on
a
l
programs f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en Verdoolaege
Ma
k
efile
.
am:
m
a
ke
sure
d
is
t
rib
u
tion contains requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doola
e
ge
b
arvinok_enu
m
e
r
ate: don't
print (non-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
Verdoolaege
edomain
.
cc:
a
void
use of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n V
e
rdoola
e
g
e
configure
.
in: check for poly
l
ib/pol
y
libgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
decla
r
e var
i
able at start o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Mak
e
f
i
le
.
am: rebui
l
d
libraries in subdirs i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdool
a
ege
b
a
rvinok_enumerate: recheck
f
o
r
equalities after
"variabl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: a voting theory repo
r
t tha
t
refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoola
e
ge
doc:
update pr
i
mal Barvi
n
ok reference
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoolaege
d
oc: add journal version of improved de
r
ivatio
n
pape
r
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoo
l
aeg
e
vol
u
me
.
c: keep t
r
ack of n
u
mber o
f
simp
l
ices
in
v
o
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
test_approx: test
v
olume
c
omputat
i
on variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c
:
volume_triangu
l
ate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volu
m
e
.
c
: face
_
ver
t
ices:
u
se Pa
r
a
m_In
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
r
e
duce_do
m
ain:
e
xploit that no calle
r
uses Polyhedron2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaeg
e
l
e
xmin: stop using Polyhedron2Param_Simpli
f
iedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verd
o
o
l
a
ege
bar
v
in
o
k
.
cc: s
t
o
p
using Polyhe
d
ron2Param_Simpl
i
fiedD
o
m
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaeg
e
R
e
quire a v
e
rsion
o
f PolyLib that co
m
putes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: no
n
_empty_point: simply
u
se in
t
ernal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
ad
d
an
ehrhart examp
l
e
w
ith interesting ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolae
g
e
tes
t
_approx: test c
h
amber based
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: optionally
perform scaling on
individual chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
r
d
oolaege
b
arvinok_enumerate
:
use "va
r
iable comp
r
ession" to re
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
ae
g
e
util
.
c: left_inv
e
rse: handle c
o
nstant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
rd
o
ola
e
ge
evalue
.
c: evalue_
s
u
b
s
t
itute: move
f
rom ed
o
main
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
e
v
alue
.
c:
a
ffine2eval
u
e: extracted from v
o
lume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
r
e
duce
_
domain: p
a
rtit
i
on
c
h
amb
e
r c
o
mplex based
o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolae
g
e
redu
c
e_domain
.
c: extract
i
n
n
er_point
a
nd i
s
_
i
nte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
reduce_domain: check for
a
djace
n
t chambers in simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_R
E
DUCED_D
O
MAIN:
e
xtract common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
b
a
rvinok_enum
e
rate: mov
e
rec
u
rsive call du
r
ing scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
barvi
n
ok
.
cc: Pa
r
am_Polyh
e
dron_Enumerat
e
: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoo
l
aeg
e
add
s
ome i
n
teresting test case
s
for vol
u
me compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
p
e
rfo
r
m very basi
c
polynomial approximat
i
on t
e
st
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdool
a
ege
test_approx
:
compare diffe
r
e
n
t polynomi
a
l
approximations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaeg
e
evalue_convert
.
cc: p
a
rtia
l
sup
p
o
rt for print
i
ng in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdo
o
l
a
ege
Param_Polyhedron_Volume: per
f
or
m
lifting triangul
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ve
n
Verdo
o
laege
volume
.
c: intr
o
duce param
e
ter_po
i
n
t
abstracti
o
n
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
V
erdoolaege
sc
a
le
.
c: exp
o
rt
P
a
r
am_Vert
e
x
_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
volume
.
c: drop redundant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
op
t
io
n
s
.
c:
s
ep
a
rate po
l
ynom
i
al approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvino
k
_opt
i
ons
_
new_with_d
e
faults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aege
tri
a
ngulate
_
con
e
:
skip Delaunay tri
a
ngulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: print lat
t
ice w
h
en printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
evalue_co
n
v
ert: a
d
d
v
erbose argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
Polyhedron_Flate
:
inter
s
ec
t
inflated polyt
o
pe
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olae
g
e
doc: bib:
f
ix
u
p name in ti
t
le o
f
Algor
i
t
hmica pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoolaege
a
d
d missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
volume
.
c:
d
elay compu
t
ation of poin
t
where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Par
a
m_
P
olyhedr
o
n
_
Volu
m
e: se
t
pol
y
nomial
_
app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
e
rdoola
e
ge
volume
.
c:
allow com
p
u
t
ation of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdoolaege
scale: ex
p
ort
P
olyh
e
dron_Fl
a
te
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
bar
v
inok_
e
numerate: opti
o
n
ally compute "
v
olume" po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdoolae
g
e
poly
t
op
e
_
volum
e
: compute volume of
p
arametric poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
e
g
e
reduce_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verif
y
.
c: move computatio
n
of
t
rue con
t
ext into che
c
k_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
s
c
ale
.
c: a
d
d sim
p
l
ified method of
c
omputi
n
g tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoo
l
aege
barvino
k
_enumera
t
e
:
o
ptionally compute tigh
t
er
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
polyhe
d
ron_samp
l
e
.
c: remove re
d
u
ndant MAXRAYS d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verd
o
olaege
evalue
.
c:
e
v
alue_e
v
al: support rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
eval
u
e
.
c: e
v
alue_frac2polynomial: pro
p
erly
ha
n
dle re
l
at
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
barvinok
_
e
numer
a
te: support appr
o
x
i
m
a
tion by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
scale
.
c: avo
i
d
simpli
f
icat
i
o
n
of con
s
traint
s
a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
bar
v
inok/
u
til
.
h: add POL_UNSET m
a
cro for u
n
setting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
P
aram_Polyhedr
o
n
_
S
cale
_
Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
mo
v
e Param_Poly
h
edron
_
Scale_
I
nte
g
e
r
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
use separate
f
lags option
f
or scal
e
appro
x
i
m
a
tion metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
barvino
k
.
c
c: move sc
a
ling to scale
.
c
commit
|
commitdiff
|
tree
next