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
S
v
en Verd
o
olaege
reduc
e
d_ba
s
is: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
doolaege
reduced_bas
i
s: ensure
a
ll LP solutions ar
e
non-
n
eg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoolaege
occ
:
print parametric vertices o
f
s
et
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoo
l
aege
occ: add
i
n
t
e
rface to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Ver
d
oola
e
ge
util
.
c: provide du
m
my bar
v
inok_lexsmal
l
er_
e
v when L
e
xSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins
:
com
p
utes gen
e
rating function f
o
r
4 coin Fr
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
gen_fun
:
:Hada
m
ard_product:
a
p
p
ly paramet
e
r comp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
gen_fun::substitu
t
e: o
n
ly p
a
ss in transform
a
t
ion m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ve
r
d
o
olae
g
e
s
carf
.
c
c: support more c
a
ses o
f
3
(independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
scarf
.
c
c
:
support m
o
re case
s
of 4 c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Ve
r
doolaege
genfun
.
c
c
: add ge
n
_fun:
:
divide met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ve
r
doolaege
ge
n
fun
.
cc: another ge
n
_fun::sum
m
ate me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
g
e
inf
i
n
i
te_i
c
ounter: an
incr
e
mental counter for possibl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
V
erdoolaege
icounter:
m
ove
from
barvinok
.
cc t
o
re
d
ucer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
bfe
n
umerator::
s
et_factor: plug
s
m
all mem
o
ry leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
arv
i
no
k
_enu
m
erate_un
i
o
n
_
s
eries: u
s
e gen_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfu
n
.
c
c: add ge
n
_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaege
g
e
n_fun::Hadam
a
rd_
p
r
o
duct: optimize
c
omput
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fun:
:
Hada
m
ard_product: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar
_
decomposer::decompose: make sure v
e
rtices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add
d
o
_
vertex_co
n
e
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
olaege
gen_fun::print: allow p
r
int
i
ng to
s
t
reams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
ae
g
e
bfcounter
.
cc:
m
o
v
e
some more code
f
rom b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_f
u
n
.
h: short_r
a
t
: use QQ instead of
p
air o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
NTL_QQ
.
cc
:
a rational NTL
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
verify_main
.
cc
:
small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_series: move cho
i
ce of which
g
f_
b
ase s
u
b
c
lass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
b
arvin
o
k
.
cc:
m
ove so
m
e functionality int
o
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rv
i
nok
.
cc: move Polyhedron argu
m
ent to start
m
e
t
h
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barv
i
n
o
k
.
cc: move start
and
h
a
n
dle_pol
a
r into np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
gen_fun:
a
dd shift
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
gen
_
fun: add copy constru
c
tor
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
zz2values: make first
arg
u
ment c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
z
z2value:
make first arg
u
ment co
n
st
commit
|
commitdiff
|
tree
2006-07-20
S
v
en Verdoo
l
aege
P
o
lyhed
r
o
n
_i
s
_in
f
inite: use Polyhedron_Samp
l
e i
f
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
polyhedron_sample
:
c
o
mputes an
i
nt
e
ge
r
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n Ve
r
d
oolaege
c
o
nf
i
g
ure
.
in: check f
o
r gl
p
k
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
scarf
.
cc: sim
p
le
x
:
:shrunk_
p
olyhedron: on
l
y
pr
o
ces
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
Verdoo
l
aeg
e
gen_fun:
:
a
d
d
: perform tri
v
ial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc: reor
d
er term
s
in numer
a
tor
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
arf
.
cc:
n
ormalize_m
a
tr
i
x
:
sim
p
lify n==3 case
s
ome
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdo
o
laege
s
c
arf
.
c
c
: s
u
pport so
m
e cas
e
s
o
f
4 c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enum
e
rate_e: --pri
n
t-al
l
fo
r
prin
t
ing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doola
e
ge
sc
a
r
f
.
cc:
n
ormaliz
e
_matrix: simplify n==3 cas
e
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
V
e
rdoolaege
s
carf
.
cc: projec
t
out
2 var
i
ab
l
es using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoolaege
util
.
c: export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
config
u
r
e
.
in: m
a
ke -
-
enable-fractional the
d
e
fault
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
V
e
rdo
o
laege
barvin
o
k_coun
t
: c
h
eck whether un
b
ounded polyhedra ac
t
ually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdo
o
laege
p
o
lymak
e
/co
n
figur
e
.
in: allow specif
i
cation of
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
r
e
d
u
ce_d
o
main:
d
eclare
v
ar
i
ab
l
e at start of co
d
e blo
c
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
re
m
ove_equalities: stop r
e
movi
n
f
e
qua
l
i
ties if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
do
o
l
a
ege
barvinok_count: stop counting if first facto
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Ver
d
oolaege
barvinok_
c
o
unt_f: check for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
ve
n
Verdoola
e
ge
ba
r
vinok_co
u
nt: tel
l
PolyL
i
b we
a
re only
i
nterested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Ver
d
oola
e
g
e
README: document optional ins
t
allation of O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc:
docum
e
nt Omega int
e
rface
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
doolaege
do
c
: (minima
l
ly) document p
o
l
y
mak
e
clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: further document barvinok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdo
o
laege
documen
t
b
a
rvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc: document
b
arvinok_ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
doc: docu
m
ent
s
o
me opt
i
ons
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
Verdoolaege
doc: add referen
c
e for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolaege
do
c
: describe vertices based i
n
p
u
t spec
i
ficatio
n
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
e
rd
o
olaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
e
rdoolaege
d
o
c: add
s
ubse
c
tions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
use "git describe" t
o
describe version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
add doc
to di
s
tribution
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
doolaege
doc: warn that the output
m
ay
l
o
ok di
f
f
erent
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: barv
i
nok_co
u
nt no
l
onger perfo
r
ms m
a
nual countin
g
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: replace "Appendix" by "S
e
ctio
n
"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: reflect
r
e
name of cdd2polylib
.
p
l to latt
e
2poly
l
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: resol
v
e
undefin
e
d
references
t
h
ro
u
gh my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add title pa
g
e
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verd
o
olaege
d
oc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2polylib
.
pl to
l
atte2p
o
lylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
S
v
e
n
Ver
d
o
o
laege
polymake/h_s
t
a
r
_vector
.
cc
:
client
to compute
t
he h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoola
e
g
e
polym
a
ke/convert
.
cc: extract
p
olymake_
c
onstra
i
nts2pol
y
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
Verdo
o
la
e
ge
util
.
c
:
export Cone
_
over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoolaege
barvinok_ehrhart:
c
ompute ehrh
a
rt (quasi-)pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
ven Verdool
a
eg
e
barvinok
_
count
:
a
l
low polytop
e
to be specified
by it
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sv
e
n Verdoolaege
genfun
.
cc: fi
x
add_union
metho
d
commit
|
commitdiff
|
tree
2006-06-13
Sven
Verdo
o
laeg
e
ba
r
vi
n
o
k_union
:
op
t
ionally
p
rint
g
e
n
erating f
u
nction
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
barvinok_cou
n
t
:
handle i
n
finite
p
ol
y
hedra wi
t
h no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
barvinok_count
:
stop
c
o
u
nting if one
o
f t
h
e f
a
ctors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
V
e
rdoolaege
ev
a
lue_fra
c
2floor_i
n
_
d
oma
i
n:
a
llow
a
rgument of resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
util
.
c: sp
e
cifical
l
y indic
a
te e
m
pty se
t
s in Poly
h
edr
o
n_pprin
t
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c
:
move a
l
ign_ma
t
rix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
V
erd
o
ola
e
ge
m
at_util
.
cc: some useful functi
o
ns ext
r
acted
f
rom g
e
nfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdool
a
ege
e
v
alue
.
c:
export reduce_eva
l
ue_in_do
m
a
in
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoo
l
aege
evalue
.
c: renam
e
r
educ
e
_in_domain to evalue_range_
r
eduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
ba
r
vin
o
k
.
cc
:
remove ancien
t
deb
u
gging cod
e
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c: expor
t
evalue_fr
a
c
2
flo
o
r
_
in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdo
o
lae
g
e
gen_
f
un::substitute: add
more detaile
d
explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verd
o
olaege
reduce_domain: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaeg
e
b
arvin
o
k
.
cc: move red
u
ce_domain into separ
a
te file
commit
|
commitdiff
|
tree
2006-05-24
Sven Ver
d
oolae
g
e
ut
i
l
.
c: add Po
l
yhedron_pprin
t
commit
|
commitdiff
|
tree
2006-05-18
Sven Verd
o
olaeg
e
lattice_point
.
c
c:
l
a
t
t
i
c
e
p
oints compu
t
a
tion ex
t
rac
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n Verdoolae
g
e
conversio
n
.
cc:
a
dd values
2
z
z
a
nd rays2 f
r
om ba
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doolaege
ev
a
lue
.
c: add evalue_zer
o
commit
|
commitdiff
|
tree
next