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
Makefile: only check lexmin if it has been compiled
2007-02-12
Sven Verdoolaege
Makefile:
only
c
heck l
e
xmi
n
if it has been co
m
p
i
led
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
add Par
a
m_
P
olyhedron_
S
cale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
o
l
aege
la
t
tice_point
.
cc: add sanity chec
k
for
index
of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaeg
e
te
s
t:
i
nitial
i
ze nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
ba
r
vinok_en
u
merate: optionally comput
e
a
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
r
d
oolaege
Provide repla
c
e
m
ent for new
P
o
l
yLib funct
i
on Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
add evalue_div (ada
p
ted f
r
o
m P
o
lyLi
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
test: simple te
s
t for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am
:
add dependencies for chec
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
g
e
nfun
.
cc: short_ra
t
::norma
l
ize
:
micro-op
t
im
i
zation
s
commit
|
commitdiff
|
tree
2007-02-11
Sven
Ve
r
d
oo
l
ae
g
e
QQ: canon
i
calize on
r
ead and multiplication
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n
Verdoolaege
doc: barv
i
n
o
k_ser
i
e
s
requ
i
res pol
y
hedron to have *r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makef
i
le
.
am: check barvinok_enumera
t
e
--series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
barvinok_enumerat
e
:
c
ompute
s
er
i
es of po
l
yhedra
wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
d
o
olaeg
e
u
til
.
c: move Polyhedron_has_posit
i
ve_rays
f
ro
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
t
e
st
a
ll
s
pecializa
t
ion a
l
gor
i
thms duri
n
g ma
k
e c
h
ec
k
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass options throug
h
to barvinok_c
o
unt i
n
barvi
n
ok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdoolaege
Handle non-unimodular cones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
b
arvino
k
_stats: r
e
name
u
n
i
modular_c
o
nes to base_c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdo
o
laege
r
e
ducer
.
cc: extra sanity
che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolaege
H
an
d
le non-unimod
u
lar
cones w
i
th
a
speci
f
ied max
i
mal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en
V
erdoolaege
deco
m
poser
.
cc: decompose
:
minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdoolaege
b
ar
v
in
o
k_option
s
: inclu
d
e pointer to
b
arv
i
nok_sta
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdo
o
laege
a
d
d bar
v
i
nok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvi
n
ok_enumerate: collect stats on num
b
er
o
f uni
m
odular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
r
doolaege
d
ecomposer
.
c
c
: polar_decompose: remove common di
v
i
s
or
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
part
i
al_r
e
du
c
er: sp
e
cialize list version of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
r
educer::r
e
duce: be
t
t
e
r
h
a
n
d
ling of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reducer::
r
e
duce: co
m
bine numerators with equal un
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aege
QQ: add operato
r
fo
r
mu
l
tipl
i
cation of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdool
a
e
g
e
reduce
r
::reduce: take a list of numerators as inpu
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_
f
u
n
:
:read: re
a
d
gen_f
u
n from fi
l
e descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
NTL_QQ
.
cc: support reading from s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
g
en_fun:
a
dd ope
r
ator for
print
i
ng to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
genfun
.
cc: add short_r
a
t copy constru
c
t
o
r
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
dpoly_r
:
micro-optimi
z
ations
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
olaege
d
p
oly: mark som
e
mo
r
e arguments/methods
const
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdo
o
la
e
ge
short_rat
:
:
add:
m
ark short_rat
argument c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
NTL_QQ: attempt t
o
speed-u
p
+= operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpol
y
: add some more oper
a
t
io
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
lae
g
e
barvi
n
ok/genfun
.
h
:
fix c
o
mme
n
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
add
.
gi
t
ignore
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
o
olaege
QQ: add operator for multiplication by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaege
Makefile
.
am: ch
e
ck-ser
i
es:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
M
a
k
efile
.
am: inst
a
ll
(
some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven V
e
rdoolaege
u
ndef
i
ne CS for So
l
aris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdool
a
ege
b
a
rvinok_e
n
umera
t
e: h
a
ndle
lines in inp
u
t polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sve
n
V
erdoolaege
util
.
c: m
o
ve le
f
t_inverse from lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
g
e
n
_fu
n
::coeffici
e
nt:
mo
v
e printin
g
to sho
r
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen_fun::coefficie
n
t: new version re
t
urning ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verdoolaege
genfun
.
cc
:
move coeffici
e
nt computat
i
on
to sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
la
e
ge
p
a
rtial_
r
educer: restart c
o
mputation if ran
d
om vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen
_
fun:
e
xpos
e
cle
a
r_terms, a method for cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolae
g
e
g
en_fun:
:
H
a
d
am
a
rd_product: propagate full option
s
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
o
laege
barvinok_enumer
a
te: in
t
e
g
rate verif_e
h
rhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_e
n
u
m
erate: integrate
bar
v
ino
k
_
s
eries
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oola
e
ge
barvinok_enu
m
e
r
ate: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdool
a
e
g
e
le
x
m
i
n: ma
k
e lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olae
g
e
Revert "ber
n
stein/configure
.
in: remove redundant chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
barvinok
.
cc: make use of sam
p
ling for
c
oun
t
ing in
f
init
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
o
o
laege
b
a
rv
i
nok_enumerat
e
_
e
:
respect -
-
t
able o
p
t
ion
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
lexmin
.
c
c: mov
e
selection of gbr solve
r
to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
lexmin: use ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaeg
e
barv
i
nok_enum
e
r
ate_e: ex
t
r
a
ct out verification opti
o
ns
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok
_
enume
r
ate
_
e: print warning when --omega
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoola
e
ge
b
e
rnste
i
n
/configure
.
in: r
e
move redund
a
n
t change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdo
o
laege
barvinok/po
l
ylib
.
h: d
e
fine v
a
lue_subt
r
a
ct and
value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
d
e
composer
.
cc: decompose: mi
c
r
o-o
p
timization
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolae
g
e
signed_con
e
: store ray
s
of
c
one
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdo
o
laege
le
x
min: disable
u
se o
f
looku
p
-tabl
e
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
barvinok_en
u
merate_e
.
cc: fix argp
options parser
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
options
.
c: move choice of use of lookup-table
t
o b
a
rv
i
nok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_poi
n
t
.
cc:
fix #ifn
d
ef U
S
E_MODULO code pat
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
o
l
a
ege
decompos
e
r
.
cc: short_vector:
remove re
d
und
a
n
t c
o
de
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
ool
a
eg
e
d
ecompo
s
er
.
cc:
short_vector: negate l
a
m
bda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: series: only require ray
s
to be r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
b
arvinok
.
cc: se
r
i
es: pass ful
l
options to barvino
k
_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
olaege
np_
b
ase::handle:
p
ass aro
u
nd
r
ays matrix in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
dec
o
mposer
.
c
c
: support primal deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
er
d
oolaege
decomposer
.
cc: barvinok_decompose: im
p
l
em
e
nt in
t
erms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
barv
i
nok_enumerate: re
s
pect incremental
_
specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
introduce sign
e
d_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
sep
a
rat
e
out decomposit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verd
o
ol
a
ege
u
pdate
a
rgp f
r
om gnul
i
b and add p
r
ogna
m
e mo
d
ule
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
ege
b
a
r
vinok_enumerate_e
.
cc: don't exit on unr
e
cognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdo
o
laege
l
ib/argp
.
h: r
e
move __NTH f
o
r __argp
_
u
s
a
ge inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
barvinok_enumerate_e
.
cc: r
e
mov
e
another duplicate definitio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
barvinok_enumer
a
te_e:
us
e
argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdoolaege
ba
r
v
i
nok_count: use argp parse
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
o
p
tio
n
s
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
V
erdoolaege
add ar
g
p from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
sc
a
rf
.
cc: make compatible with older versio
n
s o
f
P
olyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
e
g
e
add missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
Makefile
.
am:
a
d
d
remove_
e
qual
i
ties
.
h to distribu
t
io
n
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
configure
.
in: o
n
ly con
f
igure bernst
e
in if GiNaC
w
as
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sve
n
Verdoolaege
bernste
i
n: configu
r
e
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaeg
e
bernstein: remove extra qualifications from p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
next