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
configure.in: check for polylib/polylibgmp.h
2007-04-19
Sven Verd
o
o
l
aeg
e
configure
.
in: check f
o
r
polylib/
p
olylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Ver
d
oo
l
a
ege
declar
e
va
r
iabl
e
at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
Makefile
.
am: reb
u
ild libraries in s
u
bdi
r
s
i
f missing
commit
|
commitdiff
|
tree
2007-04-18
S
v
en V
e
rdoolae
g
e
barvinok_e
n
um
e
rate: rechec
k
for equaliti
e
s
a
fter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc:
a
voting theory r
e
port th
a
t
refer
s
to
the libra
r
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Ve
r
doola
e
ge
doc: update
primal
Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
d
oc: add journal
v
ersio
n
of improved derivation pa
p
e
r
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
volu
m
e
.
c
: k
e
ep t
r
ack of number
o
f simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoolae
g
e
test_approx: te
s
t volume compu
t
atio
n
variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaeg
e
volum
e
.
c: volum
e
_t
r
iangulate
:
use ve
r
tex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
volume
.
c:
f
a
c
e_vertic
e
s
: u
s
e
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdool
a
ege
reduce_domain: exploit that no c
a
ller us
e
s Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin: stop using Polyhedron2Param_Si
m
pli
f
iedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: st
o
p us
i
ng Polyhed
r
o
n
2Param_Simplifie
d
Do
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
R
e
q
u
ire
a
version of PolyLib tha
t
computes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
volume
.
c:
non_empty_point: simply use
internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
ad
d
an eh
r
hart
example
wi
t
h
inte
r
e
s
t
ing chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdo
o
lae
g
e
test_approx: test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: opti
o
n
ally perform sca
l
i
n
g
o
n individual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoola
e
ge
barv
i
nok_
e
nume
r
ate
:
use
"
variab
l
e compre
s
sion"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
util
.
c: left_inverse: handle constant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
aege
e
value
.
c
: eva
l
ue_
s
ubs
t
itute
:
move from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
la
e
g
e
evalue
.
c: affine
2
evalue: e
x
t
r
acted fr
o
m volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdo
o
laege
reduce_domain: partition chamber c
o
mplex
based on
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
r
doolaege
re
d
uc
e
_domain
.
c: extract inner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
a
ege
reduce_domain: check
for ad
j
a
c
e
nt cha
m
bers
i
n
simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
a
e
ge
FORALL_REDUCED_DOMAI
N
: extrac
t
com
m
on handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barv
i
no
k
_enumer
a
t
e: mov
e
recursive ca
l
l
during s
c
aling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
rd
o
o
l
ae
g
e
barvinok
.
cc: Par
a
m_P
o
lyhed
r
on_En
u
me
r
a
t
e:
e
xt
r
a
c
te
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
add s
o
me interesting test c
a
s
e
s
f
or vo
l
ume
c
omputatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
l
aeg
e
p
er
f
orm
ve
r
y ba
s
ic pol
y
nomial approxima
t
i
o
n
te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_app
r
ox:
co
m
pare d
i
ffere
n
t polynomi
a
l
a
pproximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
evalue_co
n
v
e
r
t
.
c
c:
p
artial support for printing
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oola
e
ge
Param_P
o
lyh
e
dron_Volum
e
:
perform
l
ifti
n
g tria
n
gul
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolae
g
e
volume
.
c: introduce parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c: export
Par
a
m_Vertex_C
o
m
m
on_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoola
e
ge
volume
.
c: drop redundant
a
rgum
e
nts
t
o
vo
l
ume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdool
a
ege
options
.
c:
s
eparate pol
y
nom
i
a
l
a
pproximation r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n Verdoolaege
b
a
rvinok_options_new_with_d
e
faults: i
n
itial
i
z
e sc
a
le_flags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en
V
e
r
doolaege
triangulate_
c
one: skip
D
e
l
aunay
tr
i
a
ngulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
d
o
o
l
aege
e
value
_
c
onvert:
print la
t
tice
when
p
rinting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doo
l
aege
evalue_conver
t
: add verbose argu
m
ent and
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Poly
h
edron_Flat
e
: in
t
ersect i
n
flated polyt
o
pe
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Ve
r
doolae
g
e
d
o
c: bib: fi
x
up name in title
of Algorith
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verdoolaege
a
dd missing
volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
doolaege
volume
.
c: delay computation of po
i
nt where volu
m
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en V
e
rdoolaege
Par
a
m_Polyhedron_Vo
l
u
m
e: set polynomial_approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
l
aege
volume
.
c: allow com
p
utation of
l
ower
and upp
e
r boun
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdool
a
e
g
e
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ver
d
oolaeg
e
b
arvinok
_
enume
r
ate: optionally compute
"
volume"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
po
l
ytop
e
_volum
e
: comput
e
volume of p
a
rametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
reduce_domain
.
c
:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
veri
f
y
.
c: move com
p
utation o
f
t
r
u
e
c
o
ntex
t
into
che
c
k_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c: add simplifi
e
d
metho
d
of computing tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
er
d
oolae
g
e
bar
v
in
o
k_enumera
t
e
:
optio
n
ally
c
ompute
t
igh
t
e
r po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
polyhedro
n
_sam
p
le
.
c: rem
o
ve redundan
t
M
AXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
e
va
l
ue
.
c
:
evalue_eval: support
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
e
g
e
evalue
.
c: eval
u
e_fra
c
2polyno
m
ia
l
: p
r
operly handl
e
rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
barv
i
n
o
k_en
u
merate
:
supp
o
rt approximation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c: avoid simplific
a
t
ion of con
s
traints
a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok/util
.
h: add POL_UN
S
ET ma
c
ro for uns
e
ttin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Param_Polyhedron_Sca
l
e_I
n
teger_F
a
st: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
mo
v
e Param_Poly
h
e
dron_Scale
_
Integer
t
o scal
e
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
use sepa
r
a
t
e fl
a
gs option
f
or scale approximation m
e
t
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
barvinok
.
c
c
: mov
e
sca
l
i
n
g
t
o
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
Verdoolaege
scale
.
c: c
o
rrect extract_lattice i
n
case of redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoo
l
a
ege
doc: up
d
at
e
CC20
0
5 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
v
erif_ehrhart
.
c: round inexa
c
t
evaluat
i
o
n up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
e
n Verdo
o
laege
veri
f
_ehrhart
.
c: optionally use exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: add evalue_e
v
al for exact
e
val
u
ation
of eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
S
ven
V
erdoolaege
evalu
e
.
c
:
fix eva
l
u
e_frac
2
polyno
m
ial f
o
r negative valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdo
o
laege
barvinok_enumera
t
e: perfor
m
s
low scalin
g
app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix
Param_Polyh
e
dron_Sc
a
le
_
Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erd
o
ol
a
ege
b
arvinok_enum
e
rate: more accurate
pol
y
n
o
mial
a
pp
r
oximation
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdo
o
laege
reorganize polyn
o
m
i
al ap
p
r
o
xima
t
ion opti
o
n
s
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
util
.
c: Param_
P
olyhedron_Print: a
c
tuall
y
use outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdo
o
la
e
g
e
fix merge
o
f check_po
l
y
f
rom ve
r
if_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sve
n
V
e
rdoola
e
g
e
doc: updat
e
Koe
p
pe
-
Verd
o
ol
a
eg
e
r
e
f
e
r
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
b
a
rvinok_maximize: support verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge
c
heck_po
l
y from veri
f
_ehrh
a
r
t
.
c and
l
e
x
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ve
n
V
e
rdoolaege
evalue
.
c: ma
k
e some evalu
e
arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
o
laege
e
v
al
u
e_frac2f
l
oor2: also conve
r
t non-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
verify
.
c
:
c
h
ang
e
v
erif
y
_options_set_rang
e
prototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
Verdoolaeg
e
be
r
ns
t
ein: piecewise_lst::evalu
a
te: support d
i
ffere
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
tur
n
off co
n
tinue_on_error by def
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaege
bernstein: e
x
por
t
n
um
e
ri
c
2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
V
e
r
d
o
olaege
do
c
: proof of
e
xistence o
f
sui
t
able y for prim
a
l
d
ecompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
Ve
r
doolaege
doc: fix
proof of existen
c
e of suitable y fo
r
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoo
l
aeg
e
bernstein
.
cc:
b
e
rnstein_coefficients: create
sig
n
ed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ve
n
Verdoolaege
barvi
n
ok_
m
a
x
imize: o
p
tiona
l
l
y
use recursiv
e
bernstein_coe
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n
Ver
d
oolaege
bernstein
.
cc
:
bernstein_
c
oefficients: s
u
pport
ge
n
eral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
st
e
in
.
cc: refactor bernstein_c
o
efficients_p
r
oduc
t
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laeg
e
b
er
n
st
e
in: piecewise_lst: add sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
bernstein: a
d
d
r
e
move_r
e
dundant
s
method
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
doc: primal decomposit
i
on
:
typo fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoola
e
ge
doc: fix primal decompositi
o
n example + clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
ocument primal decomposi
t
ion
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
e
r
doolaege
barv
i
nok
.
cc: barvinok_enum
e
rate: f
i
x lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Ver
d
o
o
l
a
ege
eval
u
e_split_per
i
ods: gracefully han
d
le zero eval
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
laege
barvinok_
m
a
x
i
m
ize: handle
zero
i
nput
commit
|
commitdiff
|
tree
next