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
export Polyhedron_Sample and Polyhedron_Reduced_Basis
2006-08-09
Sven Verd
o
olaege
reduce_domain: c
o
mpute
convex
union
o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lex
m
i
n
.
cc
:
in_doma
i
n: also ch
e
ck oth
e
r parts of
u
nion
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
doolaege
l
exmin:
i
n_domain:
s
e
t values if const
r
aints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin: plug so
m
e memory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdo
o
laege
lexmin: an
e
xperimental tool fo
r
co
m
p
u
ting
t
he parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n
V
erdoolaege
evalue
.
c: floor2frac_r: plug me
m
ory
leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
b
arvinok
.
cc:
u
nfrin
g
e:
work incr
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
S
v
en Verdoolaege
e
v
a
lue_f
r
ac2f
l
o
o
r_in_domain:
p
lug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
P
o
lyhedron_Samp
l
e
:
allo
w
equali
t
ies
in
i
nput p
o
lyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Polyhedron_Sample
:
make sure v
e
r
t
ices are avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Poly
h
edron_Sample:
simpl
i
f
y const
r
a
i
n
ts
a
f
ter choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
erdo
o
laege
Polyhedron_
S
ample: ha
n
dle empty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
sample
.
c: alte
r
native
i
m
p
le
m
e
n
tation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
oolaege
sample
.
c: Polyh
e
dron
_
R
e
m
ov
e
Fi
x
e
dColum
n
s:
h
andle p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
barvinok_coun
t
_f: ch
e
ck whether po
l
yhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
r
doolaege
barvinok_count: simplify constrain
t
s after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
reduced_basis: s
u
p
p
ort 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
red
u
ced_basi
s
: ensure all LP so
l
ut
i
ons a
r
e non
-
neg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
Merge branch 'master
'
into bern
s
t
ein
commit
|
commitdiff
|
tree
2006-08-02
Sven Ve
r
doolaege
o
c
c: print pa
r
ametric
vertices of set using
P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erd
o
olaege
occ:
a
ll
o
w po
l
ynomial
s
in bernstei
n
maximization to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
M
erge br
a
n
ch 'mas
t
er
'
i
nto bernste
i
n
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
oc
c
: add interface to barvi
n
ok
_
lexsm
a
ller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
u
t
il
.
c: prov
i
de dum
m
y
barv
i
no
k
_lexsmaller_ev wh
e
n LexSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
4co
i
ns: comp
u
tes g
e
nera
t
ing function for 4
c
oin Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
ege
g
e
n_fu
n
::Hadamard_product
:
apply param
e
ter comp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoo
l
aege
gen_fun::substitute: only pass
i
n transformat
i
o
n m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
s
c
arf
.
cc:
supp
o
rt
m
ore cases of 3 (inde
p
ende
n
t) const
r
a
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
sca
r
f
.
cc: support more cases of 4 cons
t
raints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ve
r
dool
a
e
g
e
genfun
.
c
c
:
add gen_fun::div
i
d
e method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
d
o
olaege
genfun
.
cc:
another gen_fun::summ
a
te met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
inf
i
n
i
te_
i
c
ounter: an incremen
t
al cou
n
t
e
r
f
o
r
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icounter: move from barvinok
.
cc t
o
r
e
duce
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
bfenumerator::se
t
_factor:
plug small
m
emory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
barv
i
nok_enumerate_uni
o
n_series: use gen_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
genfun
.
cc: add
gen
_
fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ola
e
ge
gen_
f
u
n::Hadama
r
d_product: optim
i
ze
com
p
utation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_fun::Hadam
a
r
d
_prod
u
ct: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
a
e
ge
p
o
lar
_
d
e
compos
e
r::
d
ecom
p
ose: m
a
ke
sure verti
c
e
s hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
np_base:
a
dd
d
o_ve
r
tex
_
cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
la
e
ge
ge
n
_f
u
n::print
:
allo
w
printing t
o
s
treams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
bfco
u
nter
.
cc: move some
more code f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
gen_fun
.
h: sh
o
rt_rat: us
e
QQ instead
of pair of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
NTL_QQ
.
cc:
a rational N
T
L t
y
p
e
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaege
veri
f
y_main
.
c
c:
small memo
r
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
o
laege
barvinok_ser
i
e
s:
move choice of which
g
f_base subc
l
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
b
arvin
o
k
.
cc
:
m
o
ve som
e
functionality into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
barvino
k
.
cc: m
o
ve
Polyhedron argument
to sta
r
t method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
c
c
:
mo
v
e st
a
rt and
h
a
n
dle_pol
a
r
into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
er
d
o
o
laeg
e
g
e
n
_
fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoola
e
ge
g
en
_
fun
:
add
co
p
y
co
n
structor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rdoolaege
zz2v
a
lues: make first
arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
zz2value: mak
e
first
a
rgu
m
ent co
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolaege
Polyhedron_is_infi
n
ite: use Polyhedron_Samp
l
e if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven
Verdoolaege
polyhedron_s
a
mple: computes
an integ
e
r vector
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ve
r
doolaege
con
f
igure
.
in: check f
o
r glp
k
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
arf
.
cc: s
i
mp
l
ex
:
:s
h
runk_po
l
yhedron: on
l
y pr
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verd
o
olaege
gen_fun::a
d
d: p
e
rform trivial reduction s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc: reo
r
d
er t
e
rm
s
i
n
n
umerato
r
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oola
e
ge
s
c
arf
.
cc:
normaliz
e
_matrix: simpl
i
fy
n==3
case
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Ver
d
oolaege
scarf
.
cc: support some c
a
ses of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
ba
r
v
i
n
o
k_enu
m
erat
e
_e: --print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ver
d
o
o
laege
scarf
.
cc: normalize_mat
r
i
x
: simplify n==3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
S
ven Verdool
a
ege
s
carf
.
cc: proje
c
t out 2 v
a
ri
a
b
l
es
using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoolaege
ut
i
l
.
c: export Extended_Euc
l
id
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoola
e
g
e
c
o
n
figure
.
in
:
make --enable-frac
t
ional
the
d
efault
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
doolaege
barvinok_coun
t
:
c
heck whether unb
o
un
d
ed p
o
lyh
e
dra
a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdo
o
l
a
eg
e
polymake/configu
r
e
.
in
:
allow specifica
t
i
o
n
of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdool
a
ege
reduce_domain: declare var
i
a
ble
a
t start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
Verdoolaege
r
emove_equal
i
t
i
es: stop
r
emo
v
inf equalities if inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaeg
e
b
arvinok_coun
t
: stop counting if
fi
r
st
f
actor is em
p
ty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
b
a
rvinok_count_f: check
f
o
r
em
p
ti
n
ess of
P
(aga
i
n)
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdo
o
laege
bar
v
i
n
ok_count: te
l
l PolyLib
w
e
a
r
e onl
y
interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sve
n
Verdoo
l
aege
Merge b
r
anch '
m
ast
e
r' into bernstein
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
d
oolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
READ
M
E: doc
u
ment
o
ptiona
l
in
s
tallatio
n
o
f Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolae
g
e
doc: document Omeg
a
i
n
t
erface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
doc:
(minimally) document po
l
y
make clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
eg
e
doc
:
further document barvin
o
k_ehr
h
a
r
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
docume
n
t
bar
v
inok_u
n
ion
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aege
d
o
c:
document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: document some options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
do
c
:
add
r
eference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
erdoolaege
doc
:
describe
v
ertice
s
ba
s
ed input sp
e
ci
f
ica
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
dool
a
ege
d
oc: add subsections
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
Ver
d
oolaege
use "git descr
i
be"
to d
e
scribe versio
n
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolaege
a
d
d
d
o
c to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc:
w
a
rn that the output may
l
ook different
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc: barvi
n
o
k
_count no longer performs manua
l
cou
n
ting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: replac
e
"Appendi
x
"
b
y
"Section
"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c
: reflect ren
a
me of cdd2polylib
.
pl to
latte2
p
oly
l
ib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: resolve un
d
efined references t
h
rough my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
d
oc: add titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
d
oolaege
doc: user guide
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
rename cdd2polyli
b
.
pl t
o
latte
2
polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verd
o
olaege
p
o
lymake/h_sta
r
_vector
.
c
c: client to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven V
e
rdoolaege
p
o
lymake/convert
.
c
c
: extract pol
y
make_
c
o
nst
r
aints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erdo
o
l
aege
M
erge b
r
anch
'
m
aster' into
b
ernstein
commit
|
commitdiff
|
tree
next