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: remove_equalities; take preimage with returned matrix
2006-08-09
Sv
e
n Verdoola
e
ge
l
e
xmin
.
c
c
: remove_eq
u
alities; take pr
e
image w
i
t
h returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin
.
cc: re
m
ov
e
_eq
u
alities: extend retur
n
e
d
m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oo
l
aege
l
e
xmi
n
.
cc:
i
n_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoola
e
ge
l
e
xmin
.
cc: remove some debuggi
n
g
r
esidu
e
s
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
re
d
uce_d
o
m
a
i
n: compute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_doma
i
n
:
a
lso check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin: in_doma
i
n
: set
valu
e
s
if constrai
n
ts don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin: p
l
ug so
m
e memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdo
o
laege
lexm
i
n: an experiment
a
l
t
ool
f
or computing
t
he parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
r
doo
l
a
eg
e
add fds
t
ream
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
ev
a
lue
.
c: flo
o
r2frac_r:
plug me
m
ory l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
S
ven
V
erdoo
l
aege
barvinok
.
cc: unf
r
inge: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
evalue_frac
2
floor_in_domain:
p
l
ug
memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdool
a
ege
Po
l
y
h
edron_Samp
l
e
: allow
e
qualit
i
es
in input
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
lyhedron_
S
ample:
make sur
e
vertices ar
e
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
edron_Sample: simplify c
o
n
straints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdool
a
e
ge
P
olyhedron_Sample:
ha
n
d
l
e em
p
ty an
d
0D polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
samp
l
e
.
c: alternati
v
e
implementation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
doolaege
s
a
mple
.
c: Polyhedron_Remo
v
eFix
e
dColumns: han
d
le presenc
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
ba
r
vi
n
ok_count_f
:
che
c
k
w
h
ether polyhe
d
r
on is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdoolaege
barvinok_co
u
nt
:
simplify constraints after remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
r
educed_basis: support 1D polyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolae
g
e
reduced_basis: ensure all LP solutions
a
re
n
o
n
-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ve
r
doo
l
aege
occ: print para
m
etric vertices
of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
o
c
c: a
d
d interface
t
o
b
arvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c:
p
r
ovi
d
e
d
ummy barvi
n
ok_lexsmaller_ev when
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
a
e
ge
4
c
oins: computes generating fun
c
tion
f
or 4 coin F
r
obeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
gen_f
u
n::Ha
d
a
m
ard
_
product: app
l
y paramet
e
r compres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n V
e
rdoolaege
gen_fun::
s
ubstitute: on
l
y pass in
t
ransf
o
rmati
o
n matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
V
e
rdoo
l
a
e
g
e
scarf
.
cc: su
p
por
t
mor
e
ca
s
e
s of 3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
scarf
.
cc: support
m
ore case
s
of 4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
rd
o
olaege
genfun
.
cc: add gen_
f
un:
:
divide metho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
genfun
.
cc: anothe
r
gen_fun::
s
ummate method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Verdoolaege
infini
t
e_icounter: an incremental c
o
unter fo
r
po
s
si
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
Ver
d
oolaege
icounter:
m
ove from
b
arv
i
nok
.
cc to
r
educer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
g
e
bfenu
m
e
r
ator::set_fac
t
or: p
l
ug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
olaege
barvi
n
ok_enumerate
_
un
i
o
n_series: use gen_fun::
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolae
g
e
ge
n
fun
.
cc:
a
dd gen_fun::summate
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
ge
n
_
f
un::Hadamard_product
:
optimize comp
u
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_f
u
n::
H
adamard_product: make
f
irst argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolae
g
e
pola
r
_decomposer
:
:
d
ecompo
s
e:
m
ake sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
np_ba
s
e: add do_
v
e
r
t
ex_c
o
ne method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
ge
n
_f
u
n::print: allow prin
t
in
g
to
streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
a
e
ge
bf
c
ounter
.
cc: move some
m
o
re code f
r
om
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
.
h: s
h
ort
_
rat
:
use QQ
i
ns
t
ead of pai
r
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
N
TL
_
QQ
.
c
c
: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
verify_main
.
cc:
small memo
r
y clea
n
-up
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
barvinok_series:
m
o
ve choi
c
e
of which
gf_base
subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvino
k
.
cc: move some functiona
l
i
ty into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move P
o
lyhedron argument
to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
olaege
barvinok
.
cc: move start and handle_polar into np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun: a
d
d shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
o
olaege
gen_fun: add co
p
y constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
ge
zz2val
u
es:
ma
k
e first
ar
g
ument con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: mak
e
first argu
m
ent
co
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolaege
Polyh
e
dron_is
_
infinite:
u
se Polyhedron_
S
ample
if ava
i
labl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
a
e
g
e
polyhedr
o
n_sample: compu
t
e
s
a
n
i
nt
e
ger ve
c
tor i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
e
r
d
o
olaege
c
onfigure
.
i
n: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
er
d
o
o
l
ae
g
e
scarf
.
cc: simplex::shrunk_p
o
lyhedron: on
l
y proc
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
ge
n
_fun::add: perfor
m
trivial red
u
cti
o
n
step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdo
o
laege
genfun
.
cc: reorder ter
m
s in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
s
c
arf
.
cc: no
r
ma
l
ize_m
a
t
r
i
x
: simplify n
=
=3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verd
o
olaege
s
c
arf
.
c
c: suppor
t
s
o
me
cases
o
f 4
constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
barvinok_enumerate_
e
:
--
p
r
i
nt-all for p
r
inting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
ool
a
ege
scar
f
.
c
c
: norm
a
l
i
ze_matrix: simplify n==3
c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scarf
.
c
c: pro
j
ect out 2 variab
l
es using Scarf comple
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Verd
o
olaege
uti
l
.
c: export Extende
d
_Eucli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdool
a
e
g
e
configure
.
in: make
--enable-fractiona
l
the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
bar
v
inok_count: check whether unbou
n
ded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdoolaege
polymake/configure
.
in
:
allow sp
e
cific
a
t
ion of locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
r
e
d
u
ce_domain:
declare variable a
t
start o
f
code
b
l
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
re
m
ove_equalitie
s
: sto
p
removinf equalities if in
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
e
n
Verdoolaege
bar
v
inok_count:
s
top
c
ounting
if first
f
actor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
bar
v
inok_cou
n
t_f: check for e
m
ptiness
o
f
P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
ven Ve
r
doolaege
barvinok_count: tell PolyLib we are only
i
n
t
erested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Ve
r
doo
l
a
ege
ver
s
ion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdool
a
e
g
e
README: document optional instal
l
ation of
O
m
eg
a
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
erdoolae
g
e
doc: document O
m
eg
a
int
e
rf
a
c
e
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
d
o
olaege
doc: (minim
a
l
ly) docum
e
nt
p
oly
m
ake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: fur
t
her document barvinok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n V
e
rdoolae
g
e
doc
u
ment bar
v
inok_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: document b
a
rvinok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: documen
t
some options
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc:
a
dd reference
f
or NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verd
o
o
l
aeg
e
do
c
: d
e
s
c
ri
b
e vertices ba
s
e
d
input
s
pe
c
ifica
t
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: t
y
po
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
d
o
c: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
use "git describe
"
to describ
e
vers
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Ve
r
doolaege
add do
c
to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoo
l
aege
doc: warn that t
h
e
o
utput may look
different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
:
barvino
k
_count no
l
onger performs manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdo
o
laege
doc: replace "Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
d
o
c: refle
c
t rename
of cdd2poly
l
ib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
la
e
ge
do
c
: resol
v
e undefin
e
d
refer
e
nces
through my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
d
oc:
ad
d
ti
t
l
e
pa
g
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: use
r
guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdo
o
laege
r
e
name cdd2polyli
b
.
pl
t
o latte2p
o
lylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
polymake
/
h
_
star
_
vector
.
c
c
: client
to
compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
p
o
lyma
k
e/
c
o
n
v
e
rt
.
cc: extract
polymake_constraints2poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erdoolaege
uti
l
.
c: export Cone_over_Po
l
yhedron
commit
|
commitdiff
|
tree
next