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
bfcounter.h: undefine divide from polylib's arithmetique.h
2006-08-26
Sven Verdoola
e
g
e
bfcounter
.
h: undefin
e
divide fr
o
m polylib'
s
ari
t
hme
t
ique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
Verd
o
olaege
config
u
re
.
in: no lon
g
er compile shar
e
d libra
r
ies b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verd
o
olaege
README: reflect that --e
n
able-fractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
lexmin
:
re
m
ove duplicate
unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
g
e
n_fun::Ha
d
amard_prod
u
c
t
: use unoptimiz
e
d version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolae
g
e
barvi
n
ok_serie
s
: per
f
o
rm backsubstitutio
n
al
s
o i
f
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
barvinok_enumerate_union_
s
eries: c
a
ll core of barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoolaege
util
.
c
: remove_equa
l
ities_p: corr
e
ct check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
d
o
olaege
gen_f
u
n: set context in
no varia
b
les c
o
n
structor
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
g
en_f
u
n::Hada
m
a
r
d_pr
o
duct: don't ass
u
me equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n Verdoolaege
ba
r
vino
k
_
union: take context int
o
acco
u
nt
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
pol
y
t
o
pe_scan: optionally skip basi
s
reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
lytope_scan: scan
in redu
c
ed basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
laege
poly
t
ope_scan: scans t
h
e
i
nteger points in
a pol
y
to
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdo
o
l
aeg
e
i
n
st
a
ll NT
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduction
.
c
: clean up GLPK me
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Verdo
o
lae
g
e
lexmin
.
cc: don't bother
t
ransforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doo
l
aege
lex
m
in
.
cc: fix
u
s
e of compres
s
_par
m
s
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoola
e
g
e
sample
.
c: fix rem
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvi
n
ok_count: clean up memor
y
aft
e
r
simpli
f
yin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
README:
upd
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdool
a
ege
only perform lexmi
n
t
e
sts
w
h
en lexmin ha
s
b
een compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
s
o
me more tests with
u
nbounde
d
po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
add some small tests for
lexmi
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
a
ege
lexmin:
b
a
rf when
poly
h
edron contains l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
lexmin: do
n
't print solut
i
on
when veri
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
e
r
doo
l
aege
veri
f
y
_main
.
cc: c
l
ean
up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
la
e
ge
barvinok_series: han
d
le f
i
xed polytope
s
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verd
o
olaege
ge
n
_fun: add constru
c
to
r
for generating
f
u
n
ction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
c
c
:
re
m
ov
e
_
more_equalities: ha
n
dl
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
gen_fun::coefficien
t
:
r
es
e
t the number of ro
w
s in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmi
n
.
cc:
use remove_eq
u
al
i
ties consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
util
.
c: co
m
p
ress_var
i
ables
:
extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
lexmin:
don't ch
e
ck
a
nything i
f
given range lies ou
t
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_equalities; take preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
Verd
o
o
la
e
ge
lexmin
.
cc: r
e
move
_
equalities: exte
n
d
r
eturned ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoola
e
ge
l
e
xmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
cc: remo
v
e
s
ome debugging resi
d
ues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
r
e
duce_doma
i
n: compute convex union
o
f domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolae
g
e
lexmin
.
cc: i
n
_dom
a
i
n
: also
c
heck oth
e
r parts of
u
nion
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
: in_domain: set values if c
o
nstr
a
ints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laege
le
x
min: plug
s
o
m
e me
m
ory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
V
er
d
oola
e
ge
l
e
xmin: an experimental tool for
c
o
mputing the para
m
et
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add
f
dst
r
eam
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c: floor2f
r
ac_r: plug mem
o
ry
lea
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doola
e
ge
ba
r
vinok
.
c
c: unfringe:
work in
c
re
m
en
t
ally
commit
|
commitdiff
|
tree
2006-08-06
Sven V
e
rdoo
l
aege
e
v
alue_frac2flo
o
r_in_do
m
ain: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
lyhedron_Sample: al
l
ow eq
u
a
l
ities i
n
input polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Polyhedron_S
a
mple:
m
ake sure vertices are avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
doola
e
g
e
Polyhedron_
S
ample:
simpl
i
fy constrai
n
t
s after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
P
ol
y
h
e
d
ron
_
Sample: handle e
m
pt
y
and 0D
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdool
a
eg
e
s
a
mple
.
c: alter
n
ative imp
l
emen
t
ation
of
r
emove_
r
ay
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
l
a
ege
s
a
mple
.
c
:
P
o
ly
h
edron_Remov
e
Fi
x
edColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
lae
g
e
barv
i
n
o
k
_count_f: c
h
eck
w
hether polyhed
r
on is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
b
a
rvinok_count:
s
i
mplify constra
i
nts after remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaege
red
u
ced
_
basis
:
support 1D polyt
o
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oolaege
reduced_basis: ensure all
LP solu
t
ions
a
re non
-
negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoo
l
aege
occ: p
r
int
para
m
etr
i
c vertices
o
f se
t
u
s
ing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdool
a
ege
o
c
c
: add interface to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Ver
d
oo
l
aege
u
til
.
c: provide du
m
m
y
b
a
r
vinok_l
e
x
s
maller_ev w
h
en LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
4coins:
c
omputes genera
t
ing fu
n
ction for 4 coin Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
en_fun::H
a
damar
d
_
p
roduct:
apply parameter
c
om
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoola
e
ge
gen_fun::substit
u
te
:
only pass in tr
a
nsformati
o
n m
a
tr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
ool
a
ege
scarf
.
cc: support more cases of
3 (independent)
constrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
sc
a
r
f
.
cc: support more cases
o
f 4 c
o
nstraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
g
enfun
.
cc: a
d
d
g
e
n_
f
un
:
:divid
e
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
Verdoolaege
genfun
.
c
c
: anoth
e
r
g
en_fun::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
in
f
inite_icounter: a
n
increme
n
tal counter
for p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ico
u
nter: move from ba
r
vi
n
ok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verd
o
olaege
bfenum
e
rator
:
:
s
et_factor:
plug
small memo
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
a
rvin
o
k_enu
m
e
r
ate_union_series: use gen_fun
:
:s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
genfun
.
cc:
a
d
d
g
e
n_fun::summate
m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
gen_fun::H
a
dam
a
rd_product: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen
_
fun::Hadamard_produ
c
t: ma
k
e first argument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
polar_decom
p
o
se
r
:
:d
e
co
m
pose: make sure ver
t
ic
e
s
h
a
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaeg
e
np_b
a
se: add do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::print: a
l
l
o
w printing to streams other th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
e
g
e
bfcount
e
r
.
cc: move
s
ome more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoo
l
aeg
e
gen_fu
n
.
h: short_rat
:
use QQ inst
e
ad o
f
pair of
Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdo
o
la
e
ge
NTL
_
QQ
.
c
c
: a rati
o
n
a
l NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
verify_
m
ain
.
cc:
small memory c
l
ean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_serie
s
: mo
v
e
choice of whic
h
gf_ba
s
e subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok
.
c
c: move some functionality i
n
t
o separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
barv
i
nok
.
cc:
m
ove
P
oly
h
edr
o
n ar
g
ument
t
o sta
r
t method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
bar
v
inok
.
cc:
m
ove start and
h
andle_pol
a
r
int
o
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
ge
n
_fun: add shift
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
laege
gen_fu
n
: add c
o
py construc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
zz2values: make first
argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
zz2value: make f
i
rst arg
u
ment cons
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaeg
e
Polyhedron_is_infinite: use
P
ol
y
h
e
dron_Sample i
f
a
vai
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
aeg
e
polyhedron_sample:
computes an i
n
teger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven Ve
r
doolaege
configure
.
in:
c
heck for glpk
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdo
o
laege
scar
f
.
cc: simplex::
s
h
runk_p
o
lyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
g
en
_
f
un
:
:add: perform
t
rivial re
d
uction s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
g
e
nfu
n
.
cc: re
o
rder term
s
in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verd
o
olaege
scarf
.
cc: no
r
malize_ma
t
rix: sim
p
lify n==3 ca
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: supp
o
rt some cases
o
f
4
c
onst
r
aints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
b
arvinok_enumerate_e: --print
-
all
fo
r
pri
n
ti
n
g al
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Verdo
o
l
a
ege
scarf
.
cc: normalize_matrix: simp
l
ify n==3
case
commit
|
commitdiff
|
tree
2006-07-10
Sv
e
n Verdo
o
laege
scarf
.
cc: pro
j
ect out 2 varia
b
les using Sc
a
rf complex
commit
|
commitdiff
|
tree
next