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
lexmin.cc: don't bother transforming if compress_parms returns a translation
2006-08-13
Sv
e
n Verdoolae
g
e
le
x
min
.
c
c:
d
on't bother transforming if
c
ompress
_
p
arm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
l
a
ege
lex
m
in
.
cc: fix use
o
f compres
s
_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
sam
p
le
.
c: fix r
e
move
_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
barvinok_cou
n
t
: clean up m
e
m
ory a
f
t
er simpli
f
yi
n
g
constr
a
ints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ola
e
ge
README: updat
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ver
d
oolaege
only
perform lexmin tests w
h
en
lexmin has been co
m
piled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
la
e
ge
some more tests with u
n
bo
u
nded poly
h
edr
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add
some smal
l
t
e
sts for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmi
n
:
b
arf when polyh
e
dron co
n
tains l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
lexmin: don't
p
ri
n
t solution
whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erdoo
l
a
e
ge
v
erify_m
a
in
.
cc: c
l
ea
n
up memory
commit
|
commitdiff
|
tree
2006-08-10
S
v
en V
e
rdoolaege
barvinok_series: handl
e
fixe
d
polyt
o
p
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdo
o
laeg
e
gen_fun: add constructo
r
for ge
n
eratin
g
function
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
b
a
rvinok
.
cc: remo
v
e_more_equalities:
handle equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
gen_fun::coefficient: reset the num
b
er of rows i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
le
x
m
in
.
cc: use remov
e
_
e
qualiti
e
s consisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
util
.
c: compres
s
_var
i
abl
e
s: ex
t
r
a
cted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolae
g
e
le
x
min
:
don't check anyt
h
ing
if giv
e
n rang
e
lies o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: rem
o
ve_
e
qua
l
it
i
es; take p
r
eimage wi
t
h
r
etur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
V
e
rdoola
e
ge
lexmi
n
.
cc: r
e
move_equalities: exten
d
return
e
d matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
c
c
: i
n
_domain: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
r
em
o
v
e
some debug
g
ing
residues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
erdoolaege
reduce_domain: compute convex union
o
f
do
m
ain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaeg
e
l
e
x
min
.
cc: in_domain
:
a
lso chec
k
other
parts
o
f union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: in_domain: set values if constraints
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Ve
r
do
o
l
a
ege
l
ex
m
i
n
:
p
lug
s
ome
mem
o
ry
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
ol
a
ege
lexmi
n
: an
experime
n
tal to
o
l for computing the parametri
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
evalue
.
c: floor2frac_r: pl
u
g
memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
b
a
r
vinok
.
c
c: un
f
rin
g
e: work in
c
rementall
y
commit
|
commitdiff
|
tree
2006-08-06
S
v
en Verdoolaege
evalue_frac
2
floor_in_d
o
main: p
l
ug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Polyhedron_Sample: allow equalities
i
n
input polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
doolaege
Polyhedron_Sa
m
ple: make su
r
e ver
t
ices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
oolaege
Polyhedron_Sample: simplify con
s
t
r
a
ints
a
fter choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaeg
e
Pol
y
h
e
dron_Sample: han
d
le e
m
pty and 0D polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n V
e
rdoo
l
aege
samp
l
e
.
c: altern
a
t
ive implementation of remove_
r
a
y
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sam
p
le
.
c:
P
o
lyhedron_Rem
o
veF
i
xe
d
C
o
lumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
barvinok_
c
ount_f: check wh
e
ther pol
y
hedron is unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
b
a
rvinok_c
o
unt: simpl
i
fy
constraints a
f
ter removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
doolaege
r
educed_basis: supp
o
rt 1D
p
olytope
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
reduc
e
d_basi
s
: ensure
a
l
l
LP solut
i
ons
a
re non-ne
g
ative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
oolaege
occ: pri
n
t parametric vertices
o
f
set using
P
ol
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoola
e
ge
occ: add
interfac
e
to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
util
.
c: provide dummy b
a
r
vinok_lexsmaller_e
v
wh
e
n L
e
xS
m
a
l
le
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
4
c
oins: comp
u
tes gene
r
ating fun
c
tion f
o
r 4 coin
F
robeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
Ver
d
oolaege
g
en_fun::Hadamard_product
:
apply parameter com
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
e
n
_
fun
:
:substi
t
ute: only pass in transform
a
tion
matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoo
l
aege
scarf
.
cc: su
p
port mo
r
e cases of
3 (inde
p
endent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
sc
a
rf
.
cc: su
p
por
t
more ca
s
es of 4 co
n
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
genfun
.
cc: add ge
n
_fun:
:
d
ivide method
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaeg
e
g
enfun
.
cc: another gen_fun::summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoolaeg
e
i
nfinite_ic
o
unter: an in
c
reme
n
tal co
u
nter for
possi
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n
V
e
r
d
o
ola
e
g
e
icounter: mo
v
e from barvinok
.
cc to reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoo
l
aege
bfenumerator
:
:set_factor: plug s
m
a
l
l me
m
ory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_enumerate_union_se
r
i
e
s
: use
g
en_fun::sum
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoola
e
ge
genfun
.
cc: add gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolae
g
e
ge
n
_
f
u
n::Hadamard_product: opt
i
mize c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
ge
n
_fun::Ha
d
ama
r
d_product:
make first arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oo
l
aege
polar_decomposer::decompose: ma
k
e su
r
e vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdool
a
e
g
e
np_ba
s
e
:
a
dd do_
v
er
t
ex_cone meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
g
e
n_fun::
p
r
int: allow
printing to st
r
eams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
bfc
o
un
t
er
.
cc:
m
ove some more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ve
r
doolaege
g
e
n_fu
n
.
h
:
short
_
rat:
u
se QQ instead of pair
of
Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
NT
L
_
QQ
.
cc: a ra
t
ional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
oolaege
v
e
rify
_
mai
n
.
cc
:
small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oola
e
ge
b
a
r
vinok_se
r
i
es:
m
ove choice of which gf
_
base
subcl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
doolaege
ba
r
vinok
.
cc: move some
f
unc
t
ionality into s
e
p
a
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
aeg
e
barv
i
nok
.
cc: move Polyhedron arg
u
ment to st
a
rt meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok
.
cc: move s
t
a
r
t a
n
d
h
andle_polar i
n
to np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoo
l
aeg
e
g
e
n_fun: add shift met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add
c
o
py
c
onst
r
u
ct
o
r
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
z
z
2values: mak
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
z
z
2value: m
a
ke
first
a
r
g
ument
c
onst
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolaege
Polyhedr
o
n_is_infini
t
e:
u
se Polyhe
d
ro
n
_Sample if avai
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
aege
polyhedron_sample:
c
o
m
p
utes an integer vector
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sve
n
Verdoolaege
configure
.
in: che
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
scar
f
.
cc:
s
implex::shr
u
nk_polyhedron: only p
r
ocess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
gen_fun::a
d
d: perform trivial reduct
i
on s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc
:
reor
d
er terms in n
u
merator
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
Ver
d
oolaege
scarf
.
c
c:
n
o
r
mali
z
e_matrix: simplify n==3 ca
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
sc
a
rf
.
cc: support
s
o
m
e cases of 4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
barvinok_enumerate_e
:
--print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
scarf
.
cc: norm
a
lize_matrix: s
i
mp
l
ify
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
erdo
o
lae
g
e
scarf
.
c
c
: pro
j
ect out 2 va
r
i
a
bles
using Scar
f
c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sven
Verdoolaege
util
.
c: export Extended_E
u
cli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
configure
.
i
n
:
make --en
a
ble-fr
a
ctional the defa
u
lt
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolae
g
e
bar
v
i
nok
_
cou
n
t: c
h
eck whether unbounded polyh
e
dra
actual
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/con
f
igure
.
in: a
l
low specificati
o
n o
f
locat
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
reduce_do
m
ain:
d
ecl
a
re vari
a
b
l
e at start of code b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
r
e
move_equalities: stop removinf equalities i
f
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en V
e
rdoolae
g
e
barvinok_count
:
sto
p
cou
n
ting if first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
d
o
olaege
b
a
r
v
ino
k
_count_f: ch
e
ck for emptiness of
P
(again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
arvinok_count: tell
PolyLib we are only in
t
e
r
ested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
ve
r
sion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
README
:
document opt
i
onal installat
i
on
of Ome
g
a a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: docu
m
en
t
Omega inte
r
face
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdoolaege
doc: (
m
inim
a
lly) document polymake clie
n
t
s
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdool
a
ege
doc
:
further docum
e
nt barvinok_ehrh
a
r
t
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdoolaege
do
c
u
m
ent barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Ve
r
doola
e
ge
d
oc: documen
t
barvinok_ehrhart
commit
|
commitdiff
|
tree
next