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
Polyhedron_is_infinite: use Polyhedron_Sample if available.
2006-07-20
S
ven Verdoolaege
P
olyhedron_is_infinite: use
Polyh
e
d
r
on_
S
ample if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ve
n
Verdo
o
lae
g
e
polyhe
d
ron_
s
a
mple: computes an i
n
t
e
ger
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
configure
.
in: ch
e
ck for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
er
d
oolaege
sca
r
f
.
cc: si
m
plex::shrunk_polyhe
d
r
o
n
: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fu
n
::add: pe
r
form trivial
r
educt
i
o
n step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc:
reorde
r
terms in numera
t
or
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
scarf
.
cc: normalize_matrix: simplify n=
=
3
c
ase some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdool
a
ege
scarf
.
c
c
:
sup
p
ort some
c
ases of
4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
barvin
o
k
_enumerate_
e
: --p
r
int-all
f
or
p
rinting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
do
o
laege
s
c
ar
f
.
cc:
n
or
m
alize_ma
t
rix: simplify
n
==3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdool
a
e
ge
scarf
.
cc
:
proj
e
ct
o
ut 2 variables
u
s
ing
Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoo
l
a
ege
uti
l
.
c:
expor
t
Extended_Euc
l
id
commit
|
commitdiff
|
tree
2006-07-05
S
v
en Verdoolae
g
e
confi
g
ure
.
in: make --enabl
e
-fr
a
ctional the default
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Ve
r
doola
e
ge
barv
i
nok_c
o
unt: check
whether unbounded
p
olyhedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verdoolaege
polymake/configure
.
in: allow specificat
i
on
o
f loc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
reduce_domain:
d
eclar
e
var
i
able at start of code bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
r
e
move_equalities: stop removin
f
equalit
i
es if inpu
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
e
n
V
e
r
doolaeg
e
barvinok
_
count: st
o
p
c
ounting if
f
irst factor i
s
e
m
pty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
barvinok
_
count_f: check for empt
i
ness
o
f P
(a
g
ain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
barvino
k
_
count: tel
l
Poly
L
ib we
are only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaeg
e
versio
n
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
READ
M
E: do
c
um
e
nt optio
n
al
i
nstallation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
e
rdoolaeg
e
doc: documen
t
Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Ver
d
oolaege
doc:
(
minimally)
do
c
ume
n
t
po
l
ymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoo
l
aege
doc: further docume
n
t
barvinok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
ae
g
e
doc
u
ment barvinok_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoola
e
g
e
doc:
document barvinok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc
:
document some
options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
: add reference
f
o
r NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolae
g
e
doc: descr
i
be vertices
b
ased
i
npu
t
specifi
c
ation
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc: add
s
ub
s
ections
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verd
o
olaege
u
se
"
git des
c
ribe" to describe v
e
rsion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
ad
d
doc to
d
istr
i
but
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
d
oc: w
a
r
n
that the o
u
tput may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaeg
e
doc:
barvinok_count no longer performs manual co
u
n
ting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
doolaege
doc: replace "Appendix" by
"
Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: ref
l
e
ct rename of cdd2polyl
i
b
.
pl to latte2polylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc:
res
o
lve undef
i
n
ed
reference
s
through my thes
i
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc:
u
s
e
r guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
ren
a
me cdd2polyl
i
b
.
pl to latte2polyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdool
a
ege
p
ol
y
make/h_star_vec
t
or
.
cc: c
l
ient to
comput
e
the
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
polymake/
c
onve
r
t
.
cc: extract
poly
m
ake_constraints
2
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven V
e
rd
o
olaege
util
.
c: export
Cone_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erdoolaege
barv
i
n
o
k
_ehrh
a
rt: c
o
mp
u
te
ehrhar
t
(quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven
V
erdoolae
g
e
barvin
o
k_count: al
l
ow polytope to be
speci
f
ied by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Ve
r
doolaege
gen
f
un
.
cc:
f
ix add_uni
o
n
me
t
hod
commit
|
commitdiff
|
tree
2006-06-13
S
v
e
n Verdoolaege
b
ar
v
inok_
u
nion: op
t
io
n
ally print generating function
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
barvinok_count: h
a
n
dle infinite polyh
e
dra with no
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barvinok_count
:
stop counti
n
g if one o
f
t
h
e fa
c
tors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
ev
a
lue_frac2floor_in_
d
o
main
:
allow argument of r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
util
.
c: specifically i
n
di
c
a
t
e e
m
pty set
s
i
n
Polyhed
r
on_p
p
rint
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
V
e
rdoolaege
util
.
c: move alig
n
_mat
r
ix from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
m
a
t
_util
.
cc: som
e
useful
f
uncti
o
ns extract
e
d f
r
om ge
n
fun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
lae
g
e
evalue
.
c: expor
t
r
educe_eval
u
e_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
evalue
.
c: rename reduce
_
in_do
m
a
i
n to
e
valu
e
_
r
ang
e
_reducti
o
n_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
barvinok
.
cc:
remove ancient debuggi
n
g cod
e
commit
|
commitdiff
|
tree
2006-06-02
S
ve
n
Verdoo
l
aege
evalu
e
.
c:
export
ev
a
l
ue
_
f
r
ac2flo
o
r_in_do
m
ain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoola
e
g
e
gen_fun::substitute: add
m
o
re d
e
tailed explana
t
ion
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
redu
c
e_domain: ha
n
dle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoo
l
aege
barvinok
.
cc: mov
e
r
e
duce_domain into se
p
arate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdool
a
e
ge
uti
l
.
c: add Po
l
y
h
e
dro
n
_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven
Ver
d
oolaege
lattice_point
.
c
c
: lattice points
c
omputation
extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
d
o
o
l
ae
g
e
c
o
nversion
.
cc: ad
d
v
a
l
u
es2zz and rays2 from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
evalue
.
c: add eval
u
e_
z
e
ro
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
decomposer: extract
out vertex_decomposer from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
barvinok
.
cc: e
x
tract
o
u
t some functionality into decom
p
o
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolaege
ut
i
l
.
c: document
Euclid
functio
n
commit
|
commitdiff
|
tree
2006-05-10
Sven V
e
rdoolaege
occ: p
l
u
g
some
m
ore (potential
)
m
emory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: do
n
't use
f
r
eed variable i
n
error
message
commit
|
commitdiff
|
tree
2006-04-10
Sven Verdoolaege
b
arvinok
.
cc: add some docume
n
ta
t
io
n
to
lat
t
ice
point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
S
v
en Verdoolaege
barvinok_
e
num
e
rate_union: call gen_fun::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Ver
d
ool
a
ege
gen_fu
n
: add add_union method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verd
o
o
laege
bar
v
ino
k
.
cc: document S
p
litOnVar a
n
d remove
s
o
me r
e
d
undant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sv
e
n Ve
r
dool
a
ege
remove ina
p
propriate
u
ses o
f
P
olyhedron2Par
a
m_
S
implifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
S
ven
V
erdoolaege
versi
o
n
0
.
2
0
commit
|
commitdiff
|
tree
2006-02-22
Sven Ve
r
doo
l
aege
create correct GIT_HEAD_
I
D in d
i
stri
b
ution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
olaege
barv
i
no
k
_union:
d
o
cu
m
ent input format
commit
|
commitdiff
|
tree
2006-02-21
Sven Verd
o
ol
a
ege
Merge b
r
a
nch 'new_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven V
e
rdoolaege
only run tests th
a
t require piplib when
p
iplib is ava
i
lable
commit
|
commitdiff
|
tree
2006-02-16
Sven Ver
d
o
o
l
a
e
ge
barvinok_enumerate_e: only link in omega
libraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
S
ven
Verd
o
olaege
c
h
e
ck for pipli
b
1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolae
g
e
some examples from R
a
chid to test
barvinok_enu
m
erate_e
commit
|
commitdiff
|
tree
2006-02-15
S
v
en Ve
r
do
o
laege
add barvinok_uni
o
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Ve
r
doolaege
a
d
d barvin
o
k
_enum
e
rate_uni
o
n
fu
n
ction
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdo
o
l
a
e
ge
gen_f
u
n: add Hadamard_
p
roduct
m
ethod
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
ool
a
ege
gen_fun::operat
o
r evalue *
(
): fix m
e
m
ory leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoolaege
g
e
nfun
.
cc:prin
t
_power: remove s
p
aces around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Ve
r
d
o
ola
e
ge
barvinok_ser
i
e
s: return
empty gen_fun for empty p
o
lytope
.
commit
|
commitdiff
|
tree
2006-02-14
Sven V
e
r
d
oolaeg
e
barvinok_series: r
e
move unused variabl
e
s
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Verdoo
l
aege
barv
i
nok
.
c
c
: extrac
t
o
ut some
c
ode c
o
mmo
n
to
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok
.
cc: introduce
np_base,
a base class for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven
V
erdoolaege
barvinok
.
cc
:
do virtual p
o
l
a
r_dec
o
mposer inheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolaege
b
a
rvinok_series: remove some
m
ore eq
u
al
i
ties from th
e
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
S
ven
Verdool
a
ege
ch
e
ck
f
or compress_
p
a
r
ms function
commit
|
commitdiff
|
tree
2006-02-10
Sve
n
Verdoolaege
g
e
n_fun: add substit
u
te meth
o
d
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoo
l
aege
ba
r
vinok/genf
u
n
.
h: a bi
t
mor
e
documenta
t
ion
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdool
a
ege
adapt determination of git HE
A
D to recent git
v
e
rsions
commit
|
commitdiff
|
tree
2006-02-08
Sv
e
n Verdoolaege
v
er
i
fy_ma
i
n
.
c
c: fix typo that would
l
et chec
k
_seri
e
s
.
.
.
commit
|
commitdiff
|
tree
next