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
Polyhedron_is_infinite: use Polyhedron_Sample if available.
2006-07-20
S
v
en Verdoolae
g
e
Polyhedron_
i
s
_
infin
i
te:
u
se
P
olyhedro
n
_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven
Verdoolaege
polyhedron_sample:
com
p
u
t
es an integer ve
c
t
or in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven
V
erd
o
o
laege
config
u
re
.
in
:
check for
glpk
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
scarf
.
c
c
: simplex::shrunk_polyhedro
n
:
o
n
ly pr
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
gen_fun::add: perfo
r
m trivial reductio
n
step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
d
o
o
laege
genfun
.
cc
:
r
e
ord
e
r terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
scarf
.
cc: no
r
malize_matrix: simplif
y
n==3 ca
s
e
s
ome
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
a
e
ge
scarf
.
cc: suppo
r
t some c
a
ses
o
f
4 const
r
ai
n
ts
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enume
r
ate_e: --print
-
a
l
l for p
r
intin
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n
Verdoolaege
sca
r
f
.
cc: normal
i
ze_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verd
o
olaege
scarf
.
cc: project out 2 variables
using
Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdo
o
laege
util
.
c: e
x
p
o
rt Extende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
r
d
oolae
g
e
c
onfigure
.
in:
m
ake --en
a
ble-fr
a
ction
a
l
the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
a
ege
barvinok
_
co
u
nt
:
chec
k
whether un
b
ounded poly
h
ed
r
a actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erd
o
ola
e
ge
po
l
ymake/configure
.
in: allow specif
i
c
a
t
ion of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
ola
e
ge
redu
c
e_domain: declar
e
v
ariable
at start of code bl
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
ola
e
ge
remo
v
e
_equalities:
sto
p
removinf equa
l
ities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
barvinok_co
u
nt: sto
p
counting if
f
i
r
s
t
factor
i
s empty
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
barvinok_count
_
f
: check for empt
i
ness of P
(a
g
ain)
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
b
a
rvinok_count: tell PolyLib
we
are onl
y
i
n
terested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
lae
g
e
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
README: docum
e
nt opti
o
nal i
n
stal
l
ation o
f
Omega
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
d
o
c: document Omeg
a
interface
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
doc: (mini
m
ally) d
o
cum
e
nt poly
m
a
k
e
clients
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
doc: furth
e
r document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
ocumen
t
b
a
rvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
v
en
V
e
rdoolae
g
e
do
c
:
d
o
cu
m
ent barvino
k
_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
document some op
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
d
oc: add
r
e
f
erence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
l
aege
d
oc: descr
i
be vertices based input specification
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoo
l
a
e
ge
doc: typ
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
l
aege
d
o
c: add s
u
bsecti
o
ns
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
ege
use "git describe"
to describ
e
version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
ad
d
doc to di
s
tr
i
butio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c: warn that the o
u
tput may loo
k
diff
e
rent
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
do
c
:
barvino
k
_count no
l
onge
r
performs ma
n
u
a
l counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaeg
e
d
oc: replace "Appendix"
b
y "
S
ecti
o
n"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdool
a
ege
doc: reflect rena
m
e
of cdd
2
polylib
.
pl to lat
t
e
2
p
olylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
er
d
oolaege
d
o
c: resolve undefined references thro
u
gh my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
d
oc: add title
page
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Ver
d
oola
e
g
e
doc
:
u
s
er guide
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdool
a
e
ge
rename cdd2polylib
.
p
l
to
l
a
tte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdool
a
e
g
e
polymake/h_sta
r
_vector
.
c
c
: c
l
ient t
o
compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoo
l
aege
polymake/convert
.
cc
:
e
x
t
r
act po
l
ymake_
c
ons
t
raints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
util
.
c: ex
p
ort Cone_o
v
er_
P
o
lyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
barv
i
nok_eh
r
hart: compute ehrhart (qua
s
i-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sve
n
Ve
r
doolaege
barvinok_count:
allow polyto
p
e to be specified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolae
g
e
barvino
k
_c
o
unt: han
d
l
e
infinit
e
polyhedra with n
o
integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoo
l
ae
g
e
barvi
n
ok_count: stop counting if one of the fac
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
evalue_
f
rac2
f
loor_in_domain: allow argument
of
resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c: sp
e
cifically indicate
empty sets in Polyhe
d
ron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
l
a
ege
u
t
il
.
c: move alig
n
_m
a
trix
f
rom
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdo
o
l
ae
g
e
mat_u
t
il
.
c
c
:
s
o
me usefu
l
functions e
x
t
ra
c
t
e
d from genfun
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c: export reduce_evalue_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
e
v
alu
e
.
c: rename reduce_in_domain to evalue_range_r
e
duc
t
io
n
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
barvinok
.
cc: remove
a
ncie
n
t debuggi
n
g code
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
o
olaege
evalue
.
c: expor
t
e
valu
e
_frac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n
Verdoola
e
ge
g
en_fun::substitute: add mor
e
deta
i
le
d
explanati
o
n
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoolaege
reduce_domain: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
barvinok
.
cc: move r
e
duce_domai
n
into
s
eparate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
ut
i
l
.
c
:
add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
S
ven
V
e
r
doo
l
aege
lat
t
ice_point
.
cc: lattice poi
n
ts computa
t
ion ex
t
racted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
convers
i
o
n
.
c
c: ad
d
v
alues2zz and ra
y
s2 from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
erd
o
olaege
eva
l
ue
.
c: a
d
d evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
rdoolaege
decomposer: extrac
t
ou
t
vertex_decomp
o
ser from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
rdoolaege
barvinok
.
cc: extract
out some fu
n
ction
a
lity into decompo
s
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolaege
uti
l
.
c: documen
t
Eu
c
li
d
function
commit
|
commitdiff
|
tree
2006-05-10
Sv
e
n Verdoolae
g
e
occ: pl
u
g som
e
more (potential)
m
emory
leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdo
o
laege
occ: don'
t
use
freed variable
in
er
r
or m
e
ss
a
ge
commit
|
commitdiff
|
tree
2006-04-10
S
ven Ver
d
oolae
g
e
barvinok
.
cc: add some documentatio
n
t
o
lattice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
S
v
e
n
Verdoola
e
ge
ba
r
v
inok_enumerate_
u
nion: call gen_fun::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Verdoo
l
aege
ge
n
_fun: ad
d
add_u
n
ion
method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdool
a
ege
barvinok
.
cc: document SplitOnVar and remove so
m
e redundan
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven
Verdoolaege
remove inap
p
r
o
p
riate uses
of
P
olyhed
r
on2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
olaege
versi
o
n
0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
olaege
create correct GI
T
_HEAD_
I
D in distribution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdo
o
laege
barvinok_union: d
o
cument input format
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdoolae
g
e
Merge br
a
n
c
h 'new
_
piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdo
o
laege
only run tests that require pipl
i
b when
piplib is availabl
e
commit
|
commitdiff
|
tree
2006-02-16
Sven V
e
rdoolaege
barvinok_enumerate
_
e:
only link in ome
g
a libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
c
h
eck for
p
iplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoolaege
so
m
e examples from
R
a
ch
i
d to test barvinok_e
n
umerat
e
_e
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoo
l
aege
add bar
v
inok
_
u
nion
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n Verdoolae
g
e
add bar
v
inok_
e
n
umerate_union functio
n
commit
|
commitdiff
|
tree
2006-02-15
S
v
en Verd
o
olaege
gen_fun: add
Hadamard
_
p
r
oduct m
e
th
o
d
commit
|
commitdiff
|
tree
2006-02-15
Sven Verd
o
olaege
gen_fun::operator evalue
*(): fix memory leaks
.
commit
|
commitdiff
|
tree
2006-02-15
S
ven
Verdoolaege
genfun
.
cc:print
_
power: rem
o
ve sp
a
c
e
s around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
b
arvinok_
s
eries: r
e
turn em
p
ty gen_fun fo
r
empty pol
y
to
p
e
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdool
a
ege
b
arvin
o
k_s
e
ries: remove un
u
sed variables
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
e
n Verdoolaege
barvinok
.
cc: extract out som
e
cod
e
common t
o
generating
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven V
e
rdoolaege
barvinok
.
cc: introduce np_base, a
base
c
l
ass for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvin
o
k
.
cc: do virt
u
al polar_
d
e
com
p
oser
i
nheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven
V
erdoolaege
ba
r
vinok_series: rem
o
ve some more equalities
f
rom the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
S
v
en Ver
d
oolae
g
e
c
h
eck f
o
r
compress
_
parms function
commit
|
commitdiff
|
tree
2006-02-10
S
ven Ve
r
doolaege
gen
_
fun: a
d
d
s
u
bstitute method
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
barvinok/genfu
n
.
h
:
a bit more d
o
c
u
mentation
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
ad
a
pt determination of git HEA
D
t
o
recent git ve
r
sions
commit
|
commitdiff
|
tree
2006-02-08
Sven Verd
o
olaege
verif
y
_main
.
cc: f
i
x typo
t
hat would let che
c
k_series
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven
V
erdoo
l
aege
v
e
rif
y
_
m
ain
.
cc: also print e
x
pli
c
i
t
fu
n
ction when verbose
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoolaege
gen_fun:
:
add: n
o
rmalize coefficients
commit
|
commitdiff
|
tree
next