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
omega/polyfunc.cc: avoid warning
2006-08-31
Sven
V
erdo
o
laege
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Verdoo
l
aege
barvi
n
ok/evalue
.
h: make mor
e
s
elf-cont
a
ined
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
Merge branch
'master' in
t
o
bern
s
tein
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
e
va
l
u
e
.
h: chang
e
name
of header define
commit
|
commitdiff
|
tree
2006-08-31
S
ven
Verdoolaege
evalue
.
h: make mo
r
e
self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven
Ver
d
oolaege
bfc
o
unt
e
r
.
h: undefin
e
divide
from
p
o
l
ylib's arit
h
metique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
erdo
o
l
a
ege
config
u
re
.
in: no
longer compi
l
e shared
l
ibra
r
ie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Verdoolaege
RE
A
D
M
E: reflect that --enable-fraction
a
l is no
w
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
lexmin: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyt
o
p
e_scan
:
optionally
skip b
a
sis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
S
ven Ver
d
oolaege
polytope_sca
n
:
s
c
an in reduc
e
d bas
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Ver
d
o
o
laege
polytope_
s
can: sc
a
ns the
i
nteg
e
r points
i
n a
p
olyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
g
e
Me
r
g
e
branch 'master' into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdoolaege
i
n
s
ta
l
l
N
T
L_QQ
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ol
a
ege
basis_
r
eduction
.
c: clean u
p
GLPK m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdoola
e
ge
Merge branc
h
'm
a
ster' into bernstei
n
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoo
l
aeg
e
lexmin
.
c
c
: don't bo
t
her transforming if compress_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
lexm
i
n
.
cc
:
fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
l
a
ege
sample
.
c: fix r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
b
a
rvinok_count:
cle
a
n up memory after
simpl
i
fy
i
ng constra
i
nts
commit
|
commitdiff
|
tree
2006-08-13
S
ven Ver
d
ool
a
ege
README: updat
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
erdoo
l
aege
om
e
ga
/
polyfunc
.
cc:
maximize: simplify domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Ve
r
doolaege
omega/parser
.
y: crea
t
e new va
r
iabl
e
Map for each polyf
u
nc
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
o
laeg
e
omega/parser
.
y: f
r
ee malloc'ed memory
(
i
n
st
e
ad of dele
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
Merge branch 'master' i
n
to ber
n
stei
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
nly perform lexmin tests when lexmin ha
s
b
ee
n
compi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ver
d
ool
a
ege
som
e
more tests with
u
n
bounded p
o
lyhedr
a
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
V
e
rdoolaege
a
dd some
s
mall te
s
ts fo
r
lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
en V
e
rd
o
olaege
lexmin: barf
w
h
en polyhe
d
ron cont
a
ins l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoo
l
aege
lexmin: don't print solution when
v
erifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oolaege
verify_main
.
c
c
: c
l
ean
up memo
r
y
commit
|
commitdiff
|
tree
2006-08-11
S
v
en
V
e
rdoolaege
M
e
rge branch 'master'
into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
barvinok_s
e
ries: han
d
le fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
laege
gen_f
u
n: add co
n
s
t
r
uctor for generati
n
g
f
unction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
o
olaege
bar
v
inok
.
cc: remove
_
more_equalities:
han
d
le
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdo
o
lae
g
e
g
e
n
_fun::coef
f
ic
i
e
n
t: reset
t
he number of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdo
o
laeg
e
lexmin
.
cc: use remove_equ
a
lit
i
es consi
s
tently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_var
i
ables: extracted
f
rom lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
lexmin: don't check any
t
hing if given
rang
e
l
ies out
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_equ
a
li
t
ies;
t
ake preim
a
ge wi
t
h retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
e
g
e
lexmin
.
cc: r
e
mov
e
_
equ
a
li
t
ies: e
x
tend ret
u
rn
e
d matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdoolaege
lex
m
in
.
cc
:
in_
d
oma
i
n: fix t
y
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n V
e
rd
o
ol
a
eg
e
lexmin
.
cc: remove som
e
debuggin
g
residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce_domain: compu
t
e convex uni
o
n of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
e
ge
lexmin
.
cc: in_doma
i
n: also check othe
r
parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdo
o
laege
lexmin: in_domain: set value
s
if
cons
t
raints don'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
erdoolaeg
e
lexmin: plug some
memory lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
lexmin: an expe
r
iment
a
l
too
l
for computing
t
h
e
p
ar
a
m
e
tric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
a
d
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
evalue
.
c: fl
o
or2frac
_
r
: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verd
o
ol
a
ege
barvinok
.
cc:
unfringe: work increm
e
ntal
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdool
a
ege
ev
a
l
u
e_frac2floor_in_domain:
pl
u
g
mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoo
l
aege
P
olyh
e
dron_Sam
p
le
:
all
o
w equali
t
ies in in
p
ut poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
olaege
Polyhe
d
ron
_
Sam
p
le: make s
u
re
vertices are
ava
i
l
able
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
Po
l
y
h
edron_Sample: simplify
c
onstraints
a
fter ch
o
osin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aeg
e
Po
l
yhedron_
S
ample: han
d
le
empt
y
and 0D pol
y
hedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sample
.
c: altern
a
tive imple
m
entation of rem
o
ve_r
a
y
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdoolaege
s
a
mpl
e
.
c: Pol
y
hedron_RemoveF
i
xedColumns: hand
l
e
p
r
e
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n V
e
rdoola
e
ge
barvinok_co
u
nt_f: check whether p
o
lyhe
d
ron
is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Ve
r
doolaege
barv
i
nok_
c
ount: s
i
m
plify constraints after removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdoolaege
reduced_basis: suppor
t
1D po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
educed_ba
s
is: ensure all LP
solutions are non-neg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verdoolaege
Merge branch 'master
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ: print
p
a
r
ametric verti
c
es of set using Po
l
y
L
ib
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n Verdoolaege
occ: al
l
ow
p
olyn
o
mials in bernstein m
a
ximization t
o
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verd
o
olaege
M
e
rge branch 'master
'
i
nto bernstein
commit
|
commitdiff
|
tree
2006-08-01
S
v
e
n
Verdoolaege
occ: add interface to bar
v
i
n
ok_lexsma
l
ler_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
aege
u
til
.
c: provide d
u
m
my
ba
r
vinok_lexsmaller_ev when L
e
xSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
4
coins:
c
omp
u
tes
g
eneratin
g
function for 4 co
i
n
F
robenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::Hadamard_product: apply parameter compre
s
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ver
d
oolaege
gen_fun::
s
ubstitute: only
pass in transforma
t
ion
ma
t
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc
:
support more cases of 3 (indep
e
ndent) const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolae
g
e
scarf
.
c
c: support more
c
a
ses of 4 constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add gen_fun::divid
e
method
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdoolaege
genfun
.
c
c: an
o
t
he
r
gen_fun::summat
e
method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ve
r
dool
a
e
g
e
infinite_
i
coun
t
er: an incremental c
o
unter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ver
d
ool
a
ege
icounte
r
: move
f
rom barvinok
.
cc
to
re
d
ucer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
bfenu
m
e
r
ator
:
:set_fa
c
tor: plug small mem
o
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdool
a
ege
barvinok_enu
m
erate_un
i
on_s
e
r
i
e
s: use
g
e
n_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
genfun
.
cc: add
g
en_f
u
n::summate me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fu
n
::Hadamard_product: optimize c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n
_fu
n
:
:Hadamard_pro
d
uct: make firs
t
a
rgument cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaeg
e
polar_decomposer::decompose: ma
k
e sure verti
c
es
h
ave
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaeg
e
np_b
a
se
:
ad
d
do_vert
e
x_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun:
:
print: all
o
w printing to stre
a
ms ot
h
er
t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
e
r
d
oolaege
bfcounter
.
cc: move some more code from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rdool
a
ege
gen_f
u
n
.
h
:
sh
o
rt_r
a
t:
use Q
Q
instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoo
l
aege
NTL_QQ
.
cc: a
r
ational NT
L
ty
p
e
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
ge
verify_main
.
cc: small memo
r
y
c
lean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
barvino
k
_series: move ch
o
ice of which gf_base
s
u
b
c
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
bar
v
in
o
k
.
c
c:
m
o
v
e
some
f
unc
t
iona
l
ity into separa
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
ba
r
vi
n
o
k
.
cc: move Polyhedr
o
n argume
n
t to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
a
r
vinok
.
cc: move start and hand
l
e_polar int
o
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_f
u
n: add shift
met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_f
u
n: add co
p
y co
n
stru
c
tor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2v
a
l
ues
:
m
a
ke first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
zz2v
a
lue: make
fi
r
st ar
g
um
e
n
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
Pol
y
hedron_is_infinite:
u
se P
o
l
y
hedron_Sample if ava
i
lable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
polyhed
r
on_sample: comput
e
s
a
n
integer vecto
r
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdoolaege
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
next