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: add copy constructor
2006-07-26
Sv
e
n Verdoolae
g
e
gen_fun: add
c
opy
c
onstru
c
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
zz2values: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
zz2value:
m
a
k
e
first argument
c
onst
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedro
n
_is_infinite: use Polyhedr
o
n_Samp
l
e if availa
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
po
l
y
h
edron_
s
a
mple: comp
u
tes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verd
o
o
lae
g
e
co
n
figure
.
i
n
: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaeg
e
scarf
.
cc: simplex::shrunk_polyhedron: only pro
c
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
e
r
doolaege
gen_fu
n
::add: per
f
orm tri
v
i
al re
d
uction step
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Ver
d
oolaeg
e
genfun
.
cc: reorder terms
in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verd
o
olae
g
e
scarf
.
cc: normal
i
ze
_
matrix:
simp
l
i
f
y n
=
=3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
sca
r
f
.
cc: support some cases
o
f 4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doolaege
barvinok_enu
m
erate_e: -
-
pri
n
t-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
scarf
.
cc: normalize_matr
i
x
: simplif
y
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
S
v
en V
e
rdo
o
la
e
ge
sca
r
f
.
cc: pr
o
ject out 2 variabl
e
s using
Sca
r
f complex
commit
|
commitdiff
|
tree
2006-07-08
Sve
n
Verdoolaege
util
.
c: ex
p
ort Ex
t
e
nded_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
v
en Ver
d
oolaeg
e
configure
.
in: make --enable-fr
a
ctiona
l
the d
e
fa
u
lt
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
barvin
o
k
_
cou
n
t:
c
he
c
k whether unboun
d
e
d polyhedra
actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en V
e
rdoolaege
polymake/
c
onfigu
r
e
.
in
:
a
l
low specification of loc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaeg
e
r
educe_domain: declare variable at st
a
rt of co
d
e bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
r
e
move_eq
u
alities:
s
top
r
emovinf equalities
i
f inpu
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
ba
r
vi
n
ok_count: stop c
o
unting
i
f fir
s
t facto
r
is emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
barvinok_cou
n
t_f
:
c
heck for
emp
t
iness of
P
(
ag
a
in)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
barvi
n
ok_count: tell Poly
L
i
b
we a
r
e only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en
V
erdoolaege
v
e
rsion 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven
Ver
d
oo
l
aege
REA
D
ME: document optional
installation
of
O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verd
o
olaege
d
o
c: document Omega
interface
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Ver
d
oolaege
doc:
(minimal
l
y) document polymake cli
e
n
t
s
commit
|
commitdiff
|
tree
2006-06-22
S
ven V
e
rdoolaege
d
oc: fu
r
the
r
document
b
arvinok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc
u
ment barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: doc
u
m
e
n
t barv
i
n
o
k_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
laege
doc: document some option
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: add refe
r
ence for
NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
ae
g
e
doc: describe vertices based input speci
f
ication
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
o
c: ad
d
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
use "
g
it describe" to d
e
sc
r
ibe
versi
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
V
e
rdoolaege
add do
c
t
o
distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: warn that the o
u
tpu
t
may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: barvinok_count no
l
o
nger performs manua
l
c
ounting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc: replace "
A
p
p
end
i
x" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: reflect r
e
name of cdd2pol
y
lib
.
pl to latte2pol
y
l
ib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c:
r
esolve und
e
f
i
ned
r
ef
e
r
e
nces through m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: add
t
itl
e
page
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
o
olaege
do
c
:
u
s
e
r guide
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
rename
c
dd2
p
olyl
i
b
.
pl to
latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sv
e
n Verdoolaege
polymake/
h
_
s
tar_vector
.
c
c
: client to
c
o
m
pu
t
e
t
he h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoola
e
ge
polymake/co
n
vert
.
cc: e
x
tract
p
o
lymake_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
util
.
c
: export Cone_o
v
er_Poly
h
edron
commit
|
commitdiff
|
tree
2006-06-18
Sven Ver
d
oolaege
barvinok_e
h
r
h
a
r
t
:
compute e
h
rh
a
r
t
(quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Ver
d
oolaege
barvinok
_
c
o
unt: allow p
o
lytope
to be specified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdool
a
ege
g
enfun
.
cc: fix add_uni
o
n
me
t
hod
commit
|
commitdiff
|
tree
2006-06-13
S
v
en V
e
rdool
a
ege
barvi
n
ok
_
un
i
on: optionally print
g
enerat
i
ng function
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdool
a
e
g
e
barvinok
_
count: handl
e
i
nfini
t
e pol
y
hedra wit
h
n
o
i
n
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoo
l
ae
g
e
b
a
rvin
o
k_c
o
unt: stop cou
n
t
i
n
g if one of the facto
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaeg
e
ev
a
l
ue_frac2floo
r
_in_domain: allow argu
m
e
n
t of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
util
.
c: specif
i
call
y
in
d
icate
e
m
pt
y
sets in Polyhedron_ppr
i
n
t
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
u
t
il
.
c
:
mo
v
e alig
n
_matrix
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
mat_uti
l
.
cc: some usefu
l
fu
n
ctions
e
xtracted from
g
enfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
evalue
.
c: export reduce
_
evalue_in_dom
a
in
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
evalue
.
c
:
rena
m
e redu
c
e_in_d
o
main to
evalue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
oolaege
barvinok
.
cc: remov
e
a
n
cient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdo
o
l
a
e
g
e
e
v
alue
.
c: export evalu
e
_frac2floor_
i
n_doma
i
n
commit
|
commitdiff
|
tree
2006-05-24
S
ven Ver
d
oo
l
aege
gen_fun::substitute: add
more detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce_domain: handle NULL CE
q
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
barv
i
nok
.
cc: move reduce_domain into separate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verd
o
ola
e
ge
lattice_point
.
cc: lattice p
o
i
nts comp
u
tation ex
t
racted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verd
o
o
l
aege
conversion
.
cc: add values2
z
z
and rays2 from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
e
n
Ve
r
doolaeg
e
evalue
.
c: add evalue_
z
ero
commit
|
commitdiff
|
tree
2006-05-18
Sven
Ver
d
oolaege
decomposer: e
x
tract out vertex_deco
m
poser from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n
V
e
rdoola
e
ge
ba
r
vinok
.
cc: ext
r
act out
s
ome funct
i
onal
i
ty in
t
o dec
o
mpos
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolaege
util
.
c: document Euclid function
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdool
a
ege
occ:
p
lu
g
s
ome more (potent
i
al)
m
e
mory le
a
ks
commit
|
commitdiff
|
tree
2006-05-10
S
ven Verdoola
e
ge
occ: don't
u
se freed variable in
error
m
essage
commit
|
commitdiff
|
tree
2006-04-10
Sven Verdool
a
ege
barv
i
nok
.
cc: a
d
d
s
ome doc
u
mentat
i
on to lat
t
ic
e
p
o
i
nt
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
b
arvi
n
ok_enumerate_union: call gen_fun:
:
a
d
d_unio
n
commit
|
commitdiff
|
tree
2006-04-05
Sv
e
n Verdoolae
g
e
gen_
f
un: add add_unio
n
me
t
hod
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoola
e
ge
barvino
k
.
cc: doc
u
me
n
t SplitOn
V
ar
a
nd remove some redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
S
ven Verdoolaege
re
m
ove
inappropr
i
ate uses of Polyhedron
2
Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
S
v
en V
e
r
d
oolaege
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sv
e
n Verdoolaege
create correct GIT_HEAD
_
ID in distribution
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
Verdoola
e
ge
ba
r
v
inok_uni
o
n: docu
m
en
t
i
np
u
t form
a
t
commit
|
commitdiff
|
tree
2006-02-21
Sven Ve
r
doolaege
Merge bran
c
h
'
new_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sv
e
n Verdool
a
eg
e
only run tests
that requ
i
re
p
i
plib wh
e
n piplib is available
commit
|
commitdiff
|
tree
2006-02-16
Sv
e
n Verdoolae
g
e
b
a
rvinok_enumerate_e: only link in omega libra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sve
n
Verdoolaege
check for piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
S
v
e
n Verdoo
l
aege
some exa
m
ples from Rach
i
d to test
ba
r
v
in
o
k
_enume
r
a
te_e
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdool
a
ege
add
barvinok_unio
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Ve
r
do
o
l
a
eg
e
add bar
v
inok_enum
e
r
a
t
e_union function
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun: add Hadamard_produc
t
meth
o
d
commit
|
commitdiff
|
tree
2006-02-15
Sven
Verdoolaege
gen
_
fun::operator evalue
*(): fix memory l
e
aks
.
commit
|
commitdiff
|
tree
2006-02-15
Sven
Verdoolaege
genfun
.
cc:print_power: remove spaces around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
barvinok_series:
r
eturn emp
t
y gen_fu
n
for empty polyt
o
pe
.
commit
|
commitdiff
|
tree
2006-02-14
Sven
V
er
d
oolaege
ba
r
vinok_series:
r
emove unused variables
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verdoolaege
barvinok
.
cc: extract out som
e
code common
t
o g
e
ner
a
ting
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven
Ver
d
oolaege
b
a
rv
i
n
ok
.
cc: in
t
roduce
np_base, a base cla
s
s for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvin
o
k
.
cc: do virtu
a
l polar_decompo
s
er
i
n
heritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Ver
d
oola
e
ge
ba
r
vinok_series: remov
e
some more
equ
a
lit
i
es from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdo
o
laege
check
f
or compres
s
_parm
s
functio
n
commit
|
commitdiff
|
tree
2006-02-10
S
ven Verdoolaege
gen_f
u
n: add substit
u
te method
.
commit
|
commitdiff
|
tree
next