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
introduce barvinok_options structure
2006-09-20
Sven Verdoo
l
aege
intr
o
duce barvin
o
k
_
options structure
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoo
l
aege
lexmin
.
cc: compute generating functions o
f
vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lexmin
.
cc: move som
e
cod
e
aro
u
nd
t
o
prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en
V
e
r
doolaege
evalu
e
: decla
r
e
a
rg
u
m
ent
of eadd and evalue_
c
opy const
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Ve
r
doolaege
le
x
m
in
.
c
c
: perfo
r
m substit
u
t
io
n
i
m
mediatel
y
o
n each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
e
n Verdo
o
la
e
ge
README: add a warn
i
ng on (not) using s
h
ar
e
d li
b
rarie
s
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
eval
u
e
.
h:
chang
e
name of h
e
a
d
er define
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdo
o
laege
evalue
.
h
:
make
m
ore s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoo
l
aege
b
fcou
n
ter
.
h: undefine
divide from polylib's ar
i
t
h
metique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Ve
r
dool
a
ege
c
onfigure
.
in: n
o
longer
compile shared li
b
r
a
r
ies by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoolaege
README:
r
eflect that
-
-
en
a
b
l
e-
f
r
action
a
l is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin:
r
e
move dupl
i
cat
e
unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun::Hadamard_p
r
o
duc
t
: use
u
noptimized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaeg
e
barvinok_series: per
f
orm backsub
s
titution also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolae
g
e
b
a
r
vinok_enum
e
rate_u
n
ion
_
series: call core of barvinok
_
series
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoolaege
util
.
c: remove_equalities
_
p: co
r
rect check for en
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
gen_fun:
s
et context
i
n no vari
a
bl
e
s construc
t
or
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolae
g
e
gen_fun:
:
Hadamard_product: don't as
s
ume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdool
a
ege
b
a
r
vin
o
k_unio
n
:
take context i
n
to account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
ly
t
ope_scan: optio
n
ally skip bas
i
s reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyto
p
e
_sca
n
: sca
n
in reduc
e
d basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
ola
e
ge
polytope
_
scan: scan
s
the i
n
teg
e
r points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoolaeg
e
install
N
TL_QQ
.
h he
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
basis_redu
c
tion
.
c: clean
u
p
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
lexmin
.
cc: don't bother transf
o
rmi
n
g if compr
e
s
s
_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven
Verdo
o
l
a
e
ge
lex
m
in
.
cc
:
fix use of compre
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
sample
.
c: fix remove_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
b
a
rv
i
nok_count
:
cl
e
a
n
up memory after si
m
p
l
i
fying
c
o
nstraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
o
n
ly perform
lexmin tests when lexmin has been
c
ompiled
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolae
g
e
s
o
m
e mo
r
e
tests with u
n
bounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add som
e
sm
a
ll t
e
s
ts
f
or lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
lexmin: bar
f
when
polyhedron contains
l
in
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
lexmin: don't
p
rint solu
t
ion when
ve
r
ifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdo
o
lae
g
e
verify_ma
i
n
.
cc:
c
lean u
p
memo
r
y
commit
|
commitdiff
|
tree
2006-08-10
S
ve
n
V
e
rdoolaeg
e
barv
i
nok
_
series
:
h
andle fix
e
d
p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdo
o
l
a
ege
gen_fun: add constructor
for ge
n
erating func
t
ion
w
ith
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barv
i
nok
.
cc: remo
v
e_more_equ
a
lities
:
handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
erdoolaege
gen
_
fun::
c
oeff
i
cient: reset the number of
r
ows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
lexm
i
n
.
cc: use remov
e
_eq
u
alit
i
es
consisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
rdo
o
laege
util
.
c: compress_variables: extra
c
ted f
r
o
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoo
l
aege
lexmin: don't check anythi
n
g if given range l
i
es out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
cc: remove_equalit
i
es; take
p
r
eimage with r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: r
e
move_equalities: extend ret
u
r
n
ed matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
cc:
i
n
_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
: re
m
ove so
m
e
d
ebugging
re
s
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ve
r
doolaege
reduce_domain: compu
t
e convex un
i
on of d
o
main
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexm
i
n
.
c
c
:
i
n_do
m
ain: also
c
hec
k
othe
r
parts of un
i
on
commit
|
commitdiff
|
tree
2006-08-09
S
v
en V
e
rdoolaege
lexmin: in_domain: set valu
e
s
if
c
onstra
i
n
ts don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin
:
plu
g
some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
lexmin: an e
x
per
i
men
t
al tool for c
o
mput
i
ng the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
o
olae
g
e
a
dd fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
evalue
.
c
:
fl
o
or2fra
c
_r: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoo
l
aege
barvinok
.
cc:
unfringe:
work increme
n
ta
l
ly
commit
|
commitdiff
|
tree
2006-08-06
Sve
n
Ver
d
oo
l
ae
g
e
evalue_f
r
a
c2f
l
oor
_
in_domain:
p
l
ug me
m
ory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Po
l
y
h
ed
r
on_Sample: allow equalities in input
p
o
lyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
oo
l
aege
Polyhedro
n
_Sample: make sure vertic
e
s are avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_S
a
mple:
simplify const
r
aints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Polyhedro
n
_Sample: handle e
m
pty an
d
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaeg
e
sa
m
ple
.
c: alternative implementat
i
on o
f
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
dool
a
ege
sample
.
c: Polyhedr
o
n_RemoveFixe
d
Col
u
mns: handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laeg
e
b
a
r
v
i
nok_co
u
nt_f
:
check whether polyhedron is unbou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
b
arvin
o
k_count: simplify constr
a
int
s
afte
r
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Ve
r
doo
l
aege
r
e
duced_basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
doolaege
re
d
uce
d
_basis
:
ensur
e
all L
P
solutions are no
n
-ne
g
ati
v
e
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdoolaege
o
cc: print p
a
rametric ve
r
tices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoolae
g
e
o
cc: a
d
d inter
f
ace
t
o barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoola
e
ge
util
.
c: p
r
ovi
d
e dummy b
a
rvinok_le
x
smal
l
er_ev
w
he
n
L
exSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
4coins: c
o
mputes gene
r
ating function for 4 coin Frob
e
nius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::
H
adamard_product: apply parameter compre
s
sio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
e
r
doolaege
gen_
f
un::sub
s
titute: on
l
y pass in tra
n
sformation mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc:
support mor
e
cases of 3 (independent)
c
onstraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: support more cases o
f
4 cons
t
rai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genf
u
n
.
cc:
a
dd gen_fun::divide me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
d
o
olae
g
e
genfun
.
c
c
:
a
nother gen_fun:
:
su
m
mate method
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
infinite_ico
u
nter: an incremental counter
for poss
i
bl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
ico
u
nter: mo
v
e
from barvinok
.
cc to reduce
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bfenume
r
ator::set_factor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaeg
e
bar
v
ino
k
_enumerate_un
i
on_series: u
s
e gen_fun::
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
genf
u
n
.
cc:
add
g
en_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Ver
d
oolaeg
e
gen_fun::Hadamard_
p
r
o
duct:
o
p
t
imize
c
omputatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_fun::Ha
d
ama
r
d_pr
o
duct: m
a
ke first argume
n
t
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
p
o
lar_decomp
o
ser::decom
p
ose: make sure vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
n
p_bas
e
:
a
dd do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olaege
gen_fun:
:
p
r
int: allow
p
rinting to stre
a
ms
o
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
b
f
co
u
nter
.
cc: move som
e
more c
o
d
e from barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen_fun
.
h: short_rat
:
use QQ
i
nstead of pair of
Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
NTL_QQ
.
c
c
: a rat
i
onal NTL type
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Ver
d
oolae
g
e
verify_m
a
in
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barv
i
nok_serie
s
: m
o
ve c
h
oi
c
e
o
f
which
g
f_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olae
g
e
barvino
k
.
cc
:
m
o
v
e s
o
me fun
c
tionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
b
arvinok
.
cc:
move Po
l
yhedron argumen
t
to
start me
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
bar
v
inok
.
cc: move start a
n
d h
a
ndle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun: add shi
f
t m
e
t
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
gen
_
fun: add c
o
py c
o
nstru
c
tor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2values: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
zz2value: make first argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Pol
y
hedron_i
s
_
infi
n
ite
:
use Polyhedron_Sam
p
le if
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolae
g
e
polyhedron_sample: com
p
utes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sve
n
Verdoolaeg
e
configure
.
in:
check
for glpk
commit
|
commitdiff
|
tree
next