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_maximize: fix handling of UNIONs in domains.
2007-02-28
Sv
e
n Verdoolae
g
e
b
a
rv
i
n
o
k_ma
x
imize
:
fix
ha
n
dli
n
g of
U
NIONs
i
n domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdoolaege
bernstein_
c
oefficients: skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdoolaege
barvino
k
_maximize:
f
ix detection o
f
en
d
o
f
domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
oolae
g
e
barvinok_maximize: add i
n
p
u
t c
o
nversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
d
oolaege
e
value_convert:
extracted f
r
om bar
v
ino
k
_
enumerate an
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolae
g
e
util
.
c
:
mov
e
P
o
ly
h
e
d
ron_is_u
n
bound
e
d from bernstei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
bern
s
t
e
in_coefficients: skip in
f
ini
t
e (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
lae
g
e
b
ar
v
ino
k
_maxi
m
ize: let u
s
er spec
i
fy variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
be
r
nstein_coeffic
i
e
nts: s
k
ip computations if d
o
main
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven V
e
rdoo
l
aege
ba
r
v
i
n
ok
_
m
a
ximiz
e
: fix access t
o
f
r
e
ed memory
commit
|
commitdiff
|
tree
2007-02-26
Harald D
e
vos
minimize as option of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdool
a
eg
e
bernstein/p
i
e
c
ewise
_
l
st
.
cpp: add minimize() metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
b
arvinok_maximize: read
d
o
mai
n
s with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erd
o
o
l
aeg
e
use Gi
N
aC cflags and
li
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_
m
aximi
z
e: optiona
l
ly ca
l
l evalue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdool
a
ege
evalue
.
c: add e
v
alue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
util
.
c:
v
alue_lc
m
: mar
k
a
rgu
m
en
t
s const
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verd
o
ola
e
ge
evalue
.
c:
polynomial_projection: allo
w
NUL
L
R argu
m
ent
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
evalue
.
c: extract fiddli
n
g
w
ith coefficients out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdool
a
eg
e
evalue
_
bernstein_coef
f
i
c
i
en
t
s: h
a
ndle each
c
ose
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven
V
erdoolaege
b
arvinok_maximize: read eva
l
ues with
p
eriodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
e
v
alue_
b
er
n
stein_
c
oefficients: h
a
ndle pe
r
i
o
dics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
r
d
oolaege
b
e
rnstein
:
bernstein
E
xpansion: a
c
cept list of pol
y
nomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
barvinok_m
a
xi
m
ize:
m
a
ke evalue
parse a
little bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
b
a
r
vinok_enumerate*: be less chatty by default
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n
Verdoola
e
ge
count/enume
r
ate: warn if input is
a
un
i
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
Dom
a
inInc
l
udes:
d
etect more
c
a
ses + a
d
apt
doc
u
mentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bern
s
tein_coeffic
i
ent
s
: ha
n
dle fract
i
ona
l
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdool
a
eg
e
evalu
e
_b
e
rnste
i
n_coe
f
ficie
n
ts: hand
l
e f
l
o
o
rings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sv
e
n Verdool
a
ege
barvinok_maximize: n
e
w tool for
m
axi
m
izing pie
c
e
wis
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Ve
r
do
o
laege
ev
a
l
u
e
.
c
: evalue
_
fr
a
c2poly
n
omial
:
improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaeg
e
evalue
.
c: add
f
unction for checking
n
es
t
ing o
f
an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oo
l
aege
evalue
.
c: add m
i
ssing terms reor
d
erings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rd
o
ola
e
ge
e
value
.
c: make arguments of ee
q
u
a
l
and
e
va
l
ue_
d
enom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
barvinok_enum
e
rate_e
:
add
--verbose opt
i
on
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
bernste
i
n: mark
arg
u
me
n
t of valu
e
2numeric
c
onst
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
bernstei
n
.
cc: a
d
d
(
opti
o
nal)
o
ptions ar
g
u
ment to eva
l
ue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdool
a
e
g
e
a
dd missing virt
u
al dest
r
u
ctors
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Verdoolaege
genfun
.
c
c
: ren
a
me str
u
ct
cone to avoid conf
l
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
doc: integer poin
t
s in t
h
e fundamental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
ri
f
_ehrhart
.
c
: cle
a
n
up i
n
denta
t
ion
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
verif
_
ehrhar
t
: optionally continue
on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
v
e
rif_e
h
r
hart: co
m
bi
n
e ch
e
c
k_poly from barvin
o
k_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolae
g
e
ve
r
if_ehrhart
.
c
:
check l
o
w
e
r
a
nd upper polyno
m
ial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
g
e
ver
i
fy
.
h: move barvino
k
_o
p
tions into ver
i
f
y
_
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
barvinok_enumerate: pass
para
m
eter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdo
o
la
e
ge
barvinok_
e
numerate: m
o
re polynommial appr
o
xi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
ev
a
lue
.
c
:
a
d
d
e
v
a
lue
_
f
r
ac2p
o
lynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
a
e
ge
e
v
alue
.
c
:
ex
t
ract e
v
alue_split_domains_into_ortha
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verd
o
olaege
p
ol
y
sign
.
c: fix c
d
d_pol
y
hedron
_
affine_
s
ign prot
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
r
dool
a
ege
M
a
kefile: only check lexmin if it has been c
o
m
pi
l
ed
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rd
o
olaege
add Pa
r
am_P
o
lyhedron_Scale_Integer
p
r
o
totype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
latti
c
e_p
o
in
t
.
cc: add sani
t
y check for index of
c
one
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Verdoolae
g
e
t
est: init
i
a
l
ize
n
bMa
t
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verd
o
olae
g
e
ba
r
vinok_
e
numerate: optionally compute
a
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
Provide replacement for ne
w
PolyLi
b
fu
n
ction
Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdoola
e
g
e
add evalue
_
div (adapted fro
m
Pol
y
Lib)
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
test: simple test f
o
r PolyLib's Smi
t
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am: add
d
e
p
endenci
e
s
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
genfun
.
cc: sho
r
t_rat
:
:normalize:
micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonicali
z
e on read an
d
multipl
i
catio
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
doc: barvinok_seri
e
s
requires p
o
lyhedro
n
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
Make
f
ile
.
a
m
: che
c
k barvinok_e
n
um
e
rate
--serie
s
during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven V
e
rdoola
e
ge
barvinok
_
enumerate: comp
u
te serie
s
of polyhedra wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
t
e
s
t
all spe
c
ialization algorithms du
r
ing make
check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
pass options through to barvino
k
_cou
n
t in b
a
rvino
k
_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n Verdoolaege
Ha
n
dle non-unimod
u
l
a
r
cone
s
in
d
ual decom
p
osition
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n Verdoola
e
ge
barvinok
_
stats: rename
u
n
i
m
odu
l
ar_con
e
s to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reducer
.
cc:
ext
r
a
sanity ch
e
cks
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaege
Handle non-unimodular cones
w
ith
a
speci
f
ied max
i
ma
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
V
erdoolaege
d
e
com
p
o
ser
.
cc: decompose: minor clean
-
up
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
barvi
n
ok_options: i
n
clude poin
t
er to barvinok_s
t
ats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdoolaege
a
d
d barvinok_option
s
_fre
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvin
o
k_
e
numerate: co
l
lect
stats
o
n number
o
f
unimod
u
la
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdo
o
l
a
ege
d
e
co
m
poser
.
cc
:
pola
r
_decompose:
remo
v
e common divi
s
or
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
partial_red
u
cer: speci
a
liz
e
lis
t
ve
r
s
i
on
o
f
b
as
e
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoola
e
ge
r
e
ducer::r
e
duce: better handli
n
g o
f
terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven V
e
r
d
o
o
laeg
e
reducer::re
d
uce: comb
i
ne numerators with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aeg
e
QQ: add
o
perator for multi
p
l
i
cation
of vecto
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdo
o
l
ae
g
e
r
educer::
r
educe:
t
a
k
e a list o
f
numerators a
s
input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::read
:
read g
e
n_fun fr
o
m file
de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(sho
r
t
_
rat
*
r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
r
doolae
g
e
NTL_
Q
Q
.
cc:
s
upport read
i
n
g from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
ge
n
_fun:
add op
e
rator for p
r
i
n
ting t
o
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolae
g
e
genfu
n
.
cc: add short_rat copy
con
s
tructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
d
p
ol
y
_r: m
i
cro
-
optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
d
p
ol
y
: ma
r
k some more argu
m
ents/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
short_ra
t
::add: mark short_r
a
t argument co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_
Q
Q: attempt to
s
peed
-
up
+
= op
e
rator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
dpo
l
y: add
some do
c
umen
t
atio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
dpoly: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdoolaege
barvinok/gen
f
un
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
add
.
git
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
oolae
g
e
QQ: add oper
a
tor f
o
r
m
ultiplication by
a
s
c
alar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
M
ak
e
f
ile
.
am
:
check-series: check --primal as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven Ve
r
doolaege
Makefile
.
am: install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
u
nd
e
fine CS
for Solaris
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven
Ve
r
doolaege
barvinok_enumer
a
te: handle li
n
es in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ve
r
dool
a
eg
e
util
.
c: mov
e
left_i
n
vers
e
from
l
exm
i
n
.
cc
commit
|
commitdiff
|
tree
next