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
barvinok_enumerate_e: --print-all for printing all values during verification
2006-07-13
Sven Verdoolaege
barvin
o
k_enumera
t
e
_
e: --print-all fo
r
p
rinting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
s
c
arf
.
cc: normalize
_
matrix:
s
implify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scarf
.
cc: project out 2 variables using Scarf comp
l
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Ve
r
doolaege
ut
i
l
.
c: e
x
po
r
t Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
con
f
igure
.
in: ma
k
e --enable-
f
rac
t
io
n
al
t
he default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
olaege
ba
r
vi
n
ok_count:
check whether u
n
bounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
aege
po
l
ymake/configure
.
in: allow speci
f
i
c
ation
o
f lo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
a
ege
reduce_domain: declare varia
b
le
a
t start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
remove_equa
l
ities: sto
p
r
emovinf e
q
ualities
i
f
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
V
e
r
dool
a
e
g
e
barvi
n
ok_count
:
stop counting i
f
first
factor is e
m
pty
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolaege
barvinok
_
count_f: check fo
r
empti
n
ess of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok_count: tel
l
Po
l
y
Lib
we are only interest
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
d
oolaege
version
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Verdoolaege
README: document op
t
ion
a
l installation
of Omega an
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
rdoolae
g
e
d
o
c: docume
n
t Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
rdoola
e
g
e
d
oc: (minimally) doc
u
ment
p
olymake
clients
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Verdoola
e
ge
doc: further document barvinok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdoolaege
document barvinok_unio
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
doc: document bar
v
inok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
d
o
c: d
o
c
u
men
t
some options
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doo
l
aege
doc:
a
d
d refer
e
nc
e
for
N
T
L
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoo
l
aege
doc: d
e
scribe ver
t
ices based input spec
i
ficati
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
g
e
doc: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
use "git
d
escribe" to desc
r
ibe version
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaeg
e
add
doc to d
i
stributio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: warn t
h
a
t th
e
output may look different
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
erdoolaeg
e
doc: barvinok_c
o
u
n
t no
longer
p
erf
o
r
m
s manual coun
t
ing
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c
: replace
"
Appendix" by
"
S
e
ction"
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoo
l
aege
doc: reflect rename of cdd2pol
y
lib
.
pl to
l
atte
2
p
o
lyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
v
en V
e
r
doolaeg
e
doc: resolve undefi
n
e
d
references through my thesis
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdool
a
ege
doc:
a
dd titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
V
e
rdoolaege
doc
:
u
ser guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2p
o
l
y
lib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Ve
r
doolaeg
e
polymake
/
h_star_v
e
ctor
.
cc: client to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
e
r
doolaege
polymake/convert
.
c
c
: ext
r
act po
l
y
m
ake_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
u
til
.
c:
export Cone_over_Polyh
e
d
r
on
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
barvin
o
k_ehrhart:
compute ehrhart (quas
i
-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sve
n
Verd
o
o
l
aege
barvinok_count: allow polytope to
be spec
i
fi
e
d
by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sv
e
n Verdoolaege
gen
f
un
.
cc: f
i
x
add_unio
n
m
e
thod
commit
|
commitdiff
|
tree
2006-06-13
Sven
V
er
d
oolaege
bar
v
inok_union: o
p
tionally prin
t
generating function
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaege
barvinok_
c
ount:
handle infi
n
ite poly
h
edr
a
with no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaege
barvinok_
c
ou
n
t: stop counting
if o
n
e o
f
the factor
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolae
g
e
evalue_fr
a
c2floo
r
_
i
n_doma
i
n:
allo
w
arg
u
me
n
t of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
u
t
il
.
c:
specifically i
n
dic
a
te empty sets
in Poly
h
e
dr
o
n_ppri
n
t
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Ver
d
o
olaege
util
.
c: move align_matrix
fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdool
a
ege
mat_ut
i
l
.
c
c: some useful functio
n
s extrac
t
ed from
genfun
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
ev
a
lu
e
.
c:
e
x
p
ort
reduce_
e
value_
i
n_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
evalue
.
c: rename
r
e
duce_in_domain to
e
value_range_r
e
d
u
ction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rd
o
olae
g
e
ba
r
vinok
.
cc: remove a
n
ci
e
nt de
b
ugging
c
ode
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
e
value
.
c: export evalue_frac2floor
_
i
n
_
d
omain
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoo
l
aeg
e
gen_fun::su
b
s
t
itut
e
: a
d
d
more d
e
tail
e
d
expla
n
a
tion
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdoolaege
reduce_d
o
mai
n
:
ha
n
dle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
b
arvinok
.
cc: mov
e
reduce_domain into se
p
arate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
doolaege
ut
i
l
.
c: add P
o
lyhedr
o
n_ppr
i
nt
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
erdoolaege
lat
t
ice
_
point
.
cc: lattice points
c
omputation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
er
d
oolaege
co
n
versio
n
.
cc:
add value
s
2zz and ray
s
2 fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
e
rdo
o
laege
evalue
.
c: add eval
u
e_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
decomposer: extrac
t
o
ut
v
ertex_d
e
compo
s
er from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Ver
d
oola
e
ge
ba
r
vinok
.
cc: extract out some fu
n
ctionality into
d
e
com
p
os
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven
Verdool
a
e
ge
util
.
c:
docume
n
t Euclid
f
u
n
c
tion
commit
|
commitdiff
|
tree
2006-05-10
S
v
en Verdoolaege
o
c
c:
plug some
more (potent
i
al) m
e
m
o
ry lea
k
s
commit
|
commitdiff
|
tree
2006-05-10
Sven V
e
rdoolaege
occ: don't use fre
e
d variable i
n
err
o
r
message
commit
|
commitdiff
|
tree
2006-04-10
Sven Ve
r
doo
l
a
e
ge
barvinok
.
cc: add some documentation to
l
attice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
barv
i
nok_enumerate_unio
n
: call ge
n
_fun::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Verdoolaeg
e
gen_fun: add add_union
method
commit
|
commitdiff
|
tree
2006-04-03
S
v
en
V
erdoolaege
bar
v
inok
.
c
c
: document Spl
i
tOnVar and
r
emove s
o
me redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verd
o
o
l
aege
remo
v
e
inappropriat
e
uses of Polyh
e
dron2Param_S
i
mplifiedD
o
m
ain
commit
|
commitdiff
|
tree
2006-02-22
Sven V
e
rdoolaege
vers
i
on
0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
c
r
eate correct
GI
T
_
HEAD_
I
D in dist
r
ibution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
bar
v
inok_union: document input fo
r
mat
commit
|
commitdiff
|
tree
2006-02-21
Sve
n
V
e
rdoola
e
ge
Merge br
a
nc
h
'
n
ew_
p
i
p
lib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
only run tests that require piplib when
p
iplib is avai
l
able
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
barvinok_enumerat
e
_e: only link in ome
g
a li
b
rar
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Ve
r
do
o
laege
check for
p
ipl
i
b 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
some examples
f
rom
R
achi
d
to test barvinok_enu
m
erate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolae
g
e
add barvinok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add barvino
k
_enum
e
rate_union func
t
ion
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun: add Hadam
a
rd_product method
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoo
l
a
e
ge
gen_f
u
n
:
:operator evalue *(): fix memor
y
leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
r
d
o
o
laege
genfu
n
.
cc:pr
i
nt_power: remove space
s
around
"
*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
rdo
o
laege
barvino
k
_series: return
empty
gen_fun for empty p
o
lytope
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdo
o
laege
barvinok_series: remove
unused variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n Verd
o
olaege
barvinok
.
cc: extra
c
t o
u
t some
code common
to genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven
Ve
r
dool
a
ege
barvinok
.
cc: introduce np_base, a b
a
se class for
no
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Ve
r
d
oolaege
barvinok
.
cc
:
do virtual polar_decomposer inheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoola
e
g
e
barvinok_seri
e
s:
remove some mo
r
e equalities from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolaege
check
f
or
compress_parms func
t
ion
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolae
g
e
gen_fun: add
s
ubstitu
t
e
m
ethod
.
commit
|
commitdiff
|
tree
2006-02-09
S
v
en Ver
d
oolaege
barvinok/genfun
.
h: a b
i
t more doc
u
m
e
ntatio
n
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdo
o
l
aege
adapt determina
t
ion of git HEAD to recent git ver
s
i
ons
commit
|
commitdiff
|
tree
2006-02-08
S
v
en V
e
rd
o
o
laege
verif
y
_mai
n
.
cc: fix typo
t
h
a
t w
o
u
l
d let check_s
e
r
ies
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven Ve
r
doolaege
verify_
m
ain
.
cc: also print e
x
plicit functio
n
w
hen verbose
commit
|
commitdiff
|
tree
2006-02-08
Sven
V
erdoolaege
gen_fun::add: normalize coeffic
i
ents
commit
|
commitdiff
|
tree
2006-01-29
Sv
e
n Verd
o
olaege
te
s
t barvinok
_
enu
m
e
r
ate_e -
-
o
m
e
ga
commit
|
commitdiff
|
tree
2006-01-29
Sven
V
erdool
a
ege
barv
i
nok_enu
m
er
a
t
e
_e: only prov
i
de --
p
ip
option
if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
Sven
V
erd
o
olaege
b
a
rvinok
_
e
n
umerat
e
_e
.
cc: memory cl
e
an up
.
commit
|
commitdiff
|
tree
2006-01-28
S
ven V
e
rdoolaege
integr
a
t
e ve
r
if_ehrhart_e into
b
a
r
vinok
_
enumerate_e
commit
|
commitdiff
|
tree
2006-01-28
Sven V
e
rdool
a
ege
barvinok_enumerate_e: rename --range op
t
ion to --range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven V
e
rdoolaeg
e
b
a
rvinok_e
n
u
merate_
e
:
optionally use o
m
ega
t
o
simplify
.
.
.
commit
|
commitdiff
|
tree
next