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
Sven Verdoolae
g
e
Polyhedron_is_
i
n
finite: use Polyhe
d
ron_Sample
if avail
a
ble
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
p
o
l
yhedron_sample: computes an integer vec
t
or in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoola
e
ge
co
n
figure
.
i
n: che
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
cc: si
m
plex::shrunk_p
o
lyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verd
o
olae
g
e
gen_fun::add:
p
erform
t
rivia
l
re
d
uction ste
p
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Verdo
o
laege
genfun
.
cc:
r
eorder
t
er
m
s
in
n
u
m
erator
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
do
o
l
aege
scarf
.
cc
:
normalize_matrix: simplify n==3
c
ase some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaeg
e
scarf
.
cc:
s
u
pport some cases
of 4 cons
t
raints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
barv
i
nok_en
u
merate_e: --print-all fo
r
prin
t
ing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
scarf
.
cc
:
n
ormal
i
z
e_matrix: s
i
mplify
n==3 c
a
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
Ver
d
ool
a
e
ge
s
carf
.
cc
:
project out
2
variables usi
n
g Scarf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven V
e
rdoolaege
util
.
c: export
Ex
t
end
e
d
_
Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdool
a
e
g
e
configure
.
in: make -
-
en
a
ble-fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rd
o
ola
e
ge
barvino
k
_co
u
nt
:
check whether unbounded
p
ol
y
h
edr
a
a
c
tual
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake
/
conf
i
gure
.
in: allow spec
i
ficati
o
n
of
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
e
rdoolaege
reduc
e
_domain: declare variable at
s
tart
o
f
co
d
e block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
remove_equalities:
sto
p
re
m
ov
i
nf equalities if
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rvinok_co
u
nt: stop countin
g
if
first
fa
c
tor i
s
empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_co
u
nt_f: che
c
k for emptines
s
of P (a
g
ai
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_co
u
n
t
: te
l
l P
o
lyLib we are only int
e
rested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
versi
o
n 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
README: doc
u
ment opt
i
on
a
l i
n
stallation of Om
e
ga and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc: docum
e
nt Omega inte
r
face
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doo
l
aege
d
o
c:
(
mini
m
ally) document p
o
lymake clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
r
d
oo
l
aege
do
c
:
further document barvinok_ehr
h
art
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
cum
e
n
t barvinok_unio
n
commit
|
commitdiff
|
tree
2006-06-22
S
ve
n
Verdoolaege
doc
:
docu
m
ent barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
document som
e
o
p
tio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc
:
a
dd ref
e
rence
f
or
N
TL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describ
e
ver
t
ices based input specification
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
add
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laeg
e
use
"git d
e
scrib
e
"
to d
e
scribe versio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
add doc
to dis
t
ribution
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
e
rdoolaege
d
o
c:
warn that t
h
e output
may l
o
ok
d
ifferent
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: barvin
o
k_count no l
o
nger perfo
r
ms
m
anual
co
u
nti
n
g
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: replace "Ap
p
endix"
b
y "Section"
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoo
l
aege
doc: re
f
l
e
ct ren
a
me
o
f cdd2p
o
l
ylib
.
p
l
to latte
2
polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoo
l
aeg
e
d
oc: resolve undefined r
e
ferences throu
g
h
my t
h
e
sis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
: add title p
a
ge
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
V
erdoo
l
aege
doc: u
s
er guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
r
ename cdd
2
polylib
.
pl
to l
a
tte2po
l
ylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Ve
r
doolaege
polymake/h_star_vector
.
cc: c
l
ien
t
to comput
e
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
poly
m
ake/co
n
v
e
r
t
.
cc: extract p
o
lymak
e
_
constrai
n
ts2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
util
.
c: e
x
p
ort
C
o
n
e
_over_Polyhed
r
o
n
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
barvinok_ehrhart:
c
ompu
t
e ehrhart (q
u
asi-)polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
v
en Verdoo
l
aege
barvi
n
ok_coun
t
: allow polytope to
b
e
s
pec
i
fied by it
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
S
v
en Verdo
o
l
aege
genfun
.
cc:
fix add_u
n
ion
m
e
t
hod
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
bar
v
inok_union:
o
ptionall
y
pri
n
t gen
e
r
a
ting
funct
i
on
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
rdoolaege
barvin
o
k_count: handle
infinite pol
y
hedra with n
o
integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
barvinok_count: stop cou
n
t
ing if
o
ne o
f
th
e
factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
evalue_frac2floor_in_d
o
main: allow argume
n
t
of resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
util
.
c: s
p
eci
f
ically ind
i
c
a
t
e
e
m
pt
y
sets in
Polyhe
d
ron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
util
.
c: move align_m
a
trix fr
o
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdool
a
ege
mat
_
util
.
cc: some usefu
l
function
s
e
x
tra
c
te
d
fr
o
m ge
n
fun
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
e
value
.
c: ex
p
ort reduce_e
v
alue_in_do
m
a
i
n
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
evalue
.
c: rename reduce
_
in_
d
omain to evalue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
o
l
ae
g
e
b
arv
i
nok
.
cc
:
re
m
o
v
e anc
i
ent de
b
ugging code
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoola
e
g
e
evalue
.
c: export
evalue_frac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verd
o
olaege
g
e
n_fun:
:
su
b
s
tit
u
te: add more
d
etailed
e
xpla
n
ation
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
e
rdoolaege
reduce_domain: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdoo
l
aege
b
a
rvinok
.
cc: mov
e
r
educe_doma
i
n in
t
o separate fil
e
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Ver
d
oolaege
util
.
c: add Polyhedr
o
n_pp
r
int
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdo
o
laege
latti
c
e
_
point
.
cc: la
t
tice
p
oints
c
o
mput
a
t
i
o
n extracte
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n
V
e
rdoolaege
c
onversion
.
c
c
: ad
d
v
a
lues2zz and rays2 from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven
Verdoo
l
aege
evalue
.
c
:
a
dd eva
l
ue
_
zero
commit
|
commitdiff
|
tree
2006-05-18
Sven
Verdool
a
eg
e
dec
o
m
p
o
s
er: extr
a
c
t
out
verte
x
_decomposer from barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolae
g
e
barvinok
.
cc: extract
o
ut
some function
a
li
t
y into d
e
compo
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolae
g
e
util
.
c: document Euclid functio
n
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoo
l
aege
occ: plu
g
some more (p
o
te
n
tia
l
) memory lea
k
s
commit
|
commitdiff
|
tree
2006-05-10
Sven Ver
d
oolaege
occ: don't use
freed variable in
error messag
e
commit
|
commitdiff
|
tree
2006-04-10
Sven
Verdo
o
laege
barvi
n
ok
.
c
c: add some documentation to
l
a
ttice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Verdoo
l
aege
barvinok_e
n
ume
r
a
te_union: call
gen_fun::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoola
e
ge
gen_fun
:
a
d
d
add
_
union
m
ethod
commit
|
commitdiff
|
tree
2006-04-03
Sv
e
n Verdoolaege
barvinok
.
cc: document SplitOnVar a
n
d
remo
v
e some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Ver
d
oola
e
g
e
remove
inappropriate
u
s
es of Pol
y
hedro
n
2Param_Simplif
i
edDomain
commit
|
commitdiff
|
tree
2006-02-22
S
v
e
n Verdoo
l
aege
ve
r
sion 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdo
o
laege
creat
e
c
o
rrect GIT_HEAD_ID
i
n
dist
r
ibution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
olae
g
e
ba
r
v
inok_union:
d
ocument input forma
t
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdo
o
laege
Me
r
ge branch '
n
ew_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verd
o
olaege
only run tests
t
hat require piplib when
piplib is ava
i
lable
commit
|
commitdiff
|
tree
2006-02-16
S
v
en Verdoolaege
barvi
n
ok
_
enumerate_e
:
o
n
ly link i
n
omega li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
S
ven Verdoolaege
check for p
i
plib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
some e
x
amples from
R
achid to tes
t
b
a
rvinok_enu
m
era
t
e
_
e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
a
d
d
b
a
r
vinok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
S
v
en Verdoolaege
add barvinok_enume
r
ate_uni
o
n functi
o
n
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Ve
r
doolaege
gen_fun:
add Hadamard
_
pr
o
d
u
ct method
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
o
o
l
a
e
ge
ge
n
_fun::o
p
erator evalue *(): fix memor
y
l
ea
k
s
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verd
o
ol
a
ege
ge
n
fun
.
cc:print_power: rem
o
ve spaces around "*"
in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
S
ven
V
erdoolaege
b
arvinok_series: retu
r
n empty gen_fun for empty polyt
o
p
e
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n V
e
r
d
oolaege
barv
i
nok_series:
r
e
move unused variables
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verdoolaege
barvinok
.
cc: extract out some code co
m
mon to generating
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Verdoolaege
barvinok
.
cc: int
r
oduce np_base, a b
a
se
c
l
a
ss for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdool
a
ege
barv
i
nok
.
cc: do virtual polar_decomposer inheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven
V
erdoo
l
aege
ba
r
vinok_series: rem
o
ve some mor
e
equalit
i
es from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sve
n
V
e
rdoola
e
ge
check for compre
s
s_parms function
commit
|
commitdiff
|
tree
2006-02-10
S
ven Verdoolaege
gen_fun: add s
u
b
s
t
i
tute
met
h
od
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
b
a
rvi
n
ok/genfu
n
.
h:
a
bit
m
ore docu
m
entation
.
commit
|
commitdiff
|
tree
2006-02-09
S
v
en
Verdoola
e
ge
a
dapt
determination of gi
t
HEAD to recent git
v
ersions
commit
|
commitdiff
|
tree
2006-02-08
S
v
en Verdoola
e
ge
verify_main
.
cc: fix typo that would l
e
t che
c
k_
s
eries
.
.
.
commit
|
commitdiff
|
tree
next