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
Sve
n
Verdoolaege
Merge br
a
nc
h
'ma
s
ter
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
only
p
erform lexmin tests when lexmin has been c
o
m
p
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
some
mo
r
e t
e
sts with
u
n
bounded polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add some sma
l
l tests
for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
le
x
min: b
a
rf when
p
olyhedron contains
line
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lexmin: don't print solution when
v
erifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
S
ven Verdoolaege
v
erify_ma
i
n
.
cc: clean
u
p memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
Merge branch 'mast
e
r
'
i
n
to bernste
i
n
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rd
o
ola
e
ge
barvino
k
_ser
i
es:
h
andle fixed
p
olyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olae
g
e
gen_
f
un: add constructor for generating f
u
nction wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
b
arvinok
.
cc: remove_m
o
re_
e
qualities:
h
andle eq
u
al
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::coefficient: rese
t
the number
o
f
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaeg
e
l
exmin
.
cc: u
s
e remo
v
e
_
equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdool
a
eg
e
util
.
c: compre
s
s_variables: extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
erdoolaege
lex
m
in:
d
on't ch
e
ck anythi
n
g
i
f given ra
n
ge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lex
m
i
n
.
cc: r
e
move_equaliti
e
s; take
preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmin
.
cc
:
remove_equalities: extend retur
n
ed m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ve
r
doolaege
lexmin
.
cc: in_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdool
a
e
ge
l
e
xm
i
n
.
cc: r
e
move some deb
u
gging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
r
e
d
uce_domain: compute convex union
o
f domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin
.
c
c
: in_domain: also
c
heck
o
ther parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoola
e
ge
lexmi
n
:
in_do
m
ain:
s
et v
a
lues if
constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug s
o
me memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaeg
e
l
e
xm
i
n: a
n
experimental tool for computing the p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoo
l
aege
evalue
.
c: fl
o
or2fra
c
_r
:
plug
m
em
o
r
y
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
V
erdoolaege
ba
r
vino
k
.
cc: unfringe: wo
r
k increme
n
tal
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven
Verdool
a
ege
eval
u
e
_
fr
a
c2floor_in_do
m
ain: plug memory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhedron_Sample: a
l
l
ow equalities in inp
u
t polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
edro
n
_Sample: make sure v
e
rtices are ava
i
l
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Samp
l
e: si
m
plify c
o
nstraints after c
h
oosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
Polyhe
d
ron_S
a
m
ple:
h
a
ndle empty and
0D pol
y
hed
r
a
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolae
g
e
sam
p
le
.
c: alte
r
n
a
tive im
p
lementa
t
ion
of re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
o
laege
sample
.
c: Polyhedro
n
_RemoveFixedColumns:
handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdoolaege
barv
i
nok
_
coun
t
_f
:
ch
e
ck wh
e
ther
pol
y
hedron is unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdo
o
l
a
ege
bar
v
inok_count:
simp
l
ify
const
r
aints afte
r
re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
l
aege
reduced_basis:
s
upport 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
reduced_basis: ensure
a
ll LP solut
i
o
n
s
a
r
e non-nega
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Ve
r
d
oolaege
Merg
e
branch
'
master
'
into b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
oolaege
occ
:
p
r
int parametric vertices of set usi
n
g P
o
l
y
Lib
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoolaege
occ: a
l
low po
l
yno
m
ia
l
s in bern
s
tein max
i
mization
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
M
e
r
g
e branch
'
mast
e
r' into bernst
e
i
n
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolae
g
e
o
c
c:
a
dd
interface to barvinok_lexsmal
l
er_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
u
til
.
c: provide d
u
mmy barvinok_lexsma
l
ler_ev
when LexSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: compute
s
g
enerating function for 4 co
i
n Fro
b
e
nius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
ge
n
_fun::Hadamard_product:
a
pp
l
y
p
a
rameter compres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
g
en_fu
n
::
s
ubstitute: only pa
s
s in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
s
car
f
.
cc: supp
o
rt mor
e
cases of 3
(
ind
e
pe
n
dent) constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
sc
a
rf
.
cc: support more
cases of 4 const
r
ain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verd
o
olaege
genfu
n
.
c
c
: add gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
g
e
n
fun
.
cc: another gen_f
u
n::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Ve
r
doolaege
infinite_icount
e
r: an incremen
t
al counter
f
or possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoola
e
ge
i
count
e
r: move
f
rom
ba
r
v
ino
k
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
b
f
e
n
umerator:
:
set_factor: pl
u
g small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvi
n
ok_enum
e
r
a
t
e
_unio
n
_series: u
s
e gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
g
e
nf
u
n
.
c
c: add gen_fun::sum
m
ate
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun::
H
adamard_product
:
op
t
imize compu
t
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
a
ege
g
e
n_fu
n
:
:Hadamard_
p
r
o
duct: make firs
t
argument
const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
polar_decomposer::d
e
co
m
po
s
e: make sur
e
verti
c
e
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoolaege
np_base: add do_ve
r
t
ex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
l
a
e
g
e
gen
_
fun::print: allow printing to streams
other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
bfc
o
unter
.
cc: move
som
e
more code fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun
.
h: s
h
ort_rat
:
use QQ instead of pair o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
N
TL
_
QQ
.
cc: a ratio
n
al NTL
t
ype
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
verify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok_series: move choice of whic
h
gf_base
subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvin
o
k
.
cc: mov
e
some functi
o
nali
t
y in
t
o s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: mov
e
Polyhedron argumen
t
to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
ge
barvinok
.
cc: mo
v
e
start an
d
h
a
ndle_pol
a
r
into
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoo
l
aeg
e
gen_fu
n
: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun: add co
p
y
construc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
g
e
zz2values: make first
argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
aege
zz2value: make fi
r
st argument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verd
o
olaege
Polyhedron_i
s
_infinite: use
P
olyhedron_Sample if a
v
ailabl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
oo
l
ae
g
e
p
olyhedron_sample:
compute
s
an integer vector i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdoolaege
confi
g
ure
.
in: c
h
eck for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
scarf
.
c
c
: simplex::shrunk_polyhed
r
on: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
S
ven V
e
rdoolaege
genfun
.
cc: reorder t
e
rms in n
u
merator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
s
c
arf
.
cc:
normali
z
e_m
a
trix:
s
implify n==3 case
s
ome
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ve
r
doolaege
scarf
.
cc
:
s
upp
o
rt some case
s
o
f 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
bar
v
inok_enumera
t
e_e:
--pr
i
n
t
-al
l
for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
scar
f
.
cc: nor
m
a
lize_matr
i
x: si
m
plify
n
=
=
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven
Verdoolaege
scarf
.
cc
:
p
ro
j
ect out 2 varia
b
les us
i
ng Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
S
ven Verdoolaege
util
.
c: export Extend
e
d_
E
uclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Ve
r
doola
e
ge
config
u
r
e
.
i
n
:
make
-
-
enabl
e
-frac
t
ional
t
h
e default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
barvinok_count: check whether
u
n
bounded
p
olyhed
r
a act
u
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
pol
y
make/confi
g
ure
.
in: allow specificati
o
n of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
reduce_domain: dec
l
are
v
a
r
i
able at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdo
o
l
aege
re
m
ove_eq
u
alities: stop rem
o
vinf
equalit
i
e
s
if in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
barvinok_coun
t
: stop counting if first f
a
ctor is empty
commit
|
commitdiff
|
tree
2006-06-28
S
v
e
n Verdo
o
l
a
ege
bar
v
inok_co
u
nt_f: check for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoola
e
ge
barvin
o
k_count: tell PolyLib we are o
n
ly inte
r
es
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sve
n
V
e
rdoolaege
Merge bra
n
ch 'master' into be
r
nstei
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
version
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doola
e
ge
R
E
A
D
ME: do
c
ume
n
t o
p
tio
n
al installation of Ome
g
a
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: document Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
d
o
c: (minima
l
ly)
d
ocument
polymake
c
l
ients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: further
doc
u
ment
barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
document barv
i
n
o
k_u
n
ion
commit
|
commitdiff
|
tree
next