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
omega/parser.l: let flex define yylineno
2006-09-21
Sven Ve
r
doolaege
ome
g
a
/
parser
.
l:
let
flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
lex
m
i
n
.
cc: op
t
io
n
ally
s
kip ch
e
ck
for empty d
o
mains
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
Ve
r
doolaege
eval
u
e
.
c: reduce_evalue_in_d
o
main: reduce to zero evalu
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
r
d
oolaege
lexmin
.
cc: use
barv
i
n
o
k_op
t
ion
s
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
rdoola
e
g
e
intro
d
uce b
a
rvinok_options
structu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
o
l
a
e
g
e
l
exm
i
n
.
cc: comp
u
te
g
en
e
rat
i
ng functions
o
f vertex c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lexmin
.
c
c
: mov
e
some c
o
de around t
o
prep
a
re fo
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Ver
d
oolaege
evalu
e
: declare argument o
f
eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoolaege
l
exmin
.
cc: perform substitut
i
on immediately
o
n each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
REA
D
ME: add a warning on (not) using s
h
ared libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolae
g
e
evalu
e
.
h: cha
n
g
e
name of h
e
ader defin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdool
a
e
ge
evalue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Ve
r
d
oolaege
b
fcounter
.
h: undefi
n
e divi
d
e fro
m
polylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Ve
r
doolaege
configu
r
e
.
i
n
:
n
o longer compile shared
libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
o
laege
R
EADME: reflect tha
t
--enable-fractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
lexmin:
r
e
m
ove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
polytop
e
_scan: o
p
tionally skip
b
as
i
s reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
dool
a
eg
e
polytope_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyto
p
e_sca
n
:
s
cans
th
e
integer points
in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verdoolaege
install NTL_
Q
Q
.
h hea
d
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolae
g
e
basis_r
e
duc
t
i
on
.
c: clean up
G
LPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
l
e
x
min
.
c
c: d
o
n
't
bothe
r
t
r
ansforming if
compress
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolae
g
e
lex
m
in
.
cc
:
fix use of c
o
mpr
e
ss_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
sample
.
c: fix remov
e
_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
b
a
r
v
inok_coun
t
: c
l
ean up
m
emory af
t
er simpli
f
ying
co
n
straints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
l
ae
g
e
REA
D
ME
:
upd
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaeg
e
o
nl
y
p
e
r
f
orm lexmin tests wh
e
n lexmi
n
h
a
s been compi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
so
m
e more tests wi
t
h unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
ola
e
ge
add
some small tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
lexmin:
barf
when pol
y
hedron conta
i
ns lin
e
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Ver
d
o
o
la
e
g
e
l
e
x
min: don'
t
pr
i
nt sol
u
tion
w
hen ver
i
fying
commit
|
commitdiff
|
tree
2006-08-11
S
v
en V
e
rdool
a
ege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
ege
ba
r
vinok_series: handle fix
e
d pol
y
t
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
ge
n
_
f
u
n: add constructor for
g
enerating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
barvinok
.
cc:
remove_
m
o
r
e_equalities: han
d
le equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
gen_fun::coefficient: rese
t
the
num
b
er of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
lexmin
.
cc: use r
e
move_equ
a
liti
e
s consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ut
i
l
.
c: comp
r
ess_var
i
a
b
les:
e
xtracted
from le
x
min
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdoola
e
ge
l
e
xmin: don't check a
n
ything if
g
iven range lies out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexm
i
n
.
cc: r
e
m
o
v
e
_equalities;
t
ake preimage wit
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lex
m
in
.
cc: remove_equaliti
e
s: ex
t
end returned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
m
i
n
.
cc: in_domain: fi
x
t
y
po
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oo
l
aege
lexmin
.
cc:
r
emove
s
ome debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
reduce_dom
a
in: com
p
ute convex
u
nion of dom
a
in
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmi
n
.
cc: i
n
_domain: also check o
t
her parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexm
i
n: in
_
domain: set values if
constraints
d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en V
e
rdoolaege
lexmin: plug
s
ome memo
r
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: an ex
p
er
i
mental
too
l
for c
o
mputing th
e
param
e
tric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
er
d
oolaege
ad
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c: fl
o
or2fr
a
c_r: plug me
m
or
y
leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
barvino
k
.
c
c
:
u
n
f
ringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Ver
d
o
olaege
evalue_frac2floor_in_domain
:
plug
m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
P
olyhedron
_
Sample: allow eq
u
alities in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
Pol
y
he
d
ron_Sa
m
ple
:
make sure vertic
e
s
a
r
e
available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhe
d
ron_Sample: simp
l
if
y
c
onstrai
n
ts af
t
er choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
Pol
y
hedron_Sample:
h
andle empty and 0D p
o
l
y
hedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Ve
r
d
o
olaege
sample
.
c: al
t
erna
t
ive i
m
plementation of remove_r
a
y
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verd
o
olaege
sa
m
ple
.
c: Polyhedron_
R
emo
v
eFixedColumns: handle prese
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
ba
r
vinok_count_f: check whether polyhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolae
g
e
barvinok
_
count: simplify constraints after removin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
doolaege
reduc
e
d_basi
s
: support 1D polyt
o
p
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
reduced_basis: ens
u
re
all
LP
s
olutions are
no
n
-
negative
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verdoolaege
occ: print paramet
r
ic vertices
of s
e
t u
s
ing PolyLi
b
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verdoolaege
occ: add inte
r
fa
c
e to
b
arvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verd
o
olaege
uti
l
.
c: pr
o
v
i
de
dummy barvinok_le
x
smaller_e
v
when LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Ver
d
o
o
laege
4coins: computes generating
f
unctio
n
for 4 coin Frobeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::Hadamard_prod
u
ct
:
apply p
a
rameter compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fun::substit
u
te: only pass in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scar
f
.
cc: support more cases of 3 (independent)
constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
sc
a
rf
.
c
c: support more cases of
4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doola
e
ge
genfu
n
.
cc: add gen_
f
un::
d
ivide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: an
o
ther ge
n
_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
infinite_ico
u
nter: an incr
e
men
t
al
c
o
unt
e
r f
o
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
icounter: move from
b
arvinok
.
cc
to re
d
ucer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
b
f
e
numer
a
t
or:
:
set_
f
ac
t
o
r: p
l
ug small memory le
a
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok_
e
numer
a
te_u
n
ion_series: use gen_fun::summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
genfun
.
cc:
a
d
d gen_fun::summa
t
e
m
etho
d
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdoo
l
aege
gen_fu
n
::
H
ad
a
mard_pr
o
duct: optimize co
m
putation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
gen_fun::H
a
damard_product: make first ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
aege
p
o
lar_decomposer
:
:
d
ecompos
e
: mak
e
sure
vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
np_base: add do_vertex_c
o
n
e method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolae
g
e
g
e
n
_fun::print: all
o
w printing to
streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdool
a
ege
b
fcounter
.
cc: move some more c
o
de from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoolaege
g
en_f
u
n
.
h: shor
t
_rat: use QQ i
n
s
t
ea
d
of pa
i
r
o
f ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
NTL_
Q
Q
.
cc: a rat
i
onal NT
L
type
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdo
o
laege
verify_main
.
c
c
: small mem
o
ry cle
a
n-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
d
oolaege
barv
i
nok_se
r
ies: move choice of which
g
f
_base sub
c
lass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
ae
g
e
b
arvinok
.
cc: move some
f
u
n
cti
o
nality
int
o
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move Polyhedron arg
u
ment to start me
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaeg
e
barvinok
.
cc: move start and hand
l
e_p
o
l
ar in
t
o np_bas
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdo
o
l
a
ege
gen_fu
n
: add shift met
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
e
rdoolaege
ge
n
_fun: add co
p
y constructor
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoo
l
a
eg
e
z
z
2
va
l
ues
:
m
ake first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
zz2valu
e
:
m
ake first argu
m
ent
con
s
t
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoo
l
aege
Polyhe
d
r
o
n_is_i
n
finite: u
s
e Polyhed
r
on_Sample
if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verd
o
o
l
aege
polyhedron_sample:
c
omputes a
n
integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
conf
i
gure
.
in:
c
h
eck for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
scarf
.
cc: si
m
plex::shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
o
ola
e
ge
gen
_
fun::add: per
f
orm trivial
reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
a
e
g
e
genfun
.
cc: r
e
order terms in numer
a
tor
commit
|
commitdiff
|
tree
next