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
gen_fun::Hadamard_product: apply parameter compression if needed
2006-07-28
Sven Verdoola
e
ge
gen_fun::
H
adamard_product:
a
p
p
ly paramete
r
c
ompression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolaege
g
e
n_f
u
n::substitute:
o
nl
y
pass in transformation ma
t
ri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
o
lae
g
e
sca
r
f
.
cc: support mo
r
e
c
ases of 3
(
independent) con
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
s
c
a
rf
.
c
c
: suppor
t
m
ore case
s
o
f
4 constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
genfun
.
cc: add gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
a
e
ge
genfun
.
cc: an
o
ther gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
nfinite_icounter: an incremental counter for poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
icounter: move from
b
a
rv
i
nok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
bfenumerator
:
:se
t
_
f
a
ctor: p
l
ug sma
l
l memory
leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_enumerate
_
union_series: use ge
n
_fu
n
::s
u
mmat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
genfu
n
.
cc: add gen_fun::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ve
r
doolaege
gen_fu
n
::Hadamard_product: op
t
imize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
ge
ge
n
_fun::Had
a
ma
r
d
_
product: make fi
r
st ar
g
ument c
o
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
polar_dec
o
mposer::dec
o
mpos
e
: mak
e
sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
n
p_base: ad
d
do_vertex
_
cone metho
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
ge
n
_fun::
p
rint: allow pr
i
nting to
stre
a
ms other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
bfc
o
unter
.
cc: move some
m
ore code fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdool
a
eg
e
ge
n
_fun
.
h: sh
o
rt_rat: use
Q
Q
instead o
f
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olaege
NTL_QQ
.
cc:
a
rational N
T
L type
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoola
e
ge
ve
r
ify_ma
i
n
.
cc
:
small memory
clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olae
g
e
bar
v
inok_s
e
rie
s
: move choice of w
h
ich gf_base
s
ubclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ba
r
v
i
nok
.
cc:
m
ove
s
o
me fu
n
ctionality into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc:
m
ove P
o
lyhedron
a
rgumen
t
to
s
tar
t
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
barvinok
.
cc: move start and handl
e
_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_
f
un: ad
d
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
fun:
add copy construc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
zz2values: ma
k
e
f
i
rst
a
rgument const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
z
z
2va
l
ue:
make
f
i
r
st
a
r
g
ument co
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedron_is_infi
n
ite: use Polyhedron_Sa
m
ple
i
f
availabl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
a
ege
p
o
lyhedron_sample:
c
omputes an i
n
teg
e
r vector
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
Verdo
o
laege
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
sca
r
f
.
cc: simp
l
ex::shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
gen_fun::add: pe
r
fo
r
m trivial r
e
duction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
genfun
.
cc: reord
e
r terms i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verd
o
ol
a
e
g
e
scarf
.
cc:
n
ormalize_matri
x
: simplify n==
3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
cc: sup
p
o
r
t
some cases
o
f 4 con
s
train
t
s
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ve
r
d
o
olaege
barvinok_enumerate_e: --print-all f
o
r prin
t
ing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doo
l
a
e
ge
scarf
.
cc
:
normaliz
e
_matrix: s
i
mplify n
=
=
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project
o
ut 2 vari
a
bl
e
s using S
c
arf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
S
ven Verdoolaeg
e
util
.
c: export E
x
tende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
Verdoo
l
aege
co
n
f
igure
.
in: make --enable-
f
ractional
the default
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n Verdoolaege
barvinok_cou
n
t: c
h
e
c
k whet
h
er
u
n
bo
u
nded polyhedra
a
c
t
ually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
olaege
polymake/configure
.
i
n
: al
l
ow spec
i
ficatio
n
of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
V
erd
o
ola
e
ge
reduc
e
_dom
a
in: declare var
i
abl
e
at s
t
art of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolae
g
e
r
e
move_equalities: stop removin
f
e
q
uali
t
ies
i
f input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
ar
v
inok_count: st
o
p
c
oun
t
ing if f
i
rst factor
i
s empty
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
r
doo
l
a
e
ge
barv
i
no
k
_count_f: ch
e
ck fo
r
e
mpt
i
ness of P (a
g
ain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doola
e
ge
barv
i
n
o
k
_
c
ount: t
e
ll PolyLib we are
o
n
l
y interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ve
n
V
e
rdoo
l
aege
vers
i
on 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
R
E
ADME: document optional
instal
l
a
t
i
on of
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Ve
r
doolaege
doc: docum
e
n
t
Omeg
a
interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
doc: (min
i
mally) documen
t
poly
m
ake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: f
u
rther docum
e
nt b
a
rvinok_ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
ocu
m
ent barvino
k
_
u
nion
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aeg
e
doc: document barv
i
nok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc:
d
ocu
m
e
nt some
o
p
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add refere
n
ce f
o
r NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: d
e
s
c
r
ibe vertices based input s
p
ec
i
f
i
c
a
tion
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
V
e
rdool
a
e
g
e
d
oc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: a
d
d su
b
s
e
ction
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
u
se "git de
s
cribe" to
d
escribe vers
i
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
a
d
d doc to di
s
tributi
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
: warn tha
t
the output
m
ay look different
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc:
barvin
o
k_count no lon
g
er perform
s
man
u
al c
o
unting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
do
c
: r
e
p
l
a
ce "A
p
pendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: ref
l
ect ren
a
me of cdd2polylib
.
pl to latte2
p
o
lylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdool
a
ege
doc
:
resol
v
e und
e
fine
d
refer
e
nces throug
h
my t
h
esis
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoola
e
g
e
d
o
c: add title p
a
ge
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doo
l
aege
d
oc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2polylib
.
pl to latte2po
l
yl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Ver
d
oolae
g
e
polymake/h_star_v
e
ctor
.
cc: client to compute
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Ve
r
dool
a
ege
polymake/conver
t
.
cc
:
extract polymake_co
n
st
r
aint
s
2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdoolae
g
e
util
.
c: e
x
port
Cone_over_Polyhedro
n
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
e
ge
barvinok_ehrhart: compute ehrha
r
t (qua
s
i-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven V
e
rd
o
olaege
barvinok_cou
n
t: allow polyto
p
e
t
o be sp
e
cified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sv
e
n Verdoo
l
aege
genf
u
n
.
cc: fix add_union method
commit
|
commitdiff
|
tree
2006-06-13
Sven V
e
rdoolaege
barvin
o
k_union: optionally print
g
enera
t
ing
f
unction
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
r
d
oolaege
barvinok_count: handl
e
i
nfinite poly
h
edra with n
o
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
ba
r
vin
o
k_c
o
unt: stop c
o
unting i
f
one of the f
a
cto
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ev
a
lue_frac2floor_in_domain: allow argument of resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
ut
i
l
.
c: specifical
l
y
i
ndicat
e
e
m
pty sets in Polyhedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c
:
move
a
lign_matrix fro
m
barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
laege
m
a
t_util
.
cc:
s
o
me useful
f
unc
t
ions ext
r
acted fr
o
m genfun
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
evalue
.
c: export reduce_evalue_in_dom
a
in
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
Verdoola
e
ge
evalue
.
c:
rename r
e
duc
e
_in_domain to evalue_
r
ange_reduc
t
io
n
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barvinok
.
cc: re
m
ove
an
c
ien
t
debuggi
n
g
cod
e
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
e
v
alue
.
c: export
ev
a
lue_frac2fl
o
or_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
doolaege
gen_fun::subs
t
itute: add m
o
re detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n
V
erdoolaege
reduce_domain:
h
a
n
dle NULL C
E
q
commit
|
commitdiff
|
tree
2006-05-24
Sven Ver
d
oolaege
barv
i
no
k
.
cc: mov
e
red
u
ce_domain in
t
o separate f
i
l
e
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
rdo
o
l
aege
util
.
c
:
a
dd P
o
l
y
hedron_p
p
rint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
lattice_p
o
int
.
cc: latt
i
ce
points
c
o
m
putation e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
conversion
.
cc:
a
dd
v
a
lues
2
zz and rays2 fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoola
e
ge
evalue
.
c: add evalu
e
_z
e
ro
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n Verdoolaeg
e
dec
o
m
poser: extract
o
u
t
vertex_decom
p
oser from
b
ar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
ven Verdoolaeg
e
barvin
o
k
.
cc: extract out some
f
unctional
i
ty into dec
o
mposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdo
o
l
a
ege
util
.
c: docum
e
nt Eucl
i
d functio
n
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ
:
plug
s
ome m
o
re (po
t
ential) mem
o
ry leak
s
commit
|
commitdiff
|
tree
2006-05-10
S
v
en Verdoolaege
occ
:
don't use freed variable in erro
r
message
commit
|
commitdiff
|
tree
2006-04-10
S
ve
n
Verdoolaege
barvinok
.
cc
:
add some doc
u
m
enta
t
i
on to la
t
tice
point
.
.
.
commit
|
commitdiff
|
tree
next