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: optionally call evalue_split_periods
2007-02-23
S
v
e
n
Verdoola
e
g
e
barvinok_maximize: optional
l
y call
evalue
_
s
p
lit_pe
r
io
d
s
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
eval
u
e
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
la
e
ge
ut
i
l
.
c: value_l
c
m: m
a
r
k
arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
do
o
la
e
ge
ev
a
lue
.
c: polynomi
a
l_projecti
o
n:
allow N
U
LL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Ver
d
o
o
laege
evalue
.
c:
e
xtract fiddling with coeff
i
cients out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sv
e
n Ve
r
doolaege
evalue_b
e
rnstein_co
e
ffi
c
ients: h
a
ndle e
a
ch coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoolaeg
e
ba
r
vinok_maximize: re
a
d evalues with
periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
laege
evalue_bern
s
tein_coef
f
icien
t
s: hand
l
e p
e
rio
d
i
c
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoola
e
ge
bernstei
n
: ber
n
steinExpansi
o
n
:
accept li
s
t of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
e
rdoolaege
barvinok_maximize:
m
a
k
e evalue parse a l
i
ttle bit
more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaege
barvinok_enumerate*:
be l
e
ss chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
coun
t
/enumerate: warn
i
f
i
n
put
i
s a u
n
io
n
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n Verdoolaege
D
o
mainIncludes: de
t
ect more
cases + adapt documentat
i
on
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdoolaege
evalue_
b
ernstein_coefficients: handle fracti
o
nals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n V
e
rdool
a
ege
evalue_bernstei
n
_coefficients: ha
n
dle flooring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
v
e
n Verdoolae
g
e
barvinok
_
max
i
miz
e
: new tool for m
a
ximiz
i
n
g
piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Ver
d
oolaege
e
v
al
u
e
.
c: evalue_fra
c
2pol
y
nomial: im
p
r
ove
a
ccuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
e
v
a
lue
.
c: add com
m
ent
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
e
v
alue
.
c
: ad
d
function for check
i
n
g
nesting of a
n
evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
eva
l
ue
.
c: add missing t
e
r
m
s
reord
e
rings
i
n e
v
alue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
lae
g
e
e
v
alue
.
c:
m
ake arguments o
f
eeq
u
al and e
v
alue
_
den
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaeg
e
barvinok_enume
r
ate_e: a
d
d --verbo
s
e option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
l
a
ege
bernstein: mark argume
n
t of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
bernstein
.
cc: add (optio
n
al) options argumen
t
t
o
evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
do
o
laege
add missin
g
virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
cc: re
n
ame struct
cone
t
o avo
i
d
c
onflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc: integ
e
r
p
o
i
nts i
n
t
he fundamental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif_e
h
rhart
.
c: clean up indent
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoo
l
a
ege
ver
i
f_ehrhart: opt
i
onally continue on err
o
r
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdool
a
ege
verif_ehrh
a
rt: c
o
mbine chec
k
_
p
oly
f
rom barvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdo
o
laege
verif_ehrhart
.
c:
che
c
k lower
and upper polynomial approxi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doolaege
v
erify
.
h:
m
ove barvinok_options into
v
erify_options
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Ver
d
o
o
laege
barvinok_enumerate: pass p
a
ra
m
eter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
barv
i
nok_enumerate
:
more polynomm
i
al approximatio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
v
a
lue
.
c
:
add ev
a
lue_frac
2
polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ve
r
doolaege
evalue
.
c: extract e
v
alue_spli
t
_domai
n
s_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdool
a
ege
poly
s
i
gn
.
c: fix cdd_
p
olyhed
r
on_affine_sign proto
t
ype
commit
|
commitdiff
|
tree
2007-02-12
S
ve
n
V
e
rd
o
olaege
M
a
kefile
:
only check
lex
m
in i
f
it has been comp
i
led
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
o
ol
a
ege
add
P
ar
a
m_Polyhedron_Scale_I
n
te
g
er pro
t
ot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
lattice_point
.
cc
:
add sanity check for index of
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
t
e
st: init
i
al
i
ze n
b
M
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
b
a
r
v
inok_enumerate: optio
n
all
y
c
om
p
u
te a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdoolae
g
e
P
r
ovide r
e
p
l
acement
f
o
r new PolyLi
b
fun
c
tion Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
laege
add eva
l
ue_div (adap
t
ed f
r
om PolyLib
)
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
Ver
d
o
olaege
test: simp
l
e te
s
t for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
e
ge
Makef
i
le
.
am: add depen
d
enci
e
s for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven
Ve
r
dool
a
e
g
e
gen
f
un
.
cc: short_rat::normal
i
ze:
mic
r
o-opti
m
iza
t
ions
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoo
l
a
ege
QQ: canonicaliz
e
on
r
ead and
m
ult
i
plication
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdo
o
l
a
ege
doc: b
a
rvino
k
_
s
eries requires pol
y
he
d
ron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n
Ve
r
d
o
o
l
aege
Makefi
l
e
.
am: ch
e
ck barvinok_enumera
t
e --series duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
r
do
o
laege
b
a
rvinok_enumer
a
te: compu
t
e
series
o
f pol
y
he
d
ra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oolaege
util
.
c: move Polyhedr
o
n_has_p
o
si
t
i
v
e
_rays from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
t
est all specialization algorit
h
ms during mak
e
check
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
dool
a
ege
pa
s
s op
t
ions throu
g
h to b
a
rvinok_
c
ount in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
e
r
d
oolaege
Hand
l
e non-unimodu
l
ar cones in dual d
e
co
m
p
o
sition
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaeg
e
barvinok_
s
tats: rename
u
n
imodular_c
o
nes to base
_
con
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolaege
reducer
.
cc:
e
x
t
ra sanity check
s
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ver
d
oolaege
H
an
d
l
e non-un
i
m
o
dular cones with a s
p
ecifie
d
m
aximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
decomposer
.
cc: decompose: min
o
r clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_options: i
n
clude po
i
nter to barvino
k
_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
add barvino
k
_options_fre
e
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoola
e
ge
barvi
n
ok_enu
m
e
rate: collect stats on
n
umb
e
r of un
i
m
o
du
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verd
o
o
laege
decomposer
.
cc: pola
r
_
d
ecomp
o
se:
r
emove co
m
mon
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoolaeg
e
p
artial_reducer
:
specialize list versio
n
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reduc
e
r::red
u
ce: better handling of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
S
ven
Ve
r
doolaege
reducer:
:
reduc
e
: combine
numer
a
tors with equal unredu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Ver
d
oo
l
aege
QQ:
a
dd operator for mult
i
plicatio
n
of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
reduce
r
:
:
r
educe:
take
a list of nume
r
ators as
i
nput
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
V
er
d
oolaege
gen
_
fun::r
e
ad
:
read gen_f
u
n from
file
descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
ege
add
g
e
n_fun:
:
add(short_ra
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolae
g
e
NTL_
Q
Q
.
cc: support rea
d
ing from str
e
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
gen_fun:
add operato
r
for pri
n
t
i
ng to st
r
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
ege
genfun
.
cc: a
d
d sho
r
t_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
dpoly_r: micro-opti
m
i
z
a
tions
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
doolae
g
e
dpoly: m
a
rk some more argument
s
/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
sho
r
t_rat::add: mark short_r
a
t argu
m
ent co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
NTL_Q
Q
: att
e
mpt to speed-up
+
=
oper
a
t
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
d
p
o
ly: add some docume
n
tation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
ola
e
g
e
d
p
oly: add
some mor
e
operations
commit
|
commitdiff
|
tree
2007-02-02
S
ve
n
Ver
d
oo
l
aege
barv
i
n
ok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gi
t
ig
n
o
re
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
aege
Q
Q:
a
dd ope
r
ator for multiplication by a scal
a
r (ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
e
rdoolaege
Ma
k
efile
.
am: check-series: check
-
-pr
i
mal
as w
e
ll
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Ma
k
efile
.
am: ins
t
all
(
some)
b
inaries
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
Verdoolaege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Ver
d
oo
l
aege
barv
i
nok_en
u
merate:
han
d
le lines in i
n
pu
t
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move
left_inv
e
rse from
le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
gen
_
f
un::
c
oeff
i
cient: m
o
ve print
i
n
g to s
h
ort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoo
l
a
eg
e
gen
_
fu
n
::coe
f
ficien
t
:
n
ew version
retu
r
ning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
genfun
.
cc: move coefficien
t
computati
o
n to
s
ho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
parti
a
l_reducer:
rest
a
rt computa
t
i
o
n
i
f rand
o
m vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdoolaege
gen_fun:
e
x
pose clear_terms, a m
e
t
h
od for cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen_fu
n
::Hadamard_pr
o
duct: propagate full opt
i
ons to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
o
l
aege
b
arvinok_enumerate:
i
ntegrate
v
erif
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
b
a
rvinok_enumerate: in
t
e
grate barvinok_
s
eries
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaeg
e
barvinok_enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ver
d
oolaege
le
x
min: make lexmin opt
i
ons private
commit
|
commitdiff
|
tree
2007-01-05
S
ven V
e
r
doo
l
a
ege
R
evert "bernstein/confi
g
u
r
e
.
in: remove r
e
dundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
olaege
barvinok
.
cc: ma
k
e u
s
e of samp
l
i
ng
for co
u
nting inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdoolae
g
e
barvi
n
ok
_
enumera
t
e
_e: respect --table
o
pt
i
on
commit
|
commitdiff
|
tree
next