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
S
v
en Verdoo
l
a
e
ge
o
mega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verd
o
olaege
barvinok/ev
a
lue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
lae
g
e
Mer
g
e branch 'master' into
b
ernstein
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
evalue
.
h: change name
o
f
header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h
: make more
s
elf-c
o
ntained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bf
c
o
u
n
t
er
.
h: undefine
d
ivide f
r
o
m
polylib's arithme
t
ique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doolaege
configure
.
in: n
o
longer c
o
mpile shared
l
ibra
r
ies by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: ref
l
ect that --en
a
ble-fractio
n
al is
n
ow
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rd
o
olaege
lex
m
in: r
e
move duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdool
a
eg
e
g
e
n
_fun::Hadam
a
rd_product: us
e
unoptimiz
e
d v
e
rsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en
V
erdoo
l
aeg
e
barvinok_seri
e
s
:
perform backs
u
bsti
t
ution also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
barvinok_en
u
merate_
u
nion_
s
eries: call core of
barvi
n
ok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
do
o
l
a
e
ge
util
.
c
: remov
e
_equalities
_
p:
c
orrect
c
heck
f
or end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n Ve
r
doolae
g
e
gen_fun: se
t
c
o
ntext in no
variables
c
onstruct
o
r
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaege
gen_f
u
n::Had
a
mard_pr
o
duct: don't assume
e
qualiti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n Verdoolae
g
e
barvinok
_
u
n
i
on: t
a
k
e
con
t
ext int
o
account
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolaege
p
olytope_
s
can: optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
ege
polytope_scan:
s
c
a
n in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verd
o
olaege
po
l
y
t
ope_scan: scans the integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erdool
a
ege
M
erge branch 'master'
into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
V
e
rdoolaege
instal
l
NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
bas
i
s_r
e
d
u
ction
.
c: cle
a
n up
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Merge branch '
m
a
s
te
r
' into ber
n
s
t
ein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: don'
t
bother transforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
ae
g
e
lexmin
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
sample
.
c: fix
r
emo
v
e_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
barvino
k
_count: c
l
ean
up mem
o
ry af
t
e
r simplif
y
ing constraints
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
omega
/
p
o
lyfunc
.
c
c
: maximi
z
e: simplify domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
omega/parse
r
.
y:
c
reate
new variabl
e
Map
f
o
r
each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
omega
/
pa
r
ser
.
y: fre
e
malloc'
e
d memory (instead of dele
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
ven Ve
r
dool
a
e
ge
Merg
e
branch 'master'
in
t
o be
r
ns
t
ein
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verd
o
olaege
only perform
l
exmi
n
tests
when le
x
min
h
as been
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
rdoolaege
some
more tests with un
b
oun
d
ed polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
doola
e
ge
add some small tes
t
s for
l
exmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
l
exmin: ba
r
f when polyhedro
n
c
ontain
s
line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don
'
t
print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erd
o
olaeg
e
ver
i
fy
_
main
.
c
c:
c
lean up
memor
y
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rd
o
olaeg
e
Merge b
r
anch 'master'
i
nto bernstein
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
erdoolaege
barvi
n
o
k
_
s
eries: handle fixed p
o
l
y
top
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdoolaege
g
en
_
fun: add constructor for
genera
t
ing funct
i
o
n
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
laege
barvinok
.
c
c: rem
o
ve_more_
e
qua
l
ities: ha
n
dle eq
u
alitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoolaege
gen_fu
n
::
c
oef
f
icient: re
s
e
t
the number of
r
o
ws
i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
le
x
min
.
cc: use remove_equali
t
ies consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolae
g
e
util
.
c:
compress_variables: extr
a
cted from l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
doo
l
aeg
e
lexmin: d
o
n't che
c
k any
t
hing if give
n
range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdo
o
laege
lexm
i
n
.
cc: remove_equal
i
ties;
take preima
g
e
w
i
t
h
r
et
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
x
mi
n
.
cc: remove_equalities: extend r
e
t
u
rned mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lex
m
in
.
cc:
in_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lex
m
i
n
.
cc:
r
e
m
o
ve som
e
debu
g
g
i
ng residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
g
e
r
e
duce_domai
n
: com
p
ute
c
o
nvex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin
.
cc: in_dom
a
in
:
also check ot
h
e
r
parts
o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
oolaege
lexmin:
i
n_domain: set values
i
f const
r
aints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
oolaeg
e
lexmin: plug
s
ome memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Ve
r
doolaege
lexmin: a
n
exper
i
ment
a
l to
o
l for computing the parametri
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
e
r
doo
l
aege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c:
floor2frac_r: plug
m
emory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolae
g
e
barvino
k
.
cc:
unfring
e
: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoo
l
aege
ev
a
lue_frac2fl
o
or_i
n
_
domain: plug memor
y
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Poly
h
edron_S
a
mple: a
l
lo
w
equalities in input
p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaeg
e
Po
l
yhed
r
on_Sample:
mak
e
s
ure vertic
e
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Sa
m
ple:
simplify cons
t
raints after ch
o
osing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaeg
e
Polyhe
d
ron_S
a
mple:
handle
e
mpty a
n
d 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erd
o
olaege
s
a
mple
.
c: alter
n
a
t
ive imp
l
ementation of remove
_
r
a
y
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
sample
.
c: P
o
l
yhedr
o
n_RemoveFixedColumns:
h
andl
e
presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
barvinok_count_
f
:
che
c
k whether po
l
yhedro
n
is unbo
u
n
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
bar
v
inok_c
o
unt: simplify
constraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
r
e
duced_basis: support 1D
p
olyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
eg
e
reduced_basis: ensu
r
e all LP s
o
lutions ar
e
non-
n
egativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n Verdoolaeg
e
Merg
e
bra
n
ch 'master'
i
nto bernstein
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verd
o
olaege
occ: print parametric ver
t
ices
o
f set us
i
ng Po
l
yLib
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdoolaege
o
cc: al
l
ow
polynom
i
als
in bernste
i
n maximizati
o
n to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Verd
o
olaege
Mer
g
e branch
'
m
ast
e
r' into be
r
ns
t
ein
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: ad
d
inter
f
ace to barvinok
_
lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Ve
r
doolaege
util
.
c: provide
dummy barvinok_
l
e
xsmaller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes ge
n
erating funct
i
on f
o
r
4
c
oin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoola
e
g
e
gen_f
u
n
::H
a
damard_prod
u
c
t
: ap
p
l
y
parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
d
oola
e
ge
gen_fun::substitute: only pas
s
i
n transformat
i
on ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verd
o
olaege
sca
r
f
.
cc
:
s
upport
m
ore cases
o
f 3
(
independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verd
o
olaege
sc
a
rf
.
c
c: support
m
ore
cas
e
s of 4 constra
i
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
genfun
.
cc:
a
dd gen_fun:
:
d
i
vide method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolae
g
e
g
e
nfun
.
cc: a
n
other gen_fun::summ
a
te m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
oolaege
infinite_icounter: an
i
ncremen
t
a
l c
o
unter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoo
l
aeg
e
icounter: move from barvinok
.
cc to reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
o
l
aege
b
f
enum
e
rat
o
r:
:
set
_
fa
c
to
r
:
pl
u
g
small memo
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
ool
a
ege
b
a
r
vinok_enumerat
e
_
u
nion_series: use gen_f
u
n::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
genfun
.
c
c
: add
ge
n
_fun
:
:summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
gen_fun
:
:Ha
d
amard_
p
roduct:
o
p
ti
m
ize
c
omputation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
gen_fun::Hadamard_product: make first a
r
gument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_
d
e
c
o
m
poser:
:
decompose: mak
e
sure ver
t
ic
e
s ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaeg
e
np_b
a
se: add do_v
e
rtex_
c
o
ne method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
ege
g
en_fun::print:
allow
p
rinting
to streams othe
r
tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
fc
o
u
nter
.
cc: move some
m
ore code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
fun
.
h: short_r
a
t
:
use
Q
Q i
n
stead of p
a
ir o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
NTL_
Q
Q
.
cc:
a
ration
a
l NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ve
r
ify_main
.
cc: small mem
o
ry clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
a
rvino
k
_ser
i
e
s: move
c
hoice of whic
h
gf_bas
e
subc
l
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
a
ege
ba
r
vinok
.
cc: move some function
a
lit
y
in
t
o separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
c
c
:
move Polyhedr
o
n
argument to
st
a
rt method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
g
e
barv
i
nok
.
cc: move start and
h
andle_pola
r
int
o
np_base
.
.
.
commit
|
commitdiff
|
tree
next