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.c: emul: don't use explicit_complement on arguments
2007-06-14
Sven Ve
r
d
o
o
laege
evalue
.
c: emul: don'
t
use explicit_complement o
n
argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoo
l
aege
add a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Dev
o
s@el
i
s
.
.
.
find_f
r
action
a
l_with_max_
p
eriods: initialize loca
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n
Verdoolaege
evalu
e
.
c
: evalu
e
_split_perio
d
s: make s
u
re selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
evalue
.
c: polyn
o
mial_pr
o
jection: use evalue_extract_af
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
d
o
olaege
add
a
t
e
s
t for barvino
k
_maximize
a
nd
barvin
o
k_sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
V
e
rdo
o
l
aege
barvinok_s
u
mmat
e
: suppor
t
verification
o
f res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Verdoolaege
evalue
.
c:
e
va
l
ue_sum: spli
t
i
nto orthants + some
refactorin
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
ola
e
ge
bar
v
in
o
k_union: use argp for arg
u
m
en
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
bar
v
inok_
e
numerate_union_serie
s
_with_
o
ptions: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_red
u
ction_cdd
.
cc
:
get correct dual solutio
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdool
a
ege
b
a
sis
_
r
edu
c
tion_glp
k
.
c: co
r
rec
t
ly set type of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reducti
o
n_glpk
.
c:
check for sanity of solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ve
r
dool
a
ege
options:
m
e
n
tion
d
efault and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Ver
d
oolaege
polyhedron_samp
l
e
:
take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: m
o
re about
power sums
commit
|
commitdiff
|
tree
2007-06-04
S
v
e
n
Verdoolaege
doc: t
y
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n Verdoolaege
d
o
c: repeat Ma
t
thias
'
s
t
opped
B
a
r
vinok ex
p
eriments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdool
a
ege
add barvinok_su
m
mate to sum a
quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Verdo
o
l
aege
evalue_read: fix for top-l
e
vel f
r
action
a
l p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verd
o
olae
g
e
bernoulli
.
c: Bernoul
l
i_sum_evalue: re
d
uce result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolae
g
e
bernoull
i
.
c: perform ne
s
t
e
d sums approxi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
add polynomial app
r
oxima
t
i
o
n base
d
o
n
nested
su
m
s
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
V
e
rdoola
e
ge
util
.
c:
extr
a
ct for_each_low
e
r_uppe
r
_bound from Param
L
ine_
L
ength
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
decomp
o
ser
:
u
se
NTL
t
o
i
nvert
m
a
t
rix rathe
r
than
conv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
point
.
cc: allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdool
a
ege
counter
:
o
p
tim
i
ze summing over points in fund
a
p
i
ped
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
r
d
o
o
la
e
ge
lattice_p
o
int
.
c
c: avoid conversion b
e
twee
n
NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoo
l
aege
conversion
.
c
c: r
e
move ray
s
2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
evalue
.
c
: e
v
alue_po
l
yno
m
ial
extrac
t
e
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
la
e
ge
evalu
e
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
doc:
a note on the
c
onnect
i
on be
t
w
een Tod
d
p
o
l
y
nomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
olaege
doc:
po
i
nts
in f
u
ndapiped: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdo
o
lae
g
e
b
arvinok
.
c
c: simpl
i
fy dpo
l
y_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
ola
e
ge
Remove "
n
ormali
z
at
i
on" o
r
powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven V
e
rd
o
olaege
decom
p
o
s
er
.
cc: pa
s
s op
t
ions
t
o triangul
a
te
_
c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolae
g
e
barvi
n
ok_c
o
u
n
t: opt
i
ona
l
ly use ex
p
o
n
en
t
i
a
l substitu
t
ion
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
aege
coun
t
er
.
cc: extract
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
d
p
oly::div:
avo
i
d computati
o
n with
rational
num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
doo
l
aege
d
p
oly: use Value
instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
add
test for l
a
ttice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue
_
read
.
c: add ev
a
lue_read_from_str
f
or reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoo
l
aege
e
value_re
a
d
_from
_
fil
e
:
don'
t
modify var_li
s
t a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
v
alue_read: read more general evalu
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
evalue_convert
.
c
c:
add missin
g
i
n
cl
u
d
e
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaege
co
n
version
.
h: g
e
n
e
rali
z
e
r
a
ys2matrix2 to zz2m
a
tr
i
x
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
latti
c
e_point
.
h: m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue_read: extr
a
ct from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
enumerat
o
r: support primal (half-open) dec
o
mpo
s
itions
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
enumerator: handle (du
a
l
) stop
p
ed B
a
rvinok dec
o
m
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
lattice_
p
oi
n
t
.
cc:
r
emove unused
PD a
r
g
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aege
lattice_po
i
nt
.
cc: extract
coset ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
la
t
tice_point
.
c
c
:
ren
a
m
e
ceil_mod to fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latti
c
e_point
.
cc:
use some help
e
r functio
n
s
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
oolaege
lattice_point
.
cc: implement lo
o
kup-
t
able version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
m
o
ve
mor
e
lat
t
ice
poi
n
t computations to lattic
e
_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
d
o
o
laege
barvino
k
.
cc: lat
t
ice
_
point:
r
emove a spec
i
al cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
doc: integer points in f
u
ndamen
t
al
p
arallelepi
p
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
util
.
c: e
x
port Matrix_T
r
ansposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
util
.
c:
e
xport Vector_O
p
pose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
sca
l
e
.
c: move Param_Vertex_C
o
mmon_Denominator to para
m
_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
e
value
.
c: add evalue_add_
c
onstant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue
.
c
: affine2evalue: s
k
ip z
e
ro coe
f
ficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
g
e
e
v
alue
.
c: emul_po
l
y:
e
f
f
i
c
iently handle case of
m
u
ltiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
bump
v
ersion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaeg
e
do
c
: update options and some func
t
ion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdoola
e
ge
d
o
c: docume
n
t
volume computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
doc: mo
r
e reports explaining pa
r
ts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
bernstein: bum
p
ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc: transformation of par
a
mete
r
dom
a
in to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolae
g
e
barvinok
.
cc:
barv
i
nok_count_f:
a
void warni
n
g
on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
util
.
c: unimodular_compl
e
te: ha
n
d
le compl
e
t
i
o
n
o
f
m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolae
g
e
b
a
rvinok_enum
e
r
a
te
.
cc: han
d
l
e
all lin
e
s in --
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
Ver
d
oolaege
b
arvino
k
_
e
numerate
.
cc: ser
i
es:
plug
m
emory
leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc: remov
e
reference to old ba
r
vinok_series
a
pplicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
do
c
: update eval
u
e_bernstein_coefficien
t
s
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdo
o
l
aege
barvino
k
/options
.
h: put
stats f
i
r
st in ba
r
vinok
_
o
p
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olae
g
e
barvinok_m
a
x
imize: read_eval
u
e: supp
o
rt r
e
l
ations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
berns
t
e
in
.
c
c
: evalue_bernstein_coefficients: h
a
ndle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdool
a
ege
ba
r
vinok_
m
axi
m
i
ze: ev
a
lu
e
_read:
allow identif
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verdoolaege
barvinok_maxi
m
ize:
m
o
ve
--(bernstein
-
)recurs
e
op
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/
a
r
gp: fix logic i
n
hol_clust
e
r_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
bar
v
ino
k
_m
a
ximi
z
e: a
l
low spe
c
ifi
c
a
t
i
on o
f
the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
ba
r
vi
n
o
k_
m
aximize: barf on unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaeg
e
doc: mor
e
d
o
cuments refer
i
ng to the library
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdool
a
ege
evalue_conve
r
t
.
cc: evalue_coset: support relation
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue
.
c: print
_
e
v
alue:
a
lway
s
print n
e
wline at the
end
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc: mul
t
ivariate quasi-polynom
i
a
ls as lists
of p
o
lynomials
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
o
o
la
e
ge
e
v
a
lue
_
convert
.
cc: include "config
.
h" to pick
u
p USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
index additions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ve
r
dool
a
ege
doc: triangulati
o
n in pr
i
mal sp
a
ce
+
s
o
me typ
o
f
ix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
o
la
e
ge
d
oc: docume
n
t inner_po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: refer to Koeppe article for simp
l
er
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
doc
:
more pub
l
ications (impli
c
itly)
refer
i
ng to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven V
e
rdoolaege
configure
.
in: add $
(
E
X
EEXT) to
optiona
l
p
r
o
gr
a
m
s f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdoolaege
Makefile
.
am: make sure distribution contain
s
r
equire
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oola
e
g
e
wor
k
ar
o
und incomplete namespace suppor
t
in o
l
d compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
disable some features if fdstream doesn't compil
e
.
.
.
commit
|
commitdiff
|
tree
next