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
barvinok.cc: lattice_point: remove a special case
2007-05-02
Sven Verdoolaege
bar
v
inok
.
cc: l
a
ttice_point
:
remove a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolae
g
e
d
oc: i
n
tege
r
points in fundament
a
l p
a
rallelepi
p
ed:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
util
.
c
: export Matrix_Tra
n
sposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c
: expor
t
Ve
c
tor_Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaeg
e
sca
l
e
.
c: move Par
a
m
_
Vertex_Common
_
Den
o
minator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
e
v
a
lue
.
c: add evalue_add_const
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
evalue
.
c: affine2evalue: skip zer
o
coefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
evalue
.
c:
e
mul_poly: efficiently handle case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
doc: update op
t
ions and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c
: docum
e
nt volume co
m
putati
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more
reports explaining parts of barvino
k
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
Verdoolae
g
e
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
: transformatio
n
of par
a
m
et
e
r d
o
main to
h
ave revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ba
r
vin
o
k
.
cc:
bar
v
inok_count_f: av
o
i
d warni
n
g on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c:
u
nimodu
l
ar_compl
e
t
e
:
h
andle co
m
p
l
e
t
ion of
m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoola
e
ge
b
arvin
o
k_enumerate
.
c
c
:
handle all
li
n
es in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
ae
g
e
barv
i
nok_
e
nu
m
e
rate
.
cc: serie
s
: plug m
e
mory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
d
oc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ve
r
dool
a
ege
doc:
r
emove referen
c
e to old barvinok_se
r
i
es
application
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdo
o
laeg
e
d
oc:
update evalue
_
bernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
bar
v
i
n
ok/opti
o
ns
.
h: pu
t
st
a
ts first in barvino
k
_options
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
b
arvinok_
m
aximize:
read_evalue: s
u
pp
o
rt relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
bernstein
.
cc:
e
v
a
l
u
e_bernstei
n
_c
o
e
f
ficient
s
: ha
n
d
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
V
erdoolaege
bar
v
inok_
m
a
ximize: evalue_read: allow identi
f
iers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize:
m
o
v
e --
(
bernstein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
do
o
laege
lib/argp: fix l
o
gic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verd
o
olae
g
e
bar
v
inok_maximiz
e
: allow spec
i
f
ication of the varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maximize: ba
r
f on unexpected firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
o
re docu
m
ents referin
g
to the library
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
evalue_convert
.
cc: evalue_cose
t
: support r
e
lations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eva
l
ue
.
c: pr
i
n
t
_ev
a
lue: always prin
t
newline a
t
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
o
olaege
doc: m
u
ltivariate
quasi-polynomials as
lists of
p
olynomials
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdool
a
ege
evalu
e
_co
n
vert
.
c
c: i
n
clude "config
.
h" to pick up USE_FD
S
TREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc
:
index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
l
aege
doc:
triangulation
in primal spac
e
+ some typo
f
ixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Ve
r
doolaeg
e
doc: docum
e
nt inner_point
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Verdoolaege
doc: r
e
fer to Koeppe art
i
c
le for
simp
l
er motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc:
more
publ
i
c
a
tions (impli
c
itly
)
r
efering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven Verdo
o
lae
g
e
c
o
nfi
g
ure
.
i
n:
a
dd
$
(EXEE
X
T
)
to
o
ptional pr
o
gr
a
ms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolae
g
e
M
akef
i
le
.
a
m: mak
e
sure distribution cont
a
ins req
u
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
bar
v
i
n
ok_enu
m
era
t
e: don
'
t p
r
in
t
(
n
on-
e
xis
t
ing)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
edomain
.
cc: avoid use
o
f fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
ge
configure
.
in: check for p
o
lylib/po
l
ylibg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
lae
g
e
d
e
cla
r
e vari
a
ble at
start of code bl
o
ck
.
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
V
erdoolaege
Mak
e
file
.
am: reb
u
ild
li
b
raries in s
u
bdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoola
e
ge
b
a
rv
i
nok_enumer
a
te: reche
c
k for equalitie
s
a
f
t
er "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc: a voting theory report tha
t
refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c: u
p
dat
e
pri
m
al Barvino
k
reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
olae
g
e
d
oc: add j
o
u
r
nal ver
s
ion
o
f impro
v
ed derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verd
o
ola
e
ge
v
olume
.
c: keep track of number of
simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verd
o
olaege
test_approx: t
e
st volume computation v
a
riations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c: vo
l
ume_tr
i
angulat
e
:
u
s
e
vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoola
e
ge
volum
e
.
c:
f
ace_vertices: use Param_Inner_P
r
od
u
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
r
e
d
u
ce_domain: e
x
ploit that no caller uses Polyhedr
o
n
2
Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
ol
a
ege
lexmin: stop using Poly
h
edron
2
P
a
ra
m
_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
ege
barvinok
.
cc: sto
p
using Polyhedron2Param_S
i
mplified
D
omain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
Requi
r
e a
version
o
f
P
olyLib that computes
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoola
e
g
e
vol
u
me
.
c:
n
o
n_empty_poi
n
t: simply use
internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add
a
n
ehr
h
a
r
t
e
xample wi
t
h interes
t
i
n
g chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
test_
a
pprox:
t
est cha
m
b
e
r
b
ased
s
caling
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdo
o
laege
s
c
ale
.
c: optiona
l
l
y
perfor
m
scaling
on in
d
ividual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaeg
e
b
a
r
v
i
nok_enumerate: use "va
r
ia
b
le com
p
r
ession"
to r
e
mo
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_inverse: handle
c
onstant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Ve
r
d
o
olaege
evalue
.
c: evalue_substitute: m
o
ve
f
rom edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
evalue
.
c
:
a
f
f
ine
2
evalue: extracted fro
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
red
u
ce_dom
a
i
n
: part
i
ti
o
n
chamber comp
l
ex
b
a
sed o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdool
a
ege
r
e
duce_domain
.
c: extrac
t
in
n
er_point
a
n
d is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
e
d
u
c
e_domain: ch
e
c
k for
adjacent c
h
amber
s
in simpl
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n V
e
r
doolaege
FORAL
L
_
RE
D
U
C
ED_DO
M
AIN: extrac
t
c
ommon handling
of red
u
c
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
o
laege
b
arvinok_enumerate:
move recurs
i
ve call during scalin
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven
V
erdoolaege
barvinok
.
c
c: Par
a
m_Polyhedron_
E
nume
r
ate:
e
xtracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
r
doolaege
a
dd
some interesting test cas
e
s for volume c
o
mputation
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
erdoolaege
perform very basic polynomial appro
x
imation te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
test_approx
:
compa
r
e diff
e
rent polynomi
a
l ap
p
roximati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
o
olaege
e
v
alue_conve
r
t
.
cc: par
t
ia
l
suppo
r
t for
prin
t
ing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Poly
h
edron_Volume: perform lifting tria
n
g
ulat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
o
l
u
me
.
c: introduce parameter_point abst
r
a
ction
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdool
a
eg
e
s
cale
.
c
:
expo
r
t Param_V
e
rtex_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vo
l
ume
.
c: drop redunda
n
t a
r
guments
t
o
vo
l
ume_
s
implex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
o
p
tions
.
c: separate poly
n
omia
l
a
p
proximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoola
e
g
e
barvinok_options_new_with
_
defaults
:
initiali
z
e sc
a
l
e
_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolae
g
e
triangulate
_
cone:
ski
p
Delaunay trian
g
ulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aeg
e
eva
l
ue_
c
o
nvert: print
l
attic
e
when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
eval
u
e_convert:
a
d
d ve
r
b
o
s
e
argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Po
l
yhedro
n
_Flate: intersect inflated polytope
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
doc: bib:
f
ix
u
p name in title of Algorithm
i
ca paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
Ver
d
o
o
laege
a
d
d missin
g
vol
u
m
e
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volume
.
c
: delay computati
o
n o
f
po
i
nt where volu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven Ve
r
doolae
g
e
Param_Pol
y
hedro
n
_Volume: set poly
n
omial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ver
d
oo
l
aege
volume
.
c: allow computation o
f
lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
scal
e
:
export
P
o
l
yhe
d
ron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
barv
i
no
k
_enum
e
rate: op
t
ionally compute "volu
m
e
" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
erd
o
olaege
polytope_v
o
l
u
m
e:
c
ompute vo
l
ume
o
f paramet
r
ic polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_do
m
ain
.
c
:
plug memo
r
y
lea
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
ege
v
e
rify
.
c
: move
computat
i
o
n
o
f
true contex
t
into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaege
scale
.
c:
add simplified met
h
od
o
f computing
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
arvinok
_
e
n
u
m
erate: optional
l
y com
p
ute
tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhed
r
on_sample
.
c: r
e
move redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
evalu
e
.
c: evalu
e
_
e
v
al: s
u
pport relations
commit
|
commitdiff
|
tree
next