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
Sven Verdoolaege
omega
/
p
olyfunc
.
c
c: maximi
z
e: simplify domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
e
ge
o
me
g
a/parser
.
y
:
create
n
ew
v
ariableMap for each polyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
ome
g
a/parser
.
y
: free
m
a
lloc'ed memory (i
n
stead of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
doolaeg
e
Merge
b
ranc
h
'
m
aster' into
b
ern
s
tein
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoo
l
aege
only perform lexmin te
s
ts when lexmin has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
som
e
mo
r
e tests with u
n
b
ounded
polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en V
e
rd
o
olaege
add some small tests
f
or lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
lexmin: ba
r
f when polyhedron co
n
tains l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ver
d
ool
a
ege
lexm
i
n: don't print solution whe
n
veri
f
y
ing
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolae
g
e
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdool
a
ege
M
e
r
g
e branch 'master
'
into
b
ernstei
n
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaeg
e
bar
v
inok_serie
s
:
h
andle fixed po
l
ytop
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
g
en_
f
un: add constru
c
tor for g
e
nerating func
t
ion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
ege
barvinok
.
cc: rem
o
ve_more_equalities
:
handle
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolae
g
e
ge
n
_fu
n
::co
e
ffic
i
e
n
t
:
reset th
e
number of
r
ows
in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaeg
e
l
e
xmin
.
cc: use remove_equalities
c
ons
i
s
t
ently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_varia
b
l
es:
e
x
t
racted
from lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ver
d
oolaege
lexmin: don'
t
check anyt
h
ing if
g
iven ran
g
e lies o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
laege
l
e
x
min
.
cc: rem
o
ve_
e
quali
t
ie
s
;
t
ake preimage w
i
th returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
l
aege
lexm
i
n
.
c
c
: remove_equalities: extend re
t
urned
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin
.
c
c
: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
oolaege
l
exm
i
n
.
cc: remove some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
reduce_domain: co
m
p
ut
e
conv
e
x unio
n
of
domain
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verd
o
o
l
a
ege
lexmin
.
cc: in_domain: also c
h
eck other
parts of un
i
on
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
l
exmin: in_domai
n
: set
v
alues if
c
onstraints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
le
x
min: plug som
e
m
emory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Ve
r
dool
a
e
ge
lexmin: an experimental
t
ool for computi
n
g the para
m
etric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoolaege
add fd
s
t
r
e
a
m
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
r
d
o
o
laege
eva
l
u
e
.
c:
f
loo
r
2frac_r: plug memory lea
k
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
barvinok
.
cc: unfringe: work inc
r
e
m
entally
commit
|
commitdiff
|
tree
2006-08-06
Sven Ver
d
oola
e
ge
evalue_
f
rac2floor_in_dom
a
in: plug me
m
o
r
y leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
ol
y
hedro
n
_
S
amp
l
e: all
o
w
equa
l
i
t
ies in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
lyhedron_Sample:
m
ake sure verti
c
es are
a
va
i
lab
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Polyhedro
n
_
S
ample: simp
l
ify
c
onstr
a
int
s
after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
P
olyhedron_Sample: handle e
m
pty
a
nd 0
D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
s
ample
.
c:
a
lternativ
e
implementation of r
e
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdool
a
ege
s
am
p
le
.
c:
Pol
y
h
e
d
r
on_RemoveFix
e
dColumns: handl
e
presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Ve
r
doo
l
aege
barvinok
_
coun
t
_f: check whether polyhed
r
on is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
bar
v
i
nok_count: simplify constr
a
ints after re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
re
d
uc
e
d_basis: suppo
r
t 1D poly
t
opes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oola
e
ge
re
d
uced_basis: ensure all LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoola
e
g
e
M
er
g
e branch 'master' into
b
e
r
n
stein
commit
|
commitdiff
|
tree
2006-08-02
Sven Ver
d
o
ola
e
g
e
o
cc: print parametric vertices of se
t
using PolyLib
commit
|
commitdiff
|
tree
2006-08-02
Sven
Verdool
a
ege
occ
:
allow pol
y
n
omials in bernstein maximizat
i
on to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolaege
Mer
g
e bra
n
ch 'master' into
bernstein
commit
|
commitdiff
|
tree
2006-08-01
Sven Verd
o
olae
g
e
occ: add interface to barvinok_le
x
smaller_
e
v
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
uti
l
.
c: provide dummy barvino
k
_le
x
smaller_ev when
L
exSma
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4
c
oins: computes generating functi
o
n for 4 c
o
in Frobe
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_f
u
n:
:
H
a
damard_product: apply para
m
eter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
gen_fun::subst
i
tute: only pas
s
i
n
tran
s
f
ormat
i
o
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
scarf
.
cc:
suppor
t
more
cases
of
3
(indepe
n
dent)
constraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
scarf
.
cc: support more cases of 4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoo
l
a
e
g
e
genfun
.
cc: add
g
en_
f
un::divide met
h
od
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
g
e
nfun
.
cc:
a
nother
g
en_fun
:
:summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
inf
i
nite_icou
n
ter
:
an incremental c
o
u
n
ter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaeg
e
icounter
:
move from barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
bfenumerator
:
:set_factor: plug small
m
emory leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdo
o
laege
barvinok_enumerate
_
union_s
e
r
ies: use gen_fun:
:
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
genfun
.
cc: ad
d
gen_fu
n
::summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Hadamard_produ
c
t: optimize comp
u
t
atio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
gen_f
u
n::H
a
damard_product: make f
i
rs
t
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
polar_deco
m
p
o
ser::decompose: make su
r
e vertices
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
ool
a
ege
np_base: a
d
d d
o
_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun
:
:print
:
allow printing to
s
treams other
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcounter
.
c
c
: move some more
c
o
d
e
f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun
.
h: short_r
a
t: use
QQ instead of pair of
ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Ver
d
oolae
g
e
NTL_QQ
.
cc: a ratio
n
al NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
verify_main
.
c
c: sm
a
l
l
memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
barvinok_ser
i
es: m
o
ve choice of which gf_base subc
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
barvino
k
.
cc:
m
ove s
o
me functi
o
na
l
i
t
y i
n
to
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
bar
v
inok
.
cc: move Pol
y
hedron argument to sta
r
t
m
e
thod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laeg
e
b
a
rvino
k
.
cc: move start a
n
d
h
andle_polar into np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
ge
g
e
n_
f
un: add shif
t
me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_f
u
n: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
zz2
v
al
u
es: make firs
t
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
zz2v
a
lue: make f
i
rst argu
m
ent c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyh
e
dron
_
is_infi
n
ite: use Polyhedron_S
a
mpl
e
if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
polyhedro
n
_
sample: com
p
u
tes an int
e
ger vector i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdoolaege
confi
g
ure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scar
f
.
cc:
s
i
mple
x
:
:shrunk_p
o
lyhedro
n
:
o
n
ly
p
rocess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun:
:
a
d
d:
p
erform trivi
a
l r
e
d
uction
s
tep
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoo
l
aege
g
e
nfun
.
cc: reorder te
r
ms in
n
umerator
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdool
a
ege
scarf
.
c
c: norm
a
lize_matrix:
s
i
m
p
lify
n==
3
ca
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdool
a
ege
scarf
.
cc:
support som
e
cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
barv
i
nok_enumer
a
te_e: --pr
i
nt-all for printi
n
g all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoo
l
aege
scarf
.
cc: norma
l
ize_m
a
t
r
ix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
erdoolaeg
e
scarf
.
cc: pro
j
ect out
2
variables using Scarf com
p
lex
commit
|
commitdiff
|
tree
2006-07-08
S
ve
n
Verdoolaege
util
.
c: export
Extended_Eucl
i
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
con
f
igure
.
in
:
m
ake --en
a
ble-fracti
o
n
a
l the
d
efault
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n Verdoolaege
barvinok_coun
t
: check w
h
ethe
r
unb
o
u
nd
e
d poly
h
ed
r
a ac
t
ually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Ver
d
oolaege
polym
a
k
e
/c
o
n
f
i
g
ure
.
in: all
o
w specification of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
reduce
_
domain: dec
l
are variable a
t
start of
c
ode b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoola
e
ge
r
e
move_e
q
ua
l
it
i
es
:
stop removinf
e
qua
l
it
i
es if inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolae
g
e
barvinok
_
c
o
unt: stop coun
t
i
ng
i
f f
i
rst
fact
o
r is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
ool
a
ege
barvinok
_
count_f: check
for
emp
t
iness of P (
a
gain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
b
arvinok_count: tell PolyLib we are on
l
y interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven V
e
rdoo
l
ae
g
e
M
erge branch '
m
ast
e
r
'
i
n
to bern
s
tein
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
ver
s
i
on 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
README
:
document optional installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoola
e
ge
doc
:
document Omega interface
commit
|
commitdiff
|
tree
next