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
S
v
e
n
Verdo
o
la
e
ge
gen_fun::Hada
m
ard_product: optimize c
o
mput
a
tio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
g
e
n_fun::Hadamard_produc
t
: make firs
t
a
rgum
e
n
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
po
l
ar_
d
ec
o
mpo
s
er::decompose: mak
e
sure vertices h
a
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add
d
o
_vertex_c
o
ne me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
aege
gen_fun::print: allow prin
t
ing
to streams other th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
b
fc
o
unter
.
cc: move s
o
m
e
more code from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
o
laeg
e
gen_fun
.
h: short_rat: use Q
Q
inst
e
ad of
p
air
o
f ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
d
o
olae
g
e
NTL_QQ
.
cc:
a rational
N
TL type
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
v
erify_ma
i
n
.
cc: sm
a
l
l memory c
l
ean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvin
o
k_ser
i
es: move
c
hoi
c
e of which gf_base subc
l
a
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok
.
cc:
m
ove some functiona
l
ity into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
barvinok
.
cc: move Pol
y
hedron a
r
gument to sta
r
t method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barvinok
.
c
c
: mo
v
e s
t
art and handle
_
polar int
o
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
lae
g
e
gen
_
fun: ad
d
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_fun:
a
dd copy construc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
z
z
2values: make first arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
z
z
2
value: make first argument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyh
e
dron_i
s
_inf
i
nite: use Polyhedron_
S
a
mple i
f
a
vaila
b
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verd
o
o
laege
polyhedron
_
sample: com
p
ute
s
an integ
e
r ve
c
tor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ve
r
doola
e
ge
c
o
nfigure
.
i
n
: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex::shru
n
k_polyhed
r
o
n
:
only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
gen_
f
un::a
d
d: perform tr
i
vial reduction st
e
p
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
e
nfun
.
cc: reorder
terms i
n
n
u
m
e
rator
commit
|
commitdiff
|
tree
2006-07-13
S
ve
n
V
erdoolaege
scarf
.
c
c
: normal
i
ze_matrix: simplify
n=
=
3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
c
c: support
s
o
me cases of
4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ver
d
o
olaege
barv
i
nok_enumerate_e: --print
-
a
ll for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoola
e
ge
scarf
.
cc:
normalize_
m
a
t
rix: sim
p
lify n==3 cas
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdool
a
e
g
e
scarf
.
cc:
project out 2 variables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sve
n
Ve
r
d
o
olae
g
e
u
t
il
.
c: export Extended_Eu
c
lid
commit
|
commitdiff
|
tree
2006-07-05
S
ven Verdoolaeg
e
configure
.
in: make --enable-f
r
actional
t
he defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laeg
e
b
a
rvinok_count: check whether unb
o
unded
p
olyhedr
a
actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Ve
r
doolaege
polymake/configure
.
in: allow
s
p
ecification of
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
aege
reduce_domai
n
: decl
a
re variable at st
a
r
t
o
f code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolae
g
e
re
m
ove_equa
l
ities: stop
r
emovinf equalit
i
e
s if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
barvinok_count:
s
top coun
t
i
n
g if firs
t
factor
i
s emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok
_
count_
f
: ch
e
ck for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
barvinok_count:
te
l
l P
o
l
y
Lib we are only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
o
o
l
ae
g
e
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolae
g
e
R
E
ADME: do
c
ument
o
ptional installation of O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoola
e
ge
doc:
docume
n
t Omega interface
commit
|
commitdiff
|
tree
2006-06-22
S
ven
V
er
d
oolaege
doc: (minim
a
lly) doc
u
m
ent polymak
e
clie
n
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: fur
t
her document
barvinok_ehr
h
a
rt
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
doc
u
ment
b
a
r
vinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
d
o
c: docum
e
n
t
barvino
k
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolae
g
e
doc:
docum
e
nt some option
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add re
f
erence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describe vertices based input
s
pecification
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolae
g
e
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: add
s
ubsections
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rdoolae
g
e
use "git descri
b
e" to
describe version
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verd
o
olaege
add d
o
c to di
s
tribution
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaeg
e
doc: war
n
that the output may look different
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verd
o
olaeg
e
doc: barvinok_count no
l
onge
r
p
erfo
r
ms manua
l
counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
do
c
: replace "Appendi
x
"
b
y "Sec
t
i
on"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: reflec
t
re
n
ame of cdd2polylib
.
p
l t
o
latte
2
p
o
lylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdo
o
laege
do
c
: resolv
e
undefin
e
d
references
t
h
rough m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
doc: add title pa
g
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoo
l
aege
r
ena
m
e c
d
d2polylib
.
pl to latte2polylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoo
l
aege
p
olyma
k
e/h
_
star_vector
.
cc: client to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
er
d
oolaege
polym
a
ke/c
o
n
ver
t
.
cc: extr
a
c
t polymake_constr
a
ints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verd
o
olaege
uti
l
.
c:
e
xport Cone_over_Polyhedro
n
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaeg
e
barvinok_ehrhart: compute ehrhart (quasi-)po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoolaege
barvinok
_
count: a
l
lo
w
p
o
lyt
o
pe
t
o
b
e specified by i
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
laege
barvinok_count:
h
andl
e
infini
t
e polyhedra
w
ith no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ve
n
Verdoolaege
b
a
rvinok_count: stop c
o
unting if
o
n
e
of
t
he factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
e
val
u
e_frac2floor_in_dom
a
i
n
:
allow argument
of r
e
sul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
V
erdool
a
ege
util
.
c: specifically indicate e
m
pt
y
sets in
P
olyhedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
util
.
c: move align_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
V
e
r
doo
l
a
ege
m
a
t
_util
.
cc: s
o
me
u
seful fun
c
t
i
ons extracted from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
ev
a
lue
.
c: export red
u
ce
_
eva
l
ue_in_d
o
main
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
evalue
.
c: r
e
n
a
me
r
educe_in_domain t
o
e
v
alue
_
range
_
reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n
Ve
r
doolae
g
e
barvinok
.
cc: remove ancient
d
e
bugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
do
o
la
e
g
e
ev
a
l
ue
.
c: export e
v
alue_frac2floo
r
_in_doma
i
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verd
o
olaege
gen_fun::substitute: ad
d
more
d
e
tailed exp
l
anation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce_doma
i
n: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
Verdoolaeg
e
barv
i
no
k
.
c
c
: mov
e
reduce
_
domain
i
nto
s
eparate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
doola
e
ge
util
.
c: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
lattice_point
.
cc: latti
c
e p
o
in
t
s compu
t
at
i
on extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
dool
a
ege
conversion
.
cc: add val
u
es
2
z
z
and rays2
f
r
om
b
arvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
S
ven
V
e
r
doolaege
evalu
e
.
c:
a
dd
evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
d
e
c
omposer:
e
x
t
r
a
ct
o
u
t vertex_decompos
e
r from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
barvinok
.
c
c
: extract ou
t
some functionality
i
nto decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
S
v
en Verdool
a
ege
util
.
c: docum
e
nt Eucl
i
d
func
t
ion
commit
|
commitdiff
|
tree
2006-05-10
Sven V
e
rdool
a
ege
occ
:
plug s
o
m
e
more
(
poten
t
ia
l
) mem
o
ry leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
oc
c
: don't use freed variable in error message
commit
|
commitdiff
|
tree
2006-04-10
S
v
en Verdo
o
l
a
ege
barvino
k
.
c
c
: a
d
d s
o
me documentation to lat
t
ice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
barvinok_e
n
umerate_union: ca
l
l
g
e
n_fu
n
::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Ver
d
oolaege
g
e
n_
f
un:
add ad
d
_
u
nion
metho
d
commit
|
commitdiff
|
tree
2006-04-03
S
ven
V
erdoolaege
ba
r
vinok
.
cc: do
c
ument SplitOnV
a
r and remove s
o
m
e
redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven V
e
rdoolaege
r
emove inappropriate uses
o
f
Polyhedron2Param_Simplified
D
omain
commit
|
commitdiff
|
tree
2006-02-22
Sven Ver
d
oolae
g
e
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
crea
t
e correct
GIT_HEA
D
_ID
i
n di
s
t
ribution
commit
|
commitdiff
|
tree
2006-02-22
S
ven Verdoo
l
a
e
g
e
ba
r
vinok_unio
n
: d
o
cument input for
m
at
commit
|
commitdiff
|
tree
2006-02-21
Sve
n
Verdoolae
g
e
Merge bran
c
h
'ne
w
_p
i
plib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Ve
r
doolaege
only run
tests that require p
i
plib when piplib
is av
a
ilable
commit
|
commitdiff
|
tree
2006-02-16
S
ven Ver
d
o
o
l
a
ege
b
a
rvinok_enumera
t
e_e: o
n
ly link in
o
me
g
a
librari
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven V
e
rdoolaeg
e
chec
k
fo
r
piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verd
o
o
l
aege
some exam
p
l
e
s from
R
achid to test barvinok_enumer
a
t
e
_
e
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n Verdoolaege
add barvinok_union
.
c
commit
|
commitdiff
|
tree
next