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
polysign.c: fix cdd_polyhedron_affine_sign prototype
2007-02-12
Sven Verdoolaeg
e
polys
i
gn
.
c: fix cdd_polyhedron_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefil
e
: only check le
x
min if it
has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_Polyhedron_S
c
ale_Integer protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaeg
e
l
at
t
ice
_
p
oi
n
t
.
cc: add sanit
y
check for index of cone
commit
|
commitdiff
|
tree
2007-02-12
S
ven Ve
r
do
o
laege
test: initialize n
b
Mat
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
barvinok_
e
nume
r
ate: optionall
y
comput
e
a
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
g
e
Provide
replacemen
t
fo
r
new
P
olyLib function Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
add evalue_div (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
test
:
simp
l
e test for PolyLib
'
s Sm
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoolaege
Makefile
.
am:
a
dd dependencies for
checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
cc
:
short_r
a
t::
n
or
m
a
l
ize: micro-
o
ptim
i
zations
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
doolaege
QQ: canon
i
c
al
i
z
e on read and multiplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
S
ve
n
Verdoolaege
doc
:
barvinok
_
s
eries requires polyhed
r
on to ha
v
e
*
re
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Mak
e
file
.
am: che
c
k barvinok_enumerate --series
d
uring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en V
e
rd
o
olaeg
e
barvinok_en
u
mera
t
e: comput
e
series of polyhedra
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
V
er
d
oolaeg
e
util
.
c:
m
ove Po
l
yhedron_
h
a
s
_
positive_rays from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
ven
V
erdoolaege
te
s
t all specia
l
ization algorithms during make check
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Ve
r
d
o
olaege
pas
s
options thro
u
gh to barvinok_count in b
a
rvinok_en
u
m
e
r
ate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
a
ege
Ha
n
dle non-
u
nimodula
r
cones in dual
deco
m
positio
n
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oo
l
aege
b
ar
v
inok
_
stats: r
e
name unim
o
dular_cones
t
o
b
ase_cone
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laege
reducer
.
c
c: ext
r
a
sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaeg
e
Handl
e
n
on-unimo
d
ular cones
w
ith
a specif
i
ed maxima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
e
c
omposer
.
c
c: dec
o
mpose
:
minor clean
-
up
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
do
o
laeg
e
barvin
o
k_options: incl
u
d
e p
o
inter to
b
arvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoo
l
aege
add barvinok
_
opt
i
ons_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
barvinok_enumerat
e
:
c
ollect
s
tats on number
of unim
o
d
ular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
de
c
o
mposer
.
cc: polar_d
e
co
m
pose: remo
v
e common div
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
partial_reduce
r
: s
p
e
ciali
z
e l
i
st version of ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::redu
c
e: better
h
a
n
dling of
t
erms with c
o
m
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdool
a
ege
r
e
ducer::reduc
e
: combine num
e
rator
s
with
equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdo
o
l
a
ege
QQ
:
ad
d
opera
t
or
for multi
p
lication of vector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
reducer
:
:redu
c
e: take a list of numer
a
tors as input
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
gen_fun::read:
r
e
a
d gen_fun from file descrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fu
n
::add(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rd
o
ol
a
ege
NTL_QQ
.
cc:
s
upport reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
g
e
n_fun: add operator for pri
n
ti
n
g to
s
t
r
eam
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolaege
genfun
.
c
c
: add short_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolaege
dpoly_r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verd
o
olaege
d
p
o
ly: mark some m
o
r
e
arguments/meth
o
ds const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
sho
r
t_rat
:
:add: mark short_rat argument con
s
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
NTL_QQ: att
e
mpt to spee
d
-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
dpo
l
y:
a
d
d some do
c
umentati
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add
s
ome more o
p
eration
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
barvino
k
/genfun
.
h: fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
aege
a
d
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
a
e
ge
QQ: add oper
a
tor for multip
l
icati
o
n by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sv
e
n Verdoolaege
Makefile
.
am: ch
e
ck-series: check --primal as
well
commit
|
commitdiff
|
tree
2007-01-16
S
v
en V
e
rdoolaege
Makefile
.
am: install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verd
o
ol
a
ege
undef
i
ne
CS f
o
r Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Verdoo
l
a
ege
ba
r
vinok_enume
r
ate: handle
l
i
n
es
in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ve
r
dool
a
e
g
e
util
.
c: move left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoola
e
ge
gen
_
fun::coefficient: move printing
t
o
s
h
o
rt_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en
_
fun::coefficien
t
:
n
ew version r
e
tu
r
ning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
genfun
.
cc:
m
ove coefficient
co
m
putation t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
p
a
rtial_reducer: restart c
o
mputa
t
ion i
f
r
andom vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verd
o
olaege
gen_fun
:
expose clea
r
_terms, a method for c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
d
o
o
laege
gen
_
fun::Hadamar
d
_pro
d
uct: propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
b
arvin
o
k_en
u
mera
t
e: integrate
verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
ba
r
vinok
_
en
u
m
erate: integrat
e
barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
b
arvinok_enum
e
rate: us
e
argp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdo
o
laege
lexm
i
n: ma
k
e lexmin op
t
ions pr
i
vate
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaeg
e
Revert "bernstein/con
f
igure
.
in: remove
r
e
d
undant
c
hange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: make use of sampling
for c
o
untin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvinok_
e
numerate_e: respect --
t
a
b
le op
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: move
selection
of gbr solver to option
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
l
e
xmin:
use argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
en V
e
r
d
oolaege
barvi
n
ok_enumerate_e: extra
c
t out ve
r
ific
a
tion opt
i
ons
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
Verdoolaege
barvinok_e
n
u
merate_e
:
print warning whe
n
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
bernstein/conf
i
gure
.
in: remove
r
edundant chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
r
d
oolae
g
e
b
a
rvinok/polyl
i
b
.
h: define value_s
u
btract and v
a
lue_a
d
dmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verd
o
olaege
deco
m
poser
.
cc: decompose: micro-op
t
imization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
s
igned_cone: store rays of c
o
ne
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
l
e
xmin: disable
u
se of loo
k
u
p-tables
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
doolaege
barvino
k
_en
u
merat
e
_e
.
cc:
fix ar
g
p o
p
t
i
ons parser
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolae
g
e
o
ption
s
.
c: move choice of use
of look
u
p-tabl
e
to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
latt
i
c
e
_po
i
n
t
.
cc: fix #ifndef USE_M
O
DULO
code pat
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
decomposer
.
cc:
short_vect
o
r: remov
e
r
edundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
decomposer
.
cc: s
h
or
t
_
v
ec
t
or:
n
e
g
ate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
barvinok
.
cc: series: o
n
ly requ
i
re rays to
be r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Verdoolaege
barvinok
.
cc: seri
e
s: pass
fu
l
l
options to bar
v
inok_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
laege
n
p_ba
s
e
:
:handle: pass
aro
u
nd rays matrix in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
dec
o
mpo
s
e
r
.
cc: support prima
l
decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaeg
e
decompo
s
er
.
cc: barvino
k
_decompos
e
:
i
mplement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
o
ol
a
e
ge
bar
v
inok_enumerate: respect incremental_speciali
z
at
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
er
d
oolaege
i
n
troduce sign
e
d_cone str
u
ct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
separate
o
ut decompos
i
t
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
t
est: use argp
p
arser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdoo
l
aege
u
p
d
ate
a
rgp
f
r
om gnulib and add progname modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ver
d
o
o
l
aege
barvinok_en
u
merat
e
_e
.
cc: don't exit on
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n Ver
d
oolaeg
e
lib/argp
.
h
:
remove __NTH
f
or __argp_usag
e
inline functi
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olae
g
e
b
arvinok_enumerate_
e
.
cc: re
m
ove
a
nother d
u
plicate
def
i
nition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Ver
d
o
ol
a
ege
barvin
o
k_enumer
a
te_e: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
barvino
k
_count: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
V
erdoolae
g
e
o
p
t
ions
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
Verdo
o
laege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaeg
e
scarf
.
cc:
m
a
k
e
c
o
mpatible w
i
th older
versions
of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
add mis
s
ing assert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
er
d
o
olaege
Makefil
e
.
am: a
d
d
remo
v
e
_equali
t
ies
.
h
to dist
r
ibution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
c
o
n
f
i
gure
.
in
:
o
nl
y
c
onfigure be
r
n
s
te
i
n if
G
iNaC
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
ven Verdoolaege
bernstein: configure
.
in: check
f
or GiNaC
commit
|
commitdiff
|
tree
next