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
Merge branch 'master' into bernstein
2006-08-12
Sven Verdoolaege
Merge branch 'mas
t
e
r
' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ve
r
doolaeg
e
only perform lexmin tests when lexmin has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
some
m
ore test
s
with
u
nbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
add some small test
s
for le
x
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n V
e
rdoola
e
ge
le
x
min:
b
arf when polyhedron
co
n
tain
s
line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
do
o
l
aege
lexmin:
d
on't pr
i
nt so
l
ution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
v
e
rif
y
_main
.
c
c
: clean up me
m
ory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
Merg
e
branch '
m
aster'
i
nto
b
e
rn
s
tein
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
barvinok_s
e
ries: hand
l
e fix
e
d
po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
g
en_fun: add c
o
nstructor for
generat
i
ng fu
n
ction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
c
c: remove_more_equalitie
s
: hand
l
e
e
qualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoo
l
a
e
g
e
gen_fun::coefficie
n
t: rese
t
the number o
f
r
ows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaeg
e
lexmin
.
cc: use re
m
o
v
e
_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
util
.
c: compress_variables: extracted from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
l
aege
lexm
i
n: d
o
n't
check anything if given range
lie
s
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remo
v
e_equalitie
s
;
take preimage
with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
lexmin
.
cc:
r
e
m
ove_equalities: ext
e
nd returned mat
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
l
aege
lexm
i
n
.
cc: in_domain: fix
ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lex
m
in
.
cc
:
remove s
o
me debugging re
s
idues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
erdoolaege
reduce_domain:
c
ompute con
v
ex un
i
on of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmi
n
.
cc: in_domain: also ch
e
ck other
pa
r
ts of union
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
e
r
d
oo
l
ae
g
e
l
exm
i
n:
in_dom
a
in: set val
u
es if constraints
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min: plu
g
some memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
lexmin: an exp
e
r
imental
tool for co
m
puting
t
he pa
r
ametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
laege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Ver
d
ool
a
ege
evalue
.
c: floor2frac_r:
p
lug m
e
m
ory leak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
b
a
rvinok
.
cc: un
f
ri
n
g
e: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verd
o
o
l
aeg
e
evalue_frac2floor_in_
d
om
a
in: plug memory
l
ea
k
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verd
o
olaege
Polyhedron
_
Sa
m
ple:
allow
equa
l
itie
s
in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaeg
e
Po
l
yhedron_Sample: make sure vertic
e
s are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Polyhed
r
o
n
_Sample
:
simplify c
o
nstrai
n
ts aft
e
r c
h
oo
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
Polyhedron
_
Sampl
e
: han
d
le em
p
ty and 0D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
sample
.
c: alternative imp
l
ementation of r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
erdoola
e
ge
sample
.
c: Polyh
e
dron_RemoveFixedColumns:
hand
l
e presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
barvino
k
_count
_
f: ch
e
ck w
h
ether polyhedro
n
is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
barvinok_count:
s
implify con
s
trai
n
t
s after re
m
o
v
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
e
r
doolaege
reduced_
b
asis: sup
p
ort 1D polytop
e
s
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
reduc
e
d_basis: ensure all
L
P
s
olutio
n
s are non-
n
e
gative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verd
o
olaeg
e
Merg
e
branch 'm
a
ster'
i
nt
o
ber
n
s
tein
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
e
rd
o
olaeg
e
o
c
c: p
r
int
p
arametric
v
ertices of set us
i
ng P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-02
S
ven Ve
r
doolaeg
e
occ: allow polynomials in b
e
r
nste
i
n maximiza
t
ion to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
Me
r
g
e
b
r
anch
'master'
into b
e
rn
s
tein
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdool
a
eg
e
oc
c
:
a
dd interfac
e
t
o
barvinok_l
e
x
s
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoola
e
ge
util
.
c: provide dummy barvinok_lexsm
a
ller_ev when LexSma
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoola
e
ge
4
coins: computes gene
r
ating function for 4 co
i
n Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven
Verdoolaege
g
e
n
_f
u
n
::Hadamar
d
_pro
d
uc
t
: apply p
a
rameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
e
rdool
a
ege
gen_
f
un::substit
u
te: only p
a
ss
in tran
s
form
a
t
i
on
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
s
ca
r
f
.
cc: su
p
po
r
t more cases of 3 (i
n
dependent) const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
scarf
.
c
c:
s
upport more cases
of
4
constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
g
e
nfu
n
.
cc: ad
d
gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc:
a
n
o
ther
g
e
n
_fun:
:
summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infinite_
i
cou
n
ter: a
n
incremental counter f
o
r possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
ge
icounter: m
o
ve from
b
arvinok
.
cc
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olae
g
e
b
f
enum
e
rator::se
t
_factor: p
l
ug small m
e
mor
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
b
arvinok_en
u
merate_union_series: use
gen_fun::s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
g
enfun
.
cc: add ge
n
_fun::summ
a
t
e
met
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Ver
d
oolaeg
e
gen_
f
un::Ha
d
amard_pro
d
uct: opti
m
ize
c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_f
u
n::
H
a
d
am
a
r
d_prod
u
c
t
:
make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_deco
m
poser::decomp
o
se:
make su
r
e
ve
r
tic
e
s have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
np_ba
s
e
: add do_verte
x
_cone meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
ege
gen_fun
:
:
p
r
int: allow printing to streams o
t
her th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
erdoo
l
aege
bfcounter
.
c
c
:
mo
v
e some
m
ore c
o
de from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
laege
gen_fu
n
.
h: shor
t
_rat: use
Q
Q
instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
laege
NTL_
Q
Q
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doolaege
v
erify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok_series: mo
v
e
c
hoice of w
h
i
c
h gf_
b
ase subcl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok
.
cc:
m
ove som
e
fun
c
tionality into separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc:
move Polyhedron ar
g
ument t
o
s
tart m
e
thod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aeg
e
ba
r
vinok
.
c
c: move start and handle_polar into
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoo
l
aege
gen_fu
n
: a
d
d shi
f
t method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en
_
fun:
a
dd copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdo
o
l
a
ege
zz
2
val
u
es: make first
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: m
a
ke first ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
P
o
lyhedron_is_i
n
finite:
u
se Pol
y
hedron_Sampl
e
if availab
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven
Verdoolaege
p
o
lyhedron_samp
l
e: c
o
mp
u
tes an integer
v
ector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdoo
l
aege
c
onfigure
.
in: check
f
or glpk
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n V
e
rd
o
olaege
scarf
.
c
c
: simplex
:
:
shrunk_polyh
e
dron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform trivia
l
reduc
t
ion
step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
enfun
.
c
c
: reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ver
d
oolaege
s
carf
.
c
c: nor
m
al
i
ze_matrix: simpl
i
fy
n
==3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scar
f
.
cc: support some ca
s
es
o
f
4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laeg
e
barvinok_en
u
merat
e
_e
:
--pri
n
t
-all for
printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
s
c
a
rf
.
cc: n
o
rmalize_matri
x
:
s
i
m
plify n==3 cas
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
c
c
: p
r
oject
out 2 variables usi
n
g
Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Ver
d
o
o
laeg
e
util
.
c: ex
p
ort Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdool
a
ege
configure
.
in: make
-
-
e
nable-f
r
act
i
onal the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
ol
a
ege
barvi
n
ok_co
u
n
t: check
whe
t
her
u
nbounded p
o
lyh
e
dra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n V
e
rdoolaege
p
o
lymake/configure
.
in: a
l
low spec
i
fication o
f
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
reduce_domain: dec
l
a
r
e
v
a
r
i
able at s
t
a
r
t of
code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
V
erd
o
o
l
aege
remove_equaliti
e
s
:
stop removinf
equali
t
ies if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdool
a
ege
barvinok_count: stop counting if f
i
rst factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k
_
count_f: check
for emptiness of
P
(ag
a
in)
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdool
a
ege
barvinok_count: tell
P
olyLib w
e
are only
inter
e
st
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven Verdoolaege
Me
r
ge br
a
nch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
versio
n
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdool
a
ege
README: document
opti
o
nal
i
n
stallation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
doc: document Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaeg
e
doc: (minimally
)
d
ocume
n
t
polymake cl
i
ents
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoo
l
aege
d
o
c: further documen
t
barvinok_e
h
rhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
document
barvinok_u
n
ion
commit
|
commitdiff
|
tree
next