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
test_bound.cc: avoid loss of precision caused by conversion from double to int
2007-06-30
Sven Ver
d
oola
e
g
e
ba
r
v
i
nok
_
enu
m
erate_e_r: do
n
't a
s
su
m
e AddCo
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
evalu
e
_frac2polynomia
l
: r
e
c
heck evalue after eva
l
ue_split_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
u
ti
l
.
c
:
Line
_
L
e
n
g
th: don't
g
e
t confused by po
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n V
e
r
d
o
olaege
Makefile
.
am: sto
p
afte
r
first failed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
V
erd
o
olae
g
e
ber
n
stein: c
a
rry throug
h
variable r
e
namin
g
to
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdool
a
eg
e
be
r
n
stein: don't assume input polynomial has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
evalue_read
.
c: correct constness o
f
name
in
p
ar
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read: accept constant multi
p
le
o
f
v
ariable witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
e
n V
e
r
doolaege
e
v
alue
.
c: evalue_s
u
m
:
b
ette
r
h
a
ndling of n
e
g
ative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
laege
evalue
.
c: r
e
order_te
r
ms: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
evalue: declar
e
first argumen
t
of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
r
d
o
o
lae
g
e
evalue
.
c: emul: don't us
e
explic
i
t_comple
m
ent
on
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n Verdoolaeg
e
add
a
tes
t
for evalu
e
_
s
p
l
it_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdoola
e
ge
e
value
.
c: evalue_spl
i
t_periods:
m
ake sure se
l
ec
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
V
e
r
doolaege
evalue
.
c: p
o
lynomial_projection: use
evalue_extract_affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaege
add a test for
barvinok_max
i
miz
e
and ba
r
vinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
barvinok_summate: support verification of
res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
evalue
.
c: evalue
_
sum: split into orthants +
s
ome
refactor
i
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdoo
l
aege
bar
v
inok_
u
nion: use arg
p
fo
r
ar
g
ume
n
t parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en Verdoo
l
aege
barvinok_enumerate
_
union_
s
eries_with_opti
o
ns: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
b
as
i
s
_
r
eduction_cdd
.
cc: get co
r
rec
t
d
u
al sol
u
t
i
on
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
basis_reduction_glpk
.
c:
c
o
r
rectly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_reduction_glpk
.
c: check for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
doolaege
options: mention def
a
ult
a
n
d
available solve
r
s for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolaeg
e
polyhed
r
on_sample:
t
ake optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rd
o
o
la
e
ge
d
o
c:
m
ore about power
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sv
e
n Ve
r
doolaege
doc
:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Ve
r
doola
e
ge
doc: repea
t
Matthias' stop
p
ed Barv
i
nok
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add
b
arvinok_summate to
s
um a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Verdoolaege
e
valu
e
_
read:
f
i
x f
o
r top-level f
r
actional
p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verd
o
olaege
bernoulli
.
c
:
Bernoulli_sum_eva
l
ue: reduce
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
Ve
r
doolaege
bernoulli
.
c: perform nested sums approximation dept
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynomial approximation bas
e
d on ne
s
ted
sum
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
o
ol
a
ege
util
.
c: extract for_each_lower_upper_bound from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
decompose
r
: use NTL to invert matrix rather
than
c
onvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolae
g
e
lattice_point
.
cc: allow ra
y
s
and ver
t
e
x
to h
a
ve bee
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
ol
a
ege
c
o
unte
r
: op
t
imize
s
umm
i
ng over p
o
ints in
f
und
a
piped
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
oolaege
l
a
t
t
i
c
e_point
.
cc: avoid conversi
o
n betw
e
en NT
L
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
cc: remove
r
ays2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoolaege
evalue
.
c:
e
v
a
lue
_
polynomial extracted
f
r
o
m
barv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
evalue
.
c
:
add evalue_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
o
c: a
note on
t
he connection between
Todd
p
o
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: points in fund
a
piped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
V
er
d
o
o
l
a
ege
barvinok
.
cc: simp
l
ify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verd
o
olaege
Remov
e
"normalization" or
p
owers in de
n
ominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
V
e
rdoolaege
decompos
e
r
.
cc: pass options t
o
trian
g
ulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolaege
barvi
n
o
k
_co
u
n
t
: o
p
t
ionally use
e
x
po
n
en
t
ial
s
u
b
stitution
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
counter
.
cc:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
V
erdool
a
ege
dpoly::div
:
avoid computa
t
ion with
rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
ven V
e
rdoolaeg
e
dp
o
l
y
:
u
s
e
V
a
lue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
add test for
l
at
t
ice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_read
.
c:
a
d
d
evalue_r
e
ad_from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
evalue_read_from_fil
e
: don't
m
o
dify va
r
_list argum
e
n
t
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaeg
e
evalue_rea
d
:
r
ead more gener
a
l ev
a
lues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
evalue_
c
onve
r
t
.
c
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolaege
co
n
ver
s
ion
.
h: general
i
z
e rays2matrix2
to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
lattice
_
point
.
h: make
s
elf-contained
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Ver
d
oolaege
eva
l
ue
_
read: extra
c
t
f
r
o
m m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
numerator:
s
u
p
port prim
a
l
(
half-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
enumera
t
or: handl
e
(dual
)
stoppe
d
Bar
v
inok d
e
co
m
p
o
sit
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
olaege
lattice_point
.
cc: remove unused PD argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
l
ae
g
e
latt
i
c
e
_point
.
c
c
: extr
a
ct coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
la
t
tice_point
.
cc: rename ceil_mod
to fractio
n
al_part
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doola
e
ge
lattice_point
.
c
c: use some helper fun
c
tio
n
s to
simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
n
t
.
c
c: implement looku
p
-table ver
s
i
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
ola
e
ge
move more
l
attice point
computatio
n
s
to lattice
_
p
o
in
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
barvi
n
ok
.
cc:
l
attice_po
i
nt:
r
emove a special cas
e
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
doc: integer poin
t
s in f
u
n
dame
n
tal par
a
llelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
util
.
c:
e
xpo
r
t
M
a
t
rix_Tr
a
nsposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c:
export
V
ect
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
scale
.
c: mo
v
e
Param
_
Vertex_Common_Denominat
o
r to
p
aram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue
.
c: a
d
d evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoo
l
aege
evalue
.
c: affine2evalue: sk
i
p zero coeffic
i
ents
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue
.
c: emul
_
p
o
ly:
e
fficiently handle
case
o
f multipl
i
cati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
er
d
oolaege
bump
v
e
r
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoolaege
doc: update options
a
nd some fu
n
c
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: doc
u
m
ent v
o
lume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdo
o
laege
do
c
: mo
r
e repo
r
ts explaining par
t
s of b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstein:
b
ump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc:
tr
a
nsformation of parame
t
er d
o
main
t
o
h
ave rev
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdo
o
l
aege
barvinok
.
cc:
barvinok_cou
n
t_f: avoid warning o
n
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
u
t
il
.
c: uni
m
odular_c
o
mplete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
ba
r
v
i
n
ok
_
en
u
merate
.
cc: handle all lines in --
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
barvinok_e
n
umerate
.
cc: series:
p
lug memory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
doolaeg
e
doc: rem
o
ve
r
e
ference to old ba
r
vinok_series applicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
: update evalue_bernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
S
v
en V
e
rdoolaege
ba
r
vinok/op
t
io
n
s
.
h: pu
t
stat
s
first in barvinok_o
p
tions
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvino
k
_max
i
m
ize: read_evalue: suppor
t
r
e
lations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
b
ernstein
.
cc: evalue_bernstein_coeff
i
c
ie
n
ts: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdo
o
laeg
e
b
arvinok_maxi
m
ize: evalue_read
:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Verdoola
e
ge
barvinok_maximi
z
e: m
o
ve --(bernstein-)
r
ecurse
o
p
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaeg
e
lib/argp: fix logic in hol_c
l
ust
e
r
_
cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdool
a
ege
barvinok_m
a
ximize
:
allow specifi
c
ation
of the variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doo
l
aege
barvinok_maxim
i
ze:
b
arf on une
x
pected
first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
do
c
: more docume
n
ts r
e
fe
r
in
g
to
t
h
e librar
y
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaeg
e
evalue_convert
.
cc: evalue_co
s
et: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoo
l
aege
e
v
alue
.
c: print_evalue: always prin
t
new
l
ine at th
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolae
g
e
d
oc: multivariate quasi-pol
y
nomial
s
a
s
l
i
sts of pol
y
n
o
mials
commit
|
commitdiff
|
tree
next