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
u
til
.
c: compre
s
s_var
i
ables
:
dec
l
are variable at sta
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
Verdoolaege
evalue
.
c: copy (and adapt) copyright state
m
ent fro
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sv
e
n Ve
r
doolae
g
e
doc: a
d
d some refere
n
ces to publica
t
ions
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoola
e
ge
l
e
xmin
.
cc: reenable optim
i
zation of checking d
o
mai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
do
o
laege
eva
l
ue
.
c: clean up
i
n_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
ege
e
d
omain
.
cc: add EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoolaege
l
exmin
.
cc:
max_term::
p
rint: pr
i
n
t
fl
o
o
rs expli
c
itly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdool
a
ege
lexmin
.
cc: disable pos
s
ibly overzealous o
p
timization
commit
|
commitdiff
|
tree
2006-09-23
S
v
e
n Verdool
a
e
g
e
ed
o
m
ain
.
cc:
r
emember
"constraint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ve
n
Ver
d
oo
l
a
e
g
e
r
e
duc
e
d_basis: reset "n
e
gat
i
ve widths"
t
o zer
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oo
l
aege
lexmin
.
cc: move more co
d
e
t
o
edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaege
edo
m
ain
.
h: add
E
Dom
a
in_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdool
a
ege
lexmin
.
c
c
: de
f
ine
max_t
e
rm o
v
er an EDomain rather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n Verdoolaeg
e
reducer
.
h: add virtual destructor t
o
np_base
to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Ver
d
oolaege
lexmin
.
cc:
extract out so
m
e cod
e
t
o evalu
e
_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Ver
d
oolaege
o
p
tions
.
c: p
i
ck up defin
i
tion
o
f P
O
L_INTEGER from barv
i
n
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
o
ptio
n
c
.
c: move choice
o
f w
h
ic
h
spec
i
alizati
o
n
t
o use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
omega/p
a
rser
.
l:
let fl
e
x
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
lexm
i
n
.
c
c
: option
a
lly skip ch
e
c
k
for
e
m
p
ty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
eva
l
ue
.
c:
reduce_evalue_in_domain: re
d
uce to ze
r
o evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
lexmin
.
cc: use
b
arvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
i
n
t
rodu
c
e barvin
o
k_op
t
i
o
n
s
str
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ve
r
doolaege
le
x
min
.
cc: compute generating functions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
cc: move some co
d
e
around to prepare for
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
e
v
alue: declar
e
ar
g
ument of eadd and evalue
_
cop
y
co
n
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaeg
e
lexmin
.
cc: perform subst
i
tution i
m
med
i
at
e
ly on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
README: add a warning on
(not)
using share
d
libraries
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
evalue
.
h:
chang
e
name of header defi
n
e
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaeg
e
evalue
.
h: mak
e
more
self
-
contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
bfcount
e
r
.
h
: u
n
define divide fr
o
m p
o
lyli
b
's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
configur
e
.
in:
n
o longer
compile shared l
i
braries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
e
ge
README: re
f
l
ect
t
h
a
t --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoo
l
a
eg
e
lex
m
in: rem
o
ve duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
gen_
f
un:
:
H
a
d
amard
_
p
roduct: use u
n
optim
i
zed version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
ola
e
ge
barvinok
_
serie
s
: perform ba
c
k
substitution a
l
s
o
i
f
all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n
V
e
rdoola
e
ge
barvi
n
ok_enumera
t
e_union_series: call core of
barvinok_ser
i
es
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdoolaeg
e
util
.
c:
remove_
e
qualities_p: correct che
c
k
f
or end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven
Verdoo
l
aege
gen_fun: set context in no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdool
a
e
ge
gen_fun::
H
a
d
am
a
rd_product:
d
on't assume
e
q
u
a
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n
Verdoolaege
b
arvinok_union: t
a
ke
contex
t
into
a
ccount
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oo
l
aege
polytope_scan: optional
l
y skip b
a
sis reductio
n
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaege
p
o
l
y
t
o
p
e_scan: scan in reduced
b
asi
s
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaeg
e
polytop
e
_sca
n
: scans
the in
t
eger points in a po
l
ytope
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdoolaege
insta
l
l NTL_Q
Q
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c: clean up GL
P
K memory
commit
|
commitdiff
|
tree
2006-08-13
S
v
en V
e
rdoolaege
l
exm
i
n
.
c
c
: d
o
n't bother transforming if compress_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdo
o
laege
lexmin
.
cc
:
fix use of compress_pa
r
ms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Ver
d
oolaege
sample
.
c
: fix
remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
rd
o
olaeg
e
barvin
o
k_
c
ount: cl
e
an up m
e
mory
afte
r
simplifying cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
README: updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
o
n
l
y perform lexmin tests when l
e
xmin
h
as been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
s
o
me more
tests with un
b
ounded po
l
yhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoola
e
ge
add some
s
mal
l
tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doola
e
ge
le
x
m
in: barf
w
hen pol
y
hedr
o
n contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
l
exmin: don't print s
o
luti
o
n when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaege
verif
y
_mai
n
.
cc
:
cl
e
a
n up memory
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Ver
d
oolaege
barvinok_
s
eri
e
s: handl
e
fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
ven Ver
d
oolaege
g
e
n_fu
n
: add const
r
uctor
for generating f
u
nction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
b
arvinok
.
cc: r
e
m
ove_more_
e
q
ualities:
h
andle equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdo
o
l
a
e
g
e
gen_fun::coe
f
ficient: r
e
set the n
u
mber of ro
w
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolae
g
e
lex
m
in
.
cc: use remove_equalities co
n
siste
n
t
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
util
.
c
:
c
o
mpress_v
a
riables: ext
r
acted from lex
m
i
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
ge
l
e
xmin: don't
c
heck anything if given rang
e
lies outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lex
m
in
.
c
c: remove_equali
t
ies; tak
e
preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin
.
cc: remove
_
eq
u
alit
i
es: e
x
te
n
d
returne
d
ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain: fix
t
y
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: r
e
move some debug
g
ing
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
reduce_domain: compute convex union of domai
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
ol
a
ege
lexmin
.
cc: in
_
domai
n
: al
s
o
check other part
s
of uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n V
e
rdoolaege
l
e
xm
i
n: in_dom
a
in:
s
et values if constraints
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin:
pl
u
g some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
lexmin
:
an experimental too
l
fo
r
computing t
h
e parame
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
add
fd
s
tream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
o
l
aege
eval
u
e
.
c: floor2frac_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
barvinok
.
cc: u
n
fr
i
nge: work incrementall
y
commit
|
commitdiff
|
tree
2006-08-06
S
v
en Verdoo
l
ae
g
e
eva
l
u
e
_frac2floor_in_domain
:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
P
olyhedro
n
_Sample: allow equalities in
input p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: make sure ver
t
ices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ol
a
ege
Polyhedron_Sam
p
l
e
:
s
i
mp
l
ify constrain
t
s a
f
ter choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Ve
r
doolaeg
e
Polyhedr
o
n_Sample: handle emp
t
y and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
s
a
mple
.
c
:
a
lternativ
e
imple
m
entat
i
on of
re
m
ove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
sample
.
c: Polyhe
d
ron_RemoveFixed
C
olumns
:
handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
ba
r
vinok_cou
n
t_f: check whether pol
y
hedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
ba
r
v
i
n
o
k_c
o
unt: si
m
plify constra
i
nts after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_bas
i
s: s
u
pport 1D polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis:
e
nsu
r
e al
l
LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
o
olaege
occ: print parametric vertice
s
of set us
i
ng PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
occ: a
d
d int
e
rface to bar
v
ino
k
_
lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven
Verdoolaege
u
til
.
c:
p
rovide dummy bar
v
inok_lexsmaller_ev when LexSmal
l
er
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
4coins: comp
u
tes generating function for 4
coin Frobe
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
r
d
oolaege
g
e
n_fun::Hada
m
ard
_
prod
u
ct: apply pa
r
a
m
ete
r
compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven
V
er
d
oolae
g
e
g
en
_
fun::substitute: only pass in t
r
a
nsformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc
:
support mo
r
e case
s
of 3 (independen
t
)
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
rdoolaege
scarf
.
cc:
s
upport
m
o
re cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
ge
n
f
u
n
.
cc
:
add
g
en_fun::
d
i
v
ide method
commit
|
commitdiff
|
tree
2006-07-27
S
ven V
e
rdoolaege
gen
f
un
.
cc:
a
nother gen_fun::summate m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
infinite_ic
o
unter: an incremental coun
t
er for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
i
coun
t
er:
m
ov
e
f
r
om b
a
rvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenu
m
erator
:
:se
t
_fact
o
r: p
l
ug small m
e
mory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok_enumerate_union_series: use
gen_fu
n
::sum
m
a
te
.
.
.
commit
|
commitdiff
|
tree
next