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
V
e
rdoola
e
ge
re
d
ucer::reduce: take a list of
numera
t
ors
as
i
nput
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_f
u
n::read:
r
ead gen_fun from fil
e
descrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
ad
d
gen_fun::
a
dd(sh
o
rt_rat *
r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL
_
QQ
.
c
c: support
reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
g
e
n_fun: ad
d
operator for
prin
t
ing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
e
rdoolae
g
e
genfun
.
cc: add short_rat c
o
py cons
t
r
u
ctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
d
poly_r:
micro
-
optimizati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
eg
e
d
p
ol
y
: mark some more
argu
m
ents/me
t
h
ods const
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
doolaege
shor
t
_rat::ad
d
:
mark shor
t
_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdool
a
ege
NTL_QQ: attempt to
s
p
eed-up += ope
r
ator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly
:
a
dd
som
e
d
o
c
umentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
a
e
ge
dpoly: add s
o
me more o
p
erations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
dool
a
e
g
e
barvinok/ge
n
f
un
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
l
aege
ad
d
.
git
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
Q
Q: add operato
r
for multipl
i
ca
t
ion
b
y a
s
c
a
l
ar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven V
e
r
d
oolaege
Ma
k
efile
.
a
m
:
check-se
r
ies: che
c
k --primal as w
e
ll
commit
|
commitdiff
|
tree
2007-01-16
Sven Ve
r
doolaege
Makefile
.
am: i
n
s
t
all
(so
m
e) bin
a
ries
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdoolaege
u
n
define CS
f
or Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barv
i
nok_
e
num
e
rat
e
:
h
a
ndle lines in input poly
h
e
d
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move left_inverse fro
m
lex
m
i
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen_fun::c
o
effi
c
ient: move printi
n
g to s
h
or
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::
c
oefficient: new version
ret
u
rnin
g
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
ge
genfun
.
cc: move coeffi
c
ient computa
t
ion to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
pa
r
tial
_
reducer: restart compu
t
ation if rand
o
m vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdoolaege
gen_fun: e
x
pos
e
clear_terms, a method for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verd
o
olaege
gen_fun::Hadamard_product: prop
a
gate fu
l
l op
t
ions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumera
t
e
: integr
a
te
ver
i
f_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
r
doolaege
barvinok
_
enumerate:
integ
r
a
t
e barvi
n
ok
_
series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolae
g
e
barvinok_enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
le
x
min: make l
e
xm
i
n options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert "bernste
i
n/configure
.
in: remo
v
e
r
e
dundant chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
barvinok
.
cc:
ma
k
e use
o
f
sampling for counting in
f
in
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaeg
e
ba
r
vinok_enumerat
e
_
e: respec
t
--t
a
ble option
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
le
x
min
.
cc: move selection of gbr solve
r
to
o
pt
i
ons
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
le
x
min: u
s
e a
r
gp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaeg
e
b
a
rv
i
nok
_
enume
r
ate_e: e
x
tra
c
t out verificatio
n
o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
b
a
rvino
k
_enume
r
ate
_
e: print
wa
r
ning when --omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barv
i
nok/po
l
ylib
.
h: d
e
fine
value_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
c
c: deco
m
pose:
m
icro-
o
ptimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
signed_cone: store rays
o
f cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
lexmin
:
disabl
e
use
o
f lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdo
o
l
aege
barvi
n
ok_enumer
a
te_e
.
c
c
: fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
o
p
t
ions
.
c: move choic
e
of use of l
o
okup-
t
able to barvin
o
k_
o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
la
t
tice
_
point
.
cc: f
i
x #ifn
d
ef USE
_
MO
D
ULO code
path
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdo
o
laege
d
e
c
ompo
s
er
.
cc
:
s
hort_vector: re
m
ove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decom
p
oser
.
cc: short_vector:
n
e
g
ate lambda
i
f
z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdo
o
l
aege
b
a
rvi
n
ok
.
cc: series:
o
nly
r
equire ray
s
to
b
e revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoo
l
aege
barvinok
.
cc: series: pass ful
l
options to barvino
k
_co
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
n
p
_base::handle: p
a
ss around rays matrix in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
d
ecomposer
.
cc: su
p
p
o
rt primal decomp
o
s
i
tion
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
doolaege
decom
p
o
s
e
r
.
cc: barvinok_de
c
ompose: implement in
t
erm
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
erdoolaege
barvinok_enumerate: respect incre
m
en
t
al_
s
p
ecialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
introduc
e
sign
e
d_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separ
a
te
out
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
t
e
s
t: use argp pa
r
ser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Verdoo
l
a
ege
update argp fr
o
m
gnulib and add pr
o
gname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
o
l
aege
b
a
r
vinok_
e
numer
a
te_e
.
c
c
: don
'
t exit on unrecogniz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoolaege
lib/argp
.
h: remove __NT
H
f
o
r __
a
rgp_us
a
ge inline function
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n Verdoolaege
barvinok_enumerate_e
.
cc: re
m
ove another
d
up
l
icate defini
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoo
l
aege
bar
v
i
n
ok_enume
r
ate_
e
: use argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
d
ool
a
e
g
e
barv
i
n
o
k_count: use
argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oolaeg
e
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
add argp f
r
o
m
gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Ver
d
oolaege
s
c
arf
.
cc:
m
ake compatible
with o
l
der
v
ersions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add m
i
ssing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
dool
a
ege
Makefile
.
am: add rem
o
ve_e
q
ualities
.
h t
o
dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
configure
.
in: only
c
on
f
igure b
e
r
nstein if G
i
NaC
w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
bernst
e
in: configu
r
e
.
in:
c
heck for
GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolae
g
e
bernste
i
n:
r
emove e
x
tra quali
f
ications f
r
om polyno
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdoolaeg
e
bernst
e
in/src/main
.
cpp:
re
m
o
ve redund
a
nt include
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdoo
l
aege
shor
t
_rat::normalize:
m
ake powers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
g
en_fun::substitute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoola
e
ge
dpol
y
_r
:
store
terms
in a
s
et rather than in a v
e
ctor
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdo
o
l
a
ege
gen_fun:
s
t
ore te
r
m
s i
n
a
set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin: allow emptin
e
ss
c
heck t
h
roug
h
counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
a
ege
lexmin
.
cc: m
o
v
e
c
o
nstruc
t
ion of
s
ubdoma
i
n
s
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edomain
.
cc: mo
v
e
sam
p
le computation
c
ompletely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoo
l
a
e
ge
lexmin
.
cc:
p
artial
_
order::com
p
are: use substitutio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
l
e
xmin
.
c
c
:
i
ndicator::combine: m
o
re eff
i
cient way
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verd
o
olae
g
e
l
e
xmin
.
cc
:
keep
h
eads in partia
l
order separ
a
te
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdo
o
laege
edomain
.
cc: EDomain
:
:add_ge_constraint: sim
p
l
ify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
olaeg
e
lexmin
.
cc: part
i
al_orde
r
::compare
:
add cache
o
f comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
l
e
x
m
i
n: make sure le set in
pa
r
tial orde
r
only c
o
ntains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin: more sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolaege
l
em
x
in
:
use stable ordering
of indicator_terms in
p
artial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaeg
e
g
enfu
n
.
cc: move lex
_
c
m
p t
o
m
at_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin:
indic
a
tor::co
m
bi
n
e: directly add s
o
me
k
nown
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
e
g
e
barvino
k
/p
o
l
ylib
.
h: se
p
arate include of
p
olylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin: o
p
tionally co
m
pute sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: option
a
lly skip reduction of eva
l
ues in
d
omains
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Ve
r
doolaege
e
value_fra
c
2floor: o
n
ly make a
r
g
ume
n
t nonnegat
i
ve if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoo
l
a
ege
lexmin: Polyhedron_not_empty:
b
e car
e
f
u
l
about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin: indicator_term::is_o
p
posite:
a
s
s
ume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
r
e
move
_
all_equaliti
e
s: handle comp
r
ess_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: op
t
ionally use cdd d
u
ring bas
i
s reduction
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaege
Polyhedro
n
_R
e
d
u
ced_Ba
s
is: optionally use
cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoo
l
aege
conf
i
gu
r
e
.
i
n:
check f
o
r cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
l
ex
m
in:
P
o
lyhedron_not
_
empty: c
o
n
t
i
nue removin
g
equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoola
e
ge
l
exmin:
h
a
n
dle equaliti
e
s a
m
ong parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
remove_al
l
_equalities:
i
g
nore ide
n
tity parame
t
er compression
commit
|
commitdiff
|
tree
next