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
omega/polyfunc.cc: maximize: simplify domain before printing
2006-08-12
S
ven Verdoolaege
omega/pol
y
func
.
cc: m
a
ximize: simplify d
o
m
ai
n
before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
mega/par
s
er
.
y: create new variableMap for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
ome
g
a/parser
.
y: free
m
alloc'ed mem
o
ry (ins
t
e
a
d
o
f delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
lae
g
e
Merge
b
ranch '
m
aster' into
ber
n
stein
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only pe
r
form le
x
min
tests when lexmin
h
a
s
been
c
o
mp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some
more tests with unbo
u
n
d
ed p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add
some small
tests
for
l
e
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
d
oo
l
ae
g
e
lexmin: barf wh
e
n polyhe
d
r
on con
t
ains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin:
don't print soluti
o
n when verif
y
ing
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
verify_
m
ain
.
cc: c
l
ean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erdoolaege
M
e
r
g
e
branch 'master' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
oolaege
b
arvin
o
k_series: handle fixed poly
t
opes
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
rdoolaege
ge
n
_fun: add construc
t
or for generating function
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
barv
i
nok
.
cc:
r
emov
e
_mor
e
_eq
u
alities:
han
d
l
e
equ
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoola
e
ge
gen_fu
n
::coeffic
i
ent: rese
t
the num
b
er of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
lexmin
.
c
c: use r
e
move_equali
t
ies co
n
sistently
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoo
l
a
e
ge
util
.
c: com
p
ress_variables: e
x
tracted
f
r
om lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin:
d
on't
ch
e
ck an
y
thin
g
if
given range l
i
es outsid
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin
.
cc: remov
e
_equalities; t
a
ke
p
reimage wit
h
re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove
_
equalities: exte
n
d returne
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc:
in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Ver
d
oolaege
lexmin
.
cc: remove some
d
ebugg
i
n
g r
e
sidues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
r
e
duce_do
m
ain:
co
m
pute conve
x
u
nion of domain
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdoola
e
ge
l
exmin
.
cc
:
i
n
_domain: al
s
o ch
e
ck other parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
Ver
d
oolaege
lex
m
in: in_domain: set values if constr
a
ints
don'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaeg
e
lexmin: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoo
l
a
e
ge
le
x
min: an experiment
a
l tool for computing the para
m
etri
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoolaege
add fdst
r
eam
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ve
r
do
o
laege
evalue
.
c
:
flo
o
r2
f
r
a
c_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olae
g
e
barvinok
.
cc
:
unfrin
g
e:
w
or
k
incrementa
l
l
y
commit
|
commitdiff
|
tree
2006-08-06
S
v
en Verdoolaege
evalue_fra
c
2floor_in_
d
omain: plug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
Po
l
y
h
edron_Samp
l
e: allow
e
q
ualitie
s
in
i
n
p
u
t
polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
do
o
l
a
ege
Poly
h
ed
r
on_Sample: make sure
v
ertices are ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
Polyhedr
o
n_
S
a
mple: simplify
c
onstraints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron_Sampl
e
: han
d
le
e
mpty
a
nd 0D
p
olyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c
:
alternativ
e
implement
a
tion
o
f
r
e
m
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
samp
l
e
.
c: Poly
h
edron_Remov
e
Fix
e
d
C
olumns: handl
e
pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoola
e
ge
bar
v
inok_count_
f
:
c
heck
w
hether
pol
y
he
d
ron is
u
nbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
barvinok_count: simp
l
ify constraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
reduced_
b
a
s
i
s: support 1D poly
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
reduced_basis: ensure
all LP sol
u
tions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdo
o
l
a
ege
Merge b
r
anch 'master' into
b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ: print
p
arame
t
ric vertices of set using Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n
V
e
rd
o
olaege
occ: allow
p
o
lynom
i
als in bernstein maxi
m
ization to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
Merg
e
branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-01
S
v
e
n
Verdoolaege
occ
:
add interface to barvin
o
k_lexsm
a
ller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ve
n
Verdoolaege
util
.
c: p
r
ovide dummy barvinok_l
e
x
s
maller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
4coins
:
comput
e
s generating function
for 4 coi
n
Fr
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verd
o
ola
e
ge
gen_fu
n
::
H
adamard_product: apply parame
t
er compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::subs
t
i
tute: o
n
ly p
a
ss in
transfor
m
ation mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoolaege
s
ca
r
f
.
cc: sup
p
o
r
t more cases of 3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
scarf
.
cc: suppo
r
t
more
cases of 4 constraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add gen_fun::divide
meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
V
erdo
o
laege
gen
f
un
.
cc: another gen_fun:
:
summate method
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoolaege
infini
t
e
_icounter: an incremental counter for
poss
i
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icounter:
move f
r
om barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
bfenu
m
erator::se
t
_
f
actor: plug small memory le
a
k
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdoolaege
barv
i
nok_en
u
merate
_
union_series
:
use gen
_
fun::summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
nfun
.
cc: add gen_fun:
:
s
u
mmate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
gen_fun::Hadam
a
rd_produ
c
t:
o
ptimize computa
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_
f
un::Hada
m
ard_produc
t
: make
f
ir
s
t ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
d
oolaege
p
o
lar_dec
o
mposer::decompose: mak
e
s
u
re vertices h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
np_ba
s
e
: add do_vertex_c
o
ne
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
oolaege
g
en_fun::
p
rint:
allo
w
p
rinting
to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
a
ege
bf
c
o
unter
.
cc:
move some more code
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fu
n
.
h: short_rat: u
s
e
Q
Q inst
e
ad of
pa
i
r of
Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
NTL_Q
Q
.
cc: a
rational
N
TL type
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olae
g
e
verify_main
.
c
c
: small memo
r
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ver
d
oolae
g
e
barvin
o
k_ser
i
es: move choice of which gf_base
s
ubclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoo
l
a
e
ge
b
arvino
k
.
cc: move
some
f
unc
t
ionali
t
y into sep
a
r
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: mo
v
e Polyh
e
dr
o
n argume
n
t to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barvinok
.
cc: move
s
t
art
and
h
an
d
le_pola
r
into np_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ve
r
doolaege
gen
_
fun: add shift
m
e
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaeg
e
gen_
f
un:
add
c
opy
constr
u
c
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
o
laege
zz2values: make
fir
s
t argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aeg
e
zz2value:
make fir
s
t
a
rgument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Poly
h
edron
_
is_i
n
finite: use Polyhedron_Sample if
availa
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolae
g
e
pol
y
hedro
n
_
s
ample:
c
o
mpute
s
an
integer vector in
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
r
dool
a
ege
c
on
f
igure
.
i
n: ch
e
ck
f
or glp
k
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdool
a
ege
s
carf
.
cc: simplex:
:
shrunk_polyhedron:
only pro
c
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
gen_fun::add: perform
t
rivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoola
e
ge
g
e
nfun
.
cc: reo
r
der terms in num
e
r
a
tor
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
arf
.
cc
:
normal
i
z
e
_
matrix: simpli
f
y
n=
=
3 case som
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verd
o
olaege
scarf
.
cc: suppor
t
some cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
barvino
k
_enumerate_e: --print-all for printin
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normali
z
e
_ma
t
rix: simplify n
=
=3 case
commit
|
commitdiff
|
tree
2006-07-10
S
v
en Verdoolaege
s
carf
.
cc: project
out 2 variable
s
using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdool
a
e
g
e
util
.
c
: expor
t
E
x
tended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
Verdoolaege
configure
.
i
n
: make --en
a
ble-f
r
actional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
olaeg
e
bar
v
i
nok_count: check whether unbou
n
d
ed
p
o
lyhe
d
ra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdool
a
e
g
e
pol
y
m
a
k
e
/conf
i
gure
.
i
n: allow spec
i
fi
c
ation
o
f location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
reduce_domain: decl
a
re
var
i
a
b
l
e
at start
of co
d
e b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdoolaege
r
e
m
ove_equalities:
s
top remov
i
nf equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
r
doolaege
barvino
k
_cou
n
t: sto
p
count
i
n
g if
f
irst factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_
c
o
u
nt_f: c
h
ec
k
for emptiness
of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoo
l
a
e
g
e
barvinok_count: te
l
l PolyLib w
e
are on
l
y interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven Ve
r
doolaege
Me
r
ge branch 'ma
s
ter'
i
nto
b
ernstein
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
vers
i
on 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
REA
D
ME: document optional inst
a
llati
o
n
of
O
mega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdoolaege
doc:
document Omega interface
commit
|
commitdiff
|
tree
next