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
sample.c: fix remove_ray
2006-08-13
Sven V
e
rdool
a
ege
sample
.
c: fix
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
b
a
rvinok_count:
c
l
e
an
u
p m
e
mory
a
f
ter
simplify
i
ng
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
d
oolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
only perform lexmin tests when lexm
i
n has been
compi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
V
e
rdoolaege
som
e
more te
s
ts with unb
o
unded po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdoo
l
a
eg
e
add
som
e
s
mall te
s
ts
f
or lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verd
o
olaeg
e
lexm
i
n: barf w
h
e
n
p
o
lyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
le
x
min: don't p
r
int solut
i
on w
h
en veri
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sve
n
Ve
r
d
o
olaege
verify_m
a
in
.
cc: cl
e
an up memory
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdoolaege
bar
v
i
n
o
k_
s
eries: hand
l
e fixe
d
poly
t
opes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
ae
g
e
gen_fun:
a
dd construc
t
or
for generating functio
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
barvin
o
k
.
cc:
rem
o
ve_more_equalities:
h
andl
e
eq
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
gen_fun::coe
f
ficient: res
e
t the numb
e
r
of rows in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
lexmin
.
cc:
u
se
r
e
m
ove_equalities c
o
nsistentl
y
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
util
.
c
: compres
s
_va
r
iables: ex
t
r
a
cted from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoo
l
ae
g
e
l
exmin: do
n
't ch
e
ck a
n
ything if give
n
r
a
n
ge lie
s
o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
doolaege
le
x
min
.
c
c: remove_equalities; take preim
a
ge w
i
th r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lex
m
in
.
cc:
r
e
m
o
ve_equa
l
ities: exte
n
d returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin
.
cc: re
m
ov
e
some debu
g
ging residues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoo
l
aege
reduce
_
d
omain: c
o
mpute
c
onve
x
union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
laege
le
x
mi
n
.
cc: in_domain: also check
other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdool
a
ege
lexmin:
i
n
_domain: s
e
t values if constraint
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Ver
d
oola
e
ge
lexmin: plug some memory
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaege
lexmin: an ex
p
e
rime
n
tal tool for com
p
uting
t
he para
m
etric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c:
floor2frac_r: p
l
ug memor
y
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
e
r
d
oolaege
bar
v
inok
.
c
c
: unfrin
g
e: w
o
rk incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoo
l
a
ege
evalue_fra
c
2
floo
r
_i
n
_d
o
mai
n
: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ola
e
g
e
Polyhedron_Sample:
allow equ
a
lities in
i
nput polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
olyhedron_Samp
l
e:
make sure vertices are avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
P
o
lyhedron_Sa
m
ple: simplify c
o
nstraints aft
e
r choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sam
p
le: handl
e
empty and
0
D polyhe
d
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdool
a
ege
sa
m
ple
.
c: alterna
t
ive implemen
t
atio
n
of
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
sample
.
c
:
Po
l
yhedron_
R
e
m
oveFixedColum
n
s: handle p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
barvinok_count_f: check
whether polyhedron
is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n V
e
r
d
oolaege
barvinok_count: simplify con
s
traints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
o
l
aege
re
d
uced_bas
i
s
: support 1
D
po
l
y
topes
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
reduced_basi
s
: ensu
r
e all LP soluti
o
n
s
a
r
e non-negativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoolaege
occ: pr
i
nt
p
a
rametric ver
t
ices
of
set using
P
olyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
Ver
d
oolaege
occ: add int
e
rfa
c
e to barv
i
nok_lex
s
maller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verdoola
e
ge
uti
l
.
c: provide du
m
my bar
v
inok_lexsmal
l
er_ev when L
e
xSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
4c
o
ins: compu
t
es gener
a
ting
function
f
or
4
coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_
f
un::Hadamard_product: apply
p
ara
m
eter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_
f
un::
s
ubstitute: onl
y
pass in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
ege
s
carf
.
cc: suppo
r
t
more cases of 3
(inde
p
endent) constrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
ge
scarf
.
cc: support more
c
ase
s
of 4 con
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ge
n
fun
.
c
c
: add
g
en
_
fun::di
v
ide m
e
tho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genf
u
n
.
c
c: another gen_fun::summ
a
te me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoola
e
ge
infinite_icounter: an incre
m
ental
c
ounter f
o
r
pos
s
i
bly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icounter
:
move from ba
r
vin
o
k
.
cc
t
o reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
d
o
olae
g
e
bfenumerat
o
r:
:
set_factor: p
l
ug s
m
a
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
lae
g
e
barvino
k
_
e
numerate_union_seri
e
s: use gen_f
u
n::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolae
g
e
genfun
.
cc:
a
dd gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::H
a
damard_product: optim
i
ze compu
t
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
ge
ge
n
_
f
un
:
:
Hadamard_pro
d
u
c
t: ma
k
e first ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_
d
e
c
omposer:
:
d
ecom
p
ose:
m
ake sure vert
i
c
e
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
np_base:
a
dd do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
o
o
l
a
ege
gen_fu
n
::
p
rint: allow
prin
t
ing to
st
r
e
ams other t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
bfcounter
.
cc: move s
o
me more c
o
de from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_f
u
n
.
h: sho
r
t_rat:
u
s
e
QQ i
n
stead of
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
NTL
_
QQ
.
cc:
a ration
a
l NTL
t
yp
e
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
v
e
rify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
barv
i
nok_s
e
ries:
move choice of
w
hich gf
_
ba
s
e su
b
class
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ba
r
vinok
.
cc: move some fu
n
ctional
i
ty into
se
p
arate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
c
c
: move Polyhedron argume
n
t
to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
ae
g
e
b
a
r
vino
k
.
cc: move start and
handle_pola
r
into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
r
d
oolaege
g
e
n_f
u
n: add sh
i
ft me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
e
n_fun: add copy construct
o
r
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
zz2values: make first argument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
zz2value: make f
i
rst argume
n
t const
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
V
erdoolaege
Polyhedro
n
_is_infinite: use Polyhedron_Sample if avai
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoola
e
ge
polyhedron_sampl
e
: com
p
utes an integer ve
c
tor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sve
n
Verdo
o
laege
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
scarf
.
cc: simple
x
:
:
shrunk_polyhedron:
o
n
l
y
pr
o
ces
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
gen_fun::a
d
d: perform trivial reducti
o
n step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
o
o
l
aege
genfun
.
cc: r
e
order terms
in numerato
r
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
scarf
.
cc: normalize_matrix:
s
implify n==3 c
a
se some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c:
s
upport so
m
e cases o
f
4
con
s
tra
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n V
e
rdool
a
ege
barvinok
_
enum
e
rate_e: --p
r
int-
a
ll
for p
r
inting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ve
n
Verdoolaege
scarf
.
c
c
: n
o
rma
l
ize_matrix: simplify n=
=
3
c
a
s
e
commit
|
commitdiff
|
tree
2006-07-10
S
v
e
n Verdoolaege
s
carf
.
cc: project
o
u
t
2 v
a
ria
b
l
es using S
c
arf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n
Verdoolaege
util
.
c: export
E
xtended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
V
e
r
doola
e
ge
c
o
nf
i
g
u
re
.
in
:
make --enable-fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n
Verdoolaege
barvinok_coun
t
: c
h
e
ck
whethe
r
unbounded po
l
y
hedra actual
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
p
olymake
/
configur
e
.
i
n
: allow spec
i
fica
t
ion of
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
reduc
e
_domain: d
e
clare variab
l
e at s
t
art of code block
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven
V
erdoolaege
rem
o
ve_equaliti
e
s
:
st
o
p remo
v
inf
e
q
u
a
l
ities
i
f input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaeg
e
barvinok_count:
s
top
c
ou
n
ting if first factor i
s
e
m
pty
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdo
o
laege
bar
v
i
n
ok_count_f: check for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdool
a
ege
barvinok_count: tell PolyLib we are o
n
ly interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
ve
r
sion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoola
e
ge
README: docum
e
n
t optional
i
nstallation
o
f
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: doc
u
ment Om
e
ga interf
a
ce
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verd
o
olae
g
e
doc:
(
m
i
nimally) docu
m
e
n
t p
o
l
ym
a
ke client
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
oc: fu
r
ther document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
documen
t
barv
i
n
ok_union
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
do
c
: docume
n
t barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
erdo
o
laege
doc: documen
t
some options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: add
r
eference for NTL
commit
|
commitdiff
|
tree
next