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
barvinok/evalue.h: make more self-contained
2006-08-31
Sven Verdoolaeg
e
b
arvino
k
/evalue
.
h: mak
e
more self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
M
e
r
g
e branch
'
mast
e
r
'
int
o
bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
eval
u
e
.
h: change nam
e
of header
d
efine
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
rdoolaege
evalu
e
.
h: m
a
ke more s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcount
e
r
.
h: undefin
e
divide
f
rom polylib's arithmetiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configure
.
i
n:
n
o longer compile sha
r
ed
l
ibrar
i
e
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n
V
e
rdoo
l
aege
READ
M
E: ref
l
ec
t
t
h
a
t --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin: remo
v
e
dup
l
ica
t
e unfr
i
nge
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
laege
polyt
o
pe_scan: optionall
y
ski
p
basis reduct
i
on
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
po
l
ytope_scan: sc
a
n in
r
educed
basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdool
a
eg
e
polytope_scan
:
scans the int
e
ger po
i
nts i
n
a
p
olyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Ver
d
o
olaege
Me
r
g
e br
a
nch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verd
o
olaeg
e
insta
l
l NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
basis_reduction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Ver
d
oolaege
Merge branch 'master'
i
nto bernst
e
in
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ver
d
oo
l
a
ege
le
x
min
.
c
c: do
n
'
t
bother
transforming if compre
s
s_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n V
e
rdoola
e
ge
lexmi
n
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
do
o
laege
sample
.
c:
fix rem
o
v
e
_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolae
g
e
barvinok
_
count: clea
n
up memory afte
r
simplifying constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
README: up
d
ate
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
omega/polyfu
n
c
.
cc: maxi
m
ize: simpli
f
y dom
a
in befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
ome
g
a
/
parser
.
y: create new vari
a
bleMap fo
r
each po
l
yfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
omega
/
par
s
er
.
y:
f
r
ee malloc'ed
m
emory (instead of
delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
Merg
e
b
r
anch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Ver
d
oo
l
a
ege
only perform
lexm
i
n
tests
w
hen lexmin has been c
o
mpiled
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
some more
t
ests with unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
ad
d
s
ome sm
a
ll test
s
for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n V
e
rdoolaege
lexm
i
n: barf when polyh
e
dr
o
n contai
n
s li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
lexmin: don't print solution
when ve
r
ifying
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Verdoolaege
Merge
b
ran
c
h 'master
'
i
n
to
b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
barvino
k
_series: h
a
ndle fixed p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
o
olaege
g
en_fun: ad
d
constru
c
tor for gener
a
ting fu
n
ction wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
barvinok
.
cc: remove_m
o
re_equ
a
lit
i
es
:
h
a
ndle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
ge
n
_fun
:
:coe
f
fi
c
ient: reset the
num
b
e
r
of ro
w
s
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
o
ol
a
ege
lex
m
i
n
.
cc: use remove_equali
t
ies consi
s
ten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
util
.
c
:
co
m
pr
e
ss_variables:
e
xtracted from lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
:
don
'
t check
anything
i
f given ran
g
e li
e
s outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaeg
e
lexmin
.
cc:
remove_equalities; take
p
re
i
m
a
g
e w
i
th r
e
turne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdo
o
l
aege
lexmin
.
cc
:
r
e
move_equ
a
l
i
ties
:
extend re
t
urned
m
a
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
olaege
lexmin
.
cc: in_
d
om
a
in
:
f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin
.
cc: remove some debugging resid
u
es
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
l
a
ege
r
e
duce_doma
i
n: compute convex union of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdoolaege
l
e
xmin
.
cc: in_domai
n
:
a
l
so
c
h
e
ck other parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
olaege
lexmin: in_domain: set v
a
lues if constraints
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin: plug some
m
emory
le
a
ks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
lexmin: an ex
p
e
r
imen
t
a
l
t
ool for comput
i
ng th
e
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
eval
u
e
.
c: flo
o
r2frac_r: p
l
ug
memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
barvinok
.
cc
:
unfrin
g
e: w
o
r
k
i
nc
r
e
m
entally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
e
value_frac2floor_in_domain: plug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
Polyhedron_Sample: allow equalities
i
n input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
olyhed
r
on
_
S
ample:
m
ake sure
v
ertices are avail
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoola
e
ge
Polyh
e
dron_Sa
m
ple
:
s
i
mpl
i
fy constrai
n
ts afte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
e
dron_Sample: ha
n
d
le e
m
pty an
d
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
la
e
ge
sample
.
c: alt
e
rnative implementation of re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
e
r
d
o
o
laege
sample
.
c: P
o
l
y
hed
r
on_RemoveFixedColu
m
ns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
barvinok_c
o
unt_f: check wh
e
ther polyh
e
dron is unbound
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rd
o
olaege
b
arvinok_coun
t
: simplify
c
ons
t
raints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
reduced_basis: supp
o
rt
1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
r
educed_basis: ensure all LP solutions are non-nega
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
Merge
b
ran
c
h
'
master' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n Verdoolae
g
e
occ: print p
a
rametric ve
r
t
ic
e
s
o
f
set usi
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ:
a
l
low poly
n
omials in bernstein maximization to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolae
g
e
Merge b
r
anch 'mast
e
r' into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
rdoolae
g
e
o
cc: add i
n
te
r
face to barvinok_lexsma
l
l
e
r_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdo
o
la
e
ge
u
til
.
c: pro
v
ide dummy
b
arvinok_lexsmaller_ev when
LexSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes gene
r
ating function fo
r
4
coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oolaege
gen_fun::H
a
damard
_
product:
a
pply parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
e
n_fun::substitu
t
e: o
n
ly pass in t
r
ans
f
o
rmation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolaege
s
c
arf
.
cc: support more cases of 3 (i
n
depende
n
t
) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
Verdoolaege
scarf
.
c
c
: sup
p
ort
m
ore cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc:
a
d
d gen_fun::
d
ivide m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolae
g
e
genfu
n
.
cc: an
o
ther gen_
f
un::summate metho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolae
g
e
infinite_icou
n
ter
:
an
i
ncremental counte
r
for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoola
e
ge
icou
n
ter: m
o
ve
f
r
o
m
b
arvinok
.
cc to red
u
cer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdo
o
laege
bfen
u
mer
a
t
o
r::set
_
factor: plug small
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olae
g
e
b
arvinok_en
u
merate_union_series: use g
e
n_
f
un::
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
o
o
laege
genf
u
n
.
cc: add gen_fun:
:
summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen_fun::Ha
d
a
m
ard_p
r
oduct: optimize com
p
utati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun::Hadam
a
r
d_product: make first a
r
gument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
p
o
lar_decompose
r
::decompose:
make sure ver
t
ices
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
o
o
l
aege
np_base: ad
d
d
o_vert
e
x_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
g
e
n
_fun::
p
rint: allow p
r
inting to
stre
a
m
s
other t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
bfcounter
.
c
c: move some more code
f
rom
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
g
en_fun
.
h
:
short_rat: use QQ inst
e
ad of pair
o
f ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
NTL_QQ
.
cc:
a rational
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
verif
y
_m
a
in
.
cc: small
m
emory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_series
:
move choic
e
of which gf
_
ba
s
e subclas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barv
i
nok
.
cc
:
move some
functio
n
ali
t
y in
t
o separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
bar
v
i
n
ok
.
cc: move Polyhedron argument
to s
t
art method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barv
i
no
k
.
cc: move start and handle_polar i
n
to np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add shift m
e
th
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen
_
fu
n
: add copy constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
d
oo
l
aege
zz2values
:
mak
e
fi
r
st argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: ma
k
e first
a
rgume
n
t const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedron_is_infinite: use
P
ol
y
hedron_Sample if availabl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolaege
p
olyhedr
o
n_sa
m
p
l
e:
c
omputes a
n
integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ver
d
oolaege
conf
i
gure
.
in
:
check
f
o
r
g
l
pk
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
V
e
r
doolaege
scarf
.
cc: sim
p
lex::shrunk_p
o
lyh
e
dron:
only process
.
.
.
commit
|
commitdiff
|
tree
next