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
barvinok/evalue.h: make more self-contained
2006-08-31
Sven Verdoolaege
b
ar
v
inok/evalue
.
h: m
a
k
e
more self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
V
erdoolaege
Merge branch 'master
'
into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
eva
l
ue
.
h: change na
m
e of header def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoo
l
aeg
e
evalue
.
h:
make more s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoola
e
ge
bfcounter
.
h: undefine divide from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verd
o
o
laeg
e
conf
i
gure
.
in: no longer
compile shared li
b
raries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
V
erdo
o
laege
README: reflec
t
tha
t
--enable-frac
t
io
n
a
l
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdoolaege
lexmin: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verdoolaege
gen_fun
:
:
H
adamard_product: use
unop
t
imized
ve
r
sio
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
ola
e
ge
b
a
rvinok_series
:
perf
o
rm backsu
b
st
i
tution a
l
so
if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
V
erdoolaege
barvinok_enumer
a
te_union_series: call cor
e
of barv
i
nok_
s
eries
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
util
.
c: remove_equ
a
lities_p: cor
r
e
c
t check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
olaeg
e
gen_fun: set context in no variables cons
t
r
u
c
tor
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n
V
erdoo
l
ae
g
e
gen_fun::Hada
m
ard_product: don't ass
u
me equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
b
a
rv
i
nok_unio
n
: take con
t
ext
i
nto
accoun
t
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoola
e
ge
pol
y
tope_scan:
optionally
skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
S
ven
V
erdo
o
l
a
ege
polytope_
s
can: scan in reduced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolaege
polytope_s
c
an: sc
a
ns the integer points in a
p
olytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erdoolae
g
e
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
instal
l
NTL
_
QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
basis_
r
eductio
n
.
c: clea
n
u
p GLPK me
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Merge br
a
nch
'
master'
i
nt
o
b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
lexmin
.
cc:
don'
t
bo
t
her tr
a
nsforming i
f
co
m
pr
e
ss_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
lexmin
.
cc: fix
u
se
of compress_parm
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c: fix
r
e
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
o
ola
e
ge
b
arvinok_count: clean
u
p memory a
f
ter simplifying
c
o
nstraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
R
EADME: up
d
ate
commit
|
commitdiff
|
tree
2006-08-12
S
v
en V
e
r
doolaege
omeg
a
/polyfunc
.
cc
:
max
i
mi
z
e: simpl
i
fy d
o
mai
n
before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
omega/parser
.
y: cr
e
at
e
ne
w
variableMap for
e
ach polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
o
m
ega/parse
r
.
y: free
m
a
lloc'ed memory (i
n
s
t
ead
o
f
delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
ool
a
ege
Merg
e
branch 'master' into
bernstein
commit
|
commitdiff
|
tree
2006-08-12
S
ven
V
erdoo
l
aege
only pe
r
form
lexmin
t
ests when l
e
xmin has
b
een com
p
iled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
som
e
mor
e
tes
t
s
w
ith unbounded
p
ol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
add
some small tests for lexm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lex
m
in:
barf w
h
e
n poly
h
edr
o
n cont
a
ins
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoo
l
aege
le
x
min: don't prin
t
sol
u
tion
w
h
en ver
i
fyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaeg
e
veri
f
y_main
.
cc
:
cle
a
n up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
o
olaege
barvino
k
_serie
s
: ha
n
d
l
e
f
ixed po
l
y
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Ver
d
oola
e
ge
gen_fun: add c
o
n
s
t
ructor for g
e
nerating fun
c
t
i
on wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
b
arvinok
.
cc: remov
e
_more_equalities:
hand
l
e equali
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
rdoolaege
gen_fun::coeffic
i
ent:
r
eset the number of ro
w
s in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdoola
e
ge
l
e
xmin
.
cc: use remove_e
q
ualities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoo
l
aege
u
t
il
.
c: c
o
m
pres
s
_
v
a
r
iables:
extracted fr
o
m lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
doolaege
lex
m
in: don't check anything if g
i
ven r
a
nge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_equalities; take preimag
e
with retu
r
ne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc:
remove_equalities: extend
returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
ool
a
e
ge
lexmi
n
.
cc
:
in_domain:
fix
typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erd
o
o
l
aege
le
x
min
.
cc: remove s
o
me debu
g
ging res
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
lae
g
e
reduce_doma
i
n
:
co
m
pute c
o
nvex union
o
f domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
le
x
min
.
c
c
: in_do
m
a
in: also check other parts
o
f u
n
ion
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexm
i
n: in
_
domain:
s
e
t values if const
r
aints
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
lae
g
e
lexmin: plug some memory lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
le
x
m
i
n: a
n
experimental tool
f
or computin
g
the p
a
ra
m
etric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verd
o
olaege
add fd
s
tream
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
rdoolaege
evalue
.
c
: floo
r
2fra
c
_
r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
ba
r
vin
o
k
.
c
c
: unfringe: work incre
m
entally
commit
|
commitdiff
|
tree
2006-08-06
S
ven Verdoola
e
ge
eval
u
e_frac2floor_
i
n_domain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Pol
y
h
e
dron_Sampl
e
: allow equalities i
n
i
nput polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolae
g
e
Pol
y
hedron
_
Sample
:
make sure vertices
a
re a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
Poly
h
edr
o
n_S
a
mple: simp
l
i
f
y cons
t
r
a
ints
a
fter c
h
o
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven V
e
rdoolaege
Polyhedron_Sample: handle empty a
n
d 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoola
e
g
e
sample
.
c: alternative implemen
t
ation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
ool
a
e
ge
s
am
p
l
e
.
c
: Polyhedron_Remo
v
eFixe
d
Columns: hand
l
e
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ola
e
g
e
barvinok_
c
ount_f: check whether po
l
yhed
r
on is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
barvinok_cou
n
t: simplif
y
constrain
t
s a
f
ter removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdool
a
ege
r
educed_basis: support 1D p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
reduced_basis: ensure all L
P
s
o
luti
o
ns ar
e
non-n
e
gative
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n Verdoolaege
Merge branch
'
master
'
into
bernstein
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolae
g
e
occ: prin
t
parametric ver
t
ic
e
s
of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ:
a
llow polynomials in bernstein maximization to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoolae
g
e
Me
r
ge br
a
nch 'm
a
ster'
i
nto bernstei
n
commit
|
commitdiff
|
tree
2006-08-01
S
v
en
V
erdoola
e
g
e
occ: add interface
t
o barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven
Verdoolaege
util
.
c: provide dummy barvinok_l
e
xsmaller_ev when LexSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verd
o
olae
g
e
4coins: c
o
mpute
s
generating
function for 4
c
oin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
gen_fun::Hadama
r
d_product: apply param
e
t
e
r
compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
gen_f
u
n::substitute: on
l
y pas
s
in transformati
o
n matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
scarf
.
cc: supp
o
rt
m
ore ca
s
es
o
f 3 (i
n
dep
e
n
dent)
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
scarf
.
cc: s
u
pport more c
a
ses of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
genfun
.
cc: a
d
d gen_fun:
:
divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
genfun
.
c
c
: another g
e
n_fun::summate
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
V
er
d
oolaege
infinite_icounter: an increm
e
ntal counte
r
fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
ege
i
c
ounter:
m
ove f
r
o
m
ba
r
vinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
lae
g
e
bfenumerator:
:
set
_
f
actor
:
plug small
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
in
o
k_enumerate_union_ser
i
es: use gen_fun::summ
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
do
o
l
aege
g
e
nfun
.
cc: add gen
_
fun::s
u
mmate
m
e
t
hod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun
:
:Hadamard_
p
roduct: optim
i
ze computatio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_fun::Hada
m
ard
_
product: make first ar
g
ument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
pol
a
r_decomposer::
d
eco
m
pose: ma
k
e sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoolaege
np_base: add do_vertex_cone me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun::print: allo
w
printi
n
g to s
t
reams other tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
b
fc
o
un
t
er
.
c
c: mov
e
some more
code fro
m
b
arvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_f
u
n
.
h
: short_rat: use Q
Q
i
nstead of
p
air of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ver
d
oolaege
NTL
_
QQ
.
cc: a rati
o
nal NTL
typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
lae
g
e
veri
f
y_main
.
c
c
: small m
e
mory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
bar
v
inok_series: move
c
hoice of
which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
barv
i
no
k
.
cc: move
s
ome functionality i
n
t
o
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
barvi
n
ok
.
cc
:
mo
v
e Polyh
e
dron argu
m
ent
to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
barvinok
.
cc: move s
t
art
and ha
n
dl
e
_polar into n
p
_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Ver
d
o
o
laege
gen_fun:
a
d
d shift me
t
hod
commit
|
commitdiff
|
tree
next