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
evalue.c: reduce_evalue_in_domain: reduce to zero evalue if domain is empty
2006-09-20
Sven Verdoolaege
e
v
alue
.
c: reduce
_
e
value_in_domain: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexm
i
n
.
c
c
: use barvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introdu
c
e
barvinok
_
o
pti
o
ns
stru
c
ture
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc
:
compute generating functions of vertex con
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexmin
.
cc: move som
e
code
a
round t
o
prepar
e
for ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rd
o
o
laege
ev
a
lue
:
declare ar
g
ument of
e
add and
e
value_c
o
py const
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
lex
m
in
.
cc: perf
o
r
m
substitution im
m
ediately on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoo
l
a
e
ge
README:
add
a
warning
on (not
)
using shared libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
o
l
aeg
e
eval
u
e
.
h: chang
e
name of header defin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
e
value
.
h: make m
o
re self-c
o
n
tained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcoun
t
er
.
h: undefine div
i
de
fr
o
m
p
olylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoo
l
aege
config
u
re
.
in: no
l
onger co
m
pile shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oolaege
README: refle
c
t that --enable-fractional is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
r
d
o
o
laege
lexmin: r
e
move dupl
i
cate unfringe
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verd
o
olae
g
e
gen_fun::Hadamard_produc
t
: use unopti
m
ize
d
v
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
l
a
ege
barvinok_
s
eri
e
s: perfo
r
m backsubstit
u
t
ion also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaege
barvinok_en
u
me
r
a
t
e_union_series: call
c
ore of
b
a
rvinok_se
r
ies
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c
: re
m
ove_equalities_p: cor
r
ect che
c
k for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en
V
e
r
d
oolaege
g
en_f
u
n: set context in no variables construc
t
or
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n
Verdoo
l
aege
gen_fun::H
a
damard_product:
d
on
'
t as
s
ume eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
barvinok_u
n
ion: take context i
n
to account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_s
c
an:
o
ptionally skip basis reduc
t
io
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
laeg
e
poly
t
ope_scan: scan in
reduced b
a
sis
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoo
l
aege
p
o
lytope_scan: scans the integ
e
r points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ve
r
doola
e
ge
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reductio
n
.
c: clean up GLPK
mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
l
e
x
m
in
.
cc: don'
t
bother tr
a
nsfor
m
ing if c
o
mpress
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
l
e
xmin
.
cc: fix us
e
of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
sample
.
c: fi
x
rem
o
v
e
_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoola
e
ge
barvinok_count: clean up memory after simplifying
con
s
traints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
README:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform
l
e
xmin
t
e
s
t
s when
l
exmin has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Ver
d
oolaege
some
mo
r
e tests with unbounded
p
o
lyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
a
dd some sm
a
ll te
s
ts for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
l
exmin: b
a
rf wh
e
n
polyhedron con
t
ains li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolae
g
e
lexmin: don't print so
l
u
t
ion when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
Verdoolaege
barvinok_series:
h
andle
f
ixed po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
gen_fun: a
d
d const
r
uctor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
barvinok
.
cc: r
e
mo
v
e_m
o
r
e_
e
qualities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doo
l
aege
gen_fun::coefficient: reset the number of r
o
ws in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n Verdoolaege
lexmin
.
cc
:
use
r
emove_equal
i
tie
s
c
o
nsiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
r
d
oo
l
aege
util
.
c: comp
r
ess_variables
:
extra
c
t
e
d
from lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
l
a
e
g
e
lexmi
n
:
don't ch
e
ck anythin
g
if given rang
e
l
ies ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoo
l
aege
lex
m
in
.
cc: remove
_
equalities;
take
prei
m
age w
i
t
h returne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Ver
d
o
olaege
lexmin
.
cc: remove_e
q
ualities: e
x
ten
d
ret
u
rned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaeg
e
lexmi
n
.
cc: in
_
d
o
m
a
in: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin
.
cc: rem
o
ve
some
d
ebugging
residue
s
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
reduce_do
m
ain:
compute c
o
nvex union
of
doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c: in_
d
omain: also ch
e
ck other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin: in_domain: set valu
e
s
if
constrai
n
ts don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin: plug so
m
e
m
emory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
e
ge
lexmin: an experimental t
o
ol for comput
i
n
g
the paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add
f
dstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
ev
a
lue
.
c
:
floor2frac_r
:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
d
o
olaege
barvi
n
o
k
.
cc:
unfringe: work incremental
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
e
v
alue_frac2floor_in_domain: plug
m
emory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
Polyhedron_Sample: al
l
ow e
q
ualit
i
es in input
p
ol
y
hedr
a
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdoolaege
Poly
h
e
dron_Sampl
e
: ma
k
e sure verti
c
es a
r
e availabl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoo
l
ae
g
e
Pol
y
hedr
o
n
_
Sampl
e
: simplify
constraints
after choos
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron_Sam
p
le: handle em
p
ty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c
: a
l
ter
n
ative i
m
plemen
t
at
i
on o
f
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
do
o
l
a
ege
s
a
mpl
e
.
c:
Polyhedr
o
n
_
RemoveFixedCo
l
um
n
s: h
a
ndle
p
rese
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoo
l
aege
b
a
r
v
inok_count_f
:
check whethe
r
p
olyhedron is unbou
n
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
barvinok_c
o
unt:
s
implify c
o
nstrain
t
s after removin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
reduced_basis:
support 1
D
p
o
ly
t
opes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
o
olaege
reduce
d
_basis: ensure a
l
l LP solut
i
ons are non-negativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
e
rdoolae
g
e
o
cc: print
p
ara
m
etri
c
ve
r
tices of set using P
o
ly
L
ib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ:
a
dd
i
nterface to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
u
t
il
.
c: provide d
u
mmy barvinok_lexsm
a
ller_ev when Lex
S
m
aller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
4coins: computes g
e
nerating funct
i
o
n fo
r
4
c
o
i
n Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
gen
_
f
un::Ha
d
am
a
rd_p
r
oduct: apply parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
g
en_fu
n
::su
b
stitute:
o
nly pas
s
in transformatio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
s
c
arf
.
cc: su
p
port more cases of
3
(independ
e
nt) constrai
n
t
s
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n
Verdool
a
ege
scarf
.
cc: s
u
pp
o
rt more c
a
ses
of
4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoola
e
ge
gen
f
un
.
cc: add gen_fun::
d
i
v
ide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfu
n
.
cc: another
ge
n
_fun::summate
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
i
n
finite_icounter: an incremen
t
al co
u
nt
e
r
for po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
ola
e
g
e
i
counter: mo
v
e
f
rom barv
i
nok
.
cc to
reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bf
e
numerator:
:
set_facto
r
: plug small m
e
m
ory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
b
a
rvi
n
ok_enumerate_union
_
se
r
ies: u
s
e
g
en_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
g
e
nfun
.
cc: a
d
d
gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen_fun::Ha
d
amard_product
:
optimize computatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rdoo
l
aege
gen_
f
un::
H
ad
a
mard_produc
t
: make first ar
g
um
e
nt cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolae
g
e
polar_decomp
o
s
er::decompose: make sure
v
er
t
ices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
ol
a
ege
np_b
a
se: a
d
d do_vertex_cone
me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
a
ege
gen_fun
:
:print: allow prin
t
ing to streams
o
ther
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
bfc
o
u
n
te
r
.
cc: mo
v
e
s
ome
mo
r
e code from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fu
n
.
h
: s
h
ort_ra
t
:
use QQ instead of
pair
o
f ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_QQ
.
c
c: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
veri
f
y_main
.
cc: smal
l
memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
barvinok_
s
e
r
i
es: move cho
i
ce of
w
hic
h
gf
_
b
a
s
e
s
ubclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
barvinok
.
c
c
: move
s
ome fu
n
ctionality
i
nto separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
g
e
barvinok
.
cc:
move Polyhe
d
r
o
n argument
to start met
h
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaeg
e
bar
v
in
o
k
.
cc: move
s
tart and h
a
ndle_pol
a
r into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
o
olaege
gen_fun: add sh
i
f
t
metho
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
d
o
o
laege
ge
n
_fun: add cop
y
constructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
zz2values:
make first
a
rgument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolae
g
e
zz2value:
mak
e
first
a
r
gument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
P
olyhedron_
i
s_infinite: use
Poly
h
e
d
ron
_
Sample
if a
v
ailable
.
commit
|
commitdiff
|
tree
next