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
Sven Verdoolaege
evalue
.
c:
evalue_
f
rac2pol
y
nomial:
i
mprove acc
u
racy
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolae
g
e
e
value
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
ev
a
l
ue
.
c
: add function for check
i
n
g nest
i
n
g of an
e
value
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
e
v
a
lue
.
c:
a
d
d
mi
s
sing terms
r
eor
d
erings i
n
evalue_
r
an
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
eg
e
ev
a
lue
.
c:
m
a
k
e a
r
guments of
e
e
qual and ev
a
lue_
d
enom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barv
i
no
k
_enum
e
rate_e: add --verb
o
se
o
ption
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
er
n
stein: mark argument of v
a
lue2numeric c
o
nst
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
bernstein
.
cc: add
(
optional)
o
ptions argume
n
t to evalue_
b
ern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
e
g
e
add missing virtual d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doo
l
aege
genfun
.
c
c
: rename struct c
o
ne
to avoid conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
doc: integer points in the f
u
n
d
amen
t
al p
a
rallelep
i
ped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
verif_ehrh
a
rt
.
c:
c
l
ean up i
n
dentatio
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
verif_eh
r
hart: op
t
ionall
y
continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
a
e
ge
verif_ehrhar
t
:
c
ombine check_
p
oly from barvi
n
ok_enumerate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
v
e
rif_ehrhart
.
c: check lower and uppe
r
polynomial approxim
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif
y
.
h: mov
e
barvinok_opt
i
o
ns into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
b
a
r
v
i
nok_enumerate: pas
s
p
a
rameter n
a
mes
t
o check_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
barvinok_e
n
um
e
rate:
m
o
re
po
l
yno
m
mial ap
p
rox
i
mat
i
o
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
evalue
.
c: add evalue_frac2
p
olynomi
a
l
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaeg
e
ev
a
l
u
e
.
c:
e
xtract evalue_split_domains_into_ortha
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
Verd
o
olaege
pol
y
si
g
n
.
c: fix c
d
d
_p
o
lyhedron_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaeg
e
M
akefile: only check lexmin
if
i
t has bee
n
compile
d
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
add Param_Polyhedron_S
c
ale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
lattice_point
.
c
c
: ad
d
sa
n
ity check
f
or index
of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
t
e
st:
initiali
z
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rd
o
olaege
barvinok_enumerate: optionally compute
a polyn
o
mi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Provi
d
e rep
l
a
c
e
ment for ne
w
PolyLib
f
un
c
tion Param_Pol
y
hedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oola
e
ge
a
d
d
evalue
_
div (adapted from P
o
lyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
er
d
oolaeg
e
t
e
s
t
: s
i
mple test f
o
r Po
l
yLib's
Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am: add
d
epen
d
encies for
c
hecks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolae
g
e
g
e
nfun
.
cc: short
_
rat::normalize: micr
o
-
op
t
imiz
a
tion
s
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
erd
o
o
l
a
e
ge
QQ: ca
n
o
n
icalize on read
a
nd mul
t
ipl
i
cation
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
doc:
b
a
rvino
k
_series requires polyhe
d
ron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
Makefile
.
am: check barvi
n
ok_
e
n
u
mera
t
e -
-
series
d
uring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolaege
bar
v
inok
_
enume
r
ate: co
m
put
e
series
o
f polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
eg
e
util
.
c:
move Polyhedron
_
has_
p
ositive_rays from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
t
e
st all speci
a
lizatio
n
algorithms during
m
ake
ch
e
ck
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Ver
d
oola
e
ge
pass
options t
h
rough
to barvino
k
_
c
ount in b
a
rvinok_
e
numerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handl
e
non-unimodul
a
r co
n
es in dual
d
ecom
p
osition
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdoolae
g
e
b
a
r
vinok_stats: rename unimo
d
ular_cones to
base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
reduce
r
.
cc: extra s
a
nity
checks
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
V
e
rdoolaege
Handle non-unimodula
r
cones
w
ith
a spec
i
f
ied maxi
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n
Ve
r
doolaege
d
ecomp
o
se
r
.
cc: decompose: m
i
nor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
ven
V
erdoolaege
barvinok_options: i
n
clud
e
po
i
nter
t
o
bar
v
inok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Ve
r
d
oo
l
aege
add barvinok_options_f
r
ee
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
barvinok
_
enumerate: collect s
t
at
s
on n
u
mber of
u
nimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
V
erdoolaege
decomp
o
ser
.
cc: polar_d
e
compo
s
e: remove c
o
mmon div
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rd
o
olaege
p
a
r
tial_
r
edu
c
er: spec
i
aliz
e
list version
o
f ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Ver
d
oolaege
reduc
e
r
:
:reduce:
better
h
andling of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
V
e
rdoolaege
r
e
ducer::reduce:
combine
n
umerators with equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
V
erdoolaege
QQ: add operator
for mult
i
plication of
v
ec
t
or by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
r
educer::reduce: take a list of numera
t
ors a
s
inpu
t
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verd
o
o
l
a
e
ge
gen_
f
un::r
e
ad
:
read gen_fun from
f
ile descr
i
ptor
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
o
la
e
ge
add gen_fun
:
:add
(
short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL
_
QQ
.
cc
:
support r
e
ading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
la
e
g
e
gen_fun: add operator for
p
rint
i
ng to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
o
o
laege
genfun
.
c
c
: add
short_ra
t
copy cons
t
ructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
dpoly_r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
dpoly
:
mark some m
o
re
arguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
short_rat::add: mark short_rat argum
e
n
t
c
o
n
s
t
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
NTL_QQ: attem
p
t
t
o s
p
eed-up += ope
r
ator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
dpoly: add
som
e
documentation
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
olaege
dpoly
:
add some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
b
ar
v
inok/genfun
.
h
:
fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
g
e
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add
operator for multiplic
a
tion b
y
a scalar
(
Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
S
ven V
e
rdoolaege
M
a
kefile
.
am:
c
he
c
k-series
:
check
-
-primal as wel
l
commit
|
commitdiff
|
tree
2007-01-16
Sven V
e
rdool
a
eg
e
Makefile
.
am: install
(
s
ome) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdool
a
e
g
e
undefine CS for Sol
a
ris 10
commit
|
commitdiff
|
tree
2007-01-14
S
v
en Ve
r
d
o
olaege
barvinok_
e
n
u
merate:
h
andl
e
lines in i
n
put poly
h
ed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven V
e
rdoolaege
util
.
c
:
m
ove left_inverse
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
e
n_f
u
n::co
e
f
f
icient: move
prin
t
ing to
sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
gen_fun::co
e
ff
i
cient: new
vers
i
on re
t
urni
n
g ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
genfun
.
c
c
:
move coeffic
i
ent
c
om
p
utation to short_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
partial_redu
c
er: res
t
ar
t
computation
if
r
an
d
om
v
ec
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdoolaeg
e
gen_fun
:
expose clear_term
s
, a method
for cl
e
ar
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::Hadamard_prod
u
ct: propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
dool
a
e
g
e
b
a
rvinok
_
enumerate: integrate verif
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
S
ven
V
erdoolaege
barvinok
_
enumerate: integrate b
a
r
v
inok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvino
k
_e
n
umerate: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verd
o
olaege
lexmin:
make lexmin options
p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
er
d
oolaege
Revert "bernstein/
c
onfigure
.
in
:
remove redundan
t
chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: make use
of sampling for counting
i
n
f
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
arvin
o
k
_e
n
umerate_e: respect
-
-table o
p
tio
n
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: move selection of gbr s
o
lver t
o
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
lexmin:
u
se a
r
gp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
ba
r
vinok_e
n
umerate_e:
extract
out
v
erification options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdo
o
l
ae
g
e
barvinok_e
n
umer
a
te_e:
p
rint warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Ver
d
oolaege
bernstein
/
conf
i
g
u
re
.
i
n
:
remov
e
redundant chan
g
e to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
barv
i
nok/polylib
.
h
:
define va
l
ue_su
b
tract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
d
e
c
ompose
r
.
cc:
d
ecom
p
ose: micro
-
optimiz
a
t
io
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
s
igned_cone
:
store
rays of con
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
le
x
min: disable
u
se of
l
ookup-tab
l
es
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
bar
v
i
n
ok_enum
e
r
ate_e
.
cc
:
fix argp options p
a
rser
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoo
l
a
e
ge
options
.
c: mo
v
e cho
i
ce of use
o
f lo
o
ku
p
-table to ba
r
vinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
lattice_point
.
cc: fix #ifndef USE
_
MODULO code pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
deco
m
poser
.
cc: sh
o
rt_
v
ector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
erdoolaege
decompo
s
er
.
c
c
: short
_
vector: negate lambda if z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oolaege
b
a
rvinok
.
cc: series: on
l
y
req
u
ire
rays
t
o
b
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
V
e
rdo
o
laege
barvinok
.
c
c
: seri
e
s
: pas
s
ful
l
opt
i
o
ns to barvinok_count
commit
|
commitdiff
|
tree
next