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 Verdool
a
e
ge
o
mega/parser
.
l: let fl
e
x d
e
fine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
lexmin
.
cc: optionally sk
i
p
check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ve
r
doolaege
ev
a
lue
.
c
: reduce_evalue_in_domain:
reduce to zero
e
v
a
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdo
o
laege
lexmin
.
cc: use barvinok_
o
p
t
ions
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
int
r
od
u
ce
barvinok_optio
n
s s
t
ruct
u
re
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolae
g
e
l
e
xmin
.
cc: compute generating functio
n
s of vertex
c
ones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
l
e
xmin
.
cc: move
s
o
me
c
ode around
t
o
pr
e
pare f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en Verdoolaege
e
valu
e
: d
e
clare
arg
u
men
t
of
eadd and evalue_copy
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
oolaege
lexmin
.
cc
:
perform subs
t
it
u
tion i
m
mediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
README: add a warnin
g
on (not) using
s
ha
r
ed libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
o
l
aege
evalue
.
h: change name of hea
d
er define
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n
Verdoolaege
e
v
alue
.
h: make
more self-c
o
ntained
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oolaege
bfc
o
unt
e
r
.
h
: undefine divide f
r
om po
l
ylib's arithm
e
ti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
confi
g
ure
.
i
n
: no longer compile share
d
libr
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
README: reflect that --en
a
b
l
e-fractiona
l
is now t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
laege
lexmin: remove
d
u
p
l
i
c
a
t
e un
f
ringe
commit
|
commitdiff
|
tree
2006-08-21
S
ven
V
er
d
oolaege
gen_fun::Hadama
r
d_
p
roduct
:
use unop
t
imized
version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
dool
a
e
ge
bar
v
inok_series
:
perform bac
k
substit
u
tion also if
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdoolaege
b
a
r
vinok_
e
n
umer
a
te_union_
s
eries: call core of ba
r
vinok_se
r
ies
commit
|
commitdiff
|
tree
2006-08-21
S
ven Ve
r
dool
a
ege
uti
l
.
c
: remove_equalities_p
:
correct che
c
k for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erd
o
olaege
g
en
_
fun: set
contex
t
in no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun::
H
a
d
amard_prod
u
ct: don't assume
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
S
ven
V
erdoolaege
barvinok_union: tak
e
context i
n
t
o
account
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oo
l
aege
polytope_scan:
o
p
t
i
o
n
ally
s
kip ba
s
is red
u
ctio
n
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoolaege
polytope_sca
n
: s
c
an in reduced bas
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
ytope_sca
n
:
scans th
e
integer points
i
n a polytope
commit
|
commitdiff
|
tree
2006-08-14
S
v
e
n
Verdoolaege
ins
t
all NTL_QQ
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Ve
r
doolaege
b
a
sis_reduction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexm
i
n
.
cc: don't b
o
ther transforming if compress
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Verdoolaege
lexmin
.
c
c
:
fix use of compr
e
ss_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ola
e
ge
sample
.
c: fix
remov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
barvino
k
_count:
c
lea
n
up mem
o
ry after simplifying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
R
E
ADME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform lexmin tests when lexmin
has been compile
d
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
some more
t
ests with u
n
b
o
unded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add some small tests
f
or l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lex
m
in: barf when polyhedron c
o
ntai
n
s
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexm
i
n: don't print soluti
o
n when ver
i
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doolaege
verif
y
_main
.
c
c:
cl
e
an up memo
r
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
ola
e
ge
barvin
o
k_
s
eries: h
a
ndle fixe
d
polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun: add constructor
f
or generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
barvinok
.
c
c: remove_more_equalities: handl
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
gen
_
fun::coefficient: reset
the
n
um
b
er of rows
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
e
rdoolae
g
e
l
e
xmin
.
cc
:
use rem
o
ve_e
q
uali
t
ies consis
t
e
n
tly
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
erdoolaege
util
.
c
:
compr
e
ss_variabl
e
s:
extra
c
te
d
from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
dool
a
ege
l
e
xmin: don'
t
check
anything if
given
range lies o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
c
c
: remove_e
q
ualities;
take
p
re
i
mage w
i
th
r
eturned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: rem
o
ve
_
equali
t
ies
:
ex
t
end returned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verd
o
olaege
lexmin
.
cc:
i
n_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolae
g
e
lexmin
.
cc
:
remove some
d
ebu
g
ging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
er
d
oolaeg
e
reduc
e
_domain: co
m
pu
t
e c
o
nvex
union of
d
o
m
ai
n
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdoolaege
lexmin
.
cc: in_domai
n
:
also
c
h
e
ck
o
ther parts of
u
nion
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: in_d
o
main: set value
s
if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdo
o
laege
lexm
i
n: plug some memor
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
l
e
xmin
:
an expe
r
imental tool fo
r
computing
the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
add fds
t
ream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
evalue
.
c: floor2fra
c
_r: p
l
ug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdool
a
e
ge
barvinok
.
cc: unfrin
g
e: work increme
n
ta
l
ly
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdo
o
laege
evalue_fr
a
c2floor_in_domain: plug
memory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
ool
a
ege
Po
l
yhedron_Sa
m
ple: allow equal
i
ties in input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Polyhedron_Samp
l
e: m
a
ke su
r
e ver
t
ices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Pol
y
hedron_Sample: simplify constraints
a
f
ter choos
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoo
l
aege
P
o
lyhed
r
o
n
_Sample: han
d
le empty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ola
e
ge
s
a
m
p
l
e
.
c: alterna
t
ive i
m
plementation of remo
v
e
_
ray
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdoolaege
sample
.
c: Polyhedron_Remove
F
ixedColumns:
handle pres
e
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
r
d
oolaege
b
a
rvino
k
_count_f: ch
e
ck whether polyhedron
i
s
u
n
b
ound
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
ae
g
e
barvi
n
ok_count:
s
i
m
plify c
o
nstraints after re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
educed_basis: s
u
ppo
r
t 1
D
polyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
r
e
duced_b
a
sis:
e
nsure all LP solutions
a
re non-negat
i
v
e
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdool
a
ege
occ: print parametr
i
c vertices of
s
et using PolyLi
b
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ
:
add interface to barvin
o
k_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdool
a
e
g
e
util
.
c: pro
v
i
d
e du
m
my barvi
n
ok_lexsmaller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: co
m
putes generating
functio
n
for 4 c
o
in Fro
b
en
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
e
ge
gen_f
u
n::Hadam
a
rd_pr
o
d
u
ct: apply parameter co
m
pression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::substitute: only pass
i
n
transformation
m
at
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
s
carf
.
c
c
:
s
upport more cases
o
f 3 (independe
n
t) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
s
c
a
rf
.
cc: support more cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genfun
.
cc: add gen_f
u
n::divide method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
ge
n
f
u
n
.
cc:
another g
e
n
_
fun::sum
m
a
te
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
V
e
rdo
o
l
aege
in
f
inite_icounter: an incremental c
o
unter f
o
r possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ver
d
oola
e
ge
i
c
ounter: move from barvino
k
.
c
c to reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenum
e
rator::set_factor
:
p
lug sm
a
ll
m
emory l
e
ak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
ege
barvinok_enumerate_union_series: use
g
en_fun::su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaege
ge
n
fun
.
cc: add
g
en_fun::su
m
mat
e
m
et
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
gen_fun::
H
a
d
amard_produc
t
: optimize computat
i
o
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
dool
a
ege
gen_fun::H
a
da
m
ard_pr
o
duct: make first argument
c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
po
l
a
r_
d
ecom
p
oser
:
:decompose: make sure vertices
h
av
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
n
p
_ba
s
e:
add d
o
_vert
e
x_con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun::print: allow prin
t
ing to str
e
a
m
s
other th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
b
fcount
e
r
.
cc: move some more
c
ode from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoola
e
ge
g
e
n_fun
.
h: short
_
r
a
t: us
e
QQ instead o
f
pair o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
NT
L
_QQ
.
cc: a
rational
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
laege
verif
y
_mai
n
.
cc: small memory c
l
ean
-
up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
barv
i
nok_series: move choice of wh
i
ch gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok
.
c
c: move some fun
c
tionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvinok
.
cc: mov
e
Polyhedron argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok
.
cc: move st
a
rt a
n
d handle_polar
i
nto np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun
:
add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
en
_
fun:
a
dd
c
opy const
r
uctor
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoolaege
z
z2va
l
ues: make
f
i
rst ar
g
ument const
commit
|
commitdiff
|
tree
next