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
bfcounter.cc: move some more code from barvinok.cc
2006-07-26
Sven Ve
r
doolae
g
e
bfc
o
unter
.
cc: move
s
ome more cod
e
from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
gen_fun
.
h: short_rat: use Q
Q
instead of
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_Q
Q
.
cc: a r
a
tional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
verify_main
.
cc: small memory
cle
a
n
-
u
p
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
o
l
aege
ba
r
v
i
nok_
s
eries:
move
choic
e
of
which
gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
ge
barvinok
.
cc: move some functio
n
ality
into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rdoolaege
barvin
o
k
.
c
c: move Po
l
yhedron ar
g
ument to star
t
method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ba
r
vinok
.
cc: move st
a
rt and
handle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: a
d
d shift meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoo
l
aege
gen
_
f
u
n
: add copy construc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
z
z2value
s
: make first argument
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
zz2valu
e
: make f
i
rs
t
argumen
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolaege
Polyhedron_is_infinite: use Polyhedron_S
a
mp
l
e if availab
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoolaege
polyh
e
dron_sa
m
p
l
e: com
p
utes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
con
f
igure
.
in: check for g
l
pk
commit
|
commitdiff
|
tree
2006-07-13
S
ve
n
V
e
rdo
o
la
e
ge
s
carf
.
cc: simplex::shrunk_polyhedron
:
only proce
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_f
u
n::add
:
perform trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
genfun
.
cc:
r
eorde
r
terms in nu
m
e
r
ator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdo
o
laege
scarf
.
cc: normalize_
m
atrix: s
i
m
p
lify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verd
o
olaege
scarf
.
cc: sup
p
o
r
t some cases of 4
constraints
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolae
g
e
barvinok_enumerate_e
:
--
p
ri
n
t-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
scarf
.
cc: normalize_
m
atrix:
simpl
i
fy n==
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sv
e
n Ver
d
oo
l
aege
s
c
arf
.
cc: project out
2 variables using
S
carf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Ve
r
doo
l
aege
util
.
c: expor
t
Extende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
Verdoolaege
c
o
nfigure
.
in: ma
k
e --enabl
e
-fractional the defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvinok_count: check whet
h
er unbounded pol
y
hedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
aege
p
o
lyma
k
e/config
u
re
.
in: a
l
low
s
p
ec
i
f
i
cation of locatio
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
e
n Ver
d
o
olaege
reduce_domain: de
c
la
r
e
v
ariable at
start
of code bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remove_equali
t
ies: stop removi
n
f
equalitie
s
i
f
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
V
erdo
o
laege
barvinok_
c
ou
n
t
:
stop c
o
untin
g
if
f
i
r
st fa
c
tor is empt
y
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdo
o
laege
barvinok_count_f
:
check for
e
mpti
n
ess
of
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
Verd
o
olaege
b
arvino
k
_coun
t
:
tell
PolyLib we are only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oo
l
aege
ve
r
sion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
REA
D
ME: documen
t
optional
installation
o
f Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
doc
:
do
c
ument
Omega inte
r
face
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doola
e
ge
do
c
: (minimally
)
do
c
ument po
l
y
make
c
lients
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
doc: fur
t
her document barvinok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-22
S
ven
V
erdoolaege
do
c
umen
t
barvinok
_
uni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
d
oc: docum
e
nt barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ve
r
doolaege
do
c
:
d
ocument
some o
p
t
ions
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verd
o
olaege
do
c
: add r
e
fere
n
ce for
NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdo
o
laeg
e
doc:
describe
v
e
r
tices based input specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
d
o
c:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Verdoolaege
do
c
: add subsections
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
use "git describe" to descr
i
b
e
vers
i
o
n
commit
|
commitdiff
|
tree
2006-06-21
S
ven Ve
r
doolae
g
e
add do
c
to d
i
stribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: warn
t
hat the o
u
tput ma
y
l
o
ok
d
i
fferent
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: barvinok_
c
o
unt
no
l
onger pe
r
forms
manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
do
c
: re
p
lace "Ap
p
endix" by "Sect
i
on
"
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaege
d
oc: reflect rena
m
e of
cdd2poly
l
ib
.
pl to latte2poly
l
ib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erd
o
o
l
aege
doc: resol
v
e undef
i
ned references
through my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
do
o
l
ae
g
e
do
c
: add title page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
ae
g
e
d
o
c: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoola
e
ge
r
e
name cd
d
2po
l
ylib
.
p
l t
o
latt
e
2p
o
lylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven
Ve
r
doolaege
polyma
k
e/h_s
t
ar_vec
t
or
.
cc: cli
e
nt
t
o compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Ve
r
doolaege
polyma
k
e/convert
.
cc: extract polymake_cons
t
rain
t
s2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdo
o
laege
util
.
c
:
e
x
port Cone_over_
P
olyhedr
o
n
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
e
g
e
bar
v
inok_ehrhart
:
co
m
p
u
te ehrhart (quasi-)po
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sve
n
Verdoolaege
barvinok_co
u
n
t
:
allow polytope
t
o
be s
p
e
c
ifie
d
by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Ver
d
ool
a
ege
genfu
n
.
cc: fix ad
d
_u
n
ion m
e
thod
commit
|
commitdiff
|
tree
2006-06-13
Sv
e
n
V
erdoola
e
ge
barvinok_union: optionally print generat
i
ng function
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoola
e
ge
bar
v
inok_coun
t
:
h
andl
e
inf
i
nite poly
h
e
dra with no in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en V
e
rdoolaege
barv
i
no
k
_count: stop
c
ounting if
o
ne of
the f
a
ctors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdool
a
ege
evalue_
f
ra
c
2
floor_in_domain: allow arg
u
m
e
nt of resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
o
o
lae
g
e
ut
i
l
.
c: specifical
l
y indicate
empty
s
ets in Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaeg
e
ut
i
l
.
c: move align_matri
x
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaege
mat_u
t
il
.
cc: s
o
me
useful fu
n
ctions
extrac
t
ed from genf
u
n
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
evalue
.
c: export r
e
duce_ev
a
lu
e
_in_dom
a
i
n
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verd
o
olaege
evalue
.
c: rename red
u
ce_in
_
d
oma
i
n
to evalue_rang
e
_
r
e
d
uctio
n
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Ver
d
o
o
l
aege
b
a
r
v
inok
.
c
c
:
remov
e
ancient
d
e
b
ugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c:
export
evalue_
f
rac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoolae
g
e
gen_f
u
n::s
u
bsti
t
ute: add more detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven
Ve
r
dool
a
e
g
e
reduce_domain: handle
NULL
C
Eq
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdoolaeg
e
barvi
n
ok
.
c
c
: mov
e
redu
c
e
_
domain into sepa
r
a
t
e
fi
l
e
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
dool
a
e
g
e
util
.
c: add Polyh
e
d
ro
n
_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
rdo
o
laege
lattice_point
.
cc: lattice points co
m
putat
i
on extrac
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Ve
r
doolaege
conversion
.
cc: add
v
alues2zz and
r
ays2 from ba
r
vi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
evalue
.
c
:
a
d
d
evalu
e
_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
decomposer: extract out v
e
r
t
e
x_d
e
co
m
poser from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaeg
e
b
a
rvinok
.
cc: extract ou
t
some func
t
io
n
ality into
dec
o
mposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven
V
erdoolaege
util
.
c: document Eucl
i
d functi
o
n
commit
|
commitdiff
|
tree
2006-05-10
Sv
e
n
V
erdoo
l
ae
g
e
occ: plu
g
some
m
ore (potential) memory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: don't use freed variable in e
r
ror message
commit
|
commitdiff
|
tree
2006-04-10
Sv
e
n
V
e
r
doolaege
b
a
rvinok
.
cc:
a
dd some do
c
umentation t
o
l
a
tt
i
c
e
point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven
V
erdoolae
g
e
barvinok_enumera
t
e_union: call gen_
f
u
n::add_
u
n
i
on
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
gen_fun:
add add
_
union method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
b
a
rvinok
.
cc: d
o
cument SplitOnVa
r
and remove some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
remo
v
e inappropriate uses of Pol
y
h
edron2
P
aram_S
i
mplif
i
edDomain
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
Verdoolaege
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
o
l
aege
create cor
r
ect GIT_HEAD
_
ID in
d
i
s
t
r
ib
u
t
ion
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaeg
e
b
arvinok
_
union: doc
u
ment input forma
t
commit
|
commitdiff
|
tree
2006-02-21
Sven
Verd
o
olaege
Merge branc
h
'n
e
w_
p
iplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven
V
erdoolaege
on
l
y run tests that requi
r
e piplib when
p
ipl
i
b is avai
l
able
commit
|
commitdiff
|
tree
2006-02-16
S
v
e
n
V
erdoolaege
barvinok_enumerate_
e
: only link in omega libraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven
V
er
d
o
o
laege
check
for piplib
1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoolaege
some examples from Rachid
to tes
t
barvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdoolaege
add barvinok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven
Verdoolaege
add bar
v
i
n
o
k_enumerate_un
i
o
n
fu
n
c
t
ion
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun: add Hadamar
d
_product met
h
o
d
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n V
e
rdo
o
laege
gen
_
fun::operator evalue *(
)
:
f
ix
m
emory leaks
.
commit
|
commitdiff
|
tree
next