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
DomainIncludes: detect more cases + adapt documentation
2007-02-19
Sven
V
erdo
o
laege
Dom
a
inIncludes: detect
more cases + adap
t
docume
n
tation
commit
|
commitdiff
|
tree
2007-02-19
S
v
en
V
erdoolaeg
e
eva
l
ue_bernstei
n
_coefficie
n
ts:
h
a
ndle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
evalue_bernstein_c
o
efficients:
h
andle
f
loorings i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
V
erdoolaege
barvinok_ma
x
imize:
n
ew tool
f
or maxi
m
izing piecewi
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
V
erdool
a
ege
e
v
alue
.
c: eval
u
e_frac2
p
o
ly
n
o
m
ial: improve
accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
e
valu
e
.
c: add c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolae
g
e
eval
u
e
.
c:
add function for checking nes
t
i
n
g of
a
n
e
value
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
o
laege
evalue
.
c
:
add
m
issing ter
m
s reorder
i
ngs in ev
a
l
ue_
r
ange_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Ve
r
doolae
g
e
ev
a
lue
.
c:
make argu
m
ents of eequ
a
l
and evalue_deno
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvin
o
k_enumerate_e: add --verb
o
se option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
bernstein
:
mark
a
r
gument of value2
n
ume
r
ic const
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n V
e
rdoolaege
berns
t
ein
.
cc: add (optio
n
al) options argument to evalue_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoola
e
ge
ad
d
miss
i
n
g
virtual destruc
t
ors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfu
n
.
cc: rename struct
cone
to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Ver
d
oolaege
doc: integer p
o
ints in
t
h
e f
u
ndame
n
tal
parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verd
o
olaege
verif_ehrhar
t
.
c:
clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
verif_e
h
rhart:
o
ptio
n
ally con
t
inue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rif_ehrhart: combine check_poly from barvino
k
_enum
e
rate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
ver
i
f
_ehrh
a
rt
.
c
: check lowe
r
and upper po
l
y
n
omial approximat
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
e
rdoolaege
verify
.
h:
m
o
v
e
b
arvi
n
ok_opti
o
ns into
v
erify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
barvinok_enumerate: pass
p
ara
m
eter names to
c
heck_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_
e
numera
t
e: mo
r
e polyn
o
mmial approxim
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
evalue
.
c: a
d
d evalue
_
frac2polyno
m
ial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: ext
r
a
c
t
evalue_s
p
lit_
d
omain
s
_into_orth
a
nt
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
poly
s
ig
n
.
c: f
i
x cdd
_
polyhedro
n
_affi
n
e_sign p
r
o
t
oty
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
Ma
k
efi
l
e:
onl
y
che
c
k le
x
min if it h
a
s been co
m
pile
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laeg
e
add
Param_
P
o
l
yhedron_Scale
_
Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
lattice_p
o
in
t
.
cc: a
d
d sa
n
ity check for index o
f
c
one
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
ool
a
ege
te
s
t: i
n
iti
a
lize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdo
o
l
aege
barvi
n
ok
_
e
n
umerate: optionally
compute a poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdool
a
e
g
e
Provide
replacement for
new PolyLib functio
n
Pa
r
am_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
add evalue
_
div (adapted from Poly
L
ib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
ool
a
e
g
e
test: s
i
mple test f
o
r
PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
Ma
k
efile
.
am:
add d
e
p
e
ndencies for
checks
commit
|
commitdiff
|
tree
2007-02-11
S
ven Ve
r
doola
e
ge
g
enfun
.
cc: sh
o
rt_rat::no
r
m
a
lize
:
mic
r
o-op
t
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonicalize on
read an
d
multi
p
lication
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdo
o
laege
doc: b
a
r
v
inok_series requires polyhedr
o
n
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaeg
e
Makef
i
le
.
am: check
b
arvino
k
_
e
numerate --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvi
n
ok_enumerate: comput
e
se
r
i
e
s
o
f polyhedra w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
V
e
rdoolaege
uti
l
.
c:
m
ove
Polyhedron_has_po
s
itive_rays from barvino
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
e
rdool
a
ege
test all specialization algo
r
ithms duri
n
g
make ch
e
ck
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoo
l
aege
pas
s
op
t
i
ons through
to barvino
k
_count in barvinok
_
enumerat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoo
l
aege
Hand
l
e non-u
n
im
o
du
l
ar cones i
n
dual d
e
composi
t
ion
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolaege
barvin
o
k_stats: rename u
n
imodular_cones t
o
base_cones
commit
|
commitdiff
|
tree
2007-02-08
S
v
en
Verdoolaege
reducer
.
c
c
:
ex
t
ra
sa
n
ity ch
e
cks
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ve
r
doolaege
H
andle no
n
-unimodula
r
cones with a specified
m
aximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
e
composer
.
cc: decompose:
minor clean-u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven
Ver
d
o
o
laege
b
a
rvinok_opti
o
n
s
: i
n
c
l
ude pointe
r
to b
a
rvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
o
laege
ad
d
barv
i
no
k
_options
_
free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
o
lae
g
e
barvinok_
e
numer
a
te: co
l
l
e
c
t st
a
ts on
number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoo
l
aeg
e
decomposer
.
c
c
: po
l
ar_
d
ecompose: remove common div
i
s
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
part
i
al_reducer: specializ
e
l
i
s
t version
o
f base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reduce
r
::reduce: b
e
tter han
d
ling of ter
m
s with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoolaege
reducer
:
:
r
educe: combine nu
m
erators wi
t
h equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Verdoolaeg
e
QQ: ad
d
opera
t
or for mu
l
tiplication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdo
o
laege
re
d
ucer::reduce:
t
ake a l
i
st
o
f numerat
o
rs as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen
_
fun:
:
read: re
a
d
gen_fun from fi
l
e
descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
gen_
f
un
:
:add(s
h
ort_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdo
o
laege
NTL_QQ
.
cc: support
r
eading from str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
gen_
f
un: add
opera
t
or for printing to strea
m
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
g
e
n
f
u
n
.
cc: add sh
o
rt_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoo
l
aege
dpoly_r:
micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolae
g
e
d
poly: m
a
rk some mo
r
e a
r
guments
/
m
e
t
h
o
ds c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
short_rat::add: m
a
rk s
h
ort
_
rat
a
rgument const
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdool
a
eg
e
NTL_QQ: attempt t
o
speed-up += oper
a
t
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
: ad
d
some
documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
dpoly:
add so
m
e
m
ore operat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verdool
a
e
g
e
barvinok/genfun
.
h:
fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
add
.
git
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
rdoolaege
Q
Q
:
add o
p
erator for m
u
ltiplication by
a
s
c
alar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
Verdool
a
ege
M
ake
f
i
le
.
am: chec
k
-series: che
c
k
-
-primal as well
commit
|
commitdiff
|
tree
2007-01-16
S
ven
Verdoolaege
Makefi
l
e
.
am: ins
t
all (
s
ome) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
e
rd
o
olaege
unde
f
ine C
S
for Solaris
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Verdoolaege
ba
r
vinok_enumerate: handle
l
ines in input
p
o
ly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
ven Verdoolaege
util
.
c: mov
e
left_inverse from l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
gen_fun::c
o
efficien
t
:
move printing
t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
gen_fu
n
::coeffici
e
nt: new vers
i
on returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoo
l
aeg
e
gen
f
un
.
c
c
: move c
o
eff
i
c
ient computation to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
p
artial_reduc
e
r:
restart
c
ompu
t
ation if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
gen_fun: expose c
l
ear_term
s
,
a
m
ethod for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun:
:
Hadamard_p
r
oduct:
p
ro
p
agate ful
l
o
pti
o
n
s t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvino
k
_enumerate:
i
ntegrate
v
erif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
oolaege
ba
r
v
inok_enumerate: integrate barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
bar
v
inok_enumerate:
us
e
arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
lexmin:
make lexmi
n
opt
i
o
ns private
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdo
o
laege
Rev
e
r
t
"bernstein/
c
onfig
u
re
.
in:
re
m
ove redundant ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
b
arv
i
nok
.
cc: ma
k
e use of samp
l
ing for count
i
ng infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvinok_enume
r
ate_
e
: respect --tab
l
e option
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
l
exmin
.
cc:
move selection of gbr s
o
lver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaeg
e
l
e
xmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
bar
v
inok_
e
numerate_e: extrac
t
out verifi
c
ation options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
barvinok_enumer
a
t
e_e: pr
i
nt wa
r
n
i
ng whe
n
-
-om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
o
lae
g
e
bernstein/configure
.
in
:
remove redund
a
nt ch
a
nge to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
ar
v
inok/
p
ol
y
li
b
.
h: define val
u
e_subtract
and value_
a
ddmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
deco
m
poser
.
cc: dec
o
mpose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
signed_cone: store rays o
f
cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
omega/parse
r
.
y: remove brackets
around ty
p
e in
n
ew
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
e
ge
lexmin
:
disable use
o
f
lookup-ta
b
les
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
b
arvinok_enumerate_e
.
cc: fix argp o
p
tions pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
o
ptions
.
c
:
move choice of use
of
l
ookup-table to
bar
v
inok_
o
p
.
.
.
commit
|
commitdiff
|
tree
next