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
doc: integer points in the fundamental parallelepiped of simple cone
2007-02-16
Sven Ver
d
oolaege
doc: integer points in the fundamental
parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoo
l
aege
verif_ehr
h
art
.
c: cle
a
n up indentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ver
i
f_ehrhart: o
p
tionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
erif_ehrhart: comb
i
ne check_poly from bar
v
inok_enu
m
er
a
te_
e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n
Verdoolae
g
e
verif_eh
r
h
a
rt
.
c: check lower and upper poly
n
omi
a
l
appro
x
im
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rify
.
h: mo
v
e barvinok_option
s
into verify
_
options
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
V
e
rdool
a
ege
barvinok_enumerate: pa
s
s parame
t
er name
s
t
o
c
heck_poly
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoo
l
aege
barvin
o
k_enumerate: more polynommi
a
l approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
e
value
.
c:
a
dd evalue_
f
rac2polyno
m
i
a
l
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
l
aege
evalue
.
c: extract ev
a
lue_split_dom
a
i
ns_into
_
orthan
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
Verdoolaege
poly
s
ign
.
c: fix cdd_po
l
yh
e
dr
o
n_affine_sign prot
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
Makef
i
le: only check lexmi
n
if
it has been
c
o
m
pile
d
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
V
e
rdoolaege
a
dd Param_Polyhedron_Sca
l
e_Integ
e
r pr
o
to
t
ype
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n
V
e
r
d
oolaege
latt
i
c
e
_poin
t
.
cc:
a
d
d
sanity check f
o
r ind
e
x of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
d
o
o
laege
t
est: initia
l
ize nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verd
o
olaeg
e
barvinok_enumer
a
te: op
t
ion
a
lly
c
ompute a p
o
lynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rd
o
o
laege
Provide repla
c
ement for
n
ew
P
olyLib function Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
a
d
d
evalue
_
di
v
(
adapted fro
m
PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolae
g
e
test: simple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am: add depend
e
n
c
ies fo
r
che
c
ks
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
er
d
ool
a
ege
genfun
.
cc: sh
o
r
t_ra
t
::nor
m
ali
z
e:
mi
c
ro-o
p
timiz
a
tions
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoola
e
g
e
QQ: c
a
n
onicalize
on
r
ead and multiplication
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
d
oc:
b
arvinok_
s
e
ries requi
r
e
s
pol
y
h
e
dron to have
*
r
ev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefile
.
am: check
b
arvino
k
_enu
m
erate --
s
eries d
u
ring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barv
i
nok_enumerate:
co
m
pute se
r
ies of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
util
.
c: move
Polyhedron_has_positive_rays from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
test all specialization
algorithms
d
ur
i
ng make c
h
eck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
p
a
s
s
o
p
t
i
ons through to barvinok
_
count in
b
arv
i
nok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verd
o
olaege
Handle non-u
n
im
o
dular con
e
s
in dua
l
decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
b
a
rvinok_stat
s
: rename unimodular_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laege
reducer
.
cc:
e
xtra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erd
o
olaege
H
andle n
o
n-unimod
u
lar cones with a
s
p
e
cified
m
a
x
i
mal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
ven Verdool
a
ege
dec
o
m
poser
.
cc: decompo
s
e: minor
c
lean
-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoolaege
b
a
rvinok_options:
i
nc
l
ude pointe
r
to ba
r
vinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
add
b
arv
i
n
o
k
_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oo
l
aege
barvinok_enum
e
rate: collect stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
decompo
s
er
.
cc: polar_d
e
compos
e
: remove
common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
p
artial_reducer: specialize
l
ist vers
i
on of base
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolaege
reducer::reduce: better han
d
ling of terms
with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
S
v
en V
e
rdo
o
laege
red
u
cer
:
:reduce: combin
e
nume
r
ato
r
s wi
t
h equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdoola
e
ge
Q
Q: a
d
d operator f
o
r
m
ul
t
iplication of vec
t
or
by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoo
l
aege
re
d
ucer::reduce:
t
ake a
lis
t
of numerators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
g
e
n_
f
un::read
:
read gen_fun
from file
descri
p
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen
_
fun::add
(
short_rat
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdo
o
l
aege
NTL
_
QQ
.
cc: sup
p
ort
r
eading from st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoola
e
ge
gen_fun: add operato
r
fo
r
printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdo
o
lae
g
e
genfun
.
cc: add short_rat copy
c
onstruct
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Ve
r
doolaege
d
p
oly
_
r: micro-optim
i
z
at
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoo
l
aege
dpoly: mark som
e
m
ore arg
u
ments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoola
e
g
e
s
hort
_
rat::add: mark s
h
o
rt_rat argument
const
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdo
o
laege
N
T
L_QQ: attempt to speed-up += operat
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
dpo
l
y: add some
do
c
u
m
entation
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpo
l
y: add
s
o
me more operations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
barvinok/genfun
.
h: fi
x
commen
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
erdoolaege
ad
d
.
gitign
o
re
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator
for mu
l
t
i
plication by
a scalar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
Sve
n
V
e
rdoo
l
aege
Mak
e
f
ile
.
am: chec
k
-ser
i
es:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sve
n
Verdoolaege
Makefi
l
e
.
a
m: install (some) b
i
narie
s
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdoolaege
undefine CS for
Solaris
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolae
g
e
barvinok_enumerate: h
a
nd
l
e lines in input
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
ut
i
l
.
c: move left_
i
nverse fr
o
m lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
ven
V
erdoolaege
gen_fun::coe
f
fici
e
nt: move print
i
ng
to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen_fun::coeffic
i
e
n
t:
new
version retur
n
ing ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
genfun
.
cc: move
c
oefficient computat
i
on to s
h
ort
_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
partial_reducer: restart
c
omput
a
tion if
r
andom vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun:
exp
o
se
c
lear_ter
m
s
,
a method for cle
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
dool
a
eg
e
g
e
n
_fun::Hadamard_pro
d
uct:
p
r
o
p
a
gate f
u
ll options t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
aege
barvi
n
ok
_
enume
r
a
te: integrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barvinok_en
u
merate: integrate barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoola
e
ge
bar
v
inok_enumerate:
u
se argp
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
laege
lexmin: make l
e
xmin options p
r
i
vat
e
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdo
o
la
e
ge
Revert "ber
n
s
tein/c
o
n
f
igu
r
e
.
i
n
: remove redu
n
dant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolae
g
e
barvinok
.
c
c
: make use of s
a
m
pling for count
i
ng in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
barvi
n
ok_enu
m
erate_e: r
e
spect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
le
x
min
.
c
c
: move sel
e
c
t
ion of gbr s
o
lver to optio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
lexmin: use ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
ba
r
vinok_enumerate_e: extract
o
ut verific
a
tion options
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
bar
v
i
n
ok_enumerate_e:
print warning when --ome
g
a or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
b
e
rnst
e
i
n/c
o
nfigure
.
in: remove red
u
ndant c
h
a
nge to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verd
o
olaege
ba
r
vino
k
/polylib
.
h: def
i
ne v
a
lue_s
u
btract
and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verd
o
o
l
aege
decomposer
.
cc: d
e
compose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdo
o
l
a
ege
signed_co
n
e: stor
e
rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald
Dev
o
s
omega/parser
.
y
: re
m
ove bracke
t
s around type
i
n new
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
l
e
xmin: d
i
sab
l
e use of lookup-
t
ables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_e
n
u
merate_e
.
cc: fix
a
rgp
options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
options
.
c
: move choice o
f
use of lookup-t
a
ble to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
latti
c
e_
p
oint
.
cc
:
f
ix #ifndef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decom
p
o
s
e
r
.
cc: short_vector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
de
c
omposer
.
cc:
s
h
o
rt_vector: ne
g
ate lambda i
f
z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
c
c
:
s
eries
:
only require
r
a
y
s
to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
doolaege
barvinok
.
c
c
:
series: pass ful
l
options to barvi
n
o
k_count
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
np_base::ha
n
dle
:
p
as
s
around ra
y
s
m
a
tri
x
i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
r
d
oolaege
decomposer
.
cc:
s
upp
o
rt pri
m
al decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdo
o
l
a
ege
de
c
omposer
.
cc: barvinok
_
decomp
o
se: implem
e
nt in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdoolaege
ba
r
vinok_enumerate: r
e
sp
e
ct incremental_specializ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
i
nt
r
oduce sig
n
ed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoola
e
ge
separate
ou
t
decomposi
t
ion
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
t
est: u
s
e
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven
V
erdoolaege
update argp from gnulib and
a
dd progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
barvinok_enu
m
erate_e
.
cc
:
don't exit
o
n unrecog
n
ized
.
.
.
commit
|
commitdiff
|
tree
next