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 0.24
2007-06-30
Sven V
e
rdoolaege
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
testlib
.
cc:
w
ork
a
round inc
o
mplete
n
a
mespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
s
cal
e
.
c
:
enumerate_narro
w
_flated: don
'
t simpli
f
y
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
declare
v
a
r
iables at
s
tart
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
doc: update docume
n
tation of
o
ptions and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sample: factor polyhedr
o
n
i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedron
_
Sam
p
l
e: compute
vertices of 1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
g
e
Polyh
e
dron_Sample:
r
emove all equ
a
liti
e
s from polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ve
r
doolaege
add possi
b
ility to use
G
LP
K
as
L
P
solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaege
Polyhedro
n
_Sa
m
ple: postpone
r
em
o
val of rays unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhe
d
ro
n
_Samp
l
e: use
l
p
solver for finding r
a
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
l
e
xmin:
m
ove choice o
f
lp solver
t
o us
e
outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
polysign
.
h: use correct name o
f
PL_po
l
yhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
barvinok_e
n
u
m
erate:
p
lug me
m
ory
l
eak in B
e
rnoull
i
approximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
rdoolaege
barvinok_e
n
umerate_e_r:
d
on'
t
as
s
ume AddC
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_fr
a
c2polynomial: rec
h
eck e
v
alue a
f
ter eva
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
util
.
c
:
L
ine_Length:
d
o
n'
t
get c
o
nfused by p
o
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
oolae
g
e
Makefile
.
am: stop a
f
t
e
r first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
Verdoo
l
aege
bernstein: carry thro
u
gh v
a
riabl
e
r
e
nami
n
g to
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
Verdoolae
g
e
bernstein
:
don't assume input po
l
yno
m
ial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
v
alue_
r
e
ad
.
c: correct
c
o
n
stness of name in para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdo
o
laege
evalue
_
r
ead: a
c
cept co
n
stant multiple
of variabl
e
witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Ver
d
oolaege
ev
a
lue
.
c: evalue_sum: better
h
andling of negative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
evalue
.
c: reorder_te
r
ms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en
V
erdoolaege
ev
a
l
ue:
declare firs
t
ar
g
ument
of emul c
o
ns
t
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
evalue
.
c
:
emul: don't use expl
i
cit_co
m
plement on
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verd
o
olaege
a
dd a test
for e
v
alue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
eva
l
u
e
.
c: ev
a
lue_spli
t
_period
s
:
make
sure s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n
V
e
rdo
o
la
e
ge
evalue
.
c
: polynomia
l
_projec
t
ion: us
e
evalue_e
x
tra
c
t_affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n V
e
r
doo
l
aege
ad
d
a test for b
a
r
v
inok_maximize and barvi
n
ok_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvin
o
k_summ
a
te: support verificatio
n
of res
u
l
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
evalue
.
c:
evalue
_
s
um: split into orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvi
n
ok_union: use ar
g
p f
o
r
a
rgument parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n Verd
o
olaege
b
a
r
v
inok
_
e
numerate_
u
n
ion_series_w
i
th_o
p
tions:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
ool
a
eg
e
b
a
sis_reduction_c
d
d
.
cc
:
get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_
r
eductio
n
_
gl
p
k
.
c:
c
orrectly
s
e
t type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Verdool
a
ege
basis_reducti
o
n
_
glpk
.
c:
c
hec
k
for sanit
y
of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options: mention de
f
a
ult and a
v
ailabl
e
solve
r
s f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaege
po
l
yhed
r
o
n
_sampl
e
:
ta
k
e
op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
aege
do
c
: more a
b
ou
t
p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdo
o
laege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
ven Verdoolae
g
e
do
c
:
repeat
M
atthias
'
stopped Barvinok experimen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolae
g
e
add barvinok_summate to sum a q
u
a
si-polynom
i
al over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_read:
fix f
o
r top-
l
e
v
el fr
a
c
t
ional pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
ber
n
o
u
l
l
i
.
c:
B
e
rn
o
ulli_su
m
_
evalu
e
: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdoo
l
aege
bernou
l
li
.
c:
p
erform nested sums ap
p
r
o
x
i
mation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polyno
m
i
al appro
x
i
mation b
a
se
d
on
nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
Verdoola
e
ge
util
.
c: extract for_eac
h
_lower_upper_bound from ParamLine_Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
decom
p
ose
r
: use NTL to i
n
vert matri
x
ra
t
her than converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
lattice_point
.
cc: allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
counter: optimize summing ove
r
poin
t
s in
f
u
ndapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
lattic
e
_poi
n
t
.
c
c
:
avoid
conversion between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdool
a
ege
conversion
.
cc: rem
o
ve
r
ays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
laege
eva
l
u
e
.
c: e
v
alue_po
l
ynomial
extracted
f
ro
m
ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
e
v
alue
.
c: add evalue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
doc: a note
o
n
the connection
b
e
twee
n
T
o
dd poly
n
om
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
doc: p
o
ints in fundapiped
:
f
ix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
b
a
rvinok
.
c
c
: simplif
y
dpoly_n
constructor
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n Verdoolaeg
e
R
e
move
"normalization" or
p
ower
s
i
n
denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
decomposer
.
cc: pass
op
t
ions to trian
g
ula
t
e
_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Verd
o
olaege
barv
i
nok_cou
n
t: op
t
iona
l
ly u
s
e expone
n
tial subs
t
itution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
coun
t
er
.
cc: extra
c
ted
f
rom barvi
n
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpo
l
y::div:
avoid computati
o
n with r
a
tional numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use Value in
s
tead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoo
l
aege
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdool
a
ege
add t
e
st for
l
atti
c
e point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e
_
read
.
c: add eval
u
e_read_
f
r
om_
s
tr
f
o
r
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
laege
e
v
alue_r
e
ad_from_file: don't modify v
a
r_list argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
doolaege
eval
u
e_read:
r
ead
m
ore
g
eneral
e
v
a
l
ues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue_convert
.
cc
:
add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
conversion
.
h: generalize rays2matrix2 to
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
latt
i
c
e
_
po
i
nt
.
h: m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_read
:
e
x
tract f
r
om ma
x
imize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
enu
m
erator: support primal (
h
alf-
o
p
en) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
la
e
ge
enumera
t
or: handle (
d
ual) s
t
op
p
ed Barv
i
n
ok
d
e
composition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
lattice_p
o
i
nt
.
cc
:
remove
u
nused P
D
argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verd
o
ol
a
ege
l
a
ttice_point
.
cc
:
e
x
tract c
o
set generatio
n
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
lattice_point
.
cc:
r
ename c
e
il_
m
od to
fra
c
tional_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice
_
point
.
cc: use some
helper f
u
nctions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
la
t
tic
e
_point
.
cc:
implement lo
o
kup-table version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaege
move more lat
t
ice point comput
a
t
ions to lattice_
p
oi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
d
oolaege
barvinok
.
cc:
l
attice_p
o
int: remove a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc:
i
n
t
eger points in fundamental
p
arallel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
util
.
c: export Matr
i
x_Tra
n
s
positi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
ae
g
e
util
.
c: expo
r
t Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
scale
.
c
: mo
v
e Param_Vertex_Common_Denominator
to param
_
u
til
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue
.
c: a
d
d
e
value_ad
d
_const
a
n
t
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
evalue
.
c: affine2evalu
e
:
skip zer
o
coefficie
n
ts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue
.
c: emul_poly:
efficiently handle case
o
f
multiplic
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
d
o
c: updat
e
options and so
m
e funct
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
d
oc: document volu
m
e comput
a
t
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdo
o
laege
doc: more r
e
p
o
r
ts explaining
parts o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
doolaeg
e
bernstein
:
bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
doc: transformati
o
n
of param
e
ter domai
n
t
o
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
ae
g
e
barvino
k
.
c
c:
barvinok_
c
o
unt_f: avoid
w
arning on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolae
g
e
util
.
c: u
n
imodular_c
o
mp
l
et
e
:
handle completion
of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoo
l
a
ege
ba
r
vinok_en
u
mer
a
te
.
cc: ha
n
dle
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoo
l
aege
ba
r
vinok_enumerate
.
cc
:
series: plug m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
e
g
e
doc: document left_inver
s
e
commit
|
commitdiff
|
tree
next