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 some debugging residues
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: rem
o
ve
s
o
m
e debugging
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
e
rdoolaege
re
d
uce_domain: compute co
n
ve
x
unio
n
of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
l
e
xmin
.
cc: in_domain: also chec
k
other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
:
in_domain
:
s
e
t values if con
s
t
raints
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin: plug
s
o
m
e me
m
o
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
lexmin: an experimental tool for
computing the parametri
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ver
d
oolaege
add
fdstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
evalue
.
c: floor2frac_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
b
a
rv
i
no
k
.
cc: unfri
n
ge: work
incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verd
o
olaege
evalue_frac2floo
r
_in_domain:
p
lug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
eg
e
Polyhedro
n
_
Samp
l
e: allow equalit
i
es in input
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaeg
e
P
olyh
e
dron_Sample:
m
ake sure
vertices are avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
Polyhe
d
ron_Sample: si
m
plify constraints afte
r
choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
doolaege
Po
l
yhedron_Samp
l
e
: handle em
p
t
y
an
d
0D po
l
yhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oolaeg
e
sample
.
c
: alternative implementation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoolaege
sampl
e
.
c:
P
olyhedron_Re
m
oveFixedC
o
lu
m
n
s
:
handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verd
o
olaege
barvi
n
ok_count
_
f:
che
c
k whether po
l
yhed
r
on is unboun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
barvinok_count: si
m
plif
y
constr
a
ints after remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
e
duced_b
a
sis: sup
p
ort 1D polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
re
d
uced_basi
s
: ensure all LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
occ: print pa
r
ametric
ver
t
ices o
f
se
t
usin
g
PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
r
doolaege
occ: add
i
nt
e
r
f
ace to barv
i
n
o
k_lexsma
l
ler_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdool
a
ege
util
.
c
: provide
d
u
m
my barvinok_lexsmaller_e
v
w
h
en
L
exSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
e
rdoola
e
ge
4
c
oi
n
s: com
p
utes ge
n
erating function for 4 c
o
i
n
Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen
_
fun::Hadamard_product: ap
p
ly param
e
t
e
r compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
ge
n
_fun:
:
substitute: only pass in transformation mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en
Verd
o
olaege
s
c
arf
.
cc: s
u
pport more cas
e
s o
f
3
(in
d
epend
e
nt)
const
r
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
ge
scar
f
.
cc: support mo
r
e cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
d
o
olaege
ge
n
f
u
n
.
c
c: add
gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaeg
e
g
e
nfun
.
cc: an
o
t
h
er ge
n
_fu
n
::su
m
m
a
te method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
infini
t
e_ico
u
nter:
a
n in
c
remental count
e
r for possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
counter: move from ba
r
vinok
.
c
c to
reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
bfenumerator::set_fact
o
r: plug small mem
o
ry leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
laege
barvinok_enumerate_union_series: use gen_fun::sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolaege
g
enfun
.
cc: add gen_fu
n
::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
doolae
g
e
gen
_
fun::Hadamard_p
r
oduct:
optimize computation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoola
e
g
e
gen_fun::Hadamard_product: m
a
k
e
fir
s
t argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_decomposer::deco
m
pose: mak
e
su
r
e vertic
e
s have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
np_bas
e
: a
d
d do_ver
t
ex_cone met
h
od
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laeg
e
gen_fun::prin
t
: al
l
ow pri
n
ting t
o
s
t
r
eams other
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoo
l
aege
bfcounte
r
.
cc: move some
m
ore code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen_
f
un
.
h: short_rat: use QQ
i
n
stead
of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NT
L
_QQ
.
cc: a rati
o
nal N
T
L
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ver
i
f
y
_main
.
cc: sm
a
ll memor
y
clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
barvinok_series:
move
choi
c
e of which g
f
_base
subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvino
k
.
cc: move some func
t
ionality into se
p
arate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
ba
r
vinok
.
cc: mo
v
e Polyhedron a
r
gument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
b
a
rvinok
.
cc: move start and handle_
p
olar into np_b
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
ge
gen_fun:
a
dd shi
f
t
me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olaege
ge
n
_fun: a
d
d copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
zz2
v
alues:
make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
aege
zz2v
a
lu
e
: make first argu
m
ent
c
onst
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhed
r
on_is_infi
n
ite: use Po
l
y
hedron_Sa
m
ple if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoolaeg
e
polyhedron_sampl
e
: computes an
i
nteger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdool
a
ege
configur
e
.
i
n
:
che
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaeg
e
scarf
.
cc: simplex::shrunk_polyhedron: on
l
y pro
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
gen_fun
:
:add: p
e
rform trivial reduct
i
on step
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaeg
e
genfun
.
c
c
: reorder t
e
rms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
g
e
s
c
a
r
f
.
cc:
n
o
r
malize_matrix: simplify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
scarf
.
cc: supp
o
rt som
e
cases
of 4 co
n
st
r
ain
t
s
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumerate_e: --p
r
int-a
l
l for printing a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc
:
normalize_matrix: s
i
mplify n
=
=3 case
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
Verdoolaege
scarf
.
cc: project out 2
v
ariables using Scarf co
m
p
le
x
commit
|
commitdiff
|
tree
2006-07-08
Sven
V
erdoolaege
util
.
c
: export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
erdoolaege
c
o
nfigu
r
e
.
in:
m
a
k
e --en
a
ble-fractional the def
a
ult
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
ba
r
vin
o
k
_
co
u
nt:
c
h
e
ck whether
u
nbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verd
o
ol
a
ege
polymake/configure
.
in
:
allow specification
o
f loc
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
do
o
la
e
ge
red
u
ce_domain: declare variable at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
r
e
move_
e
qua
l
ities: stop removinf
e
qu
a
lities if inpu
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok_count: sto
p
countin
g
if first factor is emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdo
o
l
a
e
g
e
barvin
o
k_count
_
f: ch
e
ck for e
m
p
t
iness of P
(
again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
barvinok_count: tell P
o
lyLib
w
e
are only intere
s
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
v
e
rsion 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
R
E
A
DME: do
c
ume
n
t opti
o
nal installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
doc: do
c
ument Omega inte
r
f
a
ce
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oo
l
aege
doc: (m
i
nimally) document pol
y
mak
e
clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc
:
further do
c
ument barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoola
e
ge
d
ocument
b
arvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c: document barvi
n
ok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
l
a
eg
e
d
o
c
:
do
c
ument some
opt
i
o
ns
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
er
d
oo
l
aege
do
c
: ad
d
r
e
ference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rd
o
olaege
doc: descr
i
be
v
ertices ba
s
ed input specificatio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: ad
d
s
u
bsections
commit
|
commitdiff
|
tree
2006-06-21
S
ven V
e
rdoolaege
use "git describe" to des
c
r
ibe version
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
add doc to
distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
d
o
c: warn that the output
m
ay lo
o
k
different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aeg
e
do
c
:
barvinok_coun
t
n
o
longer per
f
orms manual count
i
ng
.
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolae
g
e
doc: r
e
p
l
a
ce "Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
ool
a
ege
doc: reflect r
e
name of cdd2po
l
yl
i
b
.
p
l
to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
doc: resolv
e
un
d
e
fined references thro
u
gh
m
y
thes
i
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc:
add
ti
t
l
e page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: us
e
r gu
i
d
e
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolaege
r
en
a
me cdd2polylib
.
pl
to
latte2po
l
yl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
p
o
lymake/h_star_vector
.
c
c
:
client to compu
t
e the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Verdoolaeg
e
polymake/con
v
ert
.
cc:
extract po
l
yma
k
e
_constra
i
nts2polyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Ve
r
doolaege
util
.
c: export Cone_over_P
o
lyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n
Verdoolaeg
e
barvinok_ehrhart: c
o
m
p
ute e
h
rhart (quasi-)po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
ve
n
V
erdoolaege
barvi
n
o
k
_
count: al
l
ow pol
y
tope to be speci
f
ied by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven
Verdoolaege
ge
n
fun
.
cc: fix add_u
n
ion method
commit
|
commitdiff
|
tree
next