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
decomposer.cc: decompose: minor clean-up
2007-02-07
Sven
Verdo
o
laege
decomposer
.
c
c:
d
ecompose: mino
r
c
l
ean-u
p
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoo
l
aege
bar
v
ino
k
_options: i
n
clude pointe
r
to barvin
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaege
add barvino
k
_op
t
ions_f
r
e
e
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Ve
r
do
o
l
a
ege
barvinok_enumerate: collect stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
deco
m
poser
.
cc: polar_
d
ecompose:
r
emove commo
n
divi
s
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
p
a
rtial
_
r
educ
e
r: specialize list vers
i
o
n of b
a
se
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
r
educer::reduc
e
:
b
ett
e
r handling of term
s
w
ith common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
Verdool
a
ege
reduce
r
::reduc
e
: combine
n
umer
a
tor
s
w
ith equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
ven
V
erdool
a
eg
e
Q
Q
: add o
p
era
t
or
for multiplication of vec
t
o
r by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdoolaege
reducer::reduce: take a l
i
st of numera
t
ors as input
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
r
d
oolaege
g
en_f
u
n::r
e
ad:
r
ead gen_
f
un
fr
o
m file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_
f
un::add(sho
r
t_rat
*
r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
aege
NTL_QQ
.
cc: sup
p
ort readin
g
from strea
m
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
rdoolaeg
e
gen
_
f
u
n: add oper
a
tor for
p
rinting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
g
e
nfu
n
.
cc: add short_ra
t
copy con
s
tructor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
dpol
y
_r: mi
c
ro-opti
m
izatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dp
o
ly: mark some mo
r
e argum
e
nts/
m
ethod
s
c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oo
l
a
eg
e
short_rat
:
:
add: m
a
r
k sho
r
t_rat argument
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_QQ: a
t
t
e
m
p
t
t
o speed
-
up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaeg
e
dpoly: ad
d
some
d
ocumen
t
atio
n
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verd
o
ola
e
ge
dpo
l
y: add som
e
more op
e
ration
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
barvinok/genfun
.
h
: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
ae
g
e
add
.
g
itignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
QQ
:
a
d
d operator for multiplicati
o
n by a sca
l
a
r
(
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
S
v
en Verd
o
o
l
a
ege
M
a
k
efile
.
am: check-se
r
ies: check --primal as
w
e
l
l
commit
|
commitdiff
|
tree
2007-01-16
Sven V
e
rdoolaege
M
akefile
.
am
:
install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verd
o
olaege
u
n
d
e
fin
e
CS for S
o
lar
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
ba
r
vinok_e
n
umerate: handle l
i
nes
in
input polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move left_inverse
fr
o
m lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
g
e
n_fun::coeffi
c
ient: move printing to
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
lae
g
e
g
e
n_fun::coef
f
i
c
i
e
n
t
: new
v
e
rsio
n
returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genfun
.
cc: move c
o
efficie
n
t
c
omp
u
tation to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_red
u
cer
:
r
e
start com
p
uta
t
ion
i
f random v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
gen_fun: expose clear_terms, a m
e
tho
d
for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen
_
fun
:
:Hadamard_product
:
pro
p
ag
a
te full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
barv
i
nok_enu
m
era
t
e: i
n
tegrate
v
e
rif_
e
hrhart
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
barvinok_enumerate:
i
nteg
r
ate barvinok_ser
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvinok_enumerat
e
: u
s
e argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoola
e
ge
lex
m
i
n: make lexm
i
n
o
p
ti
o
ns
privat
e
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdool
a
ege
Revert "bernstein/conf
i
gur
e
.
in: remove redundant cha
n
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdo
o
l
a
e
g
e
b
arv
i
n
o
k
.
cc:
m
ake use of
s
ampli
n
g for
counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ver
d
oolaege
barvino
k
_enumer
a
te_e: re
s
pect --t
a
ble o
p
tion
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
doolaege
le
x
min
.
cc: mo
v
e selec
t
i
on
of gbr
s
olver to op
t
ions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
lexmin:
use a
r
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
rdoolaege
ba
r
vinok_enumerate_e
:
extract out
verification
options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
b
arvinok_
e
nume
r
ate_e: pri
n
t warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
be
r
nstein
/
c
o
n
f
i
gure
.
in: r
e
move r
e
dunda
n
t chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
V
er
d
oolaege
barv
i
n
o
k
/polylib
.
h
:
define v
a
lue_sub
t
ract and value_ad
d
mul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
de
c
omposer
.
cc: decompose: mic
r
o-optim
i
z
ation
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
r
doolaeg
e
si
g
ne
d
_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
le
x
min:
disable
u
s
e
o
f
lookup-
t
ables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumer
a
te_e
.
c
c
: fix ar
g
p options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
doola
e
g
e
op
t
ions
.
c: m
o
ve choi
c
e of use of l
o
okup-table to
barvinok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoola
e
ge
la
t
tice_point
.
c
c
:
fix #ifn
d
ef U
S
E_MO
D
ULO
code path
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
olaege
d
ec
o
mposer
.
cc: short_v
e
ctor: remov
e
re
d
u
ndant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
decomposer
.
cc: short_
v
ecto
r
: nega
t
e
lambda if z i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Ve
r
doolaege
barvinok
.
cc: series: only req
u
ire
r
ays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
barvino
k
.
c
c
: series: pass
full options to barv
i
nok_co
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
np_ba
s
e::handle: p
a
ss around
rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
d
e
composer
.
cc: s
u
pport primal
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
erdoolaege
decom
p
ose
r
.
c
c
: barvinok_decompose
:
implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumerate:
respect i
n
cr
e
ment
a
l_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
aege
intr
o
duce signed_co
n
e
struct
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
erdoolaege
separate out
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoola
e
ge
test:
u
se
a
r
gp pa
r
se
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoola
e
g
e
update argp f
r
om gnulib and a
d
d progname module
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ver
d
oolaege
barvinok_enumerate
_
e
.
cc: don't exit on unrecogniz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
rdoolaege
lib/arg
p
.
h: remove __NTH for __argp
_
usage
inlin
e
f
unction
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoo
l
aege
b
a
rvinok_en
u
merate_e
.
cc: re
m
ove another duplica
t
e
d
efi
n
ition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ve
r
doola
e
g
e
barvinok_enumerate_e:
u
se argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_count: use argp
p
arser
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolaege
op
t
i
ons
.
c: a
d
d argp parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
a
d
d argp
from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdo
o
laege
scarf
.
cc: make compatible wit
h
older ver
s
i
o
ns of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdool
a
eg
e
a
dd missing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
Makefile
.
am: add remove_equalities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ver
d
oolaege
co
n
f
igure
.
in
:
o
n
ly
c
o
nf
i
gure bernstein i
f
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
bernstein: configure
.
in: chec
k
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
berns
t
ein: remov
e
ex
t
ra qualifications fro
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
Verdoolaege
be
r
nstein/s
r
c
/main
.
cpp: remo
v
e
r
edund
a
nt in
c
lude
commit
|
commitdiff
|
tree
2006-12-18
S
ven
Verdoolaege
short_rat::norm
a
lize: make powers in the denomin
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun::
s
ubstitut
e
: no
r
m
alize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdoolaege
dpoly_r: sto
r
e te
r
ms in a set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
olaege
gen_fun: stor
e
terms in a s
e
t rather
t
h
an in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
le
x
min:
a
llow empti
n
ess check th
r
o
ugh counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
a
eg
e
lexmin
.
cc: move co
n
structi
o
n of subdomain
s
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
aege
edom
a
in
.
cc: move sample c
o
mputa
t
i
o
n com
p
letel
y
to EDoma
i
n
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdo
o
lae
g
e
lexmin
.
cc: partial_order::compare:
use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin
.
cc
:
indi
c
ator::combine: more ef
f
icient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oola
e
g
e
lexmin
.
cc:
keep heads in pa
r
tial order separa
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
e
d
o
main
.
cc: EDomain::add_ge_con
s
traint:
simplify
ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmi
n
.
c
c
: partial_o
r
der::comp
a
r
e
:
add cache of com
p
arison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
le
x
min: make sure le set in
partia
l
order on
l
y
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: mor
e
sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olae
g
e
lemxin:
use sta
b
le ordering of indicator
_
terms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
genfun
.
cc: mo
v
e le
x
_
c
mp to mat_util
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin
:
in
d
i
c
ator::combine: directly add
s
om
e
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
a
e
ge
bar
v
ino
k
/pol
y
l
ib
.
h: separate
include of polylib hea
d
er
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
lexmin: optionally
c
ompute
sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionall
y
s
k
ip re
d
uction of ev
a
l
u
es in domains
commit
|
commitdiff
|
tree
next