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_count: simplify constraints after removing equalities
2006-08-03
Sven
Verdoolaege
barvinok_count: simplify cons
t
rain
t
s after removin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
reduced_b
a
sis
:
support 1D pol
y
top
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis: ensure all LP
s
olutions are non-nega
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sven Verd
o
olaeg
e
occ: print
parametric vertice
s
of se
t
usin
g
Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
er
d
oola
e
ge
occ:
a
dd inte
r
f
a
ce to barvinok_lexs
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
doolaege
util
.
c: provide du
m
my b
a
rvinok_le
x
smalle
r
_ev when
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: comp
u
tes
g
enerating function for 4 coin Frob
e
niu
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolaege
gen_fun::
H
a
damard_product: apply paramet
e
r compr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oo
l
aege
gen_fun::su
b
stitu
t
e
: o
n
ly pa
s
s
in
tr
a
nsformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven
V
erdoolaeg
e
scarf
.
cc:
s
upport more ca
s
e
s
of 3
(
in
d
epend
e
nt) cons
t
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
sca
r
f
.
cc: support m
o
re cases of
4
c
onstrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genfun
.
cc: add
g
e
n
_fun::d
i
vide me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genfu
n
.
cc
:
another gen_fun::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
infinite_i
c
ounte
r
:
a
n in
c
remental c
o
unte
r
fo
r
pos
s
ib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en V
e
rdoolaege
i
counter
:
move
from bar
v
inok
.
c
c
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
b
fenumerator:
:
s
et_factor: plug small
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_en
u
merate_union_series: us
e
gen_fun
:
:summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
g
e
nfun
.
cc: add gen_fun::s
u
m
m
ate met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun:
:
Hadamard_produ
c
t: opt
i
miz
e
computati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun::
H
adamard_produ
c
t: ma
k
e first argumen
t
con
s
t
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
polar_decomposer
:
:dec
o
mp
o
se:
m
a
ke sure vert
i
c
es have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
n
p
_ba
s
e
:
add
d
o_vertex_cone
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun::print:
a
llow
p
r
i
n
t
i
n
g
to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
o
laege
bfcounter
.
c
c
: move s
o
me
more c
o
de from
b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
g
en_fun
.
h
:
s
hort_r
a
t: use QQ instead of p
a
ir of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ol
a
ege
NTL
_
QQ
.
cc: a rat
i
ona
l
NTL ty
p
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
verify
_
main
.
cc: sma
l
l m
e
mory c
l
ean
-
u
p
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
er
d
oolaege
barvinok_se
r
ies:
move choice of which gf_b
a
se sub
c
lass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doola
e
ge
barvinok
.
cc: move some functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaeg
e
b
a
rvinok
.
c
c: move Polyh
e
d
ron argument to
star
t
m
e
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
barvinok
.
c
c
: move start and ha
n
dle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
laege
gen_fun: ad
d
s
h
ift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n
_
fun
:
add copy
c
o
nstr
u
ctor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2valu
e
s:
m
ake
f
irst
ar
g
ument c
o
ns
t
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
z
z2valu
e
: m
a
ke first ar
g
ume
n
t co
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven Verd
o
olaege
Polyhe
d
ron_is_infinite: use Poly
h
edr
o
n
_
S
ample
i
f
a
v
a
ilable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdool
a
ege
polyhedron
_
sa
m
ple: computes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n Verdoolaege
configure
.
in: c
h
e
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oo
l
aege
scarf
.
cc:
s
implex::shrunk_polyhe
d
ron: onl
y
proce
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erd
o
olaege
gen
f
un
.
cc: reorde
r
terms i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
scarf
.
cc: normalize_matrix: simplify n==3 case
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c
:
sup
p
ort some c
a
ses
o
f 4 const
r
aints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumerate_e:
--pr
i
nt-all fo
r
printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
scarf
.
cc: normalize_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
S
v
en Verdoolaege
scarf
.
c
c:
p
r
oject ou
t
2
variabl
e
s using Scarf c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sven V
e
r
do
o
l
a
ege
util
.
c
: e
x
por
t
E
x
tended_
E
uc
l
id
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
e
rdoolaege
configure
.
in: make --
e
nable
-
fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoo
l
aeg
e
barvinok_c
o
un
t
: ch
e
ck w
h
ether unbounded polyhedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoo
l
aege
p
olym
a
ke/configure
.
in: allow speci
f
i
cation of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
reduce_domain:
d
e
c
lar
e
v
ariabl
e
at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
r
emove_equalities: stop removi
n
f equal
i
t
ies i
f
inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolae
g
e
barvinok_cou
n
t
:
stop counting if first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
barvi
n
ok_
c
ount_f: check
f
or emptiness of
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoo
l
aege
b
a
r
v
i
nok_count: tell
P
olyLib
w
e are only inte
r
e
s
ted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Ve
r
doolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
R
EA
D
ME: doc
u
ment optio
n
al i
n
stallat
i
on of O
m
eg
a
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ve
n
Verdo
o
la
e
ge
doc: document Om
e
ga interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: (min
i
mally) docume
n
t
polym
a
ke clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
doc: further documen
t
b
ar
v
i
nok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
docu
m
ent barvin
o
k
_
u
nion
commit
|
commitdiff
|
tree
2006-06-22
S
ve
n
Verdoolaege
doc: d
o
cument barvi
n
ok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: document some optio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
do
c
:
add
reference
fo
r
NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc:
d
e
scribe verti
c
es
based input specificat
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoola
e
g
e
d
oc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
a
dd
s
ubsections
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
r
doo
l
aege
use "git describe"
t
o
describe version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
add doc to
d
ist
r
ibutio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
lae
g
e
d
o
c:
w
a
r
n
that
t
he
output may
look di
f
f
e
ren
t
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
o
c: barvinok_count no longer performs manual coun
t
ing
.
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaeg
e
doc: repla
c
e "Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdool
a
ege
doc:
r
e
flect r
e
na
m
e of
c
dd2p
o
lylib
.
pl to latt
e
2polyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
ven V
e
rd
o
olaeg
e
doc: r
e
solve u
n
d
e
fined referen
c
es throu
g
h my
t
hes
i
s
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdo
o
laege
doc: add titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
doc: user g
u
ide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
rename c
d
d2polylib
.
pl to
latte2
p
o
l
ylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
polymake/h
_
star_vector
.
cc: client to com
p
ute
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdo
o
laege
polymake/conve
r
t
.
c
c
: extract polymake_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdool
a
e
ge
util
.
c: e
x
port Cone_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
e
rdoolaege
b
a
r
vinok
_
ehrhart:
c
ompute
e
hrhart (quas
i
-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoolaege
barvinok_count: al
l
ow polytope to
be spec
i
fi
e
d
b
y it
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
genfun
.
cc
:
f
ix a
d
d_union method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
barvinok_
u
nion: opt
i
o
n
ally prin
t
gener
a
ting func
t
ion
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
ba
r
v
i
n
ok_count: handle
infini
t
e polyhedra wit
h
no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
barvinok_cou
n
t: s
t
op coun
t
i
n
g if
one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
eva
l
ue_frac2floor_
i
n_domain: allow argument of res
u
lt
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
util
.
c:
s
p
e
cifically
i
nd
i
cate empty
s
ets in P
o
lyhedron_p
p
ri
n
t
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c: move al
i
g
n
_mat
r
ix
from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaeg
e
mat_util
.
cc: so
m
e useful fun
c
tions extracted from
g
en
f
un
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Ver
d
oolaege
eval
u
e
.
c:
export reduce_evalue_in
_
domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
eval
u
e
.
c: rena
m
e
reduc
e
_in_domain to evalue_range_reducti
o
n_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
V
erdoolaege
barvi
n
ok
.
c
c:
r
emove ancient
d
e
bugging co
d
e
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
rdoolae
g
e
evalue
.
c: expor
t
evalue
_
frac2fl
o
or_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoolaeg
e
gen_fun::
s
ubstitute: add more detai
l
ed expla
n
ation
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdool
a
ege
r
e
duce_d
o
main: handle NULL C
E
q
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoola
e
g
e
barvinok
.
c
c: mo
v
e reduce_domain i
n
to sep
a
rate file
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
V
erdoolaege
u
t
i
l
.
c:
a
d
d
P
olyhedron_p
p
rint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
latt
i
ce_point
.
cc: lattic
e
points comput
a
tion ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
conversion
.
c
c: ad
d
va
l
ues2zz
and rays2 from barvinok
.
cc
commit
|
commitdiff
|
tree
next