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
zz2values: make first argument const
2006-07-26
Sven V
e
rdoolaege
zz2valu
e
s:
make first arg
u
m
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoola
e
ge
zz2value: make firs
t
argument const
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
Polyhed
r
on_is_infinite:
u
se Po
l
yhedron_Sam
p
le if av
a
ilable
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
V
erdoo
l
aege
poly
h
edron_sample: computes an integer ve
c
tor
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdool
a
ege
c
o
n
figure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
S
ven
V
er
d
oolaege
sc
a
rf
.
cc: simplex::shrunk_poly
h
edron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaeg
e
ge
n
_fun::add:
p
erf
o
rm
trivial
r
e
ductio
n
s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoo
l
aege
genf
u
n
.
cc: re
o
rder
t
e
rms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c
: nor
m
aliz
e
_m
a
trix: simpl
i
fy n
=
=3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: support some case
s
of
4
constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
e
rdoolaege
ba
r
vinok_enumerate_e: --print
-
a
l
l for print
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olae
g
e
scarf
.
cc:
n
ormalize_mat
r
ix:
simplify n=
=
3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project
o
ut 2 variables usin
g
Scarf
c
omplex
commit
|
commitdiff
|
tree
2006-07-08
Sven
Verdoolaeg
e
util
.
c: export Ext
e
nded_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdo
o
laege
configure
.
in: make
-
-ena
b
le-fractional the
defa
u
lt
commit
|
commitdiff
|
tree
2006-06-29
S
ven V
e
rdoolaege
b
a
r
v
inok_c
o
unt:
che
c
k
wheth
e
r unboun
d
ed
polyhedra a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polyma
k
e/config
u
re
.
in: allow
sp
e
cification of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
red
u
c
e_doma
i
n: declare variable a
t
sta
r
t of code blo
c
k
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven V
e
rdoolaege
remove_equ
a
lities: s
t
op
r
em
o
vinf equalities
i
f i
n
put
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
e
n
V
erdoolaege
barvino
k
_c
o
unt: stop counting if first
f
actor is empty
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolae
g
e
bar
v
inok_cou
n
t
_f: check for emp
t
iness of P
(
agai
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoolaege
bar
v
inok_count: tell Poly
L
ib we are
only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdo
o
laeg
e
README
:
docum
e
nt opti
o
n
a
l in
s
tallation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erd
o
olaege
do
c
:
document Ome
g
a interface
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verd
o
olaege
doc:
(
minim
a
lly) document
p
olymake cl
i
ents
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
er
d
oola
e
ge
doc: further
d
ocumen
t
b
a
r
vinok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
do
o
laege
document barvinok_u
n
ion
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaeg
e
doc: d
o
cument barv
i
nok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc: document some options
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdool
a
ege
doc: add r
e
ference fo
r
NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: describe v
e
rtices ba
s
ed input specification
commit
|
commitdiff
|
tree
2006-06-21
S
ven Ver
d
oolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: add
s
u
bsectio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
use "git
d
escribe" to de
s
cribe
v
er
s
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdo
o
laege
ad
d
doc t
o
di
s
tri
b
u
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
a
ege
doc: warn t
h
a
t
the o
u
tput may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: barvinok_count no longer p
e
r
f
o
r
ms manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n Verdoolaeg
e
doc:
replace "Appendix" by "
S
e
c
tion"
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
erdoolaege
doc: refl
e
ct r
e
na
m
e
of cdd2polylib
.
pl to latte2pol
y
lib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
doc: resolve
u
n
d
efined refer
e
nces
t
hrough
my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: add
t
i
tle page
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
do
c
: user
guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
rename cdd
2
p
o
lylib
.
pl to
latte2polylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sv
e
n V
e
rdoolaege
pol
y
make/h_
s
ta
r
_vector
.
cc: c
l
ient to com
p
u
te t
h
e
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
poly
m
ake/convert
.
cc: extrac
t
polymake_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdoolaege
util
.
c
:
exp
o
rt Cone_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Ve
r
doolae
g
e
b
a
rvinok_ehrhart:
compute
e
hrhart (q
u
a
s
i-
)
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven
Verdool
a
ege
b
arvi
n
ok_count: allow pol
y
tope to be sp
e
c
i
f
i
ed
b
y its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
S
ve
n
Verdoola
e
g
e
genfu
n
.
c
c
: fix add_un
i
on method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdool
a
e
g
e
barvi
n
ok_union: optionally p
r
int ge
n
erating
f
un
c
tion
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
o
olaege
barvi
n
ok_count: handle inf
i
nite
poly
h
edra w
i
th no
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoo
l
aege
ba
r
vinok_count: stop counting if one o
f
the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
e
v
alue_fra
c
2
flo
o
r_in_do
m
a
in: allow argument of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven
Verdoolaege
u
ti
l
.
c: speci
f
ically i
n
d
icat
e
emp
t
y s
e
ts
i
n
Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ut
i
l
.
c: move align_matrix f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n V
e
rdool
a
ege
mat_util
.
cc: some useful f
u
n
ctions
e
xtracted from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
evalue
.
c: export r
e
duce_e
v
alu
e
_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
e
v
alue
.
c
:
r
ename
r
e
d
uce_i
n
_domain to evalue_ran
g
e_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
dool
a
e
ge
barvinok
.
cc
:
remove ancient debuggi
n
g
c
ode
commit
|
commitdiff
|
tree
2006-06-02
S
v
en V
e
r
d
oolaege
e
v
alue
.
c: expor
t
evalue_fra
c
2floor_in_do
m
ain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdo
o
laege
g
en
_
fun::
s
ubstitute: add more detailed
e
xplanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
re
d
uce_domain
:
han
d
l
e
N
ULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaeg
e
barvino
k
.
cc: move red
u
ce_domain i
n
to se
p
a
r
ate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
u
til
.
c: add Polyhe
d
ron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
lattic
e
_
point
.
c
c
: lattic
e
points computation
extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n
V
erdoolaeg
e
conve
r
si
o
n
.
cc: add values2zz an
d
r
ays2 from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
ven Verdoola
e
ge
eva
l
ue
.
c: add ev
a
lue_
z
e
ro
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
dec
o
mpose
r
:
extract out ve
r
tex_decompo
s
er from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoolaege
barvinok
.
cc: extrac
t
out some fu
n
ctionality i
n
to d
e
c
omposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Ve
r
doolaege
util
.
c:
d
o
c
u
ment Eucli
d
function
commit
|
commitdiff
|
tree
2006-05-10
Sv
e
n Ve
r
doola
e
ge
occ: pl
u
g s
o
me mor
e
(potential) memory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
o
c
c
: don't us
e
f
reed variable
i
n
e
rror
m
essage
commit
|
commitdiff
|
tree
2006-04-10
Sven
Verdoolaege
barvinok
.
c
c: add s
o
me d
o
cumentation to latti
c
e poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven V
e
r
d
oolaege
barvinok
_
enumerate_union: call gen_fu
n
:
:add_union
commit
|
commitdiff
|
tree
2006-04-05
Sv
e
n
V
e
r
doolaege
gen_
f
u
n: add add_union method
commit
|
commitdiff
|
tree
2006-04-03
Sven V
e
rdoolaege
barvi
n
o
k
.
cc: docu
m
ent SplitOnVar and remove some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
r
e
move inappropriate us
e
s of
P
ol
y
hed
r
on2Param_Simpl
i
fiedDomain
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdo
o
laege
create c
o
rrect GI
T
_HEA
D
_ID in
distr
i
bution
commit
|
commitdiff
|
tree
2006-02-22
Sv
e
n Ve
r
doo
l
a
e
g
e
barvinok_union: doc
u
ment in
p
u
t
f
ormat
commit
|
commitdiff
|
tree
2006-02-21
Sven
V
e
rdoolaege
Me
r
ge branch 'new_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoola
e
ge
only run te
s
ts that require
p
iplib when
pipl
i
b is
a
v
ailable
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
aege
barvin
o
k_enumera
t
e_e: only link
i
n omega librari
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
che
c
k for piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verd
o
o
l
aeg
e
some exam
p
l
e
s f
r
o
m
Rachid
to test bar
v
inok_enum
e
rate
_
e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add barvinok_un
i
o
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
e
rdoolaege
ad
d
barvinok_enumerat
e
_union function
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
erdoolaege
gen_fun: ad
d
Hadamard_
p
roduct
m
e
th
o
d
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n
V
erdoolaege
gen_fun::operator evalue *(): fix memory l
e
aks
.
commit
|
commitdiff
|
tree
2006-02-15
S
v
en V
e
r
d
oolaeg
e
genf
u
n
.
cc:print
_
po
w
er: remove spaces around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
oo
l
a
e
ge
ba
r
vinok_se
r
ies: return empty gen_fun fo
r
emp
t
y polytope
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verd
o
o
l
aege
b
a
rv
i
nok_series: remo
v
e
unused variable
s
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdool
a
ege
b
a
rvinok
.
cc: ex
t
ract out some
c
ode
c
ommon t
o
genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Ve
r
doolaege
barvinok
.
cc: intro
d
uce np_ba
s
e, a base
clas
s
for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvino
k
.
cc: do virt
u
al po
l
ar_decompo
s
er
inhe
r
i
tanc
e
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sv
e
n Verdoolaege
barvinok_series: remov
e
s
o
me more eq
u
a
li
t
ies fro
m
the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
S
ven
V
er
d
oolaege
check
for
c
om
p
res
s
_parms function
commit
|
commitdiff
|
tree
2006-02-10
Sv
e
n
V
erdo
o
laege
gen_f
u
n:
a
dd substitute
m
ethod
.
commit
|
commitdiff
|
tree
2006-02-09
Sv
e
n
Verdoo
l
aege
b
a
rvi
n
ok/g
e
n
f
u
n
.
h: a
b
it mor
e
documentation
.
commit
|
commitdiff
|
tree
next