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
util.c: compress_variables: declare variable at start of code block.
2006-10-02
Sven Verdoolaege
util
.
c:
compress_variables: d
e
c
l
a
re v
a
riable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven V
e
rdoolae
g
e
evalue
.
c: copy
(
a
nd adapt)
co
p
yright stat
e
m
e
nt from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
en Verdoolaege
doc: add some ref
e
r
ences to p
u
blications
commit
|
commitdiff
|
tree
2006-09-26
S
ven
Verdoola
e
ge
lex
m
in
.
cc: reenable
optimizatio
n
of check
i
ng domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoolaege
e
v
a
lue
.
c
: clean
u
p
in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoola
e
ge
e
d
omain
.
cc: add EDomain
:
:
contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexm
i
n
.
cc:
m
ax_term::print: print floors explic
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
Ve
r
doolaege
lexmin
.
cc:
disab
l
e
p
ossibly overzealous op
t
im
i
zation
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Ver
d
oolaege
edomain
.
cc: rem
e
mber "
c
o
n
s
t
raint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdool
a
ege
reduced_basis: reset "negative wid
t
hs"
t
o
z
e
ro
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoo
l
aeg
e
lexmin
.
cc: move more c
o
de t
o
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oo
l
a
ege
edom
a
in
.
h: ad
d
EDomain_floor
abstraction
commit
|
commitdiff
|
tree
2006-09-22
S
ven Ve
r
doolae
g
e
l
e
xmin
.
cc: define
m
ax_term ov
e
r an EDoma
i
n rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ve
n
Verdoo
l
aege
re
d
ucer
.
h: add virt
u
al
d
est
r
uc
t
o
r
to np_bas
e
to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaeg
e
lexmin
.
cc:
e
xtr
a
ct o
u
t
so
m
e cod
e
to eval
u
e
_
util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verdoo
l
aege
o
p
t
ions
.
c
:
pick up definition of POL_INTEGER from
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Ver
d
oolaege
optio
n
c
.
c: m
o
ve choice
o
f which
sp
e
c
ializatio
n
to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aege
ome
g
a
/pa
r
ser
.
l: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ver
d
ool
a
ege
l
e
xmin
.
cc: optionally skip che
c
k
f
or empty
d
o
m
a
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
eval
u
e
.
c
:
r
e
duce_evalu
e
_in_domain: reduce to
zer
o
eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdo
o
laege
lexmin
.
cc: use barvi
n
ok_
o
ptions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
eg
e
int
r
od
u
ce barvin
o
k_options
s
t
r
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
d
oolaege
lexmin
.
c
c
: comp
u
te g
e
nerating
functions of
v
ertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
l
exmin
.
c
c:
move
som
e
code arou
n
d to p
r
epare for
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Verdoolaege
evalue
:
de
c
lare argumen
t
of eadd
a
nd
e
va
l
ue_copy cons
t
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
V
erdoolae
g
e
l
e
xmin
.
cc:
p
er
f
orm
s
ub
s
ti
t
ut
i
on immedia
t
ely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
V
e
rdoolaege
README:
add a warning on (
n
ot) using sha
r
e
d librari
e
s
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdool
a
ege
e
value
.
h: c
h
a
nge name of header defi
n
e
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
V
erd
o
olaege
evalu
e
.
h
:
make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oolaeg
e
bfcounter
.
h
: undefine divide
fr
o
m poly
l
ib's arithm
e
tique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaege
configur
e
.
in: no l
o
nger compile sha
r
ed
li
b
r
arie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoolaege
READM
E
: re
f
lect that --enable-fra
c
ti
o
nal is
n
ow
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
lexm
i
n: re
m
ov
e
du
p
licate unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen
_
fun::Ha
d
am
a
rd_produc
t
:
use unopt
i
mized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n Verdoolaege
barv
i
n
ok
_
series: perform
backsubstituti
o
n a
l
s
o if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoo
l
aege
barvi
n
ok
_
enumer
a
te_unio
n
_series: call core of ba
r
vinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdool
a
ege
util
.
c
:
remove_equaliti
e
s_p: corr
e
ct c
h
eck for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
gen
_
fun: se
t
cont
e
xt
in n
o
va
r
iables
c
onstructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoo
l
aege
gen_fun::H
a
dama
r
d_product
:
don't
a
s
s
u
m
e
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdool
a
ege
barvino
k
_un
i
on:
t
ake conte
x
t into account
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoolaege
polyt
o
pe_scan: optionally skip basis reduc
t
ion
commit
|
commitdiff
|
tree
2006-08-16
S
v
en
Ve
r
doolaege
polytope_scan:
s
c
a
n in red
u
ced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdoola
e
ge
polytope_s
c
an: sc
a
n
s the integer p
o
ints
in a
p
olyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
S
ven Ver
d
oolaege
install
N
TL_QQ
.
h
h
eader
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n Verdoolaege
basis
_
reduction
.
c: c
l
ean
u
p
GLPK
mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
l
exmin
.
cc: do
n
't bother transfor
m
in
g
if
com
p
r
es
s
_p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoo
l
a
ege
lexmin
.
cc: fix
use
of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sa
m
ple
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verdo
o
laege
barvinok
_
count:
c
lean up memory after sim
p
l
ifying co
n
straint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
R
EADME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
only perform lexmin tests
w
hen
l
exmin ha
s
been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
some more
tests with unbou
n
d
e
d polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
V
erdoolaege
a
d
d some smal
l
tests for
lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lexmin: barf when
polyhedron contains l
i
n
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ve
r
doolae
g
e
le
x
min:
d
on't print
s
ol
u
tio
n
when ver
i
fying
commit
|
commitdiff
|
tree
2006-08-11
Sve
n
Ver
d
oolae
g
e
ver
i
fy_main
.
cc: clean up memo
r
y
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoo
l
aege
barvinok_series
:
handle fi
x
e
d po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
g
e
n_fun:
ad
d
con
s
tructor for
g
en
e
rat
i
ng fu
n
ction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
bar
v
i
nok
.
cc: remove_mo
r
e_
e
q
u
alitie
s
:
h
a
n
dl
e
equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
r
doolaege
ge
n
_fun::coe
f
fic
i
ent: reset the number of rows in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
lexmin
.
cc
:
u
se remove_
e
qualities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c
:
c
ompre
s
s_
v
ariables: ex
t
racted fro
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
e
rdoo
l
aege
lexmin: don't check anything if given ra
n
ge lies outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
c
c: remo
v
e_equalities; ta
k
e prei
m
ag
e
wi
t
h retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
r
e
m
ove_
e
qual
i
tie
s
:
e
x
t
end re
t
urne
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdoolaege
lexmin
.
cc:
i
n_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmin
.
cc: remove some d
e
bugging r
e
s
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoola
e
ge
r
ed
u
ce_domain: com
p
ute convex u
n
io
n
of domain
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
doolaeg
e
lexmin
.
cc: in_domain: also che
c
k other part
s
of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoo
l
aege
lexmin: in_domain: set
valu
e
s if c
o
ns
t
raints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoo
l
aeg
e
l
exmin: plu
g
some memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
lexmin
:
a
n
experi
m
e
n
tal tool for computin
g
the p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdool
a
ege
add fdst
r
eam
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c
:
floor2frac_r: plug m
e
mory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoolae
g
e
b
a
rvino
k
.
cc: unfri
n
ge:
w
o
r
k
inc
r
em
e
ntally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
eval
u
e_frac2floor_in_domain
:
plug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
d
oolaege
Polyhedron_Samp
l
e: allow equalities in
i
n
put polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
P
o
lyhedr
o
n
_Sa
m
ple
:
make s
u
re ve
r
t
i
ce
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: simplify
constrain
t
s after choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Samp
l
e: handle em
p
ty a
n
d
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
sampl
e
.
c: alt
e
rnative implementation of r
e
move_
r
ay
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
doo
l
aege
sa
m
p
l
e
.
c: Polyhedr
o
n
_Re
m
o
v
e
F
i
xedColumns: handl
e
pre
s
enc
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
o
o
lae
g
e
ba
r
vi
n
ok_co
u
nt_f: check whether pol
y
hedron i
s
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolae
g
e
barvinok_c
o
unt: simplify constraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
rdoolaege
red
u
ced_basis
:
su
p
po
r
t 1D
polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
r
educe
d
_basi
s
: ensure
a
ll LP sol
u
tions
a
re
non-negative
commit
|
commitdiff
|
tree
2006-08-02
S
ven
V
erd
o
olaege
o
c
c
:
print
parametric vertices o
f
set usi
n
g
PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erd
o
olae
g
e
occ: a
d
d interface to barvinok_l
e
xsmalle
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
e
rd
o
olaeg
e
util
.
c: provide du
m
my
barvinok_lexsmalle
r
_ev when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n Verd
o
olaege
4coins: comp
u
tes generating function
for 4
coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en
Verdoolaege
gen_fun::Hadamard_produ
c
t
:
apply parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdo
o
la
e
ge
gen_fun::s
u
bst
i
t
u
te: only pass
i
n
transformat
i
on m
a
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
scarf
.
cc: suppor
t
more cases of 3 (inde
p
endent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
s
carf
.
cc
:
su
p
port
m
or
e
cas
e
s of 4 const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
g
e
genfun
.
cc: ad
d
gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: another
g
en_fun::sum
m
a
te metho
d
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verd
o
olaege
infinite_
i
counter: an
i
ncremental co
u
nter
for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
icounte
r
:
move from barvin
o
k
.
cc t
o
reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
bfenu
m
erator::set_factor: p
l
ug small memor
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
er
d
ool
a
ege
b
a
rvinok_enumera
t
e_union_ser
i
es: us
e
gen_
f
un::summat
e
.
.
.
commit
|
commitdiff
|
tree
next