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
util.c: extract for_each_lower_upper_bound from ParamLine_Length
2007-05-13
Sven Ver
d
oolaege
util
.
c: extract
f
or_each_lower_upper_
b
ound from
Para
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
dec
o
mp
o
ser: use NTL to
i
nvert
m
a
t
ri
x
rather t
h
an co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolae
g
e
l
a
ttice_po
i
nt
.
cc: allo
w
rays and vert
e
x
t
o h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olae
g
e
counte
r
: opti
m
ize summing over points i
n
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoola
e
ge
l
a
tti
c
e_point
.
c
c: avoid
con
v
ersion between NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
e
ge
conv
e
rsion
.
cc: remove r
a
ys2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
eva
l
ue
.
c:
e
v
a
lue_polynomial ex
t
r
acted fro
m
b
a
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven V
e
rdool
a
eg
e
eva
l
ue
.
c: add
e
va
l
ue_ne
g
ate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
doc:
a
note
on
t
he
c
onn
e
ction between T
o
dd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erd
o
olaege
doc:
p
oints i
n
f
u
ndapipe
d
: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
bar
v
inok
.
cc: simplify
d
poly_n
c
on
s
tructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Re
m
ove "
n
o
rmalization" or
powers i
n
denominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
decomposer
.
cc: pass
o
ptio
n
s to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
ba
r
v
inok_coun
t
: o
p
tionally
u
s
e exp
o
nential
substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
cou
n
ter
.
cc: e
x
tracted from
b
arv
i
nok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
p
oly::div: avoid comput
a
tio
n
with rational num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpo
l
y: use Value instead of Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
doc
:
f
ix t
y
po
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
add test
f
or la
t
tice poin
t
comp
u
tation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
eval
u
e_rea
d
.
c: a
d
d
e
v
a
l
ue_
r
ead_
f
rom_str
f
or readin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
evalue_re
a
d_from_file: don't m
o
dify
v
ar_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
ge
evalue_read: rea
d
more gene
r
al evalues
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaege
e
value
_
convert
.
cc: add missing incl
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
con
v
e
rsi
o
n
.
h: generalize
r
a
ys2
m
atrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue_rea
d
: extract
f
r
o
m
ma
x
imize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
enume
r
a
t
or:
s
upport pr
i
mal (half-open) de
c
o
m
posit
i
o
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
enumerator: h
a
ndle (dual) s
t
opped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
lattice_point
.
cc: remo
v
e
unused PD a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
latt
i
ce_p
o
i
nt
.
cc
:
e
x
t
ra
c
t coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
lat
t
ice_point
.
cc: renam
e
ce
i
l_mod to f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ol
a
ege
lattice_point
.
cc: use some helper functio
n
s t
o
s
implify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_poi
n
t
.
cc: impl
e
ment looku
p
-
table vers
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move more
l
attice point computations to la
t
t
ice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barvinok
.
cc: l
a
tt
i
ce_point: r
e
mo
v
e a spe
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
d
o
c: integer points in fundamental parallelep
i
ped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoola
e
ge
util
.
c: e
x
p
o
r
t Mat
r
ix_Transpos
i
t
i
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c:
e
xport Vec
t
or_Opp
o
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
sc
a
l
e
.
c
:
mov
e
Param_Ve
r
tex_Co
m
mon_Denominator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
evalue
.
c: add ev
a
lue_add
_
constant
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c: affin
e
2
evalue: skip zer
o
coeffici
e
n
ts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c
:
em
u
l_p
o
ly:
ef
f
icient
l
y
h
a
ndl
e
case
o
f multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
b
ump
version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdo
o
l
a
ege
doc: update option
s
a
n
d s
o
me function
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolae
g
e
doc
:
document volume
computa
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
:
more reports
e
xplaining part
s
of barvi
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
doc:
tran
s
formatio
n
of param
e
ter domain
t
o hav
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdool
a
ege
bar
v
inok
.
cc: barvino
k
_count_f
:
a
v
oid war
n
ing on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doola
e
g
e
uti
l
.
c
: unim
o
dular_co
m
plete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
barvino
k
_enumerate
.
cc
:
handle all l
i
n
e
s in
-
-ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ver
d
oolaege
bar
v
inok_en
u
merate
.
cc: series: plug mem
o
ry
leak
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdo
o
laege
doc: docum
e
nt
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c: r
e
move ref
e
r
e
nc
e
to old barvi
n
ok_seri
e
s application
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
Verdo
o
laege
do
c
:
update evalue
_
b
e
rns
t
ein_coe
f
ficient
s
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/o
p
tio
n
s
.
h: put stat
s
first in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven
V
erdoolaege
barvinok_maximize: read_evalue: sup
p
ort rela
t
i
on
s
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
bernst
e
in
.
cc: evalue_bernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok_maximize: evalue
_
rea
d
: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
lae
g
e
barvinok_maximize
:
mo
v
e
--(b
e
rn
s
t
e
in
-
)recu
r
se o
p
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
lib/argp: fix
l
og
i
c in
h
ol_c
l
u
st
e
r_
c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoo
l
a
ege
barvinok
_
m
a
ximize: allow s
p
ecifi
c
ation
of the
v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verdoo
l
a
e
ge
barvinok_maximize: barf on unexpect
e
d first token
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
aege
doc: mor
e
docu
m
ents refering
to
t
he library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
evalue_convert
.
cc: evalu
e
_
coset:
support rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
e
v
alue
.
c
:
p
r
int_eva
l
u
e
: always p
r
int
newline at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc:
m
u
ltivar
i
a
t
e q
u
asi-polynomials as lis
t
s
o
f
pol
y
nom
i
als
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
o
olaege
eval
u
e_convert
.
cc: include "
c
on
f
i
g
.
h"
t
o pick up USE_F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
d
o
c: index a
d
ditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: triangul
a
tion in
pri
m
al
s
pac
e
+ so
m
e t
y
po fixes
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolae
g
e
doc
:
document
i
n
ner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: ref
e
r to Koeppe art
i
cle for s
i
mpler mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ve
r
doolaege
doc: more publica
t
i
o
ns (implic
i
tly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configur
e
.
in: add $(EXEEXT) to
opt
i
onal pro
g
rams
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Ma
k
e
file
.
am:
mak
e
sure distr
i
buti
o
n contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Ver
d
oolaeg
e
work aro
u
nd incomplet
e
name
s
pace support in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoo
l
ae
g
e
disable s
o
me features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoola
e
g
e
b
a
rvinok_en
u
m
erate
.
c
c:
avoid use of
f
d
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
l
a
e
ge
bar
v
inok_enumer
a
te: do
n
't prin
t
(non-exist
i
ng) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdool
a
ege
edomain
.
cc
:
a
v
oi
d
use
o
f
fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in: check
for polylib/poly
l
ibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
la
e
ge
declare variab
l
e at s
t
art o
f
c
o
de b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
ak
e
file
.
a
m
:
rebuil
d
l
i
br
a
ries
i
n
s
ubdirs
if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaeg
e
barvinok_en
u
merate: rech
e
c
k for
equalities aft
e
r
"
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
er
d
oolaege
do
c
:
a voting theory
r
e
por
t
that refers
t
o
the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
la
e
ge
doc: update pr
i
mal B
a
rv
i
n
ok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: add
j
ournal version of impr
o
ve
d
de
r
ivati
o
n paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
e
g
e
volu
m
e
.
c: keep t
r
ack of num
b
er of s
i
mplice
s
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_approx:
test
v
o
l
ume
c
omput
a
tion
v
a
ri
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
g
e
volume
.
c:
v
o
l
u
me_tr
i
a
n
gulate: use v
e
rtex instea
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volu
m
e
.
c
: face_vertice
s
: use Pa
r
am
_
I
nner_Pro
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
Call
se
t
_
prog
r
am_name befor
e
ca
l
li
n
g
argp
_
parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
reduce_domain:
expl
o
it th
a
t no caller u
s
es
P
olyhedro
n
2Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaege
lex
m
i
n: stop u
s
in
g
Polyhedron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barv
i
nok
.
cc:
stop u
s
i
n
g
Polyhed
r
o
n
2Pa
r
am_Simplif
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoo
l
ae
g
e
R
equire a version
of Po
l
yL
i
b that computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n V
e
rdoola
e
ge
volume
.
c: non_empty
_
point: simply use inte
r
nal
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
a
dd an ehrhart example
with inte
r
e
s
ting
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
test_
a
pprox: test chamber based sc
a
ling
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
scale
.
c: optionally perform scaling on
individual chambers
commit
|
commitdiff
|
tree
next