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_count: clean up memory after simplifying constraints
2006-08-13
Sven Verdoolae
g
e
barv
i
nok
_
co
u
nt
:
clean up memory aft
e
r simpl
i
fying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolae
g
e
README
:
upda
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
on
l
y perform
lexmin tests when
l
ex
m
i
n
has
b
een compiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
some more tests with unbounded
p
o
lyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoo
l
aeg
e
add
s
ome
s
m
a
ll tests for
lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
lexmin:
b
arf wh
e
n polyhe
d
ron contain
s
lin
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
l
exmi
n
: do
n
't print solution when verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Ve
r
doolaege
verify_main
.
c
c: cle
a
n
u
p
m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
barvinok_se
r
ies: h
a
ndle fix
e
d
po
l
yt
o
p
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoo
l
ae
g
e
g
e
n_fun: add constructor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verd
o
olae
g
e
barvinok
.
cc:
remove_more_e
q
ualities: handl
e
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
rdoolaege
g
e
n_fun::coef
f
i
c
ient: reset
t
h
e nu
m
be
r
o
f rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
l
e
xmin
.
cc:
u
s
e
remove_equal
i
ties cons
i
s
t
ent
l
y
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdo
o
laeg
e
util
.
c: com
p
ress_v
a
ria
b
les: extract
e
d from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoola
e
ge
lexmin: don't
c
h
e
ck anything if given range li
e
s outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
cc: remove_equa
l
ities; take preima
g
e with re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oola
e
ge
lexmin
.
cc:
remove_e
q
ualities: extend returned
m
atr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain: fi
x
typo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verd
o
olaege
lexm
i
n
.
cc: remove some debugg
i
n
g res
i
due
s
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdoolae
g
e
reduce_d
o
main: comput
e
convex uni
o
n
o
f domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdool
a
ege
lexmin
.
cc: in_do
m
a
i
n: also check other part
s
o
f
uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n: in_
d
omain: set
v
al
u
es if cons
t
raints
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
erdoolaege
l
exmin: plu
g
some
memory l
e
a
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Ve
r
doolaege
le
x
min: a
n
experimental
tool for compu
t
i
n
g the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
V
e
r
doolaeg
e
add fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
evalue
.
c: floor2frac_r: plug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoo
l
aege
b
a
rvin
o
k
.
cc: unfrin
g
e: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven V
e
rdoo
l
aege
evalue_frac2floor
_
in_doma
i
n: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdo
o
laege
P
olyh
e
dron_Sam
p
le: al
l
o
w
equalit
i
es in inpu
t
p
o
l
yhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Po
l
yhedr
o
n_Sam
p
le: make
s
ure vertices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdoo
l
aege
P
o
lyhed
r
on_
S
a
mple
:
simplify const
r
aints after cho
o
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoola
e
ge
Polyhedr
o
n_Sample:
h
andle empty and 0D poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
sampl
e
.
c: alte
r
native
i
m
p
l
ementation
o
f remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoo
l
aege
sa
m
ple
.
c: Polyhedr
o
n_RemoveFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
barvinok_count_f: check whet
h
er polyhe
d
ro
n
is unbound
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olae
g
e
barvinok_coun
t
:
s
implify
c
onstrain
t
s a
f
ter removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
doo
l
aege
reduced
_
bas
i
s: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
r
e
duced_basis: en
s
ure a
l
l LP s
o
lution
s
are non
-
negat
i
ve
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
V
e
r
d
o
olaege
occ: print parametric vertic
e
s of set u
s
ing
Poly
L
ib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
aege
occ
:
ad
d
inte
r
face t
o
b
a
rv
i
nok_lexsm
a
ller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Verdoolae
g
e
u
t
il
.
c
:
pr
o
vid
e
dummy barvinok_lexsma
l
ler_ev
w
h
en Lex
S
maller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdool
a
e
g
e
4coins:
c
omputes ge
n
erating
f
u
nction for 4
c
oin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ve
r
doolaege
gen_fun::Ha
d
amard_pro
d
uct:
a
pply parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
ge
n
_f
u
n::s
u
bsti
t
ute: only pass in transforma
t
i
on matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoola
e
g
e
s
c
arf
.
cc
:
support more cases
of 3 (ind
e
penden
t
) co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
Verdoolaege
scarf
.
cc: su
p
port more c
a
se
s
of
4
const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
g
enf
u
n
.
cc: add gen_fun:
:
d
ivid
e
meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
gen
f
un
.
cc: an
o
ther gen_fun::su
m
mate
m
eth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
d
oolaege
infinite_icounter: an incremental counter for
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
ico
u
nter: move from ba
r
vinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
bf
e
numerat
o
r
::set_factor: p
l
ug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
doolaege
barvinok_enumera
t
e_unio
n
_se
r
ie
s
: use
gen_fu
n
::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add g
e
n_fun::summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
g
en_fun::Hadama
r
d
_
product: opti
m
i
z
e
c
o
m
putation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaeg
e
g
e
n_fun::Hadamard_p
r
oduct: make
f
irst argument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doolaege
polar_decom
p
oser::
d
ecompo
s
e: make sure vert
i
c
e
s have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
lae
g
e
np_base: ad
d
d
o_verte
x
_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
ge
n
_fun::print: al
l
ow printing to
s
treams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcou
n
t
er
.
cc: move s
o
m
e more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
ege
gen_
f
u
n
.
h:
short_rat: use
Q
Q instead of pair
o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
NTL_QQ
.
cc: a rationa
l
NTL
t
ype
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
verify_m
a
in
.
c
c
:
s
mal
l
memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdool
a
ege
ba
r
vinok_serie
s
: move
choice of whi
c
h gf_ba
s
e
s
u
bcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
r
d
o
olaege
barvi
n
ok
.
cc: move some functionality into sep
a
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barv
i
no
k
.
cc: move
Polyhedron a
r
gumen
t
to st
a
rt method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
c
c: move start
a
n
d handle_
p
ola
r
into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add shift met
h
od
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
e
g
e
gen_fun:
a
dd co
p
y
constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
zz2values:
make f
i
rst argu
m
ent c
o
ns
t
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
zz2value: make f
i
rst
a
rgument c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Ver
d
oolaege
Po
l
yhedron
_
i
s
_
infinite:
u
s
e
Po
l
y
he
d
ro
n
_Sample if ava
i
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
polyhedron_sample: co
m
put
e
s an
i
nteger
v
ector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
v
en Verdoolaege
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ver
d
oolaege
scarf
.
cc: simplex::shrun
k
_polyhedro
n
: only p
r
o
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
e
r
doola
e
g
e
gen_fun::a
d
d:
p
erfor
m
trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
gen
f
un
.
c
c
: reorder terms
in
nu
m
erator
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
sca
r
f
.
cc: normalize_matrix: simplify
n==3 c
a
se some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
scar
f
.
c
c
: support some
c
ases of 4 constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
barv
i
nok_enumerate_e:
-
-print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
Verdoolaege
scarf
.
cc:
n
ormalize_mat
r
ix: sim
p
lify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verd
o
olaege
sca
r
f
.
cc:
p
ro
j
ect out 2 var
i
a
b
les using Scarf com
p
lex
commit
|
commitdiff
|
tree
2006-07-08
Sven Ver
d
oolaege
util
.
c: export Extende
d
_
E
u
clid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
co
n
fig
u
re
.
in: make --enab
l
e-fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdool
a
ege
barvinok_
c
ount: chec
k
whether un
b
oun
d
ed polyhedra act
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
er
d
oolaeg
e
p
ol
y
make/
c
onfi
g
ur
e
.
in: al
l
ow specification of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
reduce_domain: decla
r
e var
i
a
b
le at start of
c
ode block
.
commit
|
commitdiff
|
tree
2006-06-28
S
ve
n
V
erdool
a
ege
remove_
e
qu
a
lities: stop removinf equaliti
e
s
i
f
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven
Verdo
o
laege
barvino
k
_
count
:
s
t
op counti
n
g if firs
t
f
a
ct
o
r is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rvinok_count_f: che
c
k for emp
t
iness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoo
l
aege
barvinok_count: tell PolyLib we
are only interes
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoola
e
ge
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdool
a
e
ge
READM
E
: d
o
cu
m
ent optiona
l
installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: documen
t
Omega inte
r
fa
c
e
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdoolaege
doc: (
m
inimally) d
o
c
um
e
nt polymak
e
clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
oc: further document barv
i
nok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document barv
i
n
ok_union
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdo
o
lae
g
e
doc: do
c
ument bar
v
ino
k
_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoola
e
ge
doc: docum
e
nt some options
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
Verdoolaege
doc: add reference for N
T
L
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolae
g
e
doc: describe ve
r
t
ices
b
as
e
d input
s
p
ecif
i
c
a
tion
commit
|
commitdiff
|
tree
next