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
add an ehrhart example with interesting chambers
2007-02-27
Sven
Verdoolae
g
e
util
.
c
:
move Po
l
y
h
e
d
r
o
n_
i
s_unbounded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
a
e
ge
bernstein_coefficients: skip infinite (sub)do
m
ains
commit
|
commitdiff
|
tree
2007-02-26
S
ve
n
Verdoolaege
bar
v
inok_m
a
ximize:
let user specif
y
variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
bernstein_coefficients: s
k
ip
comp
u
tat
i
ons if
d
om
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoo
l
aeg
e
barvinok_maximize: fix
access to freed
me
m
ory
commit
|
commitdiff
|
tree
2007-02-26
Har
a
ld De
v
os
m
i
nimize as option
o
f bar
v
inok
_
maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolae
g
e
ber
n
stein/p
i
e
c
ewise_lst
.
cp
p
: a
d
d min
i
m
ize(
)
method
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoo
l
aege
barvin
o
k_maximize:
r
ead domains wit
h
UNI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cflag
s
a
nd libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
Ver
d
o
o
laege
barvinok_maximize: optionally
c
all evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
eva
l
ue
.
c: add evalue_spli
t
_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
d
oolaege
util
.
c: value
_
lcm: mar
k
arguments const
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
evalue
.
c: p
o
l
y
nomial_
p
ro
j
e
c
tion:
a
llow N
U
L
L R ar
g
ument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
eva
l
ue
.
c
: extract fi
d
dling
wi
t
h coe
f
fic
i
e
nts out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
e
v
a
l
ue_bernstein
_
coefficients: handl
e
each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
r
doolaege
barvinok_maxim
i
z
e
: read
e
val
u
es with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verd
o
olaege
evalue_bernstein_coefficients:
h
andle p
e
riodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
V
erdoolae
g
e
b
e
rnstein: bernsteinExpansion:
accept
l
ist of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
barv
i
n
o
k
_maximize: m
a
ke eval
u
e
p
arse a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Ve
r
d
o
olaege
b
arvinok_enu
m
erate*: be less chatty by defau
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count
/
enumerate: warn if
inp
u
t is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
D
omainIncludes: d
e
tect more cases + adapt
d
o
c
umentat
i
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
evalue_bernstein_co
e
fficients: handle fr
a
ctionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolaege
evalue_bernstein_coefficients: handle floorin
g
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
V
e
rdoolaege
barvino
k
_max
i
m
i
ze:
new
t
ool for maximizing piecewi
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaege
ev
a
l
u
e
.
c: evalue_
f
rac2polynomial: impro
v
e acc
u
racy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
evalue
.
c: add
comment
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
e
rdoolaege
evalue
.
c
: a
d
d function for checki
n
g nes
t
ing of an
evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
eg
e
evalu
e
.
c
:
a
dd
mi
s
sing ter
m
s re
o
rde
r
i
n
gs in ev
a
lue_r
a
nge_re
d
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Ver
d
oolaege
eval
u
e
.
c: make
a
rguments of ee
q
ual and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
barvinok_enumer
a
t
e
_e: add --ver
b
ose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verd
o
olaege
ber
n
s
tein: mark argument of v
a
lue2numeric
c
o
n
st
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
erdoolaege
be
r
ns
t
e
in
.
c
c: add (optional)
options argument to eva
l
ue_
b
ern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Verdoolaege
add missing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolae
g
e
genfun
.
cc: re
n
ame struct cone to avoid con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
doc: integer poi
n
ts in the f
u
ndamental
p
aral
l
el
e
piped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
ae
g
e
ver
i
f_ehrhar
t
.
c
:
clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
e
r
d
oolaege
verif_ehrhar
t
:
optionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif_ehrh
a
rt: combine check_po
l
y
fro
m
b
a
rvinok_enumerate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdo
o
laege
verif_ehr
h
a
r
t
.
c:
c
he
c
k lower and
up
p
er poly
n
o
m
i
al appr
o
ximat
i
o
n
s
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
v
e
r
i
fy
.
h:
m
ove barvinok_op
t
ion
s
into
ver
i
fy_op
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdoola
e
ge
barvino
k
_enumera
t
e
:
pass
parameter name
s
to ch
e
ck_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rd
o
olae
g
e
barvinok_
e
numerate
:
more polynommia
l
approxi
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
evalue
.
c:
add
e
value_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eval
u
e
.
c: extract evalue_split_domains_into_ort
h
ants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaeg
e
polysign
.
c: fix
cdd_p
o
l
y
h
e
d
ron
_
affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verd
o
olaege
Makefil
e
: only c
h
eck lexmin if it ha
s
been
compil
e
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_Pol
y
h
e
dron_Scale_Integ
e
r proto
t
ype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
lattice_point
.
cc: add sanity check for index of con
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
t
e
st: init
i
a
l
ize
n
bMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
barv
i
nok_
e
numera
t
e: optionally com
p
ute a polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
d
oolaege
Provide replacement
f
or new
PolyLib function Pa
r
am_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaeg
e
add evalue
_
div (adapted from P
o
lyLi
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoo
l
aege
test:
s
imple test
for
PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
r
d
oolaege
Makefile
.
am: add dependenc
i
es
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Ver
d
o
o
laege
genfun
.
cc:
short
_
rat::norm
a
lize:
m
icro-op
t
im
i
zations
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
QQ: can
o
nicali
z
e o
n
r
e
ad and multipl
i
cation
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
doc: barvinok_series requi
r
es polyhedron t
o
have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
Makef
i
le
.
am: ch
e
ck barvinok_enumerate --serie
s
durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
b
a
r
vinok_enumerate: compute series of polyhedra wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaeg
e
util
.
c
:
m
ove Po
l
yhedron_has_positiv
e
_rays from
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
ven
Verdoolaege
test
all specialization algorithms duri
n
g
mak
e
check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
ge
pass o
p
tions through to barvinok_count in
b
arvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handle n
o
n-u
n
imo
d
ular cone
s
i
n
du
a
l decomposition
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n Ver
d
oolaege
barvinok_s
t
ats: r
e
na
m
e
u
n
i
m
o
dular_cones t
o
base_co
n
es
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdoolaege
reducer
.
cc: extra s
a
nity
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n
Ver
d
oo
l
aege
Handle no
n
-unimodular cones with a
s
pecified maxi
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolae
g
e
decomposer
.
c
c
:
d
e
compo
s
e
: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoo
l
a
e
g
e
barvinok_
o
ptions: i
n
c
l
ude pointer to barvinok_
s
tats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
add
b
ar
v
inok_options_fre
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
a
r
v
inok_enumerate
:
collect stat
s
on nu
m
ber of unimodul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
d
ecomposer
.
cc
:
polar_de
c
o
mpose: remove
c
ommon d
i
visor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Ve
r
doolaege
partial_reduce
r
:
specialize li
s
t
versi
o
n of
b
a
se
commit
|
commitdiff
|
tree
2007-02-05
Sven Ver
d
oolaege
reducer::reduce: be
t
ter handling of term
s
with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::reduce: combine
nume
r
ators wi
t
h
e
qual unr
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ
:
add operat
o
r for mul
t
iplication o
f
vect
o
r by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdoola
e
ge
reducer::reduce: take a li
s
t of numerat
o
rs
as
i
n
put
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doo
l
aege
gen_fun
:
:read: read
gen_fun fr
o
m file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
add gen
_
fun::add(
s
h
ort
_
ra
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
T
L_QQ
.
cc
:
s
u
ppo
r
t reading from s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
e
r
d
o
o
l
aege
gen
_
fu
n
: add oper
a
t
o
r for pri
n
ting to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
genfun
.
c
c
:
add shor
t
_rat copy const
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpo
l
y_
r
:
micr
o
-op
t
imizations
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
olaege
dpoly:
ma
r
k s
o
me more arguments/method
s
const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rdoolaege
short_ra
t
::add: mark
sh
o
r
t_rat argum
e
n
t
const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_QQ
:
a
t
tempt t
o
speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dpo
l
y: a
d
d s
o
me
documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
dpo
l
y
:
add some mo
r
e operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
barvino
k
/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
add
.
g
i
tignore
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolae
g
e
QQ: ad
d
o
pe
r
ator fo
r
mult
i
plication
by a
s
ca
l
ar (
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaege
Makefi
l
e
.
am: check-series: che
c
k
--prima
l
as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdool
a
ege
M
a
k
e
f
i
l
e
.
am: install (some) bin
a
ries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolae
g
e
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
S
ven
Verdoo
l
aeg
e
barv
i
nok_enum
e
ra
t
e
:
handle line
s
in i
n
put polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
e
n Verdool
a
ege
util
.
c: mo
v
e
le
f
t_in
v
erse from lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdo
o
lae
g
e
gen_fun:
:
coeffi
c
ient: move printing to s
h
ort_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen_fun::coeffi
c
ien
t
:
new version
returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
g
e
nfun
.
cc: move coeffici
e
nt comput
a
tion to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
partial_reducer: rest
a
r
t
computation
i
f rand
o
m
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
next