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
Verdool
a
ege
util
.
c: compr
e
s
s
_variables: declare va
r
iabl
e
at sta
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
evalue
.
c: co
p
y (and ada
p
t)
c
opyright s
t
atement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add
s
ome refer
e
nces to publ
i
c
a
t
ions
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n Ve
r
doolaege
lexmin
.
cc:
r
eenable optimization of checking
d
omain
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven
V
erd
o
olaege
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolae
g
e
ed
o
main
.
cc: add EDomain::contai
n
s
commit
|
commitdiff
|
tree
2006-09-24
S
v
e
n
Ver
d
oolaege
lexm
i
n
.
c
c: max_t
e
r
m
::print: pr
i
n
t
f
loors exp
l
i
c
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaeg
e
lexmin
.
cc: disable p
o
ssibly overzea
l
ous optimiza
t
ion
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doola
e
g
e
ed
o
main
.
cc: remember "constraint" represen
t
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdoolaege
reduced_basis:
reset "negative widths" to
zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
en
V
erdoolaege
lexmin
.
cc:
move
m
ore code to edo
m
a
in
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
V
e
r
doolaege
e
doma
i
n
.
h: add EDomain_fl
o
or abstrac
t
i
o
n
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdo
o
laege
l
e
xmin
.
cc: define ma
x
_t
e
rm ov
e
r a
n
EDo
m
ain rather th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaege
r
educer
.
h:
a
d
d virtual d
e
s
t
ructor t
o
np_
b
ase
t
o
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
lexmin
.
c
c
: extract o
u
t some code to evalue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
ti
o
ns
.
c: pick up de
f
inition of POL_INTEGER f
r
om barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdool
a
ege
optionc
.
c: move choice of which specializat
i
on to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
omega/
p
arser
.
l: let flex
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ver
d
oolaege
l
e
x
m
in
.
cc: optionally skip check f
o
r empty doma
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
ol
a
ege
e
v
a
lue
.
c: redu
c
e
_ev
a
l
u
e_in_domain: r
e
d
uce to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lexm
i
n
.
cc
:
use b
a
rvinok_option
s
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoo
l
a
e
ge
intro
d
uce barvinok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdo
o
laeg
e
lexmin
.
cc: compute generating
functions of vertex
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexmin
.
c
c
: move
some code around to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ve
r
doo
l
aege
evalu
e
: d
e
clare argument
of eadd and evalue_c
o
py const
commit
|
commitdiff
|
tree
2006-09-06
S
v
e
n Verdoolaege
lexmin
.
c
c: perfor
m
sub
s
t
itution immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
README: a
d
d
a wa
r
n
i
n
g on (not) using
s
hared
libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rd
o
o
l
a
e
g
e
evalue
.
h: change name of h
e
a
d
e
r
define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
e
value
.
h
:
m
ake more s
e
lf-c
o
n
t
ai
n
ed
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
d
o
o
laege
bfcounter
.
h: undefine divide from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdool
a
ege
configure
.
in: n
o
long
e
r compil
e
shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
README
:
reflect that -
-
enable-f
r
actio
n
al is
now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoolaege
lexmin:
re
m
ove dupl
i
cate unfrin
g
e
commit
|
commitdiff
|
tree
2006-08-16
S
ve
n
Verdoolaege
p
olytop
e
_scan: optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyt
o
pe_scan: sca
n
in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
S
ve
n
Verdoo
l
aege
po
l
y
t
ope_scan: s
c
a
n
s the
i
nteger po
i
nts in a poly
t
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install
NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoola
e
ge
basis_red
u
ction
.
c:
clean up GL
P
K
memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
lexmin
.
cc: don
'
t bother transforming
i
f
compr
e
s
s
_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix use
o
f
compre
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aeg
e
sample
.
c
:
fix
remove
_
ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
bar
v
inok_count: clean up memor
y
afte
r
s
impli
f
yin
g
const
r
aints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
REA
D
ME: update
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
only pe
r
form lexmin tests when lexmin ha
s
b
e
e
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
doolaege
some more
tests wi
t
h
u
n
boun
d
ed pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add som
e
sma
l
l tests f
o
r lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verd
o
o
laege
lexmin: barf when p
o
lyhedron c
o
n
t
a
in
s
li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't
print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoo
l
aege
v
e
rify_main
.
cc: clean up m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
do
o
laege
barvinok_series: ha
n
d
l
e
f
ixed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
er
d
oolaege
gen_fun: add
c
onstructor
for
g
e
neratin
g
f
u
nction
wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
bar
v
i
n
o
k
.
c
c
:
remove_more_equ
a
lities: handle equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
gen_fu
n
::c
o
efficie
n
t
: reset the n
u
m
ber of rows in
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
e
ge
lexmin
.
c
c: use
rem
o
ve_equa
l
ities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
erdoolaege
util
.
c: compress_va
r
ia
b
les: extracte
d
from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't check anything if g
i
ve
n
range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laege
l
e
xmin
.
cc: remo
v
e_equalities;
take pr
e
i
m
age
w
ith r
e
tu
r
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
l
exmin
.
cc:
remo
v
e
_
e
q
u
a
lities: exte
n
d returne
d
mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_do
m
a
in: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolae
g
e
lexmin
.
c
c: remove so
m
e deb
u
gging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
er
d
oola
e
ge
reduce_domain: compute convex
u
nion of domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoola
e
g
e
lexmin
.
cc: in_d
o
main: also ch
e
c
k
other
parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laege
lexmi
n
: in_doma
i
n: set
values
if constraints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
do
o
l
a
ege
l
e
x
min
:
plug some memory l
e
aks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
rdoolaege
l
ex
m
in:
an experimental to
o
l for computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaeg
e
evalu
e
.
c: floor2f
r
a
c
_r: plug m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
b
arvino
k
.
cc: unfr
i
nge: wo
r
k incremen
t
ally
commit
|
commitdiff
|
tree
2006-08-06
S
v
e
n
Verdoola
e
ge
evalue_frac2f
l
oor_
i
n_dom
a
in: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
olyhedron_Sample: allow
e
qu
a
lities
in input polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
doola
e
ge
Polyhedron_Sample: make sure vert
i
c
e
s are availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
doolaege
Po
l
y
h
edron_Sampl
e
: simpli
f
y constraints after cho
o
s
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoola
e
ge
Polyhedron_
S
ample: handle empty and 0
D
polyh
e
dr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
sample
.
c:
a
lternative implem
e
ntat
i
on of remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
s
a
mpl
e
.
c: P
o
lyhed
r
on_Remo
v
e
FixedColumns: ha
n
dle pres
e
nc
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
b
a
rvinok_count_f: check whether
p
ol
y
hedron is un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
erdoolaege
barvinok_co
u
n
t: simplif
y
c
o
nstraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
red
u
ced
_
basis: suppo
r
t 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
re
d
uced_basis: ensure
all LP solu
t
ions ar
e
non-negati
v
e
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n
Verd
o
olaege
occ: print parametric verti
c
es of se
t
usi
n
g P
o
l
yLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
d
oola
e
g
e
o
cc
:
add interface to
barvin
o
k_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c: provid
e
dummy barv
i
n
o
k_lex
s
m
aller_e
v
when LexS
m
aller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
4coins: computes ge
n
erating f
u
n
c
tion for 4
c
oin Frobe
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoola
e
ge
gen_fun::Hadamard_product: apply p
a
ramete
r
co
m
pression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fu
n
::substitute
:
only
pass in transf
o
r
mation
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verd
o
ola
e
g
e
scarf
.
cc:
s
u
pport more
cases of 3 (independent) constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoo
l
aege
sca
r
f
.
cc: support
more cases of 4 c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoo
l
aege
genf
u
n
.
cc: a
d
d
gen_f
u
n::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
ge
n
fun
.
cc: another gen_fun::summate m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
in
f
inite_icounte
r
: an
i
n
c
remental co
u
nter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
V
erdool
a
e
g
e
i
cou
n
ter:
m
ov
e
f
r
o
m barvin
o
k
.
c
c t
o
reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bfenumerator:
:
set_facto
r
: plug small memory
leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
doolaege
barvinok_e
n
umerate_union_series: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
e
r
doolaege
ge
n
fu
n
.
c
c: add gen_f
u
n::summa
t
e method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
ool
a
ege
ge
n
_
f
un:
:
Hadamard_pro
d
uct: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::Hadam
a
rd_product: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_dec
o
mposer::decompose: mak
e
sure v
e
rtices h
a
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
np_base: ad
d
d
o
_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doola
e
g
e
gen_fun::
p
r
i
n
t
:
al
l
ow
p
r
inting to
streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfc
o
u
n
t
e
r
.
cc: move some more code from
barvinok
.
cc
commit
|
commitdiff
|
tree
next