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 use recursive bernstein_coefficients
2007-03-14
Sven Verdoolaege
barvinok_
m
aximize: optio
n
al
l
y use recursive
b
ernst
e
in_coe
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en
Verdoola
e
ge
b
e
rnstein
.
cc: bernstein_c
o
effic
i
ents: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bernstein
.
c
c: refactor b
e
rnstein_
c
o
e
fficie
n
ts_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
bernstein:
p
iecewise_lst: add sign
and
r
emove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernst
e
in: add
remo
v
e
_
redundants method
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoo
l
a
e
ge
doc: p
r
imal decomposition: typo
fixe
s
+
clarificat
i
ons
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaege
doc: f
i
x primal
d
e
c
o
mposit
i
on example + cl
e
a
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdoolaege
D
ocumen
t
prima
l
d
e
composition
commit
|
commitdiff
|
tree
2007-03-11
S
ven
V
erdoolaege
b
a
r
vinok
.
cc: barvin
o
k
_
en
u
merate:
fix lower
b
ound approximati
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
d
oolaege
e
v
alue_s
p
lit_perio
d
s
:
gracefully
h
an
d
le zero ev
a
lu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdoolaege
b
arvinok_max
i
mize: hand
l
e
z
er
o
input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvi
n
ok_
e
numerate_e: clean u
p
all
o
cation of o
p
tions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok
.
cc: handle c
a
se wher
e
no
t
h
ing is
l
eft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdool
a
ege
evalu
e
_
c
onvert: su
p
port printing a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n
Verdoolaege
latti
c
e_point
.
h: make self
-
contai
n
e
d
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
doolaege
evalue
.
c: extr
a
c
t eval
u
e
_extrac
t
_affine from
bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
e
rdoolaege
ber
n
stein
.
cc: bern
s
tein_
c
oeffic
i
en
t
s_
p
roduct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdo
o
la
e
ge
bernstei
n
_coeffic
i
ents: o
p
tio
n
ally optimize
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdool
a
ege
b
ernstein_coefficients: f
a
ctori
z
e domain if possible
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n Verdoola
e
ge
Pol
y
hedron_Factor: optionally return r
e
lation betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoolaege
be
r
nstein: expor
t
r
e
placeVariab
l
esInPolynom
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
d
oolaeg
e
bernstein
.
cc: ev
a
lue2ex: repr
e
sent
f
r
actional by s
c
a
l
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolaege
barvinok_maximiz
e
:
fix handling of
UNIONs in do
m
ains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
doolaege
bernstein_coeff
i
cients: skip empty subdo
m
ai
n
s
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verd
o
olaege
barv
i
nok_maxim
i
ze:
fix de
t
e
c
tion
of
end of domain specific
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Ve
r
doolaeg
e
b
arvin
o
k
_m
a
ximiz
e
: a
d
d input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_conve
r
t: extract
e
d
fro
m
b
a
rvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
oola
e
ge
util
.
c
:
mo
v
e Polyhedron_is_unbounded from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoolaege
bernstei
n
_
c
oe
f
fi
c
ients: skip infinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
erdoolae
g
e
barvinok_maximize: l
e
t user specif
y
v
a
riables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaeg
e
bernstein_coefficients:
skip computati
o
ns
i
f
d
omain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
barvinok_maximize: fix access to
freed memory
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
be
r
nstein/piecewis
e
_lst
.
cpp: add minim
i
ze() method
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoola
e
ge
bar
v
i
no
k
_maximize: rea
d
domains w
i
th UNI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use
G
iN
a
C
c
fl
a
g
s
and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
barvinok_maxim
i
ze: optional
l
y call
e
va
l
ue_split_per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolaege
e
v
alue
.
c: add evalue_s
p
lit_perio
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
util
.
c: valu
e
_l
c
m: mark
a
rg
u
men
t
s const
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
eva
l
ue
.
c
: polynomial_projection: allow N
U
LL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
o
o
lae
g
e
evalue
.
c: extract fiddl
i
ng wi
t
h coef
f
icien
t
s out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
V
erd
o
olaege
evalue_berns
t
ein_c
o
e
fficie
n
ts
:
han
d
le
e
ach cos
e
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaeg
e
b
a
r
v
inok_maximiz
e
: read e
v
a
l
ues wit
h
peri
o
dics
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Ver
d
oolaege
evalue_bernstein_co
e
f
f
icients: hand
l
e periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n
V
erdoolaege
bernstein: bernsteinExpansion
:
accept list o
f
polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
erdoo
l
aege
barvinok_m
a
x
i
m
ize: ma
k
e evalue parse a
l
ittle bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
barvino
k
_e
n
um
e
rat
e
*
: be less chatty
b
y default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count/enumerate: warn i
f
input
is a uni
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
D
o
ma
i
nIncl
u
de
s
: detect more cas
e
s + adapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
evalue_bernstein_co
e
ffic
i
ents: handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
evalu
e
_bernstein_coefficients: handle flo
o
rings
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoo
l
aege
barvi
n
ok_maximize: new tool for maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
Verdo
o
laeg
e
e
va
l
u
e
.
c: evalue
_
f
r
ac2pol
y
nomial:
impr
o
ve ac
c
uracy
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
Verdoolaege
evalue
.
c: add
comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add fun
c
t
i
o
n
for checking
n
e
s
t
ing of an eval
u
e
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolaege
evalue
.
c: add missin
g
term
s
reo
r
derin
g
s in e
v
alue_range_
r
e
du
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make arguments of eeq
u
al and evalue_d
e
nom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaeg
e
ba
r
v
i
n
o
k
_
e
numerate_e: add --verb
o
s
e
option
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoo
l
aege
b
e
rnstein:
m
ark argument of
v
alue2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
e
r
nstein
.
c
c: add (optional) options argu
m
ent to
e
v
a
lue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoo
l
aege
add
missin
g
virtual d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoo
l
a
ege
g
e
nfun
.
cc: rena
m
e str
u
ct con
e
to avoid co
n
flic
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoola
e
g
e
d
o
c: integer p
o
ints in the fundamental
p
a
ral
l
el
e
piped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
if_ehrhart
.
c: clean up
i
ndentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ver
i
f
_
e
h
rhart: optionally
continu
e
on error
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
v
e
rif_ehrhart: co
m
bin
e
c
he
c
k_poly
f
rom b
a
r
v
inok_en
u
merate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
ve
r
i
f
_ehrhart
.
c
:
che
c
k lower and
u
pp
e
r pol
y
nomial approximati
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
ool
a
ege
ve
r
i
f
y
.
h
:
m
o
ve ba
r
vinok_opti
o
n
s
into ver
i
fy_options
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoo
l
aeg
e
barvinok_enumerate
:
pas
s
pa
r
amete
r
n
a
mes to check
_
poly
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
b
ar
v
ino
k
_enu
m
era
t
e: mor
e
polynommial
approx
i
mations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: add e
v
a
l
ue_frac2poly
n
o
m
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
e
r
d
oolaege
eva
l
u
e
.
c: e
x
tr
a
c
t
ev
a
l
ue_spli
t
_do
m
ains
_
in
t
o_
o
rtha
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
polysign
.
c: fix cdd_polyhedron_aff
i
n
e
_
s
ign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
Make
f
ile: only check
l
exmin if it has be
e
n compile
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
add Param
_
Polyh
e
dro
n
_Scale_Integer proto
t
ype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
la
t
tice_point
.
cc: add sanity
check for
i
ndex
of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
r
d
oolaege
tes
t
: initialize nbMa
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
barvinok_en
u
merate
:
optionally
c
ompute a po
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdool
a
ege
Provide
replacement for new Pol
y
Lib functi
o
n Param_Po
l
yhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdoolaege
add evalue_
d
i
v (ad
a
pted from PolyLi
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
t
e
s
t
: simple test f
o
r Po
l
yLib's S
m
i
t
h
commit
|
commitdiff
|
tree
2007-02-12
S
ven Ve
r
dool
a
ege
Mak
e
file
.
am: a
d
d depend
e
ncies fo
r
ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verd
o
ol
a
ege
g
e
nfun
.
cc: short_rat::normalize: micro
-
opt
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
doolaege
QQ: ca
n
o
ni
c
a
lize
o
n read
and mul
t
iplication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
V
erdool
a
e
g
e
doc: barv
i
nok_
s
eries requ
i
res
polyhed
r
on
t
o have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
ool
a
ege
M
a
kefi
l
e
.
am
:
check barvinok_e
n
u
m
erate
--seri
e
s
durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
a
e
g
e
test all specialization a
l
gorithm
s
during
m
a
k
e
c
heck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pas
s
option
s
through to barvinok_count in bar
v
in
o
k
_
enu
m
erate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olaege
Han
d
le non-unimod
u
lar cones i
n
du
a
l
decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
barvino
k
_stats:
rename unimodular_con
e
s
t
o
base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
r
e
d
u
cer
.
cc: e
x
tr
a
sanity
checks
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
H
a
n
dle
non-
u
nimodular cones
with a spe
c
ified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n
V
erdoolaege
deco
m
poser
.
cc: decompose: minor c
l
ean-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_options:
include pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verd
o
olaege
add barvinok_o
p
t
i
o
n
s_free
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
rdo
o
laege
bar
v
inok_enumerate: collect sta
t
s on
n
umb
e
r of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
d
e
compos
e
r
.
cc: polar_d
e
compose: rem
o
ve comm
o
n
di
v
iso
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
r
d
oolaege
part
i
al_r
e
du
c
e
r:
s
pe
c
ialize l
i
st v
e
rs
i
o
n
of
base
commit
|
commitdiff
|
tree
2007-02-05
S
v
e
n Verdoolaege
r
e
ducer::r
e
duce: better handling
of te
r
m
s
with c
o
m
mon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
e
rdoolaege
re
d
ucer
:
:reduce: combine numerators with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Ve
r
doo
l
aege
QQ: add o
p
erator for multiplic
a
tion of vector by a
.
.
.
commit
|
commitdiff
|
tree
next