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
lexmin.cc: fix use of compress_parms
2006-08-13
Sv
e
n Verdoolaege
lexmi
n
.
cc: fix use of com
p
r
e
ss
_
parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sampl
e
.
c:
f
i
x
rem
o
ve_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
b
ar
v
inok_
c
ou
n
t: cl
e
a
n up memory afte
r
sim
p
l
ifying co
n
st
r
aints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform lexmin tests
when
l
e
xmin has been co
m
pi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doola
e
ge
some more tes
t
s with unbounded poly
h
edra
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
ad
d
some small tests for
lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verdoolaege
lexmin:
barf when po
l
yhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Ve
r
doolaege
l
exmin: do
n
't print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erdoolaege
ver
i
fy_main
.
cc: cl
e
a
n
up m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
r
d
oolaege
b
arvinok
_
se
r
i
e
s
:
ha
n
dle
f
ixed po
l
y
t
ope
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
gen_fun: ad
d
constr
u
ctor fo
r
gener
a
ting function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
c
c:
remove
_
m
o
r
e_
e
q
ualiti
e
s:
handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fu
n
::co
e
ff
i
c
ient:
reset
the num
b
er of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
o
olaege
lexmin
.
cc: use re
m
ove_equalitie
s
consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
util
.
c: co
m
press_variables
:
extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin: d
o
n't
check anything if gi
v
en range lies o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
cc: remove_eq
u
alities; take preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c: remove_equalities: exte
n
d ret
u
r
ned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc:
i
n
_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
cc: remove s
o
me
d
ebugging r
e
s
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
reduce_dom
a
in: comput
e
conv
e
x
union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaeg
e
l
e
xmin
.
cc:
in_domain: al
s
o check other
parts
o
f
u
nio
n
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
l
e
xmin: in_domain: set values if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmin: pl
u
g some memor
y
le
a
ks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
l
exmin: an experim
e
ntal tool for c
o
mputing the
paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
a
dd f
d
stream
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaeg
e
e
v
alue
.
c: floor2fr
a
c
_
r
: plug memory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdool
a
ege
bar
v
inok
.
cc: unfr
i
nge
:
work incr
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
e
v
alue_frac2
f
loor_in
_
domain: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaeg
e
Polyh
e
dron_Sample: a
l
low eq
u
alities in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Po
l
yhedron_Sample:
make su
r
e vertices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ve
r
doolaege
Po
l
y
h
edr
o
n_Sample: simpli
f
y constrain
t
s
a
f
ter
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
P
o
l
yhedr
o
n_
S
ample: hand
l
e empty and 0D polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verd
o
o
l
aege
sam
p
l
e
.
c:
alternative implementation of r
e
move
_
ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
rdool
a
ege
sample
.
c
: P
o
lyhedron_
R
e
moveFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoo
l
a
e
ge
barvinok_
c
oun
t
_f: c
h
eck w
h
e
ther poly
h
edron is u
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoola
e
ge
barvi
n
ok_count: si
m
plify
c
onstraints aft
e
r re
m
o
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdoolaege
re
d
uc
e
d_basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdo
o
laege
reduc
e
d_ba
s
is: ensure al
l
LP solutions are non-nega
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n
Verdoolaege
occ: p
r
i
n
t param
e
tric vertices of set
u
si
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
occ
:
add interface to barvinok_lexsma
l
l
e
r_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoolaege
util
.
c:
p
rovid
e
d
u
mmy barv
i
nok_le
x
sm
a
ller
_
e
v
w
h
en
LexSma
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erd
o
olaege
4coin
s
: computes gener
a
ting function for 4 coin Fr
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Ve
r
d
o
olaege
g
e
n
_fun::Hadamar
d
_product:
a
pply
parameter com
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
do
o
laege
gen_fun::
s
ub
s
titute: on
l
y pass
in transfor
m
ation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
sc
a
rf
.
c
c
: s
u
pport more cases of 3 (indep
e
ndent) con
s
tr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
S
ve
n
V
e
rdoolaege
s
c
arf
.
cc:
support more c
a
ses
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
o
olaege
genfun
.
cc: a
d
d
g
en_
f
un::divide meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n V
e
rdoolaege
genfun
.
cc:
a
nother gen_fun::summ
a
te me
t
ho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolae
g
e
infinite_ic
o
unt
e
r:
an incr
e
menta
l
cou
n
ter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven
Verdoolae
g
e
icounte
r
:
move
from barvinok
.
cc to red
u
c
er
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
bfenumera
t
or::set_factor:
p
lug
small memory
l
eak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdool
a
ege
b
a
r
vinok_
e
nume
r
ate_union_series: use gen_fu
n
::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaege
genf
u
n
.
cc: add gen_f
u
n::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoola
e
ge
gen_fun::Hadama
r
d_prod
u
ct:
o
ptimi
z
e com
p
utation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun::Hadama
r
d_produc
t
: make
f
i
rst argu
m
ent
const
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoo
l
a
e
g
e
p
olar_decom
p
oser::d
e
com
p
ose: make sure vertic
e
s have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdoolaege
np
_
base:
add do_vertex_cone me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
a
e
ge
gen_fun::pr
i
nt
:
allow
p
r
int
i
ng to s
t
reams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfcounter
.
cc: move so
m
e more code fro
m
bar
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
g
en_fun
.
h
: sh
o
rt_rat:
u
se QQ instea
d
of p
a
ir
of Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
NTL_QQ
.
cc: a r
a
tional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdoolaege
ver
i
fy_main
.
c
c: small m
e
mory clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erd
o
ol
a
ege
barvinok
_
s
e
r
i
e
s
:
move
c
h
o
i
c
e of wh
i
ch gf
_
b
ase subc
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
e
rdoolaege
bar
v
inok
.
cc: move some functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
barvino
k
.
c
c
: move Polyhedron ar
g
ument to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
bar
v
inok
.
cc: move s
t
art and
h
andle_po
l
a
r
into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oolaege
ge
n
_fun: add
s
hift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add copy co
n
structor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2val
u
es: make first argumen
t
cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
zz2value: make first
a
rgum
e
nt con
s
t
commit
|
commitdiff
|
tree
2006-07-20
S
ve
n
Verdoolaeg
e
Polyhedron_is_infinite: use
Polyhedron_S
a
mple if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdo
o
laege
polyhe
d
ro
n
_sample: comp
u
tes an
i
n
t
eger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verd
o
olaeg
e
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdool
a
ege
scar
f
.
cc: sim
p
l
ex::shrunk_po
l
yh
e
dron:
only
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform trivial r
e
du
c
ti
o
n step
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
gen
f
u
n
.
cc:
reo
r
der
terms in numera
t
o
r
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
s
carf
.
cc: no
r
mali
z
e
_
matrix: simplify n==
3
c
a
se some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
sc
a
r
f
.
cc:
su
p
port so
m
e
c
ases of
4
con
s
traints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
barv
i
n
ok_
e
numerat
e
_e
:
-
-prin
t
-a
l
l for printing a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
scarf
.
cc: normalize_ma
t
rix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
Verdoolae
g
e
sc
a
rf
.
cc:
project out 2 v
a
riables
u
sing Scarf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdo
o
laege
util
.
c: expo
r
t Extended_
E
uclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Ve
r
doolaege
co
n
figur
e
.
in:
m
ake
-
-enable-fraction
a
l the def
a
ult
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
b
a
rvinok_count: check w
h
ether unbounded polyh
e
dra
actua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
o
l
ae
g
e
polyma
k
e/configure
.
in: al
l
o
w specific
a
t
ion of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
oolaege
r
e
duce
_
domain:
d
eclare variable at
s
tart of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdoolaege
rem
o
ve_equ
a
lities: stop removinf equali
t
ies if
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en V
e
rd
o
o
l
aege
b
a
rvinok_count: s
t
op counting if firs
t
f
actor i
s
empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
ege
barv
i
nok_coun
t
_f
:
che
c
k
for
emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en
V
erdoolae
g
e
b
arvinok_count: t
e
l
l Po
l
yLib w
e
are only inter
e
s
ted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
a
ege
version
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
READ
M
E: doc
u
m
ent op
t
i
o
nal installation o
f
Omega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
do
c
:
document Omega interf
a
c
e
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolae
g
e
doc: (minimally)
d
oc
u
men
t
pol
y
make cl
i
ents
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
d
oc: furt
h
er do
c
ume
n
t barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoola
e
g
e
document
b
arvinok_uni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaeg
e
doc: document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
o
olaege
doc: document some options
commit
|
commitdiff
|
tree
next