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
reduced_basis: reset "negative widths" to zero
2006-09-23
S
v
en Verdoolaege
reduc
e
d_basis: reset "neg
a
t
i
v
e
w
i
dths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
lexmin
.
cc:
move m
o
re c
o
de to
e
domain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
edomain
.
h
: add ED
o
main_floor abst
r
action
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
ola
e
ge
l
e
x
m
in
.
cc
:
defi
n
e
m
ax_term over a
n
EDomain
rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
re
d
u
c
e
r
.
h:
a
dd v
i
rtua
l
destruc
t
o
r
to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaege
lexmin
.
cc: e
x
tra
c
t out s
o
me code
t
o evalue_util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ver
d
o
o
la
e
ge
options
.
c: pi
c
k u
p
d
e
f
i
niti
o
n
o
f POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c: move ch
o
ice of w
h
ich spec
i
alization
t
o u
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
e
r
doola
e
ge
omega/pars
e
r
.
l: let flex defi
n
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoola
e
ge
lexmin
.
cc: o
p
tionally skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
Verd
o
olaege
eva
l
ue
.
c: reduce_evalue
_
in_domain:
red
u
ce to zero e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaeg
e
lexmin
.
c
c: u
s
e barvinok
_
option
s
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoola
e
ge
introduc
e
barvinok_op
t
ions structure
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
l
e
xmin
.
cc
:
compute generating functions of vertex cone
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoolaege
l
e
xm
i
n
.
cc
:
move some
c
ode
arou
n
d to p
r
epare for n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Verdoo
l
aege
evalue: declare
a
rgumen
t
of e
a
dd and ev
a
lue_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
V
e
rdool
a
e
ge
l
e
xmin
.
c
c
: perform substit
u
tion immediately
o
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
V
e
rdoolae
g
e
README: add a warning on (not) u
s
ing shared l
i
braries
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
evalue
.
h:
c
hange name of head
e
r define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
eva
l
ue
.
h: ma
k
e
more s
e
lf-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
bfcounter
.
h: undefine divide fro
m
polylib's a
r
i
t
hmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Ve
r
dool
a
ege
c
o
n
figu
r
e
.
i
n
:
no
l
onger compile s
h
a
r
ed librari
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolae
g
e
README: re
f
l
ect that --enable-f
r
ac
t
ional is
now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
le
x
min: remove du
p
licate un
f
r
inge
commit
|
commitdiff
|
tree
2006-08-21
S
ve
n
Verdo
o
laege
g
e
n_fun::Hadamard_product:
u
se unoptimized v
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolaege
barvinok_series: perform backsubsti
t
ut
i
on also i
f
all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
b
arvi
n
o
k_enumerate
_
union_
s
eries: cal
l
core
o
f
barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaeg
e
util
.
c: remo
v
e_equalities_p: corr
e
c
t
chec
k
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoo
l
aege
g
en_f
u
n: set context in no
variabl
e
s
co
n
s
t
ructor
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdo
o
laege
gen_fun:
:
Hada
m
ard_product:
don
'
t
ass
u
me equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven
V
e
rdo
o
laege
barvi
n
ok_un
i
on:
take context int
o
account
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolae
g
e
polytope_scan
:
optionally s
k
ip
b
asis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
eg
e
p
o
lytop
e
_scan: sc
a
n
in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
d
o
o
l
ae
g
e
p
o
l
yt
o
pe_scan
:
scans
t
he i
n
tege
r
points
i
n a polytope
commit
|
commitdiff
|
tree
2006-08-14
S
ve
n
Ve
r
d
o
o
l
aeg
e
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
basis_re
d
uction
.
c: clean u
p
GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc
:
d
o
n't
b
other tr
a
nsf
o
r
m
ing if compr
e
ss_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doolae
g
e
le
x
min
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
la
e
ge
sample
.
c: fix re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
barvinok_
c
ount: clean
u
p memory a
f
ter
s
i
mplify
i
ng constraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoo
l
a
e
g
e
README: upda
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only p
e
rform lexmin tests wh
e
n
lexmin has
been comp
i
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
so
m
e more tests
w
ith u
n
boun
d
ed polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
d
o
olaege
a
d
d some
small te
s
ts for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoo
l
aege
l
exmin
:
barf whe
n
polyhe
d
ron co
n
t
a
ins line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't
print solution
w
hen veri
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Verdo
o
l
a
e
g
e
verify_ma
i
n
.
c
c
: cl
e
a
n u
p
memory
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barv
i
n
o
k_series: handle fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun: a
d
d
constru
c
tor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
Ve
r
doola
e
g
e
barvinok
.
cc:
remo
v
e
_
m
o
r
e_e
q
u
a
lities:
handle
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
gen
_
fun::coeffi
c
ient: rese
t
th
e
n
u
m
ber of
r
ows in
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
lexmin
.
cc: use remove_equalities consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
la
e
ge
util
.
c:
c
ompress_va
r
iables: ex
t
racted from
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoo
l
aege
le
x
min: don't check any
t
hin
g
if
given range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lexmin
.
cc: remo
v
e_equali
t
ies; t
a
ke preim
a
ge with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoolaege
lexmin
.
c
c
: remove_equalit
i
es: extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
d
ool
a
ege
l
exmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verd
o
olaege
lex
m
in
.
cc:
r
emove some debugging
residu
e
s
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
r
e
d
uce
_
d
omain:
c
ompute con
v
ex union o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoolaege
lexmin
.
cc:
i
n
_domain
:
also ch
e
c
k
other parts o
f
unio
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lexmin: in_domain: set values i
f
con
s
traints do
n
't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmin: plug some memory l
e
aks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
l
exmin:
a
n
experi
m
ental tool for computing th
e
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoolaege
a
d
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdo
o
laege
eval
u
e
.
c: floor2frac_r: pl
u
g mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc:
u
nfringe
:
work incrementall
y
commit
|
commitdiff
|
tree
2006-08-06
S
v
en
V
erdool
a
ege
evalue_frac2floo
r
_
i
n_domain:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
dool
a
e
ge
Polyhedro
n
_Sample:
a
l
low equ
a
lit
i
es in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhedr
o
n
_
Sample: mak
e
s
ure vertic
e
s are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedro
n
_Sam
p
le: simplify constraint
s
a
f
ter c
h
oosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedr
o
n_Sample: hand
l
e e
m
pty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verd
o
olaege
s
a
mple
.
c
: alternat
i
ve
i
mplementatio
n
of remo
v
e_r
a
y
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoo
l
a
e
ge
sample
.
c
:
Polyhedron_RemoveFixedColumns: hand
l
e presenc
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
bar
v
inok_co
u
nt_f: ch
e
ck whether polyhedro
n
is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
ba
r
vinok_count: simplify constrai
n
t
s after r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
red
u
c
ed_basis: supp
o
rt 1D
p
o
l
ytopes
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaeg
e
reduced_basis: ensure all LP solu
t
ions are
n
o
n-negative
commit
|
commitdiff
|
tree
2006-08-02
S
v
en Verdool
a
ege
occ: print p
a
rametric verti
c
e
s
of
set u
s
ing P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
rdool
a
ege
occ: ad
d
interfac
e
to ba
r
vi
n
ok_lexsmaller_
e
v
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolaege
util
.
c
:
provide dum
m
y barv
i
n
o
k_
l
exsmaller_ev when LexSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes ge
n
eratin
g
fun
c
ti
o
n
for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_
f
un::Hadamard_produc
t
: ap
p
ly parameter
c
ompression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
V
e
rdoolaeg
e
gen
_
f
u
n::substitu
t
e: only pass
i
n tra
n
s
f
ormation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoola
e
ge
sc
a
rf
.
cc:
support
more cases of
3
(independen
t
)
constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
scarf
.
c
c: s
u
p
p
ort more
c
ases of 4 con
s
traints
commit
|
commitdiff
|
tree
2006-07-27
S
ven
V
erdo
o
l
aege
gen
f
un
.
cc:
a
d
d
gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ve
r
d
oolaege
genfun
.
cc: a
n
oth
e
r gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
infinite_icounter: a
n
incremental counter for po
s
si
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icoun
t
er: move from b
a
r
vinok
.
c
c to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaeg
e
b
fenumerator::set_
f
a
c
tor:
plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barvinok_enumerat
e
_u
n
ion_series
:
u
s
e gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoo
l
ae
g
e
gen
f
un
.
cc:
a
dd gen_fun
:
:summate me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_f
u
n::
H
adam
a
rd_product: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun::Hadamard_product:
m
a
k
e firs
t
argument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
lae
g
e
polar
_
deco
m
pose
r
::decompose: make
sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
np_base: add do_ver
t
ex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
o
olaege
gen_fu
n
::print: allow printing to streams o
t
her
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
b
f
co
u
nte
r
.
cc:
mov
e
s
o
me more code f
r
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen_fun
.
h: sho
r
t_rat: use QQ instead of pair
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NT
L
_QQ
.
c
c
:
a ratio
n
al NTL type
commit
|
commitdiff
|
tree
next