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
Sven Verdoolaege
barvin
o
k_m
a
ximize:
new tool for max
i
mizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
en
Verdoolaege
evalu
e
.
c:
e
v
alue_fra
c
2polynomial: imp
r
ove accur
a
c
y
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rd
o
ola
e
ge
e
v
alu
e
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c: a
d
d
f
unct
i
on for checking
n
esting of an evalu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c
:
add mi
s
sing t
e
rms reorderin
g
s in evalue
_
ra
n
ge_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
evalu
e
.
c:
m
ake argume
n
ts of eequal a
n
d
e
value_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oola
e
ge
b
a
r
v
i
nok_enumerate_e: add --verb
o
se optio
n
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
bernstei
n
: mark a
r
gument
of v
a
lue2
n
u
m
eric const
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoola
e
ge
b
ernst
e
i
n
.
cc: add
(
o
p
tional) option
s
argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
add m
i
s
s
ing virtual dest
r
uctors
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oola
e
ge
g
enfun
.
c
c
: rename struct cone to avoid conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
d
oc: inte
g
er points i
n
the funda
m
ental
parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhart
.
c:
clean up indenta
t
i
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoolaege
v
erif_ehr
h
art: option
a
lly con
t
i
n
ue
o
n error
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
Verdo
o
lae
g
e
v
erif_ehrhart: c
o
mbi
n
e check_p
o
ly from barvinok_enume
r
ate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
S
ven
Verdoolaege
verif_ehrhart
.
c: check lower and upper polynomial
approximation
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
ve
r
ify
.
h: m
o
ve
b
ar
v
i
nok_opt
i
on
s
in
t
o verify_options
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n
Verdoolaege
barvino
k
_en
u
mer
a
te: pass parameter nam
e
s to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
b
a
rvinok_en
u
merate:
m
o
re pol
y
no
m
mial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: add evalue_frac2
p
olyn
o
mial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
g
e
evalue
.
c
: ex
t
rac
t
ev
a
lue_sp
l
it_doma
i
ns_into_
o
rthant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
polysign
.
c
:
fix cdd_p
o
lyhedron_affine_si
g
n prot
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefil
e
: only check l
e
xmin if it
has
been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoola
e
ge
add
P
aram_
P
o
l
y
hedro
n
_S
c
ale_Integer protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
S
ve
n
Verd
o
olae
g
e
l
a
t
t
ice
_
point
.
cc: add sanity c
h
eck
for ind
e
x
of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
test: i
n
i
t
ialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
laeg
e
ba
r
v
i
nok_enumerate: optionally c
o
mp
u
te a polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
Provide replacement
f
or
n
e
w
P
olyLib functi
o
n Param_Polyh
e
dro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
add ev
a
lue_div (adapted from Pol
y
Lib)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Ver
d
oolaege
test:
s
imp
l
e test
for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
M
a
k
efile
.
am: add depen
d
encies for
c
heck
s
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Ve
r
doolae
g
e
genfun
.
cc: sh
o
r
t
_rat::
n
ormalize: micro
-
o
ptimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdoolaege
QQ: canoni
c
aliz
e
on read an
d
multipli
c
at
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
doc: ba
r
v
i
nok_ser
i
es re
q
uires pol
y
h
e
dron to ha
v
e *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaeg
e
Makefile
.
am: check barvinok_enum
e
rate --s
e
ries during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oola
e
ge
ba
r
vino
k
_enumerate:
c
omp
u
te
s
e
ries of
polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
ge
te
s
t
all specializat
i
on algo
r
ithms du
r
ing make
c
hec
k
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
p
a
s
s options thr
o
ugh to
b
arvinok_cou
n
t in bar
v
inok_e
n
umerat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
Han
d
l
e
non-unimod
u
lar cones in d
u
al deco
m
position
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olaege
barvinok_
s
t
ats: rename unimodu
l
ar_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdo
o
laege
reducer
.
cc: extra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaeg
e
Handle non-unimodular cones wit
h
a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
decompose
r
.
cc: decompos
e
: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
bar
v
inok_opti
o
ns:
include pointer
t
o barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
add barv
i
nok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoo
l
aege
barvin
o
k_enumerate:
c
ollect stats on
n
u
mber of unim
o
dula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
cc: polar_dec
o
mpose: remove common divis
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
V
erdoolaege
partia
l
_reducer: spec
i
alize list
v
ersi
o
n of base
commit
|
commitdiff
|
tree
2007-02-05
Sven
Ve
r
doolae
g
e
re
d
u
c
e
r::
r
educe: b
e
t
t
e
r
handling
of terms w
i
th c
o
mmon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer
:
:r
e
duc
e
: com
b
in
e
numerators with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
Q
Q: add operato
r
for
m
ultiplication of v
e
ctor by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolae
g
e
r
educer::reduce: take a list
o
f numerators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun
:
:re
a
d: read gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolae
g
e
add gen_fun::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
ege
NTL
_
QQ
.
c
c: support
r
ea
d
ing fr
o
m stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
do
o
laege
gen_fun: add operato
r
f
or printing to
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
genfun
.
cc: a
d
d short_rat cop
y
co
n
struct
o
r
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
d
poly_r: micro-optimizat
i
on
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: mark some more argume
n
ts/m
e
t
h
ods
c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
shor
t
_rat::add: mark sho
r
t_rat argument c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ver
d
oolaege
N
T
L_
Q
Q:
attempt t
o
spe
e
d
-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdool
a
ege
dpoly: add so
m
e do
c
umentati
o
n
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdool
a
ege
dpoly:
a
dd
s
o
me more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oolaege
barvinok/genf
u
n
.
h
: fix
c
omme
n
t
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdool
a
ege
ad
d
.
giti
g
nor
e
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verd
o
ol
a
ege
QQ: add op
e
rator for multipli
c
ation by
a scalar
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Ma
k
e
f
ile
.
am:
check-s
e
ries:
c
heck --primal as
well
commit
|
commitdiff
|
tree
2007-01-16
Sven
V
erdoolaege
Makefile
.
am: install (some) bi
n
aries
commit
|
commitdiff
|
tree
2007-01-15
Sv
e
n Verd
o
o
l
aege
undefin
e
CS for S
o
laris 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n
Verd
o
olaege
barvino
k
_enumerate: handle line
s
in
input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
u
til
.
c:
m
ove left_inverse fr
o
m lex
m
i
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoola
e
g
e
gen_fun::coeff
i
cient: move printing to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
a
e
ge
gen_fun::coe
f
ficient:
ne
w
version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdo
o
lae
g
e
genfun
.
cc
:
move co
e
fficient computa
t
ion to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
parti
a
l_re
d
ucer
:
restart computatio
n
i
f ra
n
dom vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun:
expose clear_terms, a method f
o
r clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
gen_fun::Hada
m
ard_pro
d
uct: propagate full optio
n
s to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
barv
i
nok_enu
m
erat
e
:
i
ntegr
a
te verif_ehrhar
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
ba
r
vinok_
e
numerate: integr
a
te
b
ar
v
inok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
b
a
rvinok_e
n
umerate: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
lexmin: ma
k
e l
e
xmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Rev
e
rt "b
e
rnstei
n
/
con
f
igure
.
in: remove redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvinok
.
cc: make use of sampling
f
or counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
e
r
doolaege
bar
v
inok_enumerate_e:
r
espe
c
t -
-
table
o
ption
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
xmin
.
c
c: move selectio
n
of
g
br solver to o
p
tio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
xmin:
us
e
ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
b
a
rvinok_enumerate_e: extract out v
e
rificat
i
on options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
o
l
aege
barvinok_enumer
a
te_e: print warn
i
ng when -
-
ome
g
a or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
rdoo
l
aege
barvinok/polylib
.
h:
define va
l
ue
_
subt
r
ac
t
and value_
a
ddmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verdoolaege
de
c
ompo
s
er
.
c
c
: de
c
omp
o
s
e: micro-optim
i
zation
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_cone:
s
tore ra
y
s of cone
commit
|
commitdiff
|
tree
2007-01-04
H
a
ral
d
Devos
om
e
ga/p
a
rser
.
y:
remove brackets
a
round
ty
p
e in
n
e
w
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
lex
m
in: disable use o
f
loo
k
up-tabl
e
s
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
e
r
doolaege
barvinok_enume
r
ate_e
.
c
c
:
fix argp options pa
r
se
r
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdoolaege
opt
i
ons
.
c
: move c
h
oice
of use of
l
ookup-t
a
ble to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
lattice
_
point
.
c
c
: fix #ifndef USE_MOD
U
LO code pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoola
e
ge
decompose
r
.
cc: short_
v
ect
o
r:
remov
e
redundan
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
e
r
d
ool
a
ege
decomposer
.
c
c: shor
t
_
v
ecto
r
: negate lambda if
z
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
laege
barv
i
nok
.
cc: series: o
n
ly requ
i
re r
a
ys to be rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
barvinok
.
c
c
: series
:
pass full options t
o
barvinok
_
c
oun
t
commit
|
commitdiff
|
tree
next