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: optimize computation of terms with same denominator
2006-07-26
Sve
n
Verdool
a
e
g
e
g
e
n
_fun::
H
a
damard_product: optimize computat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolae
g
e
gen
_
f
u
n::
H
adamar
d
_product: mak
e
first ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
polar_d
e
c
omposer::decompose: ma
k
e sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
np_bas
e
: a
d
d do_vertex_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
g
en_fun
:
:print: allo
w
pri
n
t
ing to stre
a
ms oth
e
r than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olae
g
e
bfcounter
.
cc
:
mov
e
so
m
e m
o
re code from
b
arvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen_
f
un
.
h: sh
o
rt
_
r
a
t
:
use QQ
i
n
ste
a
d
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
NTL_QQ
.
cc: a ra
t
i
onal N
T
L ty
p
e
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
v
e
rify_main
.
cc: small
m
emory clea
n
-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvi
n
o
k_s
e
ries: m
o
ve choice of which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barv
i
nok
.
cc: move some f
u
nc
t
i
o
nality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
barvinok
.
cc: move Pol
y
hedron argu
m
ent t
o
start
me
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
barvinok
.
cc: m
o
ve
s
t
a
rt and ha
n
dle_p
o
lar into np
_
bas
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
dool
a
ege
g
e
n_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add copy
cons
t
ruc
t
or
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
zz2values: m
a
ke first
a
rgume
n
t co
n
st
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
laege
zz2v
a
lue: make first argument const
commit
|
commitdiff
|
tree
2006-07-20
S
v
en
Verdoolaege
Polyhedron_is_infini
t
e
:
use Polyhedron_S
a
mple if
avail
a
ble
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoo
l
a
ege
polyhedron
_
sample: compu
t
es an
i
nteger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdo
o
laege
con
f
i
g
ure
.
in:
c
h
e
ck
f
or
glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
sc
a
rf
.
cc: simp
l
ex
:
:shrunk_
p
o
l
yhedro
n
: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform
trivial reduction
ste
p
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
e
n
fun
.
cc: reo
r
der
terms
i
n nu
m
e
r
a
to
r
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doolaeg
e
scar
f
.
cc:
norm
a
lize_mat
r
ix:
s
i
mpli
f
y n==3 case som
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
scarf
.
cc:
s
upport some cases of 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
b
a
rvinok_enumerate
_
e: --print-all
for p
r
i
nting
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ver
d
oolaege
scarf
.
cc: nor
m
alize_matrix: si
m
pli
f
y n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
Verd
o
o
laege
scarf
.
c
c
: pr
o
j
ect
o
ut 2 varia
b
l
es using Scarf
complex
commit
|
commitdiff
|
tree
2006-07-08
S
ven Verdool
a
ege
util
.
c: export Extended_Eu
c
l
i
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
configure
.
in: make
-
-
enable-fractional the
d
e
f
ault
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoola
e
ge
b
a
rvinok
_
count: check whe
t
her unbo
u
nded poly
h
e
d
ra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoo
l
aege
po
l
y
m
a
k
e/c
o
nfigure
.
i
n:
a
l
low
specification o
f
locatio
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolaege
reduce_d
o
main: decla
r
e variable at start of code b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
remove
_
equal
i
ties: stop
remov
i
n
f equalities i
f
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoo
l
a
ege
barvinok_count: stop counting
i
f
first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolaege
barvinok_c
o
unt_f
:
c
h
eck
for emptiness of P
(
ag
a
i
n)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
barvinok
_
cou
n
t: te
l
l
PolyLi
b
we are
o
nly interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aege
README: do
c
u
m
ent
optional installation of Omega
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: docume
n
t Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
do
c
: (m
i
nimally) document polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
o
o
laege
doc
:
fu
r
ther docume
n
t bar
v
inok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
S
ven Ver
d
oo
l
aege
d
ocument barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Verdoolaege
doc
:
document barvinok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n Verdoolaege
d
o
c
: docu
m
ent som
e
o
p
ti
o
ns
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolae
g
e
doc: add refere
n
ce f
o
r NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
d
o
c: describe vertices b
a
sed input s
p
ecification
commit
|
commitdiff
|
tree
2006-06-21
S
ven V
e
rdoolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
d
oolaege
doc: ad
d
s
ub
s
ections
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
us
e
"
git
d
escribe
"
to describe version
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
er
d
o
olaege
add doc to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolaege
d
o
c: wa
r
n that the output
may
l
ook different
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdo
o
l
aege
doc: bar
v
inok_c
o
unt no longer performs manu
a
l counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolae
g
e
doc: re
p
lace "Appen
d
ix" by
"
Section"
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdool
a
ege
doc: ref
l
ect
rename of
cdd2p
o
lylib
.
pl to lat
t
e2po
l
y
l
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rdoolaege
d
o
c:
r
esolve undefined
references thro
u
gh m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c: add title page
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc:
user gu
i
d
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2polylib
.
pl to la
t
te
2
polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
p
o
lymake/
h
_star_vector
.
cc
:
client to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoo
l
aege
p
olymake/con
v
ert
.
cc:
extract polymake_c
o
nstraints2p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolae
g
e
u
til
.
c
: export C
o
ne_over_Po
l
yh
e
d
ron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
b
a
rvinok_ehrhart:
com
p
ute e
h
r
h
art (quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
ve
n
Verdoola
e
ge
barv
i
nok_
c
ount: allow polytop
e
to be
s
pecified
b
y
its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
g
enfu
n
.
cc: fix add_union method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoo
l
aege
barvinok_un
i
on: optionally print
genera
t
ing functio
n
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaege
barvinok_co
u
nt: handle infinite
p
olyhedra wit
h
no integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barvinok_count: sto
p
coun
t
ing if one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaege
evalue_f
r
ac2floor_in_d
o
main: all
o
w argument of
r
esultin
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Ve
r
doolaege
util
.
c: specific
a
lly indicate
empty sets in P
o
ly
h
e
dron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
o
olaege
u
t
i
l
.
c: move
a
l
ig
n
_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
ma
t
_util
.
cc: some us
e
fu
l
functions ext
r
acte
d
from genf
u
n
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
eval
u
e
.
c: e
x
por
t
reduce_
e
valu
e
_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c: re
n
ame reduce_i
n
_
domain to evalue_
r
ange_reduction
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n
Verdool
a
ege
barvinok
.
cc:
r
emove a
n
ci
e
nt debugging code
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
ev
a
lue
.
c: exp
o
r
t
evalu
e
_frac
2
floor_in
_
domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
dool
a
ege
g
e
n_f
u
n::substitu
t
e: add
m
o
r
e d
e
tailed explanati
o
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce_domain
:
handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaeg
e
barvinok
.
c
c
: move reduce_domain into
s
epara
t
e fi
l
e
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c:
a
dd Polyh
e
dron_ppr
i
n
t
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdo
o
l
a
e
g
e
lattice_
p
oint
.
cc: lattice poi
n
ts
computatio
n
ex
t
racted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoola
e
ge
conver
s
ion
.
cc: add
v
a
lues2zz and ray
s
2 from b
a
r
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoolaege
evalue
.
c:
a
dd evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdo
o
laege
d
e
composer
:
ext
r
a
c
t out
vertex_de
c
omposer f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
erdoolaege
barvinok
.
cc: extrac
t
out some func
t
ionality in
t
o decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Ver
d
oo
l
aeg
e
util
.
c:
d
ocument Euclid functi
o
n
commit
|
commitdiff
|
tree
2006-05-10
Sve
n
Verdoolaege
o
cc:
plug s
o
m
e
m
ore (potential) memory leaks
commit
|
commitdiff
|
tree
2006-05-10
S
ven
Verdoo
l
aege
o
c
c: don't
u
se freed variable
in err
o
r message
commit
|
commitdiff
|
tree
2006-04-10
Sven V
e
rdoolaege
bar
v
inok
.
cc: add some docu
m
entation to latt
i
c
e
p
o
int
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdool
a
ege
ba
r
vinok_enumerate_un
i
on: ca
l
l gen_fun::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
gen_fun: ad
d
add_union met
h
od
commit
|
commitdiff
|
tree
2006-04-03
S
v
en Verdo
o
laege
barvin
o
k
.
cc: document SplitO
n
V
a
r an
d
r
e
move some
redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sve
n
Verdoolaege
re
m
ove
i
nappro
p
r
iate use
s
of Pol
y
hedron2Par
a
m_Si
m
pl
i
fie
d
Domain
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
Verdoolae
g
e
version
0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
c
reate corre
c
t
G
IT_HEAD_ID in distri
b
ution
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
V
e
rdoolaege
bar
v
i
no
k
_un
i
on: document input format
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdoolaege
Merge b
r
a
nch 'new_piplib
'
commit
|
commitdiff
|
tree
2006-02-16
S
ve
n
V
erdoolaege
only
r
u
n
t
ests tha
t
r
e
qui
r
e pip
l
i
b
when
p
iplib is
a
vailabl
e
commit
|
commitdiff
|
tree
2006-02-16
S
ven Verdoolaege
barvinok_enumerate_e: on
l
y link in omega l
i
b
rarie
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
aege
check for piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
next