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.cc: extra sanity checks
2007-02-08
Sven Verdoola
e
g
e
reducer
.
cc:
e
xtra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaege
Handle n
o
n-unimo
d
ular cones with
a
s
pecified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
Verdoolaege
dec
o
m
p
oser
.
cc: decompose
:
minor clean-u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
ba
r
vinok
_
options: in
c
lude point
e
r
t
o
barvinok_
s
tats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Verdoolaege
add bar
v
inok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdool
a
ege
ba
r
vinok_enumerate: collect stats on num
b
er
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoola
e
ge
de
c
o
mpo
s
er
.
cc: p
o
lar_decompo
s
e: remove common
di
v
isor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaege
partial_
r
educer: specialize list version
of base
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoolae
g
e
r
ed
u
cer::reduce: be
t
ter hand
l
ing of terms with c
o
mmon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::re
d
uc
e
: combi
n
e numerators w
i
th equal un
r
ed
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
V
erdoolae
g
e
Q
Q
: ad
d
o
perato
r
for mult
i
plicati
o
n of
v
ector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdool
a
ege
redu
c
er::red
u
ce: take a lis
t
of numer
a
to
r
s as
input
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
ge
n
_fun::read: read gen_fun f
r
om
f
ile descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ve
r
doolaege
add gen_fun
:
:add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdool
a
ege
NTL_QQ
.
cc
:
support rea
d
ing fr
o
m s
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
gen_fun: add operator fo
r
printing to
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
g
en
f
un
.
cc: a
d
d short_r
a
t
copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
dpo
l
y_r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
ae
g
e
d
poly:
m
ar
k
som
e
more argume
n
t
s/me
t
ho
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
sh
o
rt_rat
:
:add
:
mar
k
short_rat argum
e
nt const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
NTL_QQ: attempt
t
o sp
e
ed-up +=
opera
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
d
p
o
l
y
: add som
e
doc
u
mentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: ad
d
some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
barvinok
/
gen
f
un
.
h: fix
comm
e
nt
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaeg
e
add
.
giti
g
no
r
e
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdo
o
laege
QQ: add o
p
era
t
or f
o
r multiplication by a scala
r
(ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
a
m
: chec
k
-
seri
e
s: chec
k
--pri
m
a
l
as well
commit
|
commitdiff
|
tree
2007-01-16
Sven
V
erdoolaege
Ma
k
e
f
i
l
e
.
am: install (
s
ome)
binari
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoo
l
aeg
e
u
n
defi
n
e CS for Sol
a
r
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n V
e
rdoolaege
barvinok_enume
r
ate:
handle lines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
ven
Verdoolaege
u
t
i
l
.
c: move left_inverse
f
rom lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
ge
n
_fun::c
o
efficient: move printi
n
g to shor
t
_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
laege
gen_fun::coefficient: new v
e
rsion
r
eturni
n
g Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
ge
n
f
un
.
cc: move coeff
i
cient computation
t
o
sh
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
parti
a
l_reducer: restart computation
if
random
vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
laege
gen_fun: expose clear_terms,
a
met
h
o
d for
c
learing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdoo
l
aege
gen_fun::Ha
d
a
m
a
r
d_product: propaga
t
e full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoo
l
aege
barvinok_e
n
umerate:
integrate ver
i
f
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdo
o
laege
b
arvinok_enum
e
rate: integr
a
t
e barvino
k
_series
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvinok_en
u
merate: us
e
argp
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolae
g
e
lexmin: mak
e
lexmin opt
i
ons priva
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
olaege
Revert "bernstein/configu
r
e
.
in: remove redundant
c
h
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: m
a
ke us
e
o
f
sampling for
cou
n
ting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdool
a
ege
b
arvinok_enumerate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaege
le
x
m
i
n
.
c
c: move
s
elect
i
on of g
b
r
solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolae
g
e
barvinok_enumerat
e
_e:
extract out verifi
c
ation op
t
ions
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Ver
d
oolaege
barvinok_enu
m
erate_e: p
r
int warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Ve
r
d
o
olaege
barv
i
nok/polylib
.
h:
d
efine
val
u
e_subtract and va
l
ue_add
m
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
cc:
d
ecompo
s
e: micro-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdo
o
l
a
ege
signed
_
cone
:
s
t
ore ra
y
s of co
n
e
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
lexmin: dis
a
ble use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaege
barvinok_
e
numerate
_
e
.
cc: fix arg
p
opt
i
on
s
p
a
rser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
l
aege
optio
n
s
.
c:
m
ove
c
h
o
ice
o
f use of
l
ooku
p
-table to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
latt
i
ce_poi
n
t
.
c
c
: fix #ifndef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdo
o
laege
decomposer
.
cc: short_vector
:
rem
o
ve
r
edundant cod
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
ool
a
ege
d
ecompos
e
r
.
cc: sh
o
rt
_
vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
ba
r
vino
k
.
cc: s
e
ri
e
s: only
re
q
uire
rays t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
barvinok
.
cc: series: pass
f
ull opti
o
n
s
t
o barvinok
_
coun
t
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
l
a
ege
np_base
:
:h
a
ndle: p
a
ss
a
round rays
m
a
trix i
n
stead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
decomp
o
ser
.
c
c
: support p
r
ima
l
decomposition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
decomposer
.
cc:
b
ar
v
i
n
ok_d
e
c
o
mp
o
se: impleme
n
t in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
d
oolaege
b
arv
i
nok_
e
nu
m
erate: respect
incremental_specializ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
in
t
roduce si
g
ned_cone
s
truc
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
se
p
arate out
de
c
omposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use
a
rg
p
pa
r
se
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Ver
d
ool
a
ege
u
p
dat
e
arg
p
from gnulib
and add
progname m
o
dul
e
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
barvino
k
_enumerate_e
.
cc: don't
exit o
n
unr
e
cog
n
i
zed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
e
g
e
li
b
/
argp
.
h: remove __NT
H
for __ar
g
p_usage i
n
line f
u
nction
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
barvinok_enumerate_e
.
cc: r
e
m
ove anot
h
er duplica
t
e
d
efinition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e
:
use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoo
l
aege
b
arvinok_count: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
Verdoolaege
options
.
c: add
arg
p
p
arse
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoo
l
aege
add arg
p
f
r
om gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
scarf
.
cc: ma
k
e c
o
mpatible with older versions o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
a
d
d missing a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
Makefile
.
am
:
add remove_
e
qual
i
ties
.
h to d
i
stribut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
er
d
oolaege
configure
.
in
:
only con
f
igure bernstein if Gi
N
aC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n Verdoolaege
bernste
i
n
:
co
n
figu
r
e
.
in: c
h
eck
f
or GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven V
e
rdool
a
ege
ber
n
st
e
in: re
m
ove extra
qualifications from polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ven Ve
r
d
oolaege
ber
n
stein/src/m
a
i
n
.
cpp
:
remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Ver
d
oolaege
sho
r
t_rat::normalize: make pow
e
rs in t
h
e denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdo
o
laeg
e
g
e
n_f
u
n::substitut
e
:
norm
a
l
i
ze
terms
commit
|
commitdiff
|
tree
2006-12-18
S
v
en
V
erdoolaege
dp
o
ly_r: stor
e
terms
in a set r
a
ther th
a
n in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
gen_
f
un: store terms in a set
rather th
a
n in
a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
le
x
min:
a
l
low e
m
ptiness c
h
e
ck
t
hrough
counting
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdool
a
ege
lex
m
in
.
cc
:
m
o
ve con
s
truction of
s
ubdom
a
i
n
s to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
e
domain
.
c
c
: m
o
ve s
a
mple
computation completely
t
o EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
i
n
.
cc: pa
r
tial_order::comp
a
re: use
subs
t
itu
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin
.
cc: indicato
r
::combine: more
e
fficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin
.
cc: ke
e
p heads in partial ord
e
r s
e
parate
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
edomain
.
cc: EDoma
i
n::add_ge_constr
a
int:
s
i
m
plify n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
erdoolae
g
e
lexmin
.
cc:
partial_order::compare: add
cache of c
o
mparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
l
e
xmin: m
a
ke sure le set
i
n p
a
r
t
ial order
o
n
l
y c
o
ntains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin: more sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: use stable o
r
dering of indica
t
or_terms in partial
_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoola
e
ge
g
e
nfun
.
cc: move lex_c
m
p to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
do
o
laeg
e
lexmin: indicator::combine:
directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
barvinok/polylib
.
h: separate include of po
l
ylib head
e
r
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
lexmin: optio
n
al
l
y c
o
mpute
s
ign of affine fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
next