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
reducer::reduce: take a list of numerators as input
2007-02-02
Sven Verdoolaeg
e
r
educ
e
r::red
u
ce:
t
ak
e
a list of
nu
m
erators as
input
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_fun::read: re
a
d
gen
_
fun
f
ro
m
fil
e
descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaeg
e
add gen_fun::add(short_rat
*
r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
TL_QQ
.
cc:
s
upport reading
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_f
u
n: add operator fo
r
print
i
ng
to stream
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oolaege
genfun
.
c
c: add short
_
rat
c
opy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
e
r
dool
a
ege
dpoly_r: mi
c
ro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
dpol
y
: mark some
m
ore arguments/metho
d
s cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rd
o
olaeg
e
s
hort_r
a
t::ad
d
: mar
k
short_rat argument c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
NTL_QQ: a
t
te
m
pt
to spe
e
d-up +=
o
pe
r
at
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
laege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdo
o
lae
g
e
dpoly: add some mo
r
e oper
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
barv
i
nok/genfun
.
h: fi
x
comme
n
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
Verdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
QQ: add
o
perato
r
for multipl
i
cation by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoola
e
ge
Make
f
il
e
.
a
m
:
check-series: check
-
-pr
i
mal as we
l
l
commit
|
commitdiff
|
tree
2007-01-16
S
ven Verdoo
l
aeg
e
M
akefile
.
am: in
s
tall (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undef
i
ne CS for
Solar
i
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Verdoolaeg
e
ba
r
vinok
_
enumer
a
t
e
: ha
n
dle
lines in input pol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move
le
f
t_inv
e
rse f
r
om le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdo
o
lae
g
e
g
en_fun::c
o
efficient: move
printing to sh
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
g
e
n_f
u
n::co
e
fficient: ne
w
version
r
e
t
urning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
fun
.
cc: move co
e
fficient comput
a
tion to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_reducer: res
t
art computation
if r
a
ndom vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdool
a
ege
gen_fun: e
x
pos
e
c
lear_te
r
ms, a method
for cl
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdo
o
laege
gen_
f
un:
:
Had
a
m
a
rd_product:
p
ro
p
agate full option
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoo
l
aege
ba
r
vinok_enumerate: in
t
egr
a
te ve
r
i
f
_ehrh
a
r
t
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaege
barvinok_enum
e
r
ate: integrat
e
barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
ool
a
ege
b
a
rv
i
nok
_
enumera
t
e:
u
se argp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolaege
l
e
xmin: m
a
ke le
x
min
o
ptions private
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
Rev
e
r
t "bernstein/config
u
re
.
in: remove redun
d
ant ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdo
o
lae
g
e
barvinok
.
cc: make use of sampling f
o
r counti
n
g
i
n
fi
n
it
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
barvinok
_
en
u
merat
e
_e: resp
e
ct
-
-table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
lexmin
.
c
c
:
move selectio
n
of gbr solver to opti
o
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
olaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
barvinok
_
enum
e
ra
t
e_e: extract
out verification options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
V
erdoo
l
aege
b
arvino
k
_enumerate_e: print warning
when
-
-omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
be
r
n
stein/configure
.
in:
remove redundant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaeg
e
b
a
rvinok/polylib
.
h: d
e
fine va
l
u
e_
s
ubtr
a
ct and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Ver
d
oolaege
decompo
s
er
.
cc: decompo
s
e: micro-op
t
im
i
zation
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
signed
_
cone: sto
r
e rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
ome
g
a
/parse
r
.
y:
r
emove bra
c
kets around type in
n
ew
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
doolaege
lexmin: disable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaeg
e
barvinok_enumerat
e
_e
.
cc: fix argp
options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
o
p
tio
n
s
.
c:
move choi
c
e
of use
o
f
lookup-table to b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
la
t
tice_point
.
cc
:
fix #ifnd
e
f USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
decomp
o
s
e
r
.
cc: short
_
vector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
deco
m
poser
.
cc: short
_
v
e
ctor:
n
egate lam
b
da if z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvino
k
.
cc: series: only req
u
ire rays
t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvinok
.
cc: s
e
ries:
pass
full
options t
o
ba
r
vi
n
ok_count
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
np_base::handle:
p
a
ss around
r
ays
matrix
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
d
e
composer
.
cc: support prim
a
l decompos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
deco
m
p
oser
.
c
c
: barvinok_decompose: im
p
lement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
er
d
o
olae
g
e
barvinok_enumerate: re
s
pe
c
t
incr
e
mental
_
specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
intro
d
uce signed_cone st
r
u
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
se
p
ara
t
e
o
ut decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
test: use argp
p
a
rser
commit
|
commitdiff
|
tree
2006-12-28
S
ven Ver
d
oola
e
ge
u
p
date
ar
g
p
f
rom gnulib and add pr
o
gname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
bar
v
inok_enume
r
ate_e
.
c
c
: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
lib/argp
.
h: remove __NTH for __a
r
gp_usage
i
nline func
t
ion
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n V
e
rdoolaeg
e
barvino
k
_enumerate_e
.
cc:
remove an
o
ther duplicate def
i
nition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
r
doo
l
aege
barvinok_enumer
a
te_e:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
lae
g
e
ba
r
vinok_count: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
opti
o
ns
.
c: add ar
g
p p
a
rse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add arg
p
from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
scarf
.
c
c:
m
ake comp
a
t
ible with
o
lde
r
versi
o
ns of
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
add mis
s
ing assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makef
i
le
.
am: add remove_equalities
.
h to
d
ist
r
ibu
t
i
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
configure
.
in: onl
y
configure bern
s
tein if GiNa
C
wa
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdool
a
e
g
e
bernst
e
i
n: con
f
i
g
ure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaeg
e
bernstein: rem
o
ve ext
r
a
qualifications from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verdoola
e
ge
bernstei
n
/src/main
.
c
pp
:
remove redundant
i
n
c
l
ude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
short_rat::no
r
malize: mak
e
p
ow
e
rs in
t
h
e
d
enominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun::s
u
b
stitute:
n
o
rmalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r: store terms in a set r
a
ther than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n V
e
rdoolaege
gen_fun: s
t
ore terms in a
set rather t
h
a
n in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: allow emptiness check throu
g
h counti
n
g
commit
|
commitdiff
|
tree
2006-12-11
S
ve
n
Verdoolae
g
e
lexmin
.
cc: move cons
t
ruction of
s
ubdomain
s
to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
edo
m
ain
.
c
c: move sample computation completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmi
n
.
cc: p
a
rtial_order
:
:compare: use substitutio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin
.
cc
:
indica
t
or::com
b
ine
:
more
effici
e
nt w
a
y o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolaege
lexmin
.
c
c
: ke
e
p head
s
in partial order separa
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edom
a
in
.
cc: EDomain::add_g
e
_cons
t
raint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdo
o
laege
l
e
xmin
.
cc: partial_orde
r
:
:
compare: add cac
h
e of compari
s
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
e
rd
o
olaege
lex
m
in: make sure
le set in partial order on
l
y contain
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin: more s
a
nity ch
e
cks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
l
emx
i
n
: use stabl
e
orderin
g
o
f indic
a
tor_term
s
in pa
r
tial_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
do
o
laege
genfun
.
c
c
:
move lex
_
c
mp t
o
mat_uti
l
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: indicator::
c
ombine: directly
a
dd so
m
e
kno
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
barvinok/pol
y
l
ib
.
h: separate inc
l
ude of
p
olyl
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ol
a
eg
e
l
e
xmin: optionally com
p
ut
e
sign o
f
affine func
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexm
i
n
:
optionally sk
i
p r
e
duction of
e
values in
d
omains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laeg
e
evalue_fr
a
c2f
l
oor: only make argume
n
t nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
lexmin
:
P
o
lyhedron
_
not_empty: be ca
r
ef
u
l
ab
o
ut empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en V
e
rdoolaege
lexmi
n
: indi
c
ator_term::is_opposite: assume numerat
o
rs
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdool
a
ege
remove_all_equ
a
litie
s
:
handle comp
r
e
s
s
_
va
r
iabl
e
s returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verd
o
olaege
lexmin: o
p
tionally use cdd
d
uring basi
s
re
d
uction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyh
e
d
r
on_Reduced_Bas
i
s
: optiona
l
ly
u
se c
d
d
to
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
confi
g
u
r
e
.
i
n: check for cdd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin:
Po
l
yhed
r
on_not_empty
:
continue removing equ
a
lities
commit
|
commitdiff
|
tree
next