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
v
en Verdoolaege
counte
r
.
cc
:
extrac
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laeg
e
dpoly::div: avo
i
d
computation with
r
atio
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
a
ege
d
p
oly:
u
se Value i
n
stead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test for lattic
e
point computat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolae
g
e
e
v
alue_read
.
c:
a
d
d evalu
e
_read_from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
v
alue_
r
ead_fr
o
m_file:
don't modify va
r
_list ar
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_rea
d
:
read more
gen
e
ral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
e
v
alue_convert
.
cc: add miss
i
ng i
n
cl
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
dool
a
ege
c
onversion
.
h: gen
e
raliz
e
rays2matrix
2
to zz
2
mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
l
a
ege
latti
c
e
_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdo
o
laeg
e
evalue_rea
d
:
extract from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erdo
o
laege
e
n
umerator
:
su
p
port pri
m
al
(h
a
lf-ope
n
) dec
o
mpositions
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
d
o
olaege
enumerator:
handle (d
u
al) stopped
B
arv
i
nok
d
ecomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
l
a
ttice_point
.
cc:
rem
o
ve unused
PD a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
lattice_poin
t
.
cc
:
extra
c
t coset
g
e
nerati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_point
.
cc: rename c
e
il_mod to fractional_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoo
l
a
e
ge
lat
t
ic
e
_poin
t
.
cc: use
s
ome he
l
per fu
n
cti
o
ns to simpl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_point
.
c
c
: imp
l
e
ment
l
ooku
p
-table
v
ersion
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
move more lattice point
comput
a
tions to
l
at
t
ice_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
barv
i
n
o
k
.
cc: lattic
e
_
point: re
m
o
ve a speci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoo
l
aege
doc:
integer p
o
ints in
fund
a
mental pa
r
allelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aeg
e
u
til
.
c
:
e
xport
Matrix_Tra
n
spositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoo
l
aege
util
.
c: export Vector_Op
p
ose
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
scale
.
c: mov
e
Param_Vertex
_
C
o
m
m
o
n
_
D
enominator to param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue
.
c
:
add eval
u
e_
a
dd_constant
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaege
eva
l
ue
.
c:
a
ffine2
e
value: s
k
ip
zero coeffici
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
a
ege
eval
u
e
.
c: emul_poly: effici
e
nt
l
y handle case of multiplica
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
d
o
c: update options and so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc: docum
e
n
t volum
e
com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
doc: more reports
e
xplaining parts of
b
arv
i
nok
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoo
l
aege
bernstein
:
b
ump vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolae
g
e
doc:
t
r
a
ns
f
ormation of parameter doma
i
n to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
arvinok
.
cc: barv
i
nok_count_f
:
avo
i
d warnin
g
o
n
r
ecursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
util
.
c: uni
m
odu
l
ar_co
m
plete: handle
co
m
ple
t
ion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
barvinok_enumera
t
e
.
cc: ha
n
dle
a
l
l line
s
in --s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoo
l
aege
ba
r
vin
o
k
_enumer
a
te
.
c
c: series:
pl
u
g
memo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
erdoolaege
doc:
d
ocument left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove referen
c
e to old barvinok_series a
p
plica
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: updat
e
ev
a
lue_
b
e
r
nstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ver
d
oolaege
b
arvinok/options
.
h:
put
s
tats
f
ir
s
t in barvinok_o
p
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
o
laege
barvinok
_
m
a
ximize
:
read
_
evalue: suppor
t
r
e
l
ations
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
Ve
r
d
o
olaege
bernstein
.
cc: evalue_bernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvin
o
k
_
maximize: eva
l
ue_re
a
d: a
l
low identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoola
e
ge
b
a
rvinok_max
i
mize: move
--(bernstein-)r
e
c
urse o
p
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaeg
e
l
i
b
/arg
p
:
fix l
o
gic in hol_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdool
a
ege
barv
i
nok_maximize: allow spe
c
ificat
i
on of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barvinok_maximiz
e
: barf on unexpected first tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc:
m
or
e
d
o
cuments referi
n
g to
t
h
e librar
y
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_c
o
nvert
.
cc: e
v
alu
e
_
c
oset: supp
o
rt
r
e
l
ati
o
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
eval
u
e
.
c: print_evalue: always print newline at the
end
commit
|
commitdiff
|
tree
2007-04-23
S
ven
Verdoolaege
doc:
m
ultiva
r
iate quasi-p
o
lynomi
a
ls
a
s lists of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
e
value_convert
.
cc:
i
ncl
u
de "config
.
h" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
d
oc: i
n
dex
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangulatio
n
in primal spa
c
e + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
ven
Verdo
o
laege
d
oc:
d
ocumen
t
i
n
ner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
do
c
: refer to K
o
ep
p
e article f
o
r simpler mot
i
v
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more publication
s
(implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sv
e
n
Verdoolaege
configure
.
in:
add $(EXE
E
XT) to optional p
r
ogram
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven V
e
rdoolaege
M
ake
f
ile
.
am: m
a
ke sure distri
b
ut
i
on
conta
i
ns required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoo
l
aege
w
ork around incomplete n
a
mespace support in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
disable some feat
u
res if fds
t
r
e
am doesn't c
o
mpile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
e
ge
barvinok_enumerat
e
.
cc: avoid
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ver
d
ool
a
ege
barvino
k
_enume
r
ate: don't
pr
i
nt (non-existin
g
)
evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
edomain
.
cc:
avoid
us
e
of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
configure
.
in: ch
e
ck for polylib/polyl
i
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
ve
n
Verdoo
l
a
e
ge
declare
v
a
ri
a
ble at sta
r
t of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdool
a
ege
Ma
k
efi
l
e
.
am: rebuild
libr
a
ries in
subdirs if missi
n
g
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoola
e
ge
barvinok_e
n
umerate: rechec
k
for equalities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erdoo
l
aege
doc:
a votin
g
theory report that refers to
the library
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoolaege
doc: upda
t
e
primal
B
arvinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
r
doolaege
doc:
add journal version of improved de
r
ivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c:
k
eep
t
rack of numbe
r
of simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laege
t
e
st_approx: test volume
c
omputation variat
i
o
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n
V
e
rdoolaege
volume
.
c
: v
o
lume_t
r
iangulate:
u
se ver
t
ex ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
volume
.
c
: face_vert
i
ces: use Param_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Ver
d
o
olaege
Call set
_
program_
n
ame before
calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
re
d
uc
e
_do
m
a
i
n: exploit th
a
t
n
o call
e
r
use
s
Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
g
e
lexmin: sto
p
using Polyhedro
n
2Pa
r
a
m
_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaeg
e
barvinok
.
cc: stop using
P
olyhedron2Param_Si
m
p
l
ifiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a version of PolyLib that computes
c
orre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
ege
volume
.
c
:
non_empty_p
o
i
n
t:
si
m
ply use internal poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verd
o
ol
a
ege
o
nly compile bar
v
inok_maxi
m
ize if GiNa
C
(a
n
d
b
ernst
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
erdoolaege
ad
d
an ehrhart example w
i
t
h
interesti
n
g
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdoolaege
test_approx:
t
est
c
ham
b
er base
d
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: optionally pe
r
form scaling on
i
ndividu
a
l chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
la
e
ge
barvinok_enumerate: use "variab
l
e compressio
n
" t
o
remov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aege
util
.
c
: left_inverse: handle con
s
t
a
nt
m
ap
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdool
a
ege
evalue
.
c:
e
v
a
l
ue_substitute: mov
e
f
rom edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: affine2evalue: ex
t
racted from vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
r
e
duce_doma
i
n: part
i
ti
o
n
c
h
a
mber co
m
plex based
o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
edu
c
e_domain
.
c: extra
c
t inner_p
o
int and is_int
e
rna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaeg
e
reduce_domain: check for adjacent
chambers in sim
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Ve
r
doolaeg
e
FOR
A
LL_R
E
DUCED_
D
O
MAIN
:
e
xtract co
m
mon h
a
ndling o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
barvinok_e
n
umerate: mo
v
e rec
u
rsive
c
all durin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
c
c: Param_Polyhedr
o
n_
E
nume
r
ate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
add some interest
i
ng test cases f
o
r vol
u
me comp
u
tation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
p
e
rfo
r
m very ba
s
ic
p
olynomial ap
p
r
o
ximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ve
r
doolaege
test
_
appro
x
:
compare diffe
r
e
n
t polynomial app
r
ox
i
mations
commit
|
commitdiff
|
tree
next