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 references to publications
2006-09-28
Sve
n
Verdoolae
g
e
doc: add som
e
re
f
e
r
enc
e
s to publ
i
cations
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdool
a
e
ge
lexmin
.
cc: reenable optimization of checking dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Verd
o
ol
a
ege
evalue
.
c: clean up in_d
o
m
ai
n
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verdoolaege
e
d
omain
.
cc:
ad
d
E
Domain::
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
r
doolaege
lexmin
.
cc
:
max_term::prin
t
: print flo
o
rs explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verd
o
olaege
l
e
xmin
.
c
c
: disable
possibl
y
overze
a
lous
opti
m
ization
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdool
a
eg
e
edomain
.
c
c
: remember "constraint" rep
r
esentation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
erdo
o
laege
re
d
uced_b
a
sis:
r
eset "
n
egative wid
t
hs" to z
e
ro
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc: move
m
ore cod
e
to e
d
omain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laege
edomain
.
h: add EDo
m
a
i
n_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
e
x
m
in
.
cc:
d
efin
e
max_term over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
reducer
.
h: add
virt
u
a
l destr
u
ctor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Verdoola
e
ge
lexmin
.
cc: extract out some c
o
de to eval
u
e_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
opt
i
o
n
s
.
c: pic
k
up defi
n
i
tion of POL_
I
NT
E
GER from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
o
p
tionc
.
c:
m
o
ve
choic
e
of whi
c
h s
p
ecial
i
zation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
omega/parser
.
l: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
erdoolae
g
e
lexmin
.
cc: optio
n
all
y
skip check for empty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdo
o
l
a
ege
evalue
.
c:
redu
c
e_eva
l
u
e
_in_doma
i
n: reduce to zero evalu
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
lex
m
in
.
cc:
u
se b
a
rvi
n
ok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
in
t
roduce barvinok_option
s
struct
u
re
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
le
x
m
i
n
.
cc: comp
u
te generatin
g
functio
n
s of
vertex con
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
lexm
i
n
.
cc: move
so
m
e
code
around to prepar
e
for
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
e
n
V
e
rdoolaege
evalue: declare argume
n
t
of eadd an
d
ev
a
lue_co
p
y const
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoola
e
ge
l
e
xmin
.
cc: p
e
rform
s
u
bs
t
itutio
n
immed
i
ately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verdoolaege
README: a
d
d a warnin
g
o
n
(
not) using shared libraries
commit
|
commitdiff
|
tree
2006-08-31
S
ven
V
e
rdoola
e
ge
e
value
.
h: cha
n
ge
name of heade
r
define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalu
e
.
h: make
m
ore self
-
contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
b
f
counter
.
h:
u
ndefine divide from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
c
onfigure
.
in: n
o
longer
compile
sha
r
ed libraries
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
laege
README: reflect that --enable-fractional is now t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmi
n
: remove duplicate
u
nfring
e
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
o
l
a
ege
polytope_scan: opt
i
o
na
l
ly skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoolaege
polyto
p
e_scan: scan in r
e
duced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_sc
a
n:
scans the integer poi
n
ts in a polytope
commit
|
commitdiff
|
tree
2006-08-14
S
ve
n
V
e
rdoolaeg
e
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
b
a
sis_reduction
.
c
: cl
e
a
n
up GLP
K
m
e
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
le
x
min
.
c
c
: don't bother trans
f
orming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
o
olaeg
e
lexmin
.
cc: f
i
x use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c: fix r
e
move_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolae
g
e
ba
r
vinok_
c
ount:
cl
e
an up memory
after simplif
y
ing constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
only per
f
orm lexmi
n
te
s
t
s when lexmin
has bee
n
com
p
i
l
e
d
commit
|
commitdiff
|
tree
2006-08-12
S
ven Ve
r
doolaeg
e
some mo
r
e tests with unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoo
l
ae
g
e
add some small
tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ve
r
doolaege
l
exmin
:
barf when polyhedron contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
l
exmin:
d
on't print solutio
n
when verify
i
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc: clea
n
up m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
S
ven
Verdoola
e
ge
barvi
n
ok_series: handle fixed pol
y
topes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
gen_fun: add co
n
s
t
ruct
o
r for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
bar
v
ino
k
.
cc
:
r
emove_mo
r
e_equalitie
s
: ha
n
d
le
eq
u
al
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
gen_f
u
n::c
o
eff
i
cien
t
:
reset the n
u
mber of rows in
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
lexmin
.
cc: use remo
v
e_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
util
.
c: compress_variables:
ext
r
act
e
d
f
rom lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmin:
d
on't ch
e
c
k
anything
if gi
v
en range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
olaege
lexmin
.
cc: remove_equ
a
lities; take preim
a
ge with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoola
e
ge
l
e
x
m
in
.
c
c
:
remove_equalities:
e
xtend returned
matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
:
in_dom
a
in
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
e
rd
o
olaege
lexmin
.
cc: remove
some debugg
i
ng residues
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
reduce_domain:
compute conve
x
union of domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ve
r
dool
a
ege
lexmin
.
c
c:
i
n_do
m
ai
n
: also check other parts
o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
laege
l
e
xmi
n
:
in_doma
i
n: set
v
alues if con
s
traints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: pl
u
g some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ver
d
o
olaege
l
e
xmin: an exp
e
rimen
t
al tool for computing the parame
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
add fdstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
laege
ev
a
lue
.
c
: floor2frac_r:
plu
g
m
emory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc
:
unfringe
:
work incr
e
ment
a
l
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven
Ve
r
doolaeg
e
evalu
e
_
f
rac2floor_in_
d
omain: plu
g
me
m
ory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
Polyhedron_Sample: allow
e
qualities in
input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron
_
Sample: make sure
v
ert
i
ces
a
re available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
Polyhedron_Sample: simp
l
i
f
y
co
n
straints afte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoola
e
ge
Polyhedron
_
Sample: handle empty
a
nd 0D polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdool
a
ege
sam
p
le
.
c
:
alt
e
rnat
i
ve implementation of rem
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sample
.
c: Polyhedron_RemoveF
i
xed
C
olumns:
h
andl
e
presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
barvi
n
ok_count_f:
c
h
e
ck whether polyhedron is u
n
bou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
la
e
ge
ba
r
v
i
nok_count: simpl
i
fy constr
a
i
n
ts
a
f
ter r
e
mov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
reduced_basis: suppo
r
t 1D polyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis:
e
n
sure all LP
s
o
lutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
Ve
r
d
o
olaege
occ: print paramet
r
ic vert
i
ces o
f
set
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolae
g
e
occ
:
a
dd interface to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verdoolaege
util
.
c
:
p
r
ovide dumm
y
ba
r
v
inok_le
x
s
maller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verd
o
olaege
4coi
n
s: computes generating function for 4 coi
n
F
r
obenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven
Ve
r
d
o
olaege
gen
_
fun:
:
Hadamard_prod
u
ct:
apply pa
r
ameter
c
om
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oolaege
gen_fun::substitute:
o
nly p
a
ss in tra
n
sformation
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
d
o
olaege
scarf
.
cc:
support more cases
o
f 3 (independent
)
con
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven
Ver
d
oolaege
scarf
.
cc: support m
o
re
c
as
e
s of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaeg
e
genfun
.
cc: add gen_fun
:
:divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
r
d
oola
e
ge
g
enf
u
n
.
c
c
:
another gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven
Ve
r
doolaeg
e
inf
i
nite_icounte
r
: a
n
i
n
crementa
l
counter for pos
s
ib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven
Verdoolaege
icounter: move f
r
om
bar
v
inok
.
cc to
r
educer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
laege
bfenumer
a
to
r
:
:s
e
t_fa
c
t
or: plug sm
a
ll
m
emory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoo
l
a
ege
barvinok_enumerate_union_serie
s
: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ola
e
ge
g
enfun
.
cc
:
add ge
n
_fu
n
::summate m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun::Hadamard_pr
o
d
uct: optimize co
m
putation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
gen_fun::Had
a
mard_product: make first argument
con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
p
o
lar_decomposer::decompose: make su
r
e vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
np_b
a
se: add do_ve
r
tex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
aege
gen_fun
:
:
p
rint:
all
o
w
print
i
ng to
streams
o
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
bfcounter
.
cc
:
move some more c
o
d
e
f
rom ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
doolaege
g
en_fun
.
h
: short_rat:
u
se
QQ instead of pair of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
NTL_QQ
.
cc: a r
a
tional NTL
type
commit
|
commitdiff
|
tree
next