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: new tool for maximizing piecewise quasi-polynomial
2007-02-18
S
ve
n
Verdoolaege
barvinok_ma
x
imize: new too
l
for maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
evalue
.
c: evalue_frac2polynomial: impr
o
ve ac
c
uracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
evalue
.
c
: add c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
evalue
.
c: add func
t
ion for checking ne
s
t
i
n
g
of an ev
a
lue
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
eval
u
e
.
c: add missing terms reorderings in
evalue
_
range_r
e
du
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
eva
l
ue
.
c: make
a
rguments of
e
e
qual and
eval
u
e_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvino
k
_enume
r
at
e
_
e: add -
-
verbose option
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
bernste
i
n
: mark argument of value2numeri
c
cons
t
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
eg
e
bernstei
n
.
c
c: add
(
o
p
tional)
options argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
add missing virtual d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
o
lae
g
e
gen
f
un
.
cc: rename
s
truct cone
t
o avoid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
doc
:
in
t
eger points
in t
h
e fundamen
t
a
l parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
v
e
rif_ehrha
r
t
.
c:
cl
e
an up
i
n
d
entation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
i
f
_
ehrhart: op
t
io
n
al
l
y continue o
n
e
r
ror
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoola
e
g
e
veri
f
_ehrhart: combine c
h
eck
_
poly from
b
arvi
n
ok_enumer
a
te_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven
Ve
r
doolaege
verif_ehrha
r
t
.
c: check lower and uppe
r
pol
y
nomial
a
p
proximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laeg
e
v
erify
.
h
:
mo
v
e b
a
rvin
o
k_options into
v
e
r
if
y
_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
barvinok_enumerate: pass parame
t
e
r
names to check
_
poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolaege
barvino
k
_enu
m
erate:
m
or
e
polynommial approxi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
l
aege
ev
a
lue
.
c: add evalue_frac2po
l
ynom
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaeg
e
ev
a
lue
.
c: extract evalue_split_doma
i
ns_into_ort
h
ants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdo
o
laege
polysig
n
.
c: fi
x
c
d
d_p
o
lyh
e
dr
o
n_affin
e
_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laeg
e
Makefi
l
e: only check lexmin i
f
it ha
s
b
e
en c
o
mpiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erdool
a
ege
add
P
aram_Poly
h
edron_Scale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ver
d
o
olaege
lattice_point
.
cc:
a
d
d sanit
y
c
h
eck for index
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
test: ini
t
ialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvi
n
ok_enumerate: option
a
l
l
y compute
a pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoo
l
aege
Provide replace
m
ent for new PolyLib function Param_P
o
lyhedr
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
add eval
u
e_div
(adapted from
P
o
lyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: simp
l
e test for PolyL
i
b's
S
mith
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
Makefile
.
am:
a
dd dependencies for ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdoolaege
genfun
.
cc: short_rat:
:
normalize: micro
-
optim
i
zation
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
QQ: ca
n
o
n
i
c
ali
z
e on read and multi
p
li
c
ation
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
d
oc:
b
a
rvin
o
k_series requires p
o
ly
h
edron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
o
laege
Makefi
l
e
.
am: ch
e
ck
b
arvinok_
e
numerate --seri
e
s dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n V
e
rdoola
e
ge
ba
r
v
i
nok_enumer
a
te: compu
t
e series of p
o
lyhedra wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Ver
d
oola
e
ge
util
.
c:
m
ove
P
ol
y
h
e
dron_h
a
s_positiv
e
_rays from
b
arvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
ven
Verdoolaege
test all specialization algorithms during m
a
ke chec
k
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Ver
d
o
o
l
a
e
g
e
pas
s
opti
o
ns t
h
rou
g
h to
barvinok_count in barvin
o
k_en
u
merate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
V
erdoolaege
Handle non-unimodular cones in dual deco
m
p
o
s
it
i
o
n
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
d
o
olaege
barvinok_st
a
ts: rename un
i
modular_cones
to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
red
u
cer
.
cc: extra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handle non-unimodular co
n
es with a speci
f
ie
d
m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Ver
d
o
o
laeg
e
decompo
s
er
.
c
c: dec
o
m
p
ose:
m
ino
r
cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdo
o
laege
barvi
n
ok_options: include
p
o
i
nter to barvi
n
ok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
Verdoolaege
add ba
r
v
i
nok_optio
n
s
_
f
r
ee
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
bar
v
ino
k
_e
n
u
m
er
a
te: collect stats on n
u
m
b
er of unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
decompos
e
r
.
cc: po
l
ar_
d
ecompos
e
: remove common
d
ivisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
partial_reducer: s
p
ecialize
l
ist ver
s
io
n
of
b
ase
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolaege
reducer::reduce: better
handling of terms
w
ith com
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
ol
a
e
g
e
reducer::re
d
uce: combine numer
a
t
o
rs with equa
l
unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdoolaege
Q
Q
: add op
e
r
a
tor for multi
p
l
i
cation of
vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
o
ola
e
ge
reducer::reduce:
take a
l
i
st of numerators as input
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
gen
_
f
un::r
e
ad: read
gen_fun from file descrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
a
dd
gen_fun::ad
d
(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
NTL_QQ
.
cc: su
p
port rea
d
ing
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fu
n
: add operator
f
o
r print
i
ng to st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
genf
u
n
.
cc: add short_rat copy constructo
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
l
aege
d
poly_r: m
i
cro-opti
m
iz
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
e
g
e
dpoly: mark some
more argu
m
ents/methods c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
shor
t
_ra
t
::add: mark
s
h
o
rt_ra
t
argum
e
nt cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
T
L_QQ: attemp
t
to s
p
eed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
dpoly: add some docu
m
e
ntatio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly
:
add s
o
me m
o
re op
e
rations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
barvinok/genfun
.
h: fix
c
om
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
add
.
git
i
gno
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verd
o
ola
e
ge
QQ:
add ope
r
ator fo
r
multiplication b
y
a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
am: check-series:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sve
n
V
er
d
oolaege
Mak
e
f
il
e
.
am: ins
t
all (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
V
e
r
do
o
l
a
e
g
e
undefine CS
f
o
r Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdo
o
laege
b
a
rvino
k
_enumerate: ha
n
dle lines in input poly
h
edr
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolae
g
e
uti
l
.
c:
move
left_inverse from l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
gen_fu
n
::coeffici
e
nt:
mov
e
p
rin
t
ing
to
s
h
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen
_
f
un::coefficient: new version return
i
ng ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
oolaege
genfun
.
cc: move c
o
efficient co
m
putation to sh
o
rt_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
par
t
ial
_
reducer: resta
r
t
comput
a
tio
n
i
f
rando
m
vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verd
o
olaege
gen_
f
un: e
x
pose c
l
ear_terms,
a
metho
d
for clearin
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaeg
e
ge
n
_fun::Hadamar
d
_p
r
oduct: propagate full opti
o
ns
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
_
enumerate: inte
g
rate
v
erif_
e
hrh
a
rt
commit
|
commitdiff
|
tree
2007-01-05
S
ve
n
Verdo
o
laege
barvin
o
k
_enumerate: integr
a
t
e barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolae
g
e
barvinok_enumerate
:
use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmi
n
:
m
ake lex
m
i
n
option
s
private
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
Revert "bernstein/co
n
figu
r
e
.
in: remove
r
edundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
o
olaege
b
arvinok
.
cc: make use of sampling for counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
o
o
laege
b
arvinok_enumerate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
olaege
le
x
m
i
n
.
cc: move sele
c
tion of gbr solver
to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
rdo
o
laege
b
arvinok_e
n
umer
a
te_e: extract out
v
eri
f
ication
op
t
ions
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
barvinok_
e
n
umerate_e:
p
r
int war
n
ing when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
ae
g
e
bernste
i
n/c
o
nfigu
r
e
.
i
n: remove
redun
d
a
n
t change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
V
er
d
oo
l
aege
barvinok/
p
olylib
.
h
:
d
efi
n
e value_s
u
btr
a
ct and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
o
l
aege
decomposer
.
c
c
:
d
ecomp
o
se: m
i
cro-op
t
im
i
zati
o
n
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
Verdo
o
laege
signed_co
n
e: store rays
o
f cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
l
e
xmin: disable us
e
of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdo
o
laege
barv
i
nok
_
enumer
a
te
_
e
.
cc: fix
a
r
gp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
o
p
tion
s
.
c
:
move choi
c
e of use of lookup-table to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
erdo
o
laege
lattice_po
i
nt
.
cc: fix #ifndef USE_MODULO code
p
ath
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
doolaege
de
c
omposer
.
cc: short_ve
c
to
r
:
r
emov
e
redundant c
o
de
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
decomposer
.
cc
:
s
h
o
r
t_vector: negate
l
a
m
bda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
olaege
bar
v
inok
.
c
c
: serie
s
: o
n
ly require
r
ays
t
o be
re
v
lex
.
.
.
commit
|
commitdiff
|
tree
next