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
sample.c: Polyhedron_RemoveFixedColumns: correctly set NbEq in new polyhedron
2007-05-02
Sven
Verdoolaege
mo
v
e more lattice point com
p
utations to lattic
e
_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
b
a
r
vinok
.
cc: latt
i
c
e
_point: remove a speci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
doc:
i
ntege
r
points in fun
d
amental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdo
o
laege
util
.
c
: exp
o
rt
Matrix_Tra
n
s
p
o
sitio
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
olaege
util
.
c: e
x
port Vector_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdo
o
l
a
e
ge
scale
.
c:
m
ove Param_Vert
e
x_Common_Denominator to param
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
ev
a
l
u
e
.
c: add ev
a
lue_ad
d
_constan
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c:
a
ffine
2
eva
l
ue
:
skip
zero c
o
ef
f
ic
i
e
n
t
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
eval
u
e
.
c: e
m
ul_poly: efficiently handle case of mult
i
plicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
laege
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdool
a
e
ge
doc: up
d
at
e
options
a
nd
some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
doc: do
c
ume
n
t volume
c
omput
a
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdool
a
ege
doc: more reports explaini
n
g pa
r
ts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
bernstein:
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaeg
e
doc: transfo
r
m
ation of parameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: barvinok_count_f
:
av
o
id w
a
rning
on re
c
u
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
u
ti
l
.
c: unimodul
a
r_complete: handle
c
ompletio
n
o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laege
barvino
k
_e
n
u
me
r
ate
.
c
c
: hand
l
e a
l
l lines i
n
--s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
ba
r
vinok_enumerate
.
cc: series: plug m
e
mor
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
Ve
r
doolaege
doc: remove reference
t
o old barvinok_
s
eri
e
s applica
t
ion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update evalue_bernste
i
n_coeffi
c
ients
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rdool
a
ege
barvino
k
/
o
ptions
.
h: p
u
t stats
first in barv
i
nok_
o
pt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: re
a
d_evalue: sup
p
ort relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
bernstein
.
c
c
: evalu
e
_bernstein_c
o
efficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
bar
v
inok_maximize: evalue_read: all
o
w
identifiers
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
aege
barvin
o
k_maximize: move --(bern
s
tein-)r
e
curs
e
o
p
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
rdoolaege
lib/argp: fix logic
i
n
hol_clu
s
ter_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
e
g
e
barvi
n
o
k
_
maxim
i
ze: all
o
w s
p
ecificatio
n
of the v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
b
a
rvinok_maximize:
b
ar
f
on
u
nexpected first
token
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoola
e
ge
d
oc: more documents r
e
fe
r
ing to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
evalue_convert
.
cc: eval
u
e_c
o
set: su
p
port relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
a
l
ue
.
c
:
p
r
in
t
_evalue: always
p
rint newli
n
e a
t
the en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verd
o
olaege
doc: mul
t
ivariate q
u
asi-poly
n
omials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
ev
a
l
u
e_
c
onvert
.
cc:
include "config
.
h
" to p
i
c
k up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index add
i
tions
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
d
o
c: triang
u
l
a
tion in primal space
+
s
o
me
typo fi
x
es
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verd
o
olaege
doc: docume
n
t inner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc:
refer to Ko
e
ppe arti
c
le for simpler
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mo
r
e
p
ublic
a
tion
s
(implicitly
)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verd
o
ola
e
ge
c
onfi
g
ure
.
in: add $(EXEEXT) to opti
o
nal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoola
e
g
e
M
akefile
.
am:
make sur
e
distribution conta
i
n
s
req
u
ir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerate: do
n
't prin
t
(n
o
n
-
e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomain
.
cc: avoid use of f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
confi
g
ure
.
in: c
h
eck f
o
r p
o
l
y
li
b
/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoola
e
ge
declare
v
ariable at start
of co
d
e b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Ve
r
d
o
olaege
Make
f
ile
.
am: rebui
l
d libraries in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoo
l
aege
bar
v
i
n
ok_en
u
merate:
r
echeck
f
or equ
a
lit
i
es after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c
:
a votin
g
t
h
eory repo
r
t t
h
at refer
s
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rd
o
olaege
do
c
:
u
p
d
ate
p
rim
a
l
Barvinok
r
ef
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc: add journal ver
s
ion of impr
o
ved deriva
t
ion
p
aper
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
V
erdo
o
laege
v
olu
m
e
.
c
: keep t
r
ack of number of simplices in
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
o
laege
test_approx: test vo
l
um
e
computation varia
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
volum
e
.
c: volume_triangulate: use
ve
r
tex
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erdoolaege
volum
e
.
c
:
fac
e
_
v
ert
i
ces: use Param_Inner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoola
e
ge
reduce_do
m
a
in: exp
l
oit that
no caller
uses
Poly
h
ed
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
l
e
xmin
:
stop
u
sing Pol
y
hedron2Param_Si
m
plifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
bar
v
inok
.
c
c: stop usin
g
Po
l
yhe
d
ron2Param
_
SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdool
a
e
ge
R
e
q
uire a version of Poly
L
ib t
h
a
t
computes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volum
e
.
c
:
non_empty
_
point: sim
p
ly use inte
r
nal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
add an ehrh
a
rt example with
i
n
te
r
es
t
ing chambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
test_approx: test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
scale
.
c
:
o
pt
i
ona
l
ly
perform scaling on indiv
i
dual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
bar
v
inok_
e
n
u
merate: use "variable compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
util
.
c: le
f
t_inver
s
e: handle c
o
ns
t
ant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: eva
l
ue_
s
ub
s
tit
u
te: mov
e
f
r
om edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
o
olaege
e
v
alue
.
c: affi
n
e2ev
a
lue: extract
e
d from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
redu
c
e_domain: partition chamber compl
e
x
based on inne
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
olaege
reduce_domain
.
c: ext
r
act inner_p
o
in
t
a
n
d
i
s
_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
reduce_domain: check for
a
djacent
chambers in
s
i
mplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
FORALL_REDUCED_DOMAIN: extract common
h
andling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n
Verdo
o
l
aege
barvinok_enumerate: mov
e
re
c
ursive ca
l
l during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdo
o
laege
barvinok
.
cc: Param_Po
l
yhedron_Enumerate: ex
t
r
a
c
te
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
add some interesting test case
s
f
or volume
computatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
perfo
r
m very
b
asic polynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
eg
e
tes
t
_a
p
pr
o
x: com
p
are
differ
e
nt poly
n
o
mial
a
pprox
i
mations
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
V
erdoolaege
evalue_convert
.
c
c: partial supp
o
rt for
print
i
ng in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erdoolaege
Param_Polyhedron_Vo
l
ume: perfo
r
m lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
volume
.
c: introd
u
ce para
m
eter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
sc
a
le
.
c:
e
xport Pa
r
am_V
e
rtex_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vo
l
ume
.
c: dr
o
p
r
e
dundant a
r
g
u
ments to volume
_
simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
dool
a
ege
options
.
c: sepa
r
at
e
polynomial approxi
m
ation
r
e
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
barvinok_options_ne
w
_with_
d
e
faults
:
initia
l
ize
s
cale_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
triangu
l
ate_cone: skip
D
elaunay triangul
a
tion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_con
v
e
rt: pr
i
nt lattice
w
hen printin
g
as
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verd
o
olaege
evalu
e
_conve
r
t
:
add
verbose argument and return
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdoolaege
Po
l
yhedron_Flate:
inte
r
sect inflate
d
pol
y
to
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
V
e
rdoolae
g
e
doc:
b
ib: fix
up
na
m
e in title of Algorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
doo
l
aege
volume
.
c: dela
y
computation of point whe
r
e
v
olume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
er
d
oolaege
Param_Pol
y
hedron_V
o
lum
e
: se
t
poly
n
omial_ap
p
r
oxi
m
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ver
d
oolaege
volume
.
c
:
a
l
low com
p
utation of l
o
we
r
and uppe
r
b
o
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedron_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
bar
v
in
o
k_enumerate: optionall
y
c
ompute
"
vol
u
m
e
" polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verd
o
olaege
pol
y
t
o
pe_volume: compute vo
l
ume of parame
t
ric polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
reduce_domain
.
c: plu
g
me
m
ory leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
v
e
rify
.
c: move computation of true co
n
text into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
scale
.
c
: add si
m
p
l
if
i
ed meth
o
d of
computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
r
d
o
ol
a
ege
barvinok_enumerate: opti
o
n
ally co
m
pute tighter pol
y
no
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laeg
e
p
olyhedron_
s
ample
.
c: remove redundant MAXRA
Y
S define
commit
|
commitdiff
|
tree
next