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
reduced_basis: support 1D polytopes
2006-08-03
Sv
e
n Verdo
o
la
e
ge
redu
c
ed
_
basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis: e
n
sure all LP
solutions
are no
n
-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
oola
e
ge
occ: print para
m
etric vertices
of
s
et
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
rdoola
e
ge
occ: add inte
r
face to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c: provid
e
du
m
my
barvin
o
k_lexsmaller_
e
v when
Lex
S
maller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven V
e
rdoolaege
4
c
o
in
s
: computes generating function for 4 coin Froben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
ge
n
_
f
un::Hadam
a
r
d
_product: apply p
a
r
a
meter compressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
gen_fun::substitute: only pass in transform
a
t
i
on m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
scarf
.
cc: suppo
r
t more cases of
3
(independent) constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: s
u
pport more ca
s
es o
f
4 c
o
n
st
r
aints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
genfun
.
cc:
a
d
d gen_fun::div
i
de method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
ge
n
f
u
n
.
cc: another gen_
f
un::su
m
mate met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
infin
i
te_ico
u
nter: an inc
r
ement
a
l cou
n
t
e
r for poss
i
bl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
icounter
:
move from ba
r
vin
o
k
.
cc to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdoolaege
b
f
e
n
u
m
e
r
a
tor::set_facto
r
: pl
u
g sm
a
ll
mem
o
r
y
lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
ba
r
vi
n
ok_enumerate_union_series: use gen_
f
un::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
genfu
n
.
c
c
: a
d
d gen_f
u
n
:
:summat
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
g
en_fun::
H
adama
r
d_
p
r
o
duct: optimize c
o
mputat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
g
e
n_fun::Had
a
ma
r
d
_product: mak
e
first argu
m
e
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_decomposer::decompose
:
make
s
ure v
e
rtices ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: a
d
d do_ve
r
tex
_
con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
gen_fun::print
:
allow printing to streams other t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
bfcounter
.
cc
:
m
ove som
e
more
c
ode from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaeg
e
g
e
n_fu
n
.
h: short
_
rat: use QQ instead of pair of Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
l
aege
NTL_QQ
.
cc:
a rational NTL t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
veri
f
y_
m
ain
.
cc
:
smal
l
memory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoolaeg
e
bar
v
in
o
k_
s
eries: move c
h
oice of wh
i
ch
g
f_base
subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
d
ool
a
e
g
e
barvinok
.
cc: m
o
v
e
some functionalit
y
into
s
e
p
arat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rdoola
e
ge
barvi
n
ok
.
cc: move
P
olyhedron ar
g
ument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoo
l
aege
barvinok
.
c
c: move star
t
and handle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
g
e
gen_fun
:
a
d
d shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaeg
e
ge
n
_fun: add c
o
py constr
u
ctor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
zz2v
a
lues
:
mak
e
first a
r
g
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
z
z
2value: make
f
irs
t
argument cons
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoola
e
ge
Polyhedron_is_infini
t
e: use Poly
h
ed
r
o
n_Sample if
ava
i
lable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolae
g
e
polyhedron_sample: com
p
utes
a
n intege
r
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n
V
erdoo
l
a
ege
c
o
n
figure
.
in: che
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
sc
a
rf
.
cc: simplex::shrunk
_
polyhedron: only p
r
o
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
ge
n
_fun::add:
perform trivial reduction st
e
p
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
genfun
.
cc:
reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
d
oola
e
ge
scarf
.
cc: nor
m
a
lize_matr
i
x: simplify n==3 c
a
se some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
scarf
.
cc:
s
upport s
o
me cases o
f
4 constr
a
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumera
t
e_e:
-
-p
r
i
n
t
-
all for printin
g
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
l
aege
sca
r
f
.
cc: norm
a
li
z
e_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Ver
d
oolaege
scarf
.
cc: p
r
oject out 2 v
a
riables
u
sing Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoo
l
aeg
e
u
t
il
.
c: export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verd
o
olaege
c
o
nfig
u
re
.
in: ma
k
e --enable-fr
a
ctional the default
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolaege
barv
i
nok_
c
ount: chec
k
whether un
b
ounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/configure
.
in:
allo
w
specification o
f
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
doolaege
r
e
duce_domain
:
declare vari
a
ble at
start
o
f code b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoola
e
ge
remove_equalities: stop
r
emov
i
nf equalities i
f
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok
_
c
ount: stop countin
g
if
f
irs
t
fa
c
t
o
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Ver
d
oolaeg
e
barvinok_count_f: check for empti
n
ess of P (aga
i
n)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en
V
erdo
o
lae
g
e
b
a
r
vinok_co
u
nt: tell PolyLib we are
only in
t
erested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolae
g
e
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verd
o
ola
e
ge
READ
M
E
:
document optional inst
a
llation o
f
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven
V
erd
o
olae
g
e
doc: d
o
cument Omega i
n
t
erfac
e
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
d
oc: (min
i
m
a
lly) doc
u
ment
polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aege
doc: further
d
ocument barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
document barvinok_u
n
io
n
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Verdoolaege
doc: document
barvinok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
do
c
: document some o
p
t
i
on
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add reference fo
r
NT
L
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olae
g
e
doc: descri
b
e ver
t
ices based input sp
e
cification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc
:
a
dd
s
ubsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doo
l
a
e
g
e
u
se "git d
e
scribe" to describe
v
e
rsion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
lae
g
e
ad
d
doc to
d
istribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: warn that the output may look differe
n
t
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoo
l
aege
doc: barvinok_count no l
o
nger perfo
r
ms manual c
o
unting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
d
oc: repla
c
e "Append
i
x" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: reflect rename
o
f cdd2p
o
ly
l
ib
.
p
l
t
o latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: resolve und
e
fined refer
e
nces thr
o
ugh my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdool
a
e
g
e
doc
:
add title page
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
d
oc: use
r
guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
r
ename cdd2polylib
.
pl to
l
atte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
polymake/h_s
t
ar_ve
c
tor
.
cc: client to comput
e
t
h
e h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erd
o
olaeg
e
polymake/con
v
ert
.
cc: e
x
tract p
o
ly
m
ak
e
_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n V
e
rdoolaege
util
.
c: expo
r
t
C
one_over_Po
l
yh
e
dron
commit
|
commitdiff
|
tree
2006-06-18
S
v
e
n
Verdoola
e
g
e
b
a
rvinok_ehrhart: comp
u
te ehrha
r
t
(
q
uasi-)p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
v
en
V
erdoolaeg
e
barvino
k
_c
o
unt:
a
llow p
o
lytope to be spe
c
i
fi
e
d
by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sve
n
Verdoolaege
g
e
nfun
.
cc: f
i
x
a
dd_
u
n
i
o
n
metho
d
commit
|
commitdiff
|
tree
2006-06-13
Sven
Verdoo
l
aege
barvinok_union: opti
o
nally
p
r
i
nt generat
i
ng fu
n
ction
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolae
g
e
barvinok_c
o
unt: han
d
le
i
n
finite polyhedra w
i
th no i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barv
i
nok
_
count: stop countin
g
if one of the factor
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
eva
l
ue_frac2floor_i
n
_domain: al
l
ow arg
u
ment of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
lae
g
e
util
.
c: speci
f
ica
l
ly indica
t
e e
m
pty s
e
ts in Poly
h
edron_ppri
n
t
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Ver
d
oolaege
util
.
c: move al
i
gn_
m
atrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaege
mat_util
.
cc: som
e
use
f
u
l
func
t
ions ext
r
act
e
d from gen
f
u
n
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
e
v
alue
.
c: export reduce_evalue_in_dom
a
in
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
V
erdoo
l
a
e
ge
e
v
a
lue
.
c
:
renam
e
reduce_in_
d
omain to ev
a
lue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ba
r
vinok
.
cc: remov
e
ancient
debuggi
n
g co
d
e
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Ve
r
doolaege
ev
a
lue
.
c: exp
o
rt eval
u
e_frac
2
floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdo
o
laege
gen_fun::substitu
t
e
: add
more det
a
i
led explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce
_
domain
:
handle NUL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoolaege
ba
r
v
inok
.
c
c:
move reduce_dom
a
in into
s
eparate
f
ile
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
uti
l
.
c
: add Polyhedro
n
_p
p
rint
commit
|
commitdiff
|
tree
2006-05-18
S
ven Ver
d
oolaege
lattice_poin
t
.
cc: lattice points computation ext
r
a
ct
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
S
ven Verdoo
l
aege
co
n
v
e
r
s
i
on
.
cc: add values2zz and rays2 from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolae
g
e
e
v
al
u
e
.
c
: add evalue_zero
commit
|
commitdiff
|
tree
next