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
evalue.c: evalue_frac2polynomial: improve accuracy
2007-02-17
S
v
e
n
Ve
r
doola
e
ge
ev
a
l
u
e
.
c: evalue_
f
ra
c
2polynomial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
o
olaege
evalue
.
c: ad
d
c
o
mment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolae
g
e
eva
l
u
e
.
c: add funct
i
on
f
or c
h
ecking nesti
n
g of
an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
evalu
e
.
c: add m
i
ssing t
e
r
m
s
r
eorderings in evalue_range_
r
edu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
e
value
.
c: make
a
rgume
n
ts of ee
q
ual a
n
d evalu
e
_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doo
l
aeg
e
barvi
n
ok
_
enumerate_e: add
-
-
v
erbos
e
opt
i
on
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoola
e
ge
ber
n
st
e
in: mark argument
of value2n
u
meric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein
.
cc: add (op
t
ional) options argument to eval
u
e_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven
Verdoolae
g
e
add missing virtual
d
estructors
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Ve
r
doolae
g
e
genfun
.
c
c: r
e
name struct co
n
e t
o
a
v
oid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
do
c
: intege
r
poin
t
s in the fund
a
mental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
e
rdoolaege
verif_e
h
r
h
art
.
c:
clean up ind
e
nta
t
i
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verd
o
olaege
v
e
rif_ehrhart: o
p
t
i
onally c
o
ntinue
o
n
error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhart: comb
i
ne check_pol
y
from barvi
n
ok_enumerate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doo
l
aege
verif
_
ehrhart
.
c:
c
heck lower and u
p
p
e
r
poly
n
omial approx
i
m
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verify
.
h: move
barv
i
nok_op
t
ions into ver
i
f
y_options
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
e
r
doolaege
barvino
k
_
e
n
umerate: pass parameter n
a
mes to check
_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
g
e
ba
r
vinok_enumerate: more polyn
o
mmi
a
l approximations
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoo
l
a
e
ge
evalue
.
c: ad
d
ev
a
lue_fra
c
2poly
n
omial
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verd
o
olaege
eva
l
ue
.
c: extract eval
u
e_split_
d
omains_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
polysign
.
c
: f
i
x cdd_polyhe
d
ron_affi
n
e_sign prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Ver
d
o
o
laege
Makefile: only ch
e
ck lexmin if it ha
s
been
c
o
mpiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
a
d
d Para
m
_Polyh
e
dr
o
n_Scale
_
Integer
prototype
commit
|
commitdiff
|
tree
2007-02-12
S
v
en V
e
rdoolaege
lattice_po
i
nt
.
cc: add sani
t
y check for index of c
o
ne
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test:
initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvinok_enumerate: optionally compute a poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdo
o
lae
g
e
Provi
d
e
r
eplacement for new P
o
lyLi
b
f
un
c
t
i
on P
a
ram_
P
ol
y
hedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
add evalue_div (a
d
apt
e
d from
Pol
y
Lib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
dool
a
ege
te
s
t
: simple test
f
or Pol
y
Lib's
S
mit
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
Make
f
ile
.
am: add d
e
p
endencies
for chec
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaeg
e
genfun
.
cc: short_rat::normalize: micro-opt
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
doo
l
aege
QQ: canoni
c
a
lize on read and mult
i
p
l
i
cation
commit
|
commitdiff
|
tree
2007-02-09
Sven
Ver
d
o
o
l
aege
doc
:
barvino
k
_ser
i
es req
u
ir
e
s
pol
y
hed
r
on to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoola
e
ge
Makefile
.
am: check barvinok_
e
n
umerat
e
-
-
series d
u
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
t
est all s
p
ecialization algo
r
ithms during make check
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n V
e
rdoola
e
g
e
pass
op
t
i
on
s
throug
h
to ba
r
v
inok
_
co
u
n
t
in barvinok_e
n
umerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
dool
a
ege
Handle
non-unimod
u
lar c
o
nes in dual de
c
omposition
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Ve
r
doo
l
aege
barvino
k
_stats: rename unimod
u
lar_cones
to base_c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n
Verdoolaege
reducer
.
cc:
e
x
tra sanity che
c
k
s
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
Handle non-unim
o
d
ular
c
ones
wit
h
a specified maxima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoolae
g
e
dec
o
mpo
s
e
r
.
cc:
decompose
:
minor cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdoolaege
bar
v
in
o
k_options:
i
nclude point
e
r
to barvinok
_
sta
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
add ba
r
vino
k
_
o
ptions_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barv
i
n
o
k_enume
r
ate
:
collect stats on n
u
mbe
r
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
c
c
: polar_decomp
o
se: remove c
o
mmon d
i
visor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
partial_
r
e
d
uc
e
r: spec
i
al
i
ze list
v
e
rsion of ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven
Verdoolaege
reducer:
:
re
d
u
ce: bette
r
han
d
ling of terms with co
m
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoolaege
red
u
c
e
r::
r
e
d
uc
e
: c
o
mbine numerat
o
rs with equal unre
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Verdoola
e
g
e
QQ: add
o
p
erator fo
r
multiplicat
i
on of vect
o
r by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
redu
c
er::r
e
d
u
ce:
take a list of numerators as in
p
ut
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::read: read
g
en_fun from f
i
l
e
descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oola
e
ge
add
gen_
f
un
:
:
a
d
d(s
h
o
rt_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
TL_QQ
.
cc
:
s
up
p
ort readi
n
g f
r
om st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_fu
n
:
add operator for
p
rinting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
genfun
.
c
c
:
add short_rat copy
c
o
nstructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
dpoly_r: mic
r
o-optimization
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly
:
mark some more ar
g
uments
/
methods c
o
n
st
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
rdoolae
g
e
s
h
ort_rat::a
d
d: ma
r
k shor
t
_
r
at a
r
g
u
ment cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rdool
a
ege
NTL_QQ: attempt to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
dpoly: add som
e
documentat
i
on
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
o
olaeg
e
dpoly:
add s
o
me more ope
r
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doola
e
ge
bar
v
ino
k
/
g
e
n
fun
.
h: fix comme
n
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
giti
g
nore
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
Q
Q: add operator
f
o
r multipl
i
c
a
tio
n
by
a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
v
en V
e
rd
o
olaege
Makefile
.
am: check-series
:
check
-
-primal as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven
Verdoolaege
Makefile
.
am:
i
nstall (some) bi
n
a
r
i
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
Ve
r
doolaege
undefine CS fo
r
Solaris 1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolae
g
e
barv
i
nok_en
u
m
e
rate: hand
l
e
line
s
in input polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sve
n
V
erdoolaege
uti
l
.
c
: mo
v
e left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
laege
gen_fun:
:
coef
f
icient: mo
v
e printing t
o
short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erd
o
olaege
g
e
n_fun::coeff
i
c
i
e
n
t
: new version returning
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genfun
.
c
c
: move coeffic
i
e
n
t c
o
mputation to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Ve
r
d
o
olaege
pa
r
tial_reducer: r
e
start compu
t
ation if ra
n
dom vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
g
e
n_f
u
n: expose clear_terms, a me
t
hod for c
l
ea
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::Hadamar
d
_produc
t
:
pro
p
agate full options
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
ola
e
ge
b
arvinok_
e
nume
r
ate: i
n
tegr
a
te verif_ehrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
l
aege
b
a
rvin
o
k
_
e
numerat
e
:
integrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
_
enum
e
rate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
l
e
x
m
i
n
:
ma
k
e
lexmin options
p
rivate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
a
e
ge
Rev
e
rt "be
r
ns
t
ein/configure
.
in: remo
v
e
r
ed
u
n
dant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
bar
v
inok
.
cc: ma
k
e
u
s
e of sampling f
o
r cou
n
t
i
ng i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aeg
e
barv
i
no
k
_
e
n
um
e
r
a
te_e: respect -
-
t
a
ble option
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
olaege
lex
m
i
n
.
cc: mov
e
selection
o
f
g
br solver to
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaeg
e
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoo
l
a
e
ge
barvinok_enum
e
r
a
te_e: ex
t
ract out ve
r
ification options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
barvinok_enumerate_e:
p
rint warning
when --omega o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
barvinok/p
o
lylib
.
h: defi
n
e
v
alue_subtra
c
t
and value_ad
d
mul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
d
ecomposer
.
cc:
decompose: m
i
cro-optim
i
zat
i
on
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
s
i
gn
e
d_cone:
st
o
re rays
of cone
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
lexmin: disable u
s
e of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
vinok_
e
numerate_e
.
c
c
: fix arg
p
opti
o
n
s parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
a
ege
opti
o
ns
.
c: m
o
ve choice of
use of look
u
p-
t
abl
e
to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
erdoolaege
lat
t
ice_point
.
cc: fix #ifnde
f
USE_MODULO
c
ode path
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
decomposer
.
cc: short_vector: remove redunda
n
t code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: sho
r
t
_
v
e
ctor:
n
egate lambda
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
ae
g
e
ba
r
vinok
.
c
c
:
s
eries
:
only require ray
s
to be
revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdool
a
e
g
e
barv
i
no
k
.
c
c
: series: pass full options to
b
a
rvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
np_base::handle:
p
ass around rays matrix
ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoola
e
g
e
decom
p
oser
.
cc: sup
p
o
rt pr
i
mal decompos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
laege
decomposer
.
cc: barvino
k
_decomp
o
se: implemen
t
i
n terms
.
.
.
commit
|
commitdiff
|
tree
next