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
README: add a warning on (not) using shared libraries
2006-09-06
Sven
V
erd
o
olaege
README: add a wa
r
ning on (not) using s
h
are
d
l
i
b
r
a
rie
s
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdool
a
ege
e
v
a
l
ue
.
h
:
change name o
f
h
eader define
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
eva
l
ue
.
h: make more s
e
lf-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erd
o
olaege
b
fcounte
r
.
h:
u
ndefine divid
e
from pol
y
l
i
b's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
configure
.
in:
no
l
o
n
ger comp
i
le shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
README: reflect that
--enable-fractio
n
al is now
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
o
l
aeg
e
lexmin: rem
o
ve dup
l
i
cate un
f
r
i
n
ge
commit
|
commitdiff
|
tree
2006-08-21
S
ven V
e
rdoo
l
aege
gen_fu
n
:
:
H
a
damard
_
pr
o
duc
t
: use uno
p
tim
i
zed v
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdo
o
laege
b
arvinok_series:
perform backsubstit
u
tion a
l
s
o
i
f all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaeg
e
barvi
n
ok_enumerat
e
_unio
n
_se
r
ies: c
a
ll
c
ore of
barvinok_seri
e
s
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
ut
i
l
.
c: remov
e
_equa
l
ities_
p
:
c
orr
e
ct check for e
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
gen_fun: set c
o
nte
x
t in
no
v
a
r
iables c
o
nstructo
r
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n
Verdoolaege
gen_
f
un::Hadamard_produ
c
t: don't assume equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
b
arvinok_union
:
take
c
ontext
i
nt
o
account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olytope_scan: optionally skip bas
i
s reduction
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
e
rdool
a
e
ge
polytope_scan: scan in red
u
ced basis
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaege
p
o
l
y
tope_scan
:
s
c
ans th
e
i
nteger
p
o
ints in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoolaege
inst
a
ll NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
basis
_
reducti
o
n
.
c
:
clean
u
p
G
L
PK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
le
x
min
.
cc:
don't bother t
r
ansforming
i
f c
o
mpress_
p
arms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
l
e
xmin
.
c
c
:
fix
u
se of compres
s
_parms
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoo
l
aege
sample
.
c:
f
i
x remo
v
e_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
barvinok_count: clean u
p
memo
r
y
a
fter
s
implifying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Verdoolaege
READ
M
E
: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
onl
y
perform lexmin tests when lexmin ha
s
been
c
omp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
so
m
e mor
e
tests with u
n
bounded polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
add so
m
e small tests for
l
exm
i
n
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoo
l
aege
lexmin:
b
a
r
f
wh
e
n polyhe
d
ron contains line
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
Verdo
o
laege
lexm
i
n
:
d
o
n'
t
print soluti
o
n whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doolaege
verify_main
.
cc: cle
a
n up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
barvinok_series: h
a
ndle
fixe
d
pol
y
t
ope
s
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoo
l
ae
g
e
gen_fun: add constru
c
tor for
ge
n
era
t
ing function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
ba
r
vinok
.
cc: remove_more_equalitie
s
: handl
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::coefficient: reset
the
n
umber of rows i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
l
e
xmin
.
cc:
u
s
e r
e
move_equalities consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verd
o
olaege
uti
l
.
c: compres
s
_vari
a
ble
s
:
e
xtracte
d
fr
o
m lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verd
o
olaege
l
e
xmin: don
'
t check an
y
thing
if given range lies
o
u
t
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmi
n
.
cc: remov
e
_e
q
ualities; take preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
l
exmin
.
c
c:
re
m
ove_e
q
uali
t
ie
s
:
extend retur
n
ed
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
l
e
x
m
in
.
cc: in_do
m
ain: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin
.
cc: r
e
m
o
ve some de
b
u
ggi
n
g residues
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
reduce_domai
n
:
c
omput
e
convex union of doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoolaege
lexmin
.
cc: in_domai
n
: also check other
p
arts
o
f union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lex
m
in: in_d
o
m
ain: set
v
alues if constrain
t
s don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven
Ve
r
doo
l
aege
lexmin: pl
u
g so
m
e memory le
a
ks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaeg
e
lexmin: an experi
m
enta
l
tool for
compu
t
ing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
ad
d
fd
s
tream
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdool
a
ege
evalue
.
c: floor2
f
rac_r: p
l
ug memor
y
le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
o
l
aege
b
arvinok
.
cc: u
n
fringe: w
o
rk increm
e
nt
a
lly
commit
|
commitdiff
|
tree
2006-08-06
Sven
Verdoolaege
evalue_frac2f
l
oor_in_
d
omain:
p
lug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
Po
l
yhedron_
S
a
m
ple: allow
e
q
u
al
i
tie
s
in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Polyh
e
dron_Sample: mak
e
su
r
e vertic
e
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Po
l
yh
e
dron_Sam
p
le: simplify con
s
traints af
t
er ch
o
osing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdool
a
ege
Polyhedron_Samp
l
e
: handle empty a
n
d 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdo
o
laege
sample
.
c: alternative implementati
o
n of r
e
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoo
l
aege
s
ample
.
c
:
Polyhedron_Re
m
oveFix
e
dColumns:
h
an
d
l
e
pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aeg
e
barvinok_count_f: check
w
hether polyhe
d
ron is unboun
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ve
r
doolaege
barvinok_count:
sim
p
lify const
r
ai
n
ts after r
e
mo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
reduced_basis: support 1
D
polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
ool
a
ege
reduce
d
_ba
s
is: ensure all L
P
sol
u
t
ions are non
-
neg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ:
print pa
r
ametric vertices of set using P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
S
ven
V
er
d
oola
e
ge
occ: add int
e
rface to barvinok_lexsm
a
ller
_
e
v
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaege
u
t
i
l
.
c: provi
d
e dumm
y
barvi
n
ok_lexsmaller_ev
wh
e
n LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: compu
t
es generating function for 4 coi
n
Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
e
rdoo
l
aeg
e
gen
_
fun::Hada
m
ar
d
_prod
u
ct
:
app
l
y par
a
meter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
r
doolaege
gen_fun::substitut
e
: only pass i
n
transformatio
n
m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
scarf
.
cc:
s
u
p
port m
o
re cases of 3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
scarf
.
cc: support more cases of
4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc
:
add gen_fun
:
:divid
e
me
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
g
e
n
f
un
.
cc: another gen_
f
un::s
u
mmate m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
infin
i
te_icounter:
a
n
i
n
c
rementa
l
counter fo
r
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
i
c
o
u
nter: move from
barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
ge
bfen
u
m
erator::set_fact
o
r: p
l
ug small
m
emory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaege
barvinok_enumerate_u
n
ion_seri
e
s: use gen
_
fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
f
u
n
.
cc: add gen_fun::summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
ola
e
ge
gen_fun::Hadamard
_
product:
optimize
computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
fu
n
::Hadam
a
rd
_
product: make first argument
co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
pola
r
_
d
e
composer
:
:decompose:
make
s
ure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
np_b
a
se:
add d
o
_vertex_con
e
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
gen_fun
:
:print: allow printing to streams
o
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
laege
b
fcount
e
r
.
cc: mo
v
e
some more
c
ode f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdo
o
laege
gen_
f
un
.
h: s
h
ort_rat: us
e
QQ inst
e
ad of pai
r
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaege
NTL_QQ
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
v
erify_ma
i
n
.
cc: sm
a
ll me
m
ory
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
barvinok_series: m
o
v
e
c
h
o
ice o
f
w
hich gf_b
a
se subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barv
i
no
k
.
cc:
m
ove
some functio
n
al
i
t
y
i
nto separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ba
r
vino
k
.
cc: move Polyhedron argument to start meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
barvi
n
ok
.
cc: move start and handle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
lae
g
e
gen
_
fun:
add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
dool
a
ege
gen_f
u
n: add copy
c
on
s
t
ructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
zz2values: make fi
r
s
t argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
zz2value: make
f
irs
t
argument con
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Pol
y
hedron_
i
s_infinite: u
s
e Po
l
yhe
d
ron_
S
ample if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
v
en Ver
d
oolae
g
e
p
olyhedron_sampl
e
: computes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
c
o
n
figure
.
in: chec
k
f
o
r glpk
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
s
c
arf
.
cc: simplex::shr
u
n
k
_
p
o
lyhed
r
on:
o
n
ly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
ola
e
ge
gen
_
f
u
n::add: perform trivial reduction
s
tep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc: re
o
rder terms in nume
r
ator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ve
r
doolaege
scarf
.
cc: normalize_matrix: simplify n=
=
3 c
a
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
scarf
.
c
c: support so
m
e ca
s
es of
4
const
r
ai
n
t
s
commit
|
commitdiff
|
tree
next