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
doc: add some more publications that refer to barvinok
2006-10-07
Sven
V
erdoolaege
doc: add some mo
r
e publications that
refer to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
e
v
alue
.
c
: evalue_de
n
om: d
e
clare variable a
t
start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
l
aege
eva
l
ue
.
c: export evalue_
d
e
n
om
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoola
e
ge
scarf
.
cc: handl
e
case where fou
r
constraints le
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdoolaege
u
t
i
l
.
c:
c
ompress_var
i
ables: decl
a
r
e
variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
evalue
.
c
: copy (a
n
d adapt) cop
y
righ
t
statement
f
rom
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoo
l
aege
d
oc
:
add some
r
eferences to
publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
le
x
min
.
cc: r
e
enable
o
ptimization of checkin
g
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
d
o
olaege
evalue
.
c
:
cl
e
an up in
_
do
m
ai
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
d
omain
.
c
c:
a
dd EDomain::co
n
tains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verdo
o
laege
lexmin
.
cc: max_ter
m
::print: p
r
int floors explicit
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoolaege
lexmin
.
cc:
di
s
able
p
o
ss
i
bly overzealous opti
m
ization
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
er
d
oo
l
aege
e
domain
.
cc: rememb
e
r "constra
i
nt" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced
_
b
asi
s
:
r
ese
t
"negative widths"
t
o zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
laege
lexmin
.
c
c: move
m
ore code to e
d
o
m
ain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
rdoolae
g
e
edomai
n
.
h:
add ED
o
main_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lex
m
in
.
cc
:
define
max_term
over an EDom
a
in ra
t
her t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoolaege
reducer
.
h: add vi
r
tual destructor to
n
p_base to a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoola
e
ge
lexmin
.
c
c
: extract
o
u
t
s
ome
code to eva
l
ue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoo
l
aege
optio
n
s
.
c
: pick u
p
definition of POL_INTE
G
E
R
from ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoolaege
opti
o
nc
.
c: move cho
i
ce of whic
h
spe
c
i
alizat
i
on to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdo
o
la
e
ge
o
mega/
p
arse
r
.
l
: let flex def
i
ne yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
lexmin
.
cc:
o
ptionally
skip chec
k
for empty
dom
a
ins
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: re
d
uce_evalue_in_domain: reduce to
z
e
r
o
e
v
alu
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verd
o
o
l
aege
lex
m
in
.
cc: use barvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
g
e
introduce bar
v
i
n
ok_options
structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc
:
compute gene
r
at
i
ng
f
unctions
o
f
vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
lexmin
.
cc:
m
ove s
o
m
e
code
a
round to
p
repare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue: declare
argu
m
ent of eadd and
evalue_c
o
py const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
l
e
x
min
.
cc: perform substi
t
ution immediately on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven
Verdo
o
laege
README: a
d
d a war
n
ing on
(
not) using shared li
b
raries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: ch
a
nge
name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
evalue
.
h: m
a
ke mor
e
self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
b
f
c
o
unter
.
h: un
d
efine div
i
de
from po
l
ylib
'
s ar
i
t
h
metique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven Ve
r
d
oolaege
configu
r
e
.
in
:
no l
o
nger compile sha
r
ed libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdo
o
laege
READ
M
E:
refle
c
t that --en
a
ble-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Ver
d
o
olaege
lexmin
:
remove
duplic
a
t
e unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolae
g
e
pol
y
top
e
_scan: opti
o
nally
s
kip basis
r
eduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaeg
e
polytope_scan: scan
in red
u
ced
b
a
sis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_scan: scans the inte
g
e
r
p
o
ints in
a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oolae
g
e
inst
a
l
l NT
L
_QQ
.
h he
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdool
a
ege
bas
i
s
_reduct
i
on
.
c: clean up GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ol
a
ege
lexmin
.
cc: don'
t
bother
trans
f
orming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
lexmin
.
cc: f
i
x use of compress_
p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doolaege
s
ample
.
c: f
i
x
remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
barvino
k
_count: cl
e
an up
memory aft
e
r
s
implifying constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdo
o
laege
R
E
ADME: u
p
date
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoo
l
aege
only perform lexmin tests
w
hen lexmin has bee
n
compi
l
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
s
ome mo
r
e tests w
i
th
u
nbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
add som
e
small tests
for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: barf
w
hen po
l
yhedr
o
n con
t
ains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
lexmin: don't print s
o
l
ution when verif
y
in
g
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n
Verdoolaege
verify_main
.
cc: clean up
m
e
m
ory
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barvinok_seri
e
s: handl
e
fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
gen_fun: add construct
o
r fo
r
generati
n
g function
w
ith
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdoolaege
barvinok
.
c
c
: r
e
move_more
_
equ
a
li
t
ies: handle
equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ge
n
_
f
un::coeffi
c
ie
n
t: reset the numb
e
r
of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
V
e
r
doolaege
lexmin
.
cc: us
e
remove_e
q
ualities consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdo
o
laege
util
.
c
: comp
r
ess_variab
l
es: extract
e
d
from
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xm
i
n: don't check anythi
n
g
i
f given range
l
ies out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
:
remove_eq
u
alities; take preimage
w
ith returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin
.
cc: rem
o
v
e_equalities: ex
t
end
returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rd
o
olaege
lexmin
.
cc: in_do
m
a
i
n:
fix t
y
po
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove some d
e
bug
g
ing residues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoola
e
ge
redu
c
e_do
m
ain: co
m
pute convex un
i
on of d
o
main
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
x
m
in
.
cc
:
in_d
o
mai
n
: also check other p
a
r
t
s
o
f
u
ni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
oo
l
ae
g
e
l
exmin: in_d
o
main:
set va
l
ues if c
o
nstraint
s
d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin: plug som
e
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoo
l
aege
l
exmin: an experimental
t
ool
f
or c
o
mput
i
n
g the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaege
add
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
eval
u
e
.
c: floor2frac_r: pl
u
g memory
leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
barvi
n
ok
.
cc: unfringe
:
w
o
rk incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Ve
r
doolaege
ev
a
lue_frac2floor
_
in_domain: plug memor
y
leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ver
d
oolaege
Polyhedron_Sample: al
l
ow equal
i
t
i
e
s in input polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoo
l
aege
P
o
lyhedron_Sam
p
le:
make s
u
re ver
t
ices are
a
v
ailab
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdoolaege
Polyh
e
dron_
S
amp
l
e: sim
p
lify co
n
s
trai
n
ts after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: handle empty and 0D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verd
o
ol
a
ege
s
amp
l
e
.
c: alternative
i
mp
l
ementation of r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
samp
l
e
.
c: Polyhedron_RemoveFixedColumns: han
d
le
pres
e
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_count_f: check
w
heth
e
r polyhedron
is u
n
b
o
u
n
ded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
ool
a
ege
barvinok_c
o
unt: s
i
m
p
l
ify constra
i
nts af
t
e
r remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verd
o
ola
e
ge
r
e
d
u
ced_basis: support 1D polyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
oolaeg
e
reduc
e
d_basis:
ensure all LP sol
u
t
io
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
oolaege
occ: print
p
arametric vertices of s
e
t
using PolyLi
b
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoolaeg
e
oc
c
: add interf
a
ce to ba
r
vinok_lexsm
a
ll
e
r_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Verdoolae
g
e
uti
l
.
c:
p
rovide dummy ba
r
v
i
nok_
l
exsmaller_ev whe
n
Le
x
S
m
a
l
le
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
4coins: computes generating function for 4 co
i
n F
r
obenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdo
o
laege
gen_fun::
H
adamard_product: ap
p
ly parameter compres
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Ver
d
oolaege
gen_f
u
n::substitute:
onl
y
pass in transformat
i
on matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
c
c
: support more cases of
3
(inde
p
endent) c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
scarf
.
cc: support more cases of 4 const
r
ai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
genfun
.
cc: add gen_fun::di
v
i
de
met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
g
e
nfun
.
cc: an
o
ther
gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
infinite_ic
o
u
nter: an incremental counter
f
or p
o
ss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en V
e
rd
o
olaege
icounter: move from barv
i
nok
.
c
c to re
d
uce
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bf
e
numerat
o
r::set_factor
:
plug small
m
em
o
ry leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_
e
numer
a
te_union_seri
e
s: us
e
gen_
f
un::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
genf
u
n
.
c
c: add
gen_fu
n
::
s
u
mmate method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
erdoolaege
gen
_
f
u
n
:
:
Hadama
r
d
_
p
r
oduct: op
t
imize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun::H
a
damar
d
_
product: make
f
i
r
st argument c
o
nst
commit
|
commitdiff
|
tree
next