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 Verdool
a
ege
util
.
c: e
x
tract f
o
r_each_lowe
r
_
upper
_
bound
from ParamLine
_
Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
d
e
composer
:
use NT
L
to i
n
ve
r
t matr
i
x rather
t
han convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
doolaege
lat
t
i
c
e
_
point
.
cc
:
al
l
ow rays and vertex to ha
v
e been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
counter: opt
i
mize summing over po
i
nts in
f
u
nd
a
piped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
cc: avoid con
v
ersion betwe
e
n NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
d
o
o
laege
conversion
.
cc: remov
e
rays2m
a
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Verdoolaege
evalue
.
c: evalue_
p
olynomial extracted f
r
om
barvino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ve
r
doo
l
aege
evalu
e
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
o
c: a note on
t
he connection
b
e
t
wee
n
Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
doc: poin
t
s in fundap
i
ped: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n V
e
rdoolae
g
e
ba
r
vino
k
.
c
c
:
simplif
y
dpoly_n c
o
n
structor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoo
l
aeg
e
Remove "no
r
ma
l
ization" or powers in
d
enominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
V
e
r
do
o
laege
dec
o
m
p
oser
.
c
c: p
a
ss opt
i
ons to tria
n
gul
a
te_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdool
a
e
g
e
b
a
rvi
n
ok_count: optionally
u
se exponential substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
co
u
nter
.
cc: extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
V
e
rdo
o
la
e
ge
dp
o
ly::div
:
av
o
id comp
u
tation with
r
atio
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdo
o
la
e
ge
dpo
l
y: use Value instead of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdool
a
ege
d
oc:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
add te
s
t for lattice p
o
int
c
omputation
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolaege
evalue_read
.
c: add
evalu
e
_read_from_
s
t
r
f
or
r
e
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue_read
_
from_file: don't modify va
r
_list
argument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
evalue_read: read
m
ore general e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue
_
c
o
nvert
.
cc:
add mis
s
ing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
c
onversion
.
h
:
ge
n
eralize rays2matrix2 to
zz2m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
erdoolaege
lattic
e
_
p
oint
.
h: make self-c
o
ntai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
e
v
alu
e
_read: extract from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
enumerator: support primal (half-op
e
n)
decompositions
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Ver
d
oolaege
enum
e
rator: handle (dual) stopped
B
a
rvinok d
e
c
omp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
latti
c
e_point
.
cc: remove unused
P
D
a
rgument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
latti
c
e_point
.
cc:
extract coset g
e
neration
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc: rename ceil_mod to fractional
_
p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
lattice_po
i
n
t
.
c
c
: use s
o
m
e
helper functions to simplif
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_po
i
nt
.
cc: implement
lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move more
l
attice point comp
u
tat
i
o
ns to latt
i
ce_p
o
int
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
d
o
olaege
bar
v
inok
.
cc: lat
t
ice_po
i
nt:
re
m
ove a special cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
doc: integ
e
r poi
n
ts i
n
fundamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ut
i
l
.
c: export Mat
r
ix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export Vec
t
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
ol
a
e
g
e
scale
.
c: move Para
m
_Ve
r
tex_Common_De
n
om
i
nator
to param_ut
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue
.
c: add ev
a
lue_
a
dd_consta
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Ve
r
doolae
g
e
e
v
alue
.
c
:
affine2evalu
e
: skip
z
e
r
o
c
oefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalue
.
c:
e
m
u
l_poly:
e
f
fic
i
ently handle cas
e
of
m
ultiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoo
l
aege
bump
v
ersion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: update
o
ptions
and some functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdo
o
la
e
ge
doc: doc
u
ment
v
olume c
o
mputation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports explaini
n
g
parts
o
f barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoolaege
bernst
e
in: bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdool
a
e
ge
doc:
t
ransf
o
rmation of parameter do
m
ain to have
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verd
o
ol
a
ege
ba
r
vinok
.
cc: barvinok_count_f: avoid warnin
g
on recurs
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
util
.
c: unimodu
l
ar_complete: handle com
p
let
i
on of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaeg
e
ba
r
vinok_e
n
umerate
.
cc: han
d
le
a
ll
lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
barvinok_en
u
m
er
a
te
.
c
c:
series: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
eg
e
doc: doc
u
ment left_inve
r
se
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
d
oolaege
doc: remove referen
c
e to old barvi
n
ok_serie
s
application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc:
u
pdat
e
evalu
e
_bernstei
n
_coefficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ve
r
doolae
g
e
barvinok/options
.
h
: p
u
t s
t
ats
f
irst in bar
v
inok
_
options
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoola
e
ge
b
arvinok_maximize:
read_evalue: support re
l
ations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ber
n
stein
.
cc: evalue_b
e
rnstein_
c
oeffi
c
i
e
nts: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erdoolaege
ba
r
vin
o
k_maximize: evalue_read: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
V
e
r
d
oolaege
bar
v
inok_ma
x
imiz
e
:
move
--(berns
t
ein-)
r
ec
u
rse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
lib/arg
p
: fix logic i
n
hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barv
i
nok_maximize
:
a
l
lo
w
s
p
e
cification of the varia
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoola
e
ge
bar
v
i
n
ok_
m
aximize: barf on
u
nexpected firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
ola
e
ge
doc:
m
ore document
s
refering to the
l
i
b
r
a
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdool
a
ege
evalue_convert
.
cc
:
e
v
alue_coset: su
p
port relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoolaege
evalue
.
c: p
r
i
nt_eval
u
e: always print newlin
e
at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
doc: multivar
i
ate quasi
-
polyn
o
mials as li
s
ts of pol
y
nomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
evalue_convert
.
cc: includ
e
"
c
onfig
.
h" t
o
pi
c
k up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: index a
d
d
itions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: t
r
iangula
t
ion in
primal
s
pace +
some typ
o
f
ixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoo
l
aege
doc: documen
t
inn
e
r_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: refer to Koeppe article for s
i
m
pler m
o
tivat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: mor
e
publications (implicitly) refering
t
o t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdool
a
eg
e
c
o
nfi
g
ure
.
i
n
: add $(EXEEXT
)
t
o optional
p
rograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am:
m
a
k
e sure distribution contains
required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdo
o
la
e
g
e
w
ork around incom
p
lete namespace supp
o
rt in
old compile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolae
g
e
disable
some
feat
u
res if fdstre
a
m doesn't comp
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
b
a
rvinok_enumerate
.
cc: avoid us
e
o
f
fdstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvin
o
k
_enumerate: don't print (
n
o
n-exis
t
ing)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doo
l
ae
g
e
edomain
.
cc: avoi
d
use of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
c
on
f
igure
.
in: check for po
l
ylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaeg
e
d
eclare v
a
riable at
sta
r
t of
c
ode bl
o
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdool
a
ege
Makefile
.
am: rebuild
libr
a
rie
s
in subdirs
i
f
mi
s
s
ing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaege
bar
v
i
nok_enumerate
:
reche
c
k fo
r
equalities after "varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
Verdoo
l
aege
doc: a voti
n
g
the
o
ry report
t
h
at refers to t
h
e library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc: u
p
date primal Barvi
n
ok refe
r
e
n
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolae
g
e
doc: a
d
d
j
ournal version of improved derivatio
n
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doo
l
a
ege
volume
.
c
: keep trac
k
of number
o
f simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Ver
d
oolaege
test_ap
p
rox: test volum
e
computati
o
n variati
o
ns
commit
|
commitdiff
|
tree
2007-04-13
S
ve
n
Verdoolae
g
e
vo
l
ume
.
c
: volume_triangulate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
volume
.
c: face_v
e
rt
i
ces:
use
P
a
ram_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_pr
o
gram_name before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
red
u
ce_dom
a
in
:
exploit that no caller
uses P
o
lyhed
r
o
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
laege
lexmin: stop
using Polyhedron2Para
m
_Simplifie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
barvinok
.
cc:
s
top using Polyhedr
o
n2Param_Simpl
i
fiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
Require a v
e
rsion of Po
l
yLib tha
t
comput
e
s correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volu
m
e
.
c:
no
n
_empty_
p
oint: simply use intern
a
l point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
la
e
ge
only compile barvinok_maxi
m
i
z
e
if GiNaC
(and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolaege
a
d
d an ehrhart exam
p
le wit
h
interesting ch
a
mb
e
r
s
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
te
s
t_approx: t
e
st ch
a
mber b
a
sed scaling
commit
|
commitdiff
|
tree
next