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
util.c: compress_variables: declare variable at start of code block.
2006-07-26
Sven Verdoo
l
aege
genf
u
n
.
c
c
: add g
e
n_fun::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
gen
_
fun::Hadamard_
p
r
o
duct:
o
ptimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
a
e
ge
gen_fun::Hadamard_
p
roduct: m
a
ke fir
s
t argument cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
d
o
o
laege
polar_de
c
o
mposer::decompose: make s
u
r
e vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_
b
as
e
: add do_vertex_con
e
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
laege
ge
n
_fun::p
r
in
t
: allow printin
g
to st
r
eams
o
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
ge
bfcounter
.
cc: move so
m
e
m
ore c
o
de from ba
r
vi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen_fun
.
h: short_ra
t
: use QQ instead of
p
air
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdoola
e
g
e
NTL_QQ
.
cc: a
rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoo
l
a
ege
v
erif
y
_main
.
cc:
small memory
c
le
a
n-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
barvinok
_
s
eries: mov
e
choice of whi
c
h g
f
_
b
ase su
b
cla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ol
a
ege
ba
r
vin
o
k
.
c
c
:
m
o
v
e
som
e
functionality into separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc:
m
ove
Polyhedr
o
n argumen
t
to sta
r
t
m
e
t
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
b
a
rvin
o
k
.
cc: move star
t
and handle_pola
r
into n
p
_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdool
a
ege
gen
_
fun: add
s
h
ift method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
olaege
gen_fun: add
co
p
y
con
s
tructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
z
z
2values:
m
ake
f
irs
t
argumen
t
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
zz2value:
make fir
s
t
argument const
commit
|
commitdiff
|
tree
2006-07-20
S
ven Ver
d
o
o
laege
Polyhedron
_
is_infinite: use
Poly
h
edr
o
n_Sa
m
ple if
av
a
ila
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaeg
e
polyhe
d
ron
_
sample: computes an intege
r
v
e
ctor
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ve
r
doolaege
c
o
nfigure
.
in: check
f
or glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolae
g
e
scarf
.
cc:
s
i
m
plex::shrunk_polyhedron:
o
nly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
g
e
n_fu
n
:
:
add: perform trivial r
e
duction step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdo
o
laege
g
enfun
.
cc: re
o
rder terms in
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
sc
a
r
f
.
cc: normalize_matri
x
: simplify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdool
a
ege
scarf
.
cc: supp
o
rt some cases
o
f 4 const
r
aints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
barvinok
_
e
numerate_e: --print-all for printin
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdo
o
laege
scarf
.
cc: norm
a
lize_matri
x
: simpl
i
fy n==3
case
commit
|
commitdiff
|
tree
2006-07-10
S
v
en Verdoolaege
sca
r
f
.
cc: project out
2
v
a
riables using Scarf comple
x
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
util
.
c: export E
x
t
e
nded_Eucli
d
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
Verdoolaege
c
o
nfigure
.
in: make --enable-fracti
o
n
al
t
he d
e
f
ault
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n Verdo
o
l
ae
g
e
barvinok_c
o
u
nt: c
h
e
ck whether
u
nbounded polyhedra actu
a
ll
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
p
o
lymake/config
u
re
.
i
n: allow specification of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolaege
reduce_domain: declare variable
a
t st
a
r
t of c
o
d
e block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdool
a
ege
remove_equalities: sto
p
removin
f
equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
barvino
k
_count: s
t
op coun
t
ing
i
f
f
irst factor
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
ege
barv
i
nok_count_f: c
h
eck
for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
arvin
o
k
_count: tell
P
olyLib we a
r
e
only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n
Ver
d
oo
l
aege
README
:
docu
m
ent op
t
i
ona
l
installati
o
n of Omega an
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdo
o
laege
doc:
d
ocument
O
meg
a
interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
dool
a
e
g
e
doc: (minimally) document poly
m
ake clients
commit
|
commitdiff
|
tree
2006-06-22
S
v
en V
e
rdo
o
laege
doc: further
d
oc
u
ment
b
a
rvinok
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoola
e
ge
doc: document bar
v
in
o
k_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
lae
g
e
doc: doc
u
ment so
m
e opt
i
ons
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdool
a
ege
doc:
a
dd r
e
ference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
g
e
doc: describe ver
t
ices based
i
nput
s
p
eci
f
ication
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoola
e
ge
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc
:
add
s
u
b
se
c
tions
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verd
o
olaege
u
se "gi
t
d
e
scribe" to describe ver
s
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
add doc t
o
distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: warn
that the output ma
y
l
ook di
f
ferent
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
do
c
:
barvino
k
_count no lon
g
er pe
r
forms
m
a
nual cou
n
ting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: replace "Appendix
"
by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
d
oc: reflect rename of
cdd2
p
o
lylib
.
pl to lat
t
e2
p
ol
y
lib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Ver
d
oolaege
d
oc: resol
v
e
u
ndefined referenc
e
s through my th
e
sis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
: add titl
e
p
a
ge
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: user gu
i
de
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoo
l
aege
renam
e
cdd2polylib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sv
e
n
V
erdoolaege
p
o
lymake/h_star_vector
.
cc: client to
c
ompute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Verdoolaege
polymake/convert
.
c
c
:
e
x
t
r
a
ct polymake_constraint
s
2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Ve
r
doolaege
u
til
.
c: ex
p
ort
Cone_ove
r
_Polyh
e
dron
commit
|
commitdiff
|
tree
2006-06-18
Sven Ver
d
oolaege
barvinok_e
h
r
har
t
: compu
t
e eh
r
hart (
q
uasi-)polyn
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdo
o
l
aege
barvi
n
ok_count:
allow polyt
o
p
e
to be spe
c
ified
b
y its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven V
e
rdo
o
lae
g
e
g
enf
u
n
.
cc:
f
ix add_u
n
ion method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verd
o
olaege
barvinok_union: optionally print
generatin
g
function
commit
|
commitdiff
|
tree
2006-06-02
Sven
Ve
r
doolaege
barvinok_count:
h
andle i
n
f
i
n
ite polyhed
r
a
w
ith no int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barv
i
nok_count: sto
p
counting if one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
e
v
alu
e
_frac2floor_in_dom
a
in: allow argument of res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdo
o
laege
util
.
c: specific
a
lly indi
c
ate empt
y
sets in Pol
y
hedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
o
o
l
a
e
ge
u
t
il
.
c: move align_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
mat_util
.
cc: some useful functions
extrac
t
e
d
f
rom ge
n
fun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
ev
a
lue
.
c: export reduce_evalu
e
_in_
d
omain
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaege
evalue
.
c: rename re
d
uce_in_
d
omain to
e
va
l
u
e_range_reduct
i
on
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
V
e
r
d
o
ola
e
ge
ba
r
vin
o
k
.
cc:
remov
e
a
n
cient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
eva
l
ue
.
c:
expor
t
evalue_
f
rac2f
l
oor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
d
o
olaege
gen_fun::
s
ubstit
u
te: add m
o
re detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
dool
a
ege
r
educ
e
_domain: handle NULL
C
E
q
commit
|
commitdiff
|
tree
2006-05-24
Sven Ver
d
oola
e
g
e
barvinok
.
cc:
move reduc
e
_dom
a
in
i
nto separate file
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoo
l
a
e
g
e
util
.
c:
add Po
l
yhedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
r
doo
l
aege
lattic
e
_point
.
cc: lattice points comp
u
t
a
t
io
n
extracte
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoola
e
ge
conversion
.
cc: add val
u
es2zz and ray
s
2
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
do
o
lae
g
e
evalue
.
c
: add evalue_zer
o
commit
|
commitdiff
|
tree
2006-05-18
S
ven
V
erdoolae
g
e
d
e
composer
:
extract out ver
t
ex_decomposer from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoo
l
a
ege
barvinok
.
cc
:
e
xtract out
s
ome fun
c
tionality into d
e
composer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Ver
d
o
o
l
a
ege
util
.
c:
docume
n
t
E
uclid functio
n
commit
|
commitdiff
|
tree
2006-05-10
Sven Ver
d
oolaege
o
c
c:
p
lug some more (potential) m
e
mory
leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven
V
erdoolaeg
e
oc
c
:
d
on't use f
r
eed variable
in
erro
r
message
commit
|
commitdiff
|
tree
2006-04-10
S
ven Verdoola
e
g
e
barvin
o
k
.
cc:
a
dd s
o
me documentation to l
a
tt
i
ce poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sv
e
n
Verdo
o
laege
barvi
n
ok_en
u
merate
_
union: call gen
_
fun::add_unio
n
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoo
l
aege
gen_fun: a
d
d add_union method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
barvinok
.
cc: d
o
cument SplitOnVar and remove
s
ome red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sve
n
Verdoolaege
remove in
a
ppropriate uses
of P
o
lyhed
r
on2Param_Si
m
plifiedDom
a
in
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
Verdool
a
ege
vers
i
o
n
0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoo
l
aege
cr
e
at
e
correc
t
GIT_HEAD_ID in
distribu
t
ion
commit
|
commitdiff
|
tree
2006-02-22
S
ven
V
erdoo
l
aege
barvin
o
k
_
union: do
c
ument inp
u
t format
commit
|
commitdiff
|
tree
2006-02-21
Sven V
e
rdoolaege
Merge bran
c
h
'
new_pi
p
l
ib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
o
nly r
u
n
t
ests that
require pip
l
i
b
w
hen piplib is available
commit
|
commitdiff
|
tree
2006-02-16
Sven V
e
rdoolaege
b
a
rvinok_enume
r
ate_e
:
only link in omega librarie
s
.
.
.
commit
|
commitdiff
|
tree
next