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
util.c: compress_variables: extracted from lexmin.cc
2006-08-10
Sve
n
V
erdoolaege
util
.
c: c
o
mpress_varia
b
les: e
x
tra
c
ted f
r
om lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Ver
d
o
o
l
a
ege
lex
m
in: don't
check anything if given range l
i
es outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaeg
e
lexmin
.
cc
:
remove_equalities; take preimage with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
l
exmin
.
cc: remove
_
e
q
u
a
l
ities
:
ext
e
nd
r
eturned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doo
l
aege
lexmi
n
.
cc: in_
d
omai
n
:
fi
x
typo
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolae
g
e
lexm
i
n
.
cc: remove some debugging residue
s
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
reduce_domai
n
:
c
ompute
c
onvex union of do
m
ain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
e
r
doolae
g
e
lex
m
in
.
cc
:
in_domain: also c
h
eck o
t
her part
s
of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin: in_do
m
ain:
s
et
v
alues
i
f co
n
str
a
int
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdool
a
ege
lexmin: plug som
e
memo
r
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oola
e
ge
l
e
xmin: an
e
xper
i
mental tool for
c
omputing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdo
o
l
a
ege
ad
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
evalue
.
c: floor
2
frac_r: plug memory l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
o
laege
barvinok
.
cc:
un
f
r
inge: wor
k
i
n
cr
e
me
n
tally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
e
v
alue_fra
c
2floor_in_domai
n
: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
P
o
lyhedron_Sample: a
l
low equa
l
ities
i
n input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
Poly
h
ed
r
on_Sampl
e
: make sure vertices are
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
Polyhedron_Sampl
e
: simpli
f
y constr
a
i
nts after cho
o
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
Polyhed
r
on_S
a
mp
l
e
:
handle em
p
t
y
an
d
0D poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
sample
.
c:
a
l
t
ernat
i
ve implement
a
tion of remove_ra
y
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ver
d
oolaege
s
a
mp
l
e
.
c: Polyhedron_RemoveFixedColumns
:
han
d
le pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
barvinok_count_f: ch
e
c
k w
h
ether polyhedr
o
n
i
s un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
barvin
o
k_count:
s
imp
l
ify constraints after removin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
redu
c
e
d
_
b
asis: sup
p
ort 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
reduced_basis: ensure all
L
P
solu
t
io
n
s
are non-
n
egative
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n Verdoolaege
occ:
p
rint parametr
i
c vertices of
set
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
occ: add in
t
e
r
face to barvinok_lex
s
maller_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verdoolaege
ut
i
l
.
c
:
provide dummy b
a
rvinok_lexsma
l
ler_ev
w
hen
LexSm
a
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolaege
4coin
s
:
computes gener
a
ting func
t
ion for
4
coin
F
robenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
gen_fun::Had
a
m
ard_product: apply
p
a
rameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolae
g
e
g
en_fun
:
:s
u
bstitute
:
only pass in transfo
r
m
a
ti
o
n
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
s
c
a
rf
.
cc: support mo
r
e case
s
of 3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdool
a
ege
sc
a
rf
.
cc: supp
o
rt mo
r
e cases of 4 constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
V
e
rdoolaege
genfun
.
cc: add gen_fun::
d
ivide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
gen
f
un
.
cc: another g
e
n_fun::s
u
mmate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infinite_icounter: an incr
e
me
n
tal cou
n
te
r
for po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
icounter:
m
ove from barvin
o
k
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
bf
e
numerator::s
e
t_factor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
b
arvinok_enumerate_union_se
r
ie
s
: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
genfun
.
c
c
: add gen_fun::s
u
mm
a
te method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
g
e
n_fun:
:
Ha
d
amar
d
_p
r
oduct: optimi
z
e compu
t
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
l
a
ege
gen_fun:
:
Hadamard_
p
rodu
c
t: make fir
s
t a
r
g
u
me
n
t
c
on
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaege
p
o
l
ar_decomposer::decomp
o
se: make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
np_bas
e
: a
d
d do
_
v
ertex_co
n
e me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdo
o
laege
gen_fun::print: allow printing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
bfcounter
.
c
c: m
o
v
e
so
m
e more code
f
rom bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_fun
.
h: short_rat: use
Q
Q i
n
stead
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
N
T
L
_QQ
.
cc:
a ratio
n
al NTL typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
veri
f
y
_mai
n
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_
s
eries: move choice of which g
f
_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdool
a
e
g
e
barvinok
.
c
c
: mo
v
e so
m
e
functionality
i
n
to separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Ve
r
doolaege
b
arv
i
nok
.
cc: move
P
olyhedron argu
m
e
n
t t
o
start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
ba
r
vinok
.
c
c
: move start and hand
l
e
_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
ool
a
ege
gen_f
u
n: add shif
t
me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fun:
a
dd copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
zz2values: make first ar
g
um
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: make first argumen
t
const
commit
|
commitdiff
|
tree
2006-07-20
S
v
en Verdool
a
ege
P
olyhedro
n
_is_infinite:
u
s
e
Polyh
e
dron
_
Sample if
a
v
a
ilable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
r
doolaege
polyhedr
o
n
_
sample: computes
a
n
i
n
t
eg
e
r vec
t
or
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdool
a
ege
c
onfigure
.
in: check for g
l
p
k
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Ve
r
doolaege
s
c
arf
.
cc:
s
implex::shrunk_polyhedron:
only pro
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
gen_
f
un::
a
dd: per
f
o
r
m t
r
ivial
r
eduction s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doola
e
ge
genfu
n
.
cc: reord
e
r
terms in nu
m
erator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
g
e
scarf
.
cc:
normalize_matrix: simpl
i
fy n
=
=3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
s
carf
.
cc: support
s
ome cases of 4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
d
oolaege
barvino
k
_enum
e
r
ate_e: --print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdo
o
laege
s
ca
r
f
.
cc: normaliz
e
_matrix: simpli
f
y
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc:
p
r
oject out 2
variables us
i
ng Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verd
o
olaege
util
.
c: export Extended_
E
uclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoola
e
ge
co
n
figure
.
in:
m
ake
--enable-fractional the
default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvinok_c
o
un
t
: c
h
eck whether unbounded polyhedra act
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
p
olymake/co
n
figur
e
.
in: allow specification of
locatio
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven V
e
rdoolaege
reduce_domain: declare var
i
able at start o
f
code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdoolaege
re
m
ove_equalities: stop removinf equalities
i
f input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdoolaege
barvinok
_
c
o
unt: stop counting if first fac
t
or is empty
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
b
a
rvin
o
k_cou
n
t_f: check for emptine
s
s o
f
P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
barvinok
_
count:
tell PolyLi
b
we are onl
y
i
nte
r
ested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven
Ve
r
doolaege
REA
D
ME: document optional
i
nstall
a
tion o
f
Omega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c:
document Omega interfa
c
e
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
doc: (minim
a
lly) doc
u
ment
p
olymak
e
clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
doolaege
doc: further document barvinok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
document barvinok_uni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verd
o
olaeg
e
doc: docu
m
ent
ba
r
vinok_ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
V
erdoolaege
d
oc: document some options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
do
c
:
add
refe
r
ence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
describe vertices based input spec
i
fication
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: add
s
ubse
c
tions
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
u
se "git d
e
scribe" to de
s
crib
e
ve
r
sion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
a
dd doc to dist
r
ibutio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoolaege
d
oc: warn t
h
at the out
p
u
t
may look
different
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: barvinok_
c
ou
n
t no longer perform
s
manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc
:
repla
c
e "Appendix
"
by
"
Sectio
n
"
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoo
l
a
ege
d
o
c
: reflect rename of cdd2polylib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
e
r
doolaege
doc: resolve undefined referenc
e
s through m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolae
g
e
doc
:
add title page
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Ve
r
d
o
o
l
a
ege
d
oc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
rename cd
d
2po
l
y
lib
.
pl to
l
atte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven
V
e
rdoolaege
polymake/h_star_
v
ector
.
cc: client to compute the h
.
.
.
commit
|
commitdiff
|
tree
next