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
barvinok_enumerate: plug memory leak in Bernoulli approximation
2007-06-30
Sv
e
n Ver
d
oolaege
barvino
k
_enumerate: plug memory leak
i
n
Bernoulli approximat
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
barvino
k
_enumerate_e_r
:
don't assume Add
C
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaege
ev
a
lue_
f
rac2polynomial: r
e
check evalue after
e
valu
e
_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
e
ge
uti
l
.
c:
L
ine_Length: don't
get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdool
a
e
g
e
M
akefile
.
am: sto
p
aft
e
r first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
ber
n
stein: carr
y
thro
u
gh variable rena
m
ing to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
bernstein: don't
a
ssu
m
e inp
u
t
p
o
lynom
i
al has been expa
n
d
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
ola
e
ge
evalu
e
_rea
d
.
c:
correct co
n
s
tness
o
f
name in parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verdoolaege
evalue_read: accept co
n
stant multiple of
v
ariable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Ver
d
oola
e
ge
evalue
.
c
:
eva
l
ue_sum: better handl
i
ng of negative valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
erdoolaege
e
v
alue
.
c:
r
eorder_ter
m
s: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
e
v
alue:
declare
f
i
rst argument o
f
e
m
ul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
olaege
e
va
l
ue
.
c: emul: do
n
't
u
se ex
p
lici
t
_com
p
l
e
ment on ar
g
ument
s
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
er
d
oolaeg
e
add a test for
evalue_split_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolaege
evalue
.
c:
e
v
alue_split_
p
eriods: make s
u
r
e
sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: p
o
lynomial_projection:
u
se
ev
a
l
u
e_ex
t
ract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ad
d
a test for barvinok_max
i
m
i
z
e
and barv
i
n
ok
_
s
um
m
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaeg
e
barv
i
nok_summa
t
e: support veri
f
ic
a
tion o
f
res
u
lt
s
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
r
doolaege
evalue
.
c
: evalue_sum: sp
l
it into
o
r
thants + some refactor
i
ng
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
b
a
rvinok_
u
n
ion: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
b
a
r
vi
n
ok_enumerate_union_series_with_opt
i
ons: f
i
x t
y
po
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdool
a
ege
basis_re
d
u
c
tion_cdd
.
c
c
: get correct dual
s
o
luti
o
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Ve
r
d
o
olaege
basis_red
u
c
tion_glpk
.
c: correctl
y
se
t
type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolae
g
e
bas
i
s_reduction_glpk
.
c
:
check
f
or sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
o
p
t
io
n
s: ment
i
on de
f
ault and available solver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
v
e
n Verdoolae
g
e
poly
h
e
dron_sample: take
o
ptions
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdo
o
laege
d
oc: more about power sum
s
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
e
r
doo
l
aege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
doc:
rep
e
at
Ma
t
thias' stopped Barvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaeg
e
a
d
d barvino
k
_
summa
t
e
t
o
sum a q
u
asi-p
o
lyno
m
i
a
l o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eval
u
e_read:
fix f
o
r
t
o
p-level fractional p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
S
ven Ver
d
oolaege
bernou
l
li
.
c
: Bernoul
l
i_sum_eva
l
ue: reduce r
e
s
ul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: per
f
orm nested s
u
m
s
approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add poly
n
omi
a
l appr
o
x
imati
o
n
based
o
n
n
e
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoolaege
util
.
c:
e
xtract
f
o
r_each_lower_upper_bound
fro
m
Para
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
decomposer: use NTL to i
n
vert
m
atrix rather than
convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
l
a
tt
i
c
e_po
i
nt
.
cc:
allow rays and vertex to h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
c
ounter: optimize
summing over poin
t
s
in
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
l
attice
_
point
.
cc: avoid conversion betw
e
e
n
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
conversion
.
cc: remo
v
e rays2m
a
trix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
evalue
.
c
: evalue
_
polynomial extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
evalue
.
c: add e
v
alue_negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verd
o
ola
e
ge
d
o
c
: a note on the connect
i
on
b
etween T
o
dd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
doc
:
points in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barvinok
.
cc: simp
l
ify dpoly_n construc
t
or
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolaege
Remove
"
norma
l
ization"
o
r powers
in
d
enomin
a
to
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
o
olaege
decompo
s
er
.
cc: pass o
p
tions to tri
a
ngul
a
te_
c
one
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Verdoolaege
bar
v
inok_coun
t
: optio
n
ally
u
se exponen
t
ial su
b
st
i
tut
i
on
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Verdoolae
g
e
c
o
u
n
ter
.
cc: extracted f
r
om barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
o
la
e
ge
dpo
l
y::div: avo
i
d computatio
n
w
i
th rational num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Ve
r
doolaege
dpoly
:
use V
a
lue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test for
lattic
e
p
o
int
computation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
eva
l
ue_read
.
c: add
ev
a
lu
e
_
r
ead_from_str f
o
r r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue_r
e
ad_f
r
om_file: don't modif
y
va
r
_lis
t
argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue_read: re
a
d more general evalue
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e
_
co
n
vert
.
cc
:
add missin
g
include
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolaege
convers
i
on
.
h: generalize rays2matrix2 to zz
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
dool
a
ege
lattice_point
.
h: make self-co
n
tain
e
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue
_
re
a
d: ext
r
act from maxim
i
ze
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolae
g
e
enumerator: su
p
port p
r
imal (half-
o
pen) de
c
ompo
s
it
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enum
e
r
ato
r
: hand
l
e (dual)
stopped Barvinok de
c
ompos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc: rem
o
ve unuse
d
PD
a
rgument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
attic
e
_po
i
nt
.
c
c
: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc: rename ceil_mo
d
to fractional
_
part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc: use s
o
m
e helper functions to
s
impli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
ol
a
ege
lattice_p
o
int
.
cc: i
m
pl
e
ment lookup-table version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
mo
v
e more l
a
ttic
e
point computations to
l
attice_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
barvinok
.
c
c: lattice_point: re
m
ove a special
cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc: integer poi
n
ts i
n
f
undamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c: export
Matrix_Tra
n
sp
o
si
t
i
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
a
ege
u
til
.
c: expo
r
t Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
scale
.
c: mo
v
e
P
aram_Vertex_Common_Denomi
n
ator to
p
ara
m
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoola
e
ge
eval
u
e
.
c: add evalue_
a
dd_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
e
value
.
c: affine2evalue: skip zero coeffic
i
ents
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaeg
e
e
val
u
e
.
c: emul_poly:
e
fficie
n
tly handl
e
ca
s
e of multi
p
licat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc: up
d
a
t
e op
t
io
n
s and some function
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
doolae
g
e
do
c
: document vol
u
me compu
t
ation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
doc: more reports
e
x
plaining par
t
s of b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
ber
n
st
e
in: bump
v
ersi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
d
o
c: transformation of pa
r
ameter domai
n
to ha
v
e
r
e
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
barvinok
.
cc: b
a
r
v
inok_cou
n
t_f: avoid w
a
rning on
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
r
doolaege
util
.
c: unimodular_complete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvi
n
ok_
e
n
u
merate
.
cc: hand
l
e all line
s
in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doo
l
aege
barvinok
_
en
u
merat
e
.
cc:
s
e
r
ies: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
doc: document lef
t
_invers
e
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
erdoolaege
doc: remove
referen
c
e to old bar
v
inok_series appli
c
ation
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
do
c
: update evalue_b
e
rnstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok
/
options
.
h:
p
ut sta
t
s firs
t
in ba
r
v
i
n
ok_optio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
barvi
n
ok_
m
ax
i
mize: r
e
ad_evalue
:
support re
l
ation
s
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoola
e
ge
bernstein
.
cc: e
v
a
l
ue_bernstein_coeff
i
cients
:
han
d
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvin
o
k_ma
x
imize: eva
l
ue_read: allow identi
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barv
i
n
o
k_maximize
:
mov
e
--(bernstein
-
)r
e
curse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
er
d
oolae
g
e
lib/argp: f
i
x
logic
i
n h
o
l_clust
e
r
_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barv
i
nok_maximiz
e
: allow
s
p
e
cification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
V
e
r
doolaege
barvinok_m
a
x
i
mize:
b
a
rf on
une
x
pected f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
more documents refering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
evalue_convert
.
c
c: evalue_coset: s
u
pport relations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
aege
evalue
.
c: print_eval
u
e: al
w
ays print n
e
wline at the en
d
commit
|
commitdiff
|
tree
next