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
partial_reducer: specialize list version of base
2007-02-06
Sven Verdoolaege
partial_
r
educer: spe
c
ialize list version
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoola
e
ge
r
educer::reduce
:
better ha
n
dling of t
e
r
ms with c
o
mmon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::r
e
du
c
e: combi
n
e numerat
o
rs with equal unreduce
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdool
a
ege
QQ: add operator f
o
r m
u
ltiplication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
r
e
d
ucer::reduce
:
t
a
ke a list of
n
um
e
rators as input
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
g
e
n
_
fun
:
:read: read gen_
f
un from fil
e
de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ver
d
oolaege
add gen_f
u
n::add(s
h
ort_rat *
r
)
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoola
e
ge
NTL_Q
Q
.
c
c
: s
u
ppor
t
reading f
r
om
s
t
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oolaege
gen_
f
un:
a
dd operator for printi
n
g
to str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Verd
o
olaege
ge
n
f
u
n
.
cc:
add shor
t
_r
a
t copy const
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
ege
dpoly_r: micro-opt
i
mizations
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdool
a
ege
dpoly: mark some more argum
e
nts/met
h
o
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
short_r
a
t::add: mark short_rat a
r
g
u
me
n
t con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
ge
N
T
L_QQ
:
attem
p
t to
s
p
e
ed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
o
olaege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
d
pol
y
: add some m
o
r
e
operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfun
.
h: fix co
m
ment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
e
g
e
add
.
git
i
gnor
e
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
ege
Q
Q
: add operator
f
or mult
i
plicati
o
n by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verd
o
olaege
Makefile
.
am: check-series:
c
he
c
k --primal as wel
l
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
M
a
kef
i
le
.
a
m: install (some)
b
inaries
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
Verdool
a
eg
e
undefine CS for Sol
a
ris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
b
a
rvino
k
_enumerate: handle
lines in input pol
y
h
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven V
e
rdoolaege
util
.
c
:
move left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
aege
gen_fun
:
:co
e
ffi
c
ient: mov
e
printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
olaege
ge
n
_fun::
c
oeff
i
cient: new ve
r
sion r
e
t
u
rnin
g
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolae
g
e
g
en
f
un
.
cc: move coeff
i
cient computation t
o
s
hor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
partial_
r
e
d
ucer: restart computa
t
ion
i
f random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun: expos
e
cle
a
r_
t
er
m
s
,
a meth
o
d
for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::Hadam
a
rd_product
:
pr
o
pag
a
te f
u
ll o
p
tio
n
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
barvinok
_
enumerate: integ
r
ate
v
erif_ehr
h
art
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
barvinok_enu
m
erate: integrate barvinok
_
serie
s
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoo
l
aege
barvin
o
k_enu
m
erate: use ar
g
p
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
lexmi
n
: make
l
exmin options
p
rivate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Re
v
ert "bernstein/configure
.
in: remove
redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
barvinok
.
c
c
:
m
ake u
s
e of sampling for c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaeg
e
barvin
o
k_enu
m
era
t
e_
e
: res
p
ect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoo
l
aege
l
exmin
.
cc: move sele
c
tion
o
f gbr solve
r
t
o
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmi
n
: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
barv
i
nok_enumerate_e: extract out ve
r
ificatio
n
options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
barvinok_enu
m
erat
e
_e:
p
rint warning
when
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
arvinok/polylib
.
h: define value_subtrac
t
and valu
e
_
addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
rdoolae
g
e
decom
p
oser
.
cc: de
c
ompo
s
e:
m
icro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
si
g
ned
_
cone: sto
r
e rays of
c
one
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lexmin: di
s
abl
e
u
s
e
o
f
lookup-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
ba
r
vinok
_
e
nu
m
erate_e
.
cc:
fix argp
options p
a
rser
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
o
ptions
.
c: move choice of use
o
f lookup-t
a
ble to ba
r
vino
k
_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
lattice_point
.
cc:
f
ix #i
f
ndef
U
SE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
e
r
d
oolaege
d
e
compo
s
e
r
.
cc: short_vector: remove redundant co
d
e
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoo
l
a
e
ge
d
e
composer
.
cc: short_vector: negate lambda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolae
g
e
barvin
o
k
.
c
c
:
se
r
ie
s
:
o
n
ly requir
e
rays to be revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verd
o
olaege
b
a
rvino
k
.
cc: s
e
ries: pas
s
ful
l
op
t
ions to ba
r
v
i
nok_
c
ou
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
np_bas
e
:
:ha
n
dle: pa
s
s around
r
ays matrix instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decomposer
.
cc
:
support pr
i
mal decomposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
d
ec
o
m
poser
.
c
c
: bar
v
ino
k
_decompose: imple
m
ent in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumer
a
te: respect incr
e
m
ental
_
spec
i
alizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verd
o
olaeg
e
introduce signed_cone
s
t
ruct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separate o
u
t decompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
test
:
use
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdool
a
e
g
e
update argp
from
gnulib and add progname m
o
dul
e
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Ver
d
o
o
laege
ba
r
vi
n
ok_enumerat
e
_
e
.
cc: don't exit on u
n
recognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
lib/
a
rg
p
.
h:
r
emove _
_
NTH for __argp_u
s
age inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e
.
cc: remove another d
u
plicate d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvi
n
o
k
_enumerate_e: us
e
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_count: use
a
rgp
p
ar
s
er
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
d
oolaege
options
.
c
:
a
dd arg
p
parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
a
dd
argp fr
o
m gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
scarf
.
cc
:
m
ake com
p
ati
b
le with
older versions of
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
add
missing assert
.
h
#
inclu
d
es
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
rdoola
e
ge
Makefile
.
am: a
d
d remove_equalities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
configure
.
in
:
o
nly
configure
b
e
rnstein if
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoo
l
aege
bernstein: configure
.
in:
c
heck for G
i
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sven Ver
d
ool
a
ege
bernstein: remove ex
t
ra qualificati
o
ns
f
r
o
m poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdool
a
e
g
e
b
e
rnstein/src/main
.
cpp:
remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
doolaege
short
_
rat::n
o
rmalize: make
p
owers i
n
the deno
m
inat
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_f
u
n::su
b
sti
t
ute: no
r
malize ter
m
s
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoolaege
dpol
y
_r: store terms in a set rat
h
er than in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store t
e
r
m
s in a set rather than in
a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmin: allow emptiness ch
e
ck through
c
ou
n
t
ing
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoo
l
aege
lexmi
n
.
cc: move c
o
nstr
u
ction of subdom
a
i
n
s to
e
dom
a
in
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
d
o
olaege
ed
o
main
.
cc: move
s
ample compu
t
a
t
ion completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin
.
cc: par
t
ial_order::com
p
a
r
e:
u
s
e substi
t
u
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
erdool
a
eg
e
lexmi
n
.
cc: indicato
r
::
c
o
m
bine
:
m
o
re
efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min
.
cc: keep
head
s
in
partial order separ
a
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
g
e
edomain
.
cc
:
E
Domai
n
:
:
add_
g
e_c
o
nstraint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
l
exmin
.
cc: pa
r
t
i
al_order::compare:
add
c
a
c
h
e of
c
ompariso
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
olaege
l
exmin
:
make su
r
e le set in partia
l
o
r
der only
c
ontains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
lexmin:
m
or
e
sa
n
ity ch
e
c
k
s
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoola
e
g
e
l
e
mxin: use stable ord
e
ring of indic
a
t
o
r_te
r
m
s
in
p
artial
_
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
g
enfun
.
cc: move lex_cm
p
to mat_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoola
e
ge
l
e
x
m
in: indica
t
or::com
b
ine: directly
add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
barvinok/p
o
lylib
.
h
: separate i
n
clude of polylib h
e
a
d
e
r
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
g
e
lexmin: opt
i
onally compute si
g
n
of
affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lexmin: optiona
l
ly
s
kip reduction of eval
u
es in
d
omains
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ve
r
doolaege
evalue_f
r
ac2floor: only make
a
rgument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyh
e
dron_not_empty: be careful ab
o
u
t
empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdo
o
la
e
ge
l
e
x
min: indic
a
tor_term:
:
is_opposite: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
rem
o
ve_all_eq
u
al
i
t
ie
s
: ha
n
dle compr
e
ss_variables
r
eturning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
lexmin: optionally use cdd during basis
r
e
duc
t
ion
commit
|
commitdiff
|
tree
2006-12-09
S
ven
Verdoolaege
Polyhedron_Reduced_Basis:
o
ptionally
u
se cdd to
s
olve
.
.
.
commit
|
commitdiff
|
tree
next