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
export neg_left_hermite
2007-08-24
Sve
n
Verdool
a
ege
update
"
C
ounti
n
g w
i
th
rational generating f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoo
l
a
e
ge
b
ar
v
inok
.
cc: split off part constructi
n
g
g
en
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoolaege
b
arvinok
.
cc: spl
i
t
off part d
e
aling with e
x
istentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolae
g
e
*
c
ou
n
ter:
a
void
r
ecompu
t
ation
o
f
den
o
minat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoo
l
aege
counter: remove redunda
n
t member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of
some "si
g
n"s to
int as they can onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
r
d
oolaege
doc: update Alg
o
rithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
value
.
c: mak
e
paramete
r
n
a
me
s
o
f type cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
s
a
mp
l
e
.
c: Polyhedron_RemoveF
i
xedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n Verdoola
e
ge
u
t
i
l
.
c:
r
em
o
ve_equalities
:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Poly
h
edron_Print: print everyth
i
ng to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rd
o
olaege
bar
v
inok_enu
m
erate_w
i
th_op
t
ions: don't add
cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
barvinok
.
cc: don't free
P
a
r
gument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equalities:
also re
m
ove equalities in c
o
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volu
m
e
.
c: a
v
o
i
d
warnings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Verdoo
l
ae
g
e
expo
r
t Pa
r
am_In
n
er_Pr
o
duc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven
Verdoolaege
barvino
k
_
enumerate
.
cc: a
d
d minimal c
h
e
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdo
o
laege
more
p
r
ototype changes
to co
n
st cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoolaege
evalue: print_
e
value
:
make parameter
n
ames const cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
oolae
g
e
A
lways compile
polyto
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
pol
y
to
p
e_scan:
use
a
rgp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
e
r
doolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Ve
r
doolaege
configure
.
in: allo
w
s
pecifica
t
i
on of default pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
consolidate cal
l
s to
P
olyhedron2Param
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoola
e
ge
volume
.
c: fix
typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: add $(E
X
EEXT) for cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdool
a
ege
M
a
k
e
fi
l
e
.
am: forc
e
r
e
build libraries in
s
ubdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
onl
y
test barvinok
_
maximize if
it has b
e
en/c
a
n be c
r
eate
d
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
barvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
testlib
.
c
c
:
work a
r
ound incomplet
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enu
m
erate_narrow
_
fl
a
ted
:
don't
s
implif
y
constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare
v
ariables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
doc:
u
p
dat
e
doc
u
m
entation of options and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
Polyhedron_Sample: factor polyhedron
i
f possi
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
P
o
l
yhedron_Sample: c
o
mpute vertices of 1D poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
oolaege
Polyhedron_Sample: remov
e
all equali
t
ies
f
rom polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
add pos
s
ibility to
use GLP
K
a
s
L
P so
l
ve
r
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
P
olyhedron_Sample: po
s
tpone re
m
ov
a
l of rays
u
nti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhedr
o
n_Sample: use
l
p
s
olver for fi
n
ding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
r
doolaege
lex
m
in: move choice of lp solver to use outsid
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolae
g
e
po
l
y
s
i
g
n
.
h
: u
s
e correct name
o
f
P
L
_polyhedro
n
_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok
_
enumerate:
plug memory
l
eak in B
e
rnoulli
approxi
m
ation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
b
arvinok_enu
m
erat
e
_
e_r
:
d
o
n't assume Ad
d
C
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
ev
a
lue_frac2p
o
lyno
m
ial: recheck eval
u
e after evalue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
u
t
il
.
c: Line
_
Length: don't get co
n
fu
s
e
d
by p
o
s
iti
v
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefile
.
am: stop after fir
s
t
failed
test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoo
l
aege
ber
n
stein: carry through varia
b
le renaming
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoola
e
ge
berns
t
ein: do
n
't a
s
sume
input polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
evalue_read
.
c:
c
orrect c
o
nstness of name
i
n parame
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Verdoolaeg
e
evalue_
r
ead: accept
con
s
tant mul
t
ipl
e
of varia
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoolaege
ev
a
lu
e
.
c: e
v
a
lue_sum: bett
e
r h
a
ndling
of negative valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n V
e
rdoo
l
aege
e
v
alue
.
c
:
reorder_
t
erms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Ver
d
o
o
l
a
ege
evalue: declare first argument of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
eval
u
e
.
c:
e
mul: don'
t
u
s
e ex
p
licit_complement on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
eg
e
ad
d
a test
f
o
r ev
a
lue_split
_
periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos
@
e
lis
.
.
.
find_frac
t
io
n
al_with
_
max_periods: initialize
l
o
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aeg
e
evalue
.
c: evalu
e
_split_periods: m
a
ke sur
e
selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Ve
r
doolaege
e
v
alue
.
c: polynomial_projection
:
use eval
u
e
_
extract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
add a
t
est
for ba
r
vinok_maximize and barvinok_sum
m
at
e
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoo
l
aeg
e
barvinok_summ
a
te: support ver
i
ficati
o
n
o
f result
s
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Verd
o
olaege
eval
u
e
.
c: evalue_sum: split
i
n
t
o or
t
hants +
s
o
me refac
t
ori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdool
a
eg
e
barvinok_
u
nion: u
s
e
a
rg
p
for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n Verdo
o
la
e
ge
barvinok_en
u
merate_union_se
r
i
es_with_options
:
fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoola
e
ge
basis_reduction_cdd
.
cc:
get correct dual s
o
lution
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
r
d
oolaege
basis
_
re
d
uction_glpk
.
c
:
correc
t
ly
set ty
p
e
o
f
ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
basis_re
d
uction_glpk
.
c:
c
h
eck for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
opti
o
ns: m
e
ntion default and
a
va
i
l
a
ble sol
v
ers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
e
ge
poly
h
edron_sample: take o
p
tio
n
s
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdo
o
laege
doc
:
more about p
o
we
r
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
er
d
o
o
laege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
d
o
c: repeat Matthias' sto
p
ped Barvin
o
k e
x
p
erime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
erdoo
l
aege
a
dd bar
v
ino
k
_su
m
mate to
s
um a qu
a
s
i
-
p
o
lynomial
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdoolaege
eva
l
ue_
r
ead: fix for top-level fr
a
ctiona
l
p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
berno
u
ll
i
.
c: Ber
n
o
ulli_sum_evalue
:
red
u
c
e
result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
r
doolaege
berno
u
lli
.
c: perfor
m
ne
s
ted sum
s
approx
i
mation d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Ver
d
oolaeg
e
add polynomia
l
approx
i
mat
i
o
n bas
e
d on nes
t
ed
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rdoo
l
aege
util
.
c: extract for_eac
h
_
lowe
r
_upper_b
o
u
nd
from ParamLine_Leng
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
dool
a
ege
deco
m
pose
r
: use
NT
L
to invert matrix rather
tha
n
co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
lattice
_
point
.
cc: allow rays an
d
vertex
to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
c
o
u
n
ter: optim
i
ze
s
umming
o
v
e
r points in fu
n
d
apiped
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
la
t
ti
c
e_po
i
nt
.
cc
:
av
o
id conversion between NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
conv
e
r
s
i
on
.
c
c
:
remove
r
ay
s
2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
erdo
o
lae
g
e
eva
l
ue
.
c: evalue_
p
olynom
i
al extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
erdoolaege
e
value
.
c
:
add evalu
e
_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
lae
g
e
doc: a no
t
e on the con
n
ecti
o
n
betwee
n
Todd polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
doc: p
o
i
nts in fu
n
dapi
p
ed: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
bar
v
inok
.
cc: si
m
plify dpol
y
_n
c
onst
r
ucto
r
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdool
a
ege
Rem
o
ve
"normal
i
zati
o
n
"
or p
o
wers in d
e
n
omin
a
tor on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
v
e
n Verdoola
e
ge
deco
m
poser
.
cc: pass o
p
tions to triangu
l
ate_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
V
erdoo
l
aege
barv
i
nok_count
:
option
a
lly use exponen
t
ial sub
s
titution
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
V
e
rdool
a
ege
c
ounter
.
cc: extracted from ba
r
vi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly::
d
iv: avoid computation
w
it
h
rational numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
Verdoola
e
g
e
dpoly:
u
se Val
u
e in
s
t
e
a
d
of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
l
aege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Ver
d
ool
a
e
g
e
add t
e
s
t
for lattic
e
point c
o
m
pu
t
at
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoolaege
evalue_read
.
c:
add evalue_read
_
from_str for
re
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
evalue_read_f
r
o
m_file: don't modify
var_list a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdo
o
lae
g
e
evalue_read: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
evalue_c
o
nvert
.
cc: a
d
d missing
i
n
clude
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olae
g
e
conversion
.
h:
g
enera
l
ize ra
y
s2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
next