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
Merge branch 'master' into bernstein
2006-08-12
Sven V
e
rdoo
l
ae
g
e
Merge branch 'master' i
n
to bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdool
a
ege
only perform le
x
min tests
w
h
en lexmin ha
s
been compile
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some more tests with unbounded p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add s
o
me sm
a
l
l tests for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
r
d
oolaege
lexmin:
b
arf when polyhedron co
n
tains line
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
lexmin:
don't p
r
int
s
o
lution
when ver
i
fying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verd
o
olaege
v
e
rify_main
.
cc: clean up memor
y
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Verdoo
l
aege
Merge branch 'master'
i
nto b
e
r
n
stein
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
b
a
r
v
ino
k
_ser
i
es: handle
fixed polytope
s
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaeg
e
gen_fun: add constructor
f
or genera
t
ing fun
c
tion wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
cc: remove
_
mor
e
_
equal
i
t
i
es: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::
c
oefficien
t
: r
e
set the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
l
e
xmin
.
cc: use remo
v
e_equalities
c
onsisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
u
til
.
c
: compress_variab
l
es: extract
e
d from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoo
l
aege
lexmin: don
'
t
check any
t
hing if
giv
e
n range lies o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
remove_
e
quali
t
ies; take p
r
e
image
with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lex
m
i
n
.
cc: r
e
m
o
ve_equ
a
l
i
t
i
e
s: e
x
tend returne
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolae
g
e
lexmi
n
.
cc: i
n
_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
cc:
r
emove some
debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoolaege
reduce_domain: compute
c
onvex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exm
i
n
.
cc:
in_domain:
a
ls
o
check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lexmin: in_do
m
ain: set
v
a
lues if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
olaege
lexmin: pl
u
g some memory l
e
aks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaeg
e
lexmin: an experimental tool for c
o
mpu
t
ing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
add f
d
stream
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdo
o
la
e
ge
evalu
e
.
c: floor2f
r
ac_
r
: plug
memor
y
l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verd
o
olaege
barvinok
.
cc: unfringe
:
w
or
k
incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
evalue
_
frac
2
f
loor_in_do
m
ain:
p
lug memory
l
ea
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_S
a
mp
l
e
: a
l
l
ow
eq
u
alit
i
es in
input
poly
h
edr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolae
g
e
Poly
h
edr
o
n
_
Sa
m
p
l
e: make sure
v
e
rtices are
a
vail
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron_Sampl
e
: s
i
mplify const
r
a
i
nts after choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
lyhedr
o
n_Sa
m
ple: h
a
ndle empty a
n
d 0D
po
l
y
hedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sample
.
c
: alter
n
ati
v
e implementatio
n
of
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
s
a
mple
.
c: Polyhedron_R
e
moveFixedColumns:
handle presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
bar
v
inok_
c
ount_f:
c
heck whether
polyh
e
d
r
on
i
s
u
n
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Ve
r
dool
a
ege
barvinok_count: simplify con
s
tra
i
nts af
t
e
r
re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
erdool
a
eg
e
reduced_bas
i
s: support 1D
p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
reduced_basis: ensure
a
ll LP sol
u
tio
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoolaege
Merge branch
'
master' into berns
t
ein
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdoolaege
occ:
print
parametric vertices of
set using
PolyLib
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdo
o
l
a
ege
occ: allow
p
olyno
m
ials in bernstein maxi
m
ization
to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
e
r
doo
l
ae
g
e
Merg
e
br
a
nc
h
'master'
i
nto ber
n
stein
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolaege
occ: ad
d
interface t
o
barvinok_lexsmaller_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
doolaege
util
.
c: pro
v
i
d
e dummy barvinok_l
e
xsmalle
r
_e
v
w
h
en LexS
m
aller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
4coins: computes generating functi
o
n
f
or 4
c
oin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
g
e
n_fu
n
::
H
adam
a
rd_p
r
oduct
:
apply
para
m
eter
c
o
mpression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
gen_fu
n
::substitute: only p
a
ss in transformat
i
o
n
matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Ver
d
oolaeg
e
s
c
arf
.
cc: su
p
port more cases o
f
3
(independent) co
n
s
t
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olae
g
e
scarf
.
cc: support more cases o
f
4 cons
t
rai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
genfun
.
cc: add gen_
f
un::di
v
ide
method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
l
aege
genfu
n
.
cc: another gen_fun::
s
umma
t
e
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoolaeg
e
infinite_icount
e
r
:
an incremen
t
al
co
u
nter for poss
i
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
icounter: move from b
a
rvin
o
k
.
cc to r
e
ducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
b
f
enumer
a
tor
:
:set_
f
actor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
barvin
o
k_e
n
umerate_union_se
r
i
e
s: use ge
n
_fun::s
u
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add gen_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
ge
gen
_
fun::Hadamard_product: optimi
z
e
c
omputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
gen_fun::Had
a
mard_product: make first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
polar_decompo
s
er::decompose
:
make sure vertices h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdo
o
laege
np_base: a
d
d do_vertex_cone m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::print: al
l
ow printing
t
o streams other
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
bfcount
e
r
.
cc: move
s
ome
more code f
r
om
bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
ae
g
e
gen_fun
.
h: short_rat: use QQ instead
of p
a
ir o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
NTL
_
QQ
.
cc: a
r
at
i
onal NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
ve
r
i
f
y
_
main
.
cc: small memor
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
o
o
laege
barvino
k
_series: mov
e
choice
o
f which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdo
o
laege
barv
i
nok
.
cc: move some functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
barvinok
.
c
c: move Polyhedr
o
n argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
b
a
rvino
k
.
cc: move start and handle_
p
olar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdo
o
laege
g
e
n
_fu
n
: add shift meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
g
en_fun: add
c
o
py constru
c
to
r
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
zz2values: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
ool
a
ege
zz2value:
m
ake
f
irst argument con
s
t
commit
|
commitdiff
|
tree
2006-07-20
S
v
en Verd
o
o
laege
P
olyh
e
dron_is_in
f
in
i
te: use Po
l
yhed
r
on_Sample
if ava
i
lable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoola
e
ge
pol
y
hed
r
on_sa
m
p
l
e: computes an integer vector i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
v
en Verdoolaege
c
onfigur
e
.
in: check for glp
k
commit
|
commitdiff
|
tree
2006-07-13
S
ven
Verdoolaege
scarf
.
cc: s
i
mplex::shrunk_poly
h
edron
:
on
l
y
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oola
e
ge
gen_f
u
n::add: p
e
rform trivial red
u
c
t
i
o
n
s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
r
d
o
o
laege
g
e
nfun
.
cc
:
reorder te
r
ms in n
u
mer
a
t
or
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolae
g
e
scarf
.
cc: no
r
malize_
m
atrix
:
s
i
mplify
n
==3 case
s
ome
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
scarf
.
cc: suppor
t
some
c
ases
o
f
4 constra
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumerate_e: -
-
print-all for p
r
int
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoola
e
ge
scarf
.
cc: normalize_matrix: simpl
i
fy n=
=
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project out 2
varia
b
les usi
n
g Scarf
c
omplex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n
V
erdoolaege
util
.
c: export Exte
n
ded_Eu
c
lid
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
Verdo
o
laege
conf
i
gure
.
i
n
:
m
ake --enable
-
fractional
t
h
e
defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
bar
v
in
o
k_count:
c
h
e
ck whether
unbo
u
nded polyhedra ac
t
u
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
doolaege
polymake/configure
.
in: allow sp
e
cificatio
n
of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
redu
c
e_do
m
ain: de
c
lare v
a
riab
l
e a
t
start of code blo
c
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoolaege
remove_equalities: stop
r
emo
v
inf equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
bar
v
inok_count: stop c
o
unting if first
f
acto
r
i
s em
p
ty
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdo
o
laege
barvinok_count_f: c
h
e
c
k for e
m
ptiness
o
f P
(
again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok
_
coun
t
: tell Pol
y
Lib we are only inte
r
es
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sv
e
n Verdoolaege
Merge branch 'maste
r
'
into b
e
rnstein
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
R
E
ADME
:
document optional
installat
i
on of
O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
doc: document Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
do
c
: (minimally) docu
m
ent polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Verd
o
olae
g
e
doc:
f
urther document bar
v
inok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
cume
n
t barvinok_union
commit
|
commitdiff
|
tree
next