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
evalue_read: fix for top-level fractional part
2007-05-25
Sven Verdoolaege
ev
a
lue_read:
fix for top-
l
evel frac
t
ional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoull
i
.
c: B
e
rnoulli_
s
um_evalue: reduc
e
resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven
V
e
r
do
o
laege
b
e
rnoulli
.
c
: perform n
e
sted sum
s
approxi
m
ation dept
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
ad
d
polynomial app
r
o
x
i
mat
i
on based o
n
nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
util
.
c
:
extract for_each_lower_uppe
r
_bound from Par
a
mLi
n
e_
L
ength
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
dool
a
ege
decomposer: use
N
TL to invert matrix rather than converi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
cc: all
o
w
rays an
d
v
ertex t
o
have be
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
counte
r
:
optimize summing over
points
i
n f
u
nd
a
piped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
la
t
t
ice_poi
n
t
.
cc: avoi
d
conversion
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
conv
e
rsion
.
cc: re
m
o
ve
rays2
m
atr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
eval
u
e
.
c: ev
a
lue_polyno
m
ial
extract
e
d from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
evalue
.
c
:
add
evalue_neg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: a note
o
n the conne
c
tion between Todd
p
olyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doola
e
ge
doc
:
points in fundapiped: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdoolaege
barvi
n
o
k
.
cc:
simpl
i
fy
dpoly_n
c
o
nstructor
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verd
o
olaege
Rem
o
ve "normalization"
o
r
p
ower
s
i
n
d
en
o
minator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaeg
e
decom
p
oser
.
cc: pass options to triangula
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdo
o
laege
barvinok_cou
n
t
:
optionally use exponential substituti
o
n
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdo
o
laege
counter
.
cc: extracted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpo
l
y::div: avoid compu
t
ation with
rati
o
nal
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
dpoly: use Value
i
ns
t
e
ad
o
f ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
add
t
est for
l
at
t
i
c
e po
i
n
t computation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
e
v
alue_rea
d
.
c:
a
dd evalue_read_
f
r
om_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdool
a
e
ge
evalue_read_from_file: d
o
n
't modify va
r
_list
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
eva
l
ue_read:
read more general
ev
a
lues
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue_c
o
n
v
ert
.
cc: add m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
conver
s
ion
.
h: generalize rays2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_point
.
h: m
a
k
e
sel
f
-conta
i
ned
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue_read
:
extra
c
t from
m
axim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rd
o
olaege
enu
m
erator
:
support primal
(half-open
)
decompositions
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaege
enumerator: handl
e
(d
u
al) stopped Barvino
k
de
c
omp
o
sit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_
p
oint
.
cc:
r
emo
v
e unused PD argum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lat
t
ice_po
i
nt
.
cc: extract coset gene
r
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc
:
re
n
ame ceil_mo
d
t
o
f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
nt
.
cc: use some hel
p
er functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
lat
t
i
c
e_poin
t
.
c
c
: i
m
ple
m
ent
lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
move mo
r
e latti
c
e poin
t
computatio
n
s to la
t
t
i
ce_p
o
i
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barv
i
nok
.
cc:
l
attice_point:
r
emove a spec
i
al case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
d
oc: integer points in
fundament
a
l parallel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdool
a
ege
ut
i
l
.
c: e
x
port
Mat
r
i
x_Tra
n
s
po
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoo
l
a
e
ge
util
.
c: exp
o
rt V
e
ctor_Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
scale
.
c: move Pa
r
am_Vertex_Common_Denominator to p
a
r
a
m_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
o
olaege
evalu
e
.
c
:
add evalu
e
_
a
dd_c
o
nstant
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdool
a
e
ge
evalue
.
c:
affine2evalue:
s
kip
zer
o
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
e
v
alue
.
c: emul_poly: ef
f
icie
n
tly handle case
of
mul
t
ipli
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
b
ump ver
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
ol
a
ege
do
c
: update options and s
o
me functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: documen
t
vol
u
me c
o
mputation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: mor
e
reports expla
i
ni
n
g
parts
of bar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
l
a
e
ge
be
r
n
s
t
e
in: bump
v
ers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdool
a
e
ge
d
o
c: tra
n
sformat
i
o
n
o
f parameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
o
o
laege
barv
i
nok
.
c
c
: barvino
k
_
c
ount_f: avoid warn
i
ng
o
n
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
uti
l
.
c: unimodular_c
o
mple
t
e: handl
e
completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ve
n
V
e
rdoolaege
b
a
r
vinok_enumerate
.
cc: handle
all lines in
--
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
barvin
o
k_en
u
merate
.
cc: seri
e
s: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
doc: do
c
ument left_i
n
verse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove referen
c
e to old barvinok_series applica
t
io
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
update evalue_bernstein
_
coeffici
e
nts
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erd
o
olaeg
e
barvinok
/
options
.
h
: put stat
s
first
in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
barvin
o
k_maximiz
e
: re
a
d_evalue: support
re
l
ation
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
b
ernstein
.
cc: e
v
alue_bernstei
n
_coeffi
c
ients: h
a
n
d
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
V
erdoolaege
barv
i
nok_maxim
i
ze: evalue_read: allow identifiers t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdo
o
laege
b
arvino
k
_maximize: move
-
-(ber
n
st
e
in-)rec
u
rse
o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaeg
e
lib/arg
p
:
f
ix
l
ogic i
n
hol_cl
u
ster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvinok_maximize: allow specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvi
n
ok_max
i
mize: barf on un
e
xpected
f
i
rs
t
token
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc
:
more documents
refering to t
h
e librar
y
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoo
l
aege
eva
l
ue_convert
.
c
c
:
evalue_c
o
set: su
p
port rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
evalue
.
c: p
r
i
n
t_ev
a
l
u
e
: always
p
r
int
newline
a
t
t
he
e
nd
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: mu
l
t
iva
r
iate quasi-pol
y
nomials a
s
lists of
p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
doolaege
eval
u
e_convert
.
cc: in
c
lude
"
c
onfig
.
h" to
p
ick up U
S
E_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doola
e
ge
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
l
aege
doc: trian
g
ulation
i
n primal
space + s
o
me typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc
:
d
ocument inner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: refer to Koeppe artic
l
e for simpler moti
v
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
d
o
c: more public
a
tions (implicitly) refering
t
o th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
Verdoolaege
con
f
i
g
ure
.
i
n
: add
$(EXEEXT
)
to optional
p
r
o
grams f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Ma
k
efile
.
am: make sure dist
r
ibution
contains requ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
work around in
c
omplete names
p
ace support in ol
d
c
ompil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaege
disa
b
le
some features if fdstream doe
s
n't co
m
pile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
d
o
olaege
barvinok
_
enumerat
e
.
cc
:
avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdo
o
l
a
e
g
e
ba
r
vinok_enumerate
:
don't print (non-
e
xisting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
V
e
r
doolaeg
e
edomain
.
cc: avoid use
o
f
f
d
stre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaeg
e
c
onfigure
.
in: check for pol
y
lib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaeg
e
declar
e
v
ariable at s
t
a
r
t
o
f code bloc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
e
r
dool
a
ege
Make
f
ile
.
am:
rebuild libra
r
ies in subdirs if
m
i
s
si
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaege
barvi
n
ok_enu
m
era
t
e: recheck for equalities aft
e
r "
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ve
r
doolaeg
e
doc
:
a
v
oting th
e
ory report that refers to t
h
e library
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoo
l
aege
doc: update p
r
i
mal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n
Verdoolaege
doc: add journ
a
l version
o
f
improved
d
eriv
a
tion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
v
olume
.
c:
keep
tr
a
ck o
f
numb
e
r o
f
si
m
plices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_approx
:
test volume computation vari
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verdoolaege
volume
.
c:
volume_t
r
iangulate
:
use vert
e
x instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n V
e
rdoolaege
volume
.
c: face_vertices: use
P
aram_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call
s
et_program_name
b
efore calling argp
_
pars
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domai
n
: explo
i
t that no call
e
r use
s
Po
l
y
hedron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
lexmi
n
: stop usi
n
g Polyhedron2Para
m
_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvinok
.
cc: st
o
p using
P
o
l
yhedr
o
n2Para
m
_Simplifi
e
dDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Requir
e
a version of PolyLib t
h
a
t
com
p
ut
e
s c
o
rrec
t
.
.
.
commit
|
commitdiff
|
tree
next