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
omega/polyfunc.cc: maximize: simplify domain before printing
2006-08-12
Sven
Ver
d
o
olaege
ome
g
a
/
pol
y
f
u
n
c
.
c
c: maximize: simpli
f
y domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoo
l
a
ege
omega/parser
.
y: c
r
eate new
v
ariableM
a
p
f
o
r
e
ac
h
p
o
lyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
omega/par
s
er
.
y: free m
a
ll
o
c
'
e
d
memory (instead of
delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
erdo
o
laege
Merge b
r
anch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only
p
erform lexmin te
s
t
s
when l
e
xmi
n
has be
e
n compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some
m
o
r
e tests wi
t
h unbounded
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdoolaege
add some small tests f
o
r
le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdool
a
ege
lexm
i
n: barf when polyhedron co
n
tains line
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verdoolaege
lexmin:
do
n
't print
so
l
ution
w
he
n
verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaege
v
e
rify
_
main
.
cc: clean up me
m
o
r
y
commit
|
commitdiff
|
tree
2006-08-11
S
ven
Verdoolaege
Merge
branch 'master'
i
nt
o
bernste
i
n
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
barvinok_series
:
handl
e
fixe
d
poly
t
opes
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
g
e
n
_fun: a
d
d construc
t
or for generating functio
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
barvi
n
ok
.
cc: remove_
m
ore_equa
l
ities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdo
o
l
a
ege
gen_fun::coeffic
i
ent: reset the nu
m
ber o
f
r
o
w
s
i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexm
i
n
.
cc: use remove_eq
u
alities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_v
a
riables: ex
t
rac
t
ed from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdo
o
laege
lexmin:
don't check anything if given ra
n
g
e
lie
s
o
utside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n V
e
rdoolaege
lexmin
.
cc: remove
_
equalities;
take prei
m
age with
r
etu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
cc: remove_equalities:
e
x
tend re
t
urned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
lexmin
.
cc: in_domain: fix
t
y
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remo
v
e som
e
debuggi
n
g residues
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
r
e
duce_domain: compute c
o
nvex union
of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
rdoolaeg
e
lexmin
.
cc: in_domain: also ch
e
ck oth
e
r p
a
rt
s
of uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
le
x
mi
n
: in_do
m
ain: set v
a
lu
e
s
i
f cons
t
r
a
ints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug
s
ome me
m
or
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
do
o
laege
lexmin: an
e
x
perime
n
t
a
l tool fo
r
computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ve
r
doola
e
ge
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
e
v
alue
.
c: floor2frac_r: p
l
u
g
m
e
m
ory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvi
n
ok
.
cc:
unfringe
:
w
o
rk increme
n
tally
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verdo
o
laege
evalue
_
f
rac2floor_in_do
m
ain: plug
memory l
e
ak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
Po
l
yhedron_Sample: a
l
low equali
t
ies
in
input polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
d
oolaege
P
o
lyhedron_Sample:
make sure vertices a
r
e avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
l
y
hedron_
S
ample: simp
l
ify constraint
s
a
fter
c
ho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhedro
n
_
S
ample:
ha
n
dl
e
empty an
d
0D
poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdool
a
ege
sample
.
c: al
t
ernative
i
mplem
e
ntation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdoolaege
sample
.
c: Polyhedron_R
e
moveFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
barvinok_count_f: c
h
eck
w
hether polyhedron is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
rd
o
olaege
barvi
n
ok_co
u
nt:
s
implif
y
c
o
nstra
i
nts
a
fter remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
r
educe
d
_basis:
s
upport 1D
p
olyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
d
oola
e
g
e
reduced_basis:
ensur
e
all LP solution
s
ar
e
non-n
e
gative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verd
o
o
laeg
e
Merge branch 'master' into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoolaege
o
c
c:
print parametric ver
t
ices of se
t
u
s
ing Po
l
yLib
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdool
a
ege
occ: allow polynomials i
n
bernst
e
in maximi
z
atio
n
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
e
rdoolaeg
e
Merge branch 'master' int
o
bernstein
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Verdoolaege
occ: add interface
t
o b
a
r
vinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verdoolaege
util
.
c: provide
d
um
m
y barv
i
n
o
k_lexsmaller_ev when LexS
m
aller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
r
doolaege
4
c
oins: computes
g
enerating function for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::Ha
d
amard
_
product: apply parameter comp
r
essio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
gen_fun::subst
i
tute: on
l
y
pas
s
in transformation ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
V
e
rdoolaege
s
carf
.
cc: sup
p
ort more cases of 3
(independen
t
) c
o
n
st
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaeg
e
sc
a
rf
.
cc: support more ca
s
es of 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
S
ven
Verdoolaege
genfu
n
.
cc:
a
dd ge
n
_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doo
l
aege
g
e
nfun
.
cc: a
n
o
ther gen_f
u
n
:
:summate metho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
ege
infinite_
i
counter: an
incremental counter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
i
c
ounter
:
m
o
ve from
barvinok
.
cc
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ve
r
doolae
g
e
b
f
enumera
t
or::set_f
a
ctor:
p
lug small me
m
ory lea
k
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
b
arvinok_enumera
t
e_un
i
o
n_series: use gen_fun::summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
f
un
.
cc: add gen
_
f
u
n
:
:
s
u
mmate met
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fu
n
::Hadamard_product: optimize c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
do
o
l
a
ege
gen_
f
un::Had
a
mar
d
_product: ma
k
e first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
polar_decomposer::d
e
compose: make sure vertice
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
np
_
base: add do_vertex
_
c
o
n
e method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun:
:
print: a
l
low printin
g
to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaege
bfcounter
.
cc: mov
e
some mor
e
c
o
de fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
gen_fun
.
h
: s
h
ort_rat: u
s
e QQ
instea
d
of
pa
i
r of
Z
Zs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
NTL_QQ
.
c
c
:
a
ration
a
l NT
L
type
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
ve
r
ify_main
.
cc: sm
a
ll
m
emor
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
e
g
e
bar
v
inok_ser
i
es: move
choice of whic
h
gf_ba
s
e subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
b
arvinok
.
cc:
m
ov
e
some f
u
nctio
n
a
lity into separa
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
barvinok
.
c
c
: move Pol
y
hedron
a
rgum
e
nt
t
o start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: mov
e
s
tart
and handl
e
_polar into n
p
_
base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add shift
m
eth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: ad
d
copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdoolaege
zz2
v
a
l
ues:
m
ake first a
r
gument con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
zz2v
a
lue: mak
e
f
irst argument const
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
Po
l
y
hedron_is_i
n
f
inite: use Polyhedro
n
_Sample
if availabl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n
Verdoolaege
p
olyhedron_sample: computes an
i
nteger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
Verdoo
l
aege
configure
.
in:
c
heck fo
r
glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex:
:
shrunk_polyhe
d
ron: onl
y
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
gen_fun::add: perform trivia
l
reduction step
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
genfun
.
cc: reorder terms i
n
numer
a
tor
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdool
a
ege
s
c
arf
.
cc: nor
m
alize_
m
at
r
ix:
s
implif
y
n==3
ca
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c
:
s
upport some c
a
s
e
s of
4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
V
erdoolaeg
e
barvino
k
_en
u
merate_e: -
-
print-all for printing a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ver
d
oolaege
scarf
.
cc:
n
o
rm
a
lize_matrix: sim
p
lify
n=
=
3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
erd
o
o
laege
sca
r
f
.
cc: proj
e
ct out 2
variables using Sc
a
rf c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoolaege
util
.
c: expor
t
Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
con
f
igure
.
i
n: make --ena
b
le-
f
racti
o
nal the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
oo
l
a
ege
barvinok_count: check whethe
r
unbounded polyhe
d
ra
a
ctually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
ol
a
ege
polymake
/
configure
.
i
n: allow s
p
ecificatio
n
of lo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en
V
e
rdoolaege
reduce_
d
omain: declare variable at
start
o
f co
d
e block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
r
e
mov
e
_
equa
l
ities: stop
removi
n
f
eq
u
alities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoo
l
aege
barvino
k
_c
o
un
t
: stop counting if first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
do
o
laege
barvinok_c
o
unt_f: check f
o
r emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
Verdoola
e
g
e
barvi
n
ok
_
coun
t
: te
l
l PolyLib we are only
i
n
terested
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven Verdoolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oola
e
g
e
v
e
rsion 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
README: document
o
p
t
io
n
al ins
t
allation of
O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
doc: docume
n
t
Omega interface
commit
|
commitdiff
|
tree
next