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
QQ: add operator for multiplication by a scalar (ZZ)
2007-02-02
Sven V
e
r
doolaege
QQ:
a
d
d oper
a
tor for multiplication by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
Verdoolae
g
e
Makefile
.
am:
check-series: che
c
k --primal as well
commit
|
commitdiff
|
tree
2007-01-16
S
ven Verdoolaeg
e
M
akefile
.
am:
instal
l
(some) bin
a
ries
commit
|
commitdiff
|
tree
2007-01-15
Sven
Ve
r
d
o
ol
a
ege
un
d
e
f
ine CS fo
r
Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
ba
r
vinok_enumerate: handle lin
e
s in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdo
o
laege
util
.
c: move lef
t
_invers
e
f
r
o
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun:
:
coefficien
t
:
m
ove printing to sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdool
a
ege
g
en_f
u
n
::co
e
fficient:
new versio
n
return
i
ng
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
genfun
.
c
c: m
o
ve c
o
effici
e
nt c
o
m
p
utation to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
partial_
r
educer
:
res
t
a
r
t computation if random
vecto
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
gen_fun: expose clear
_
term
s
, a met
h
od fo
r
clea
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rd
o
olaege
gen_fun::Hadamard_pro
d
uct: prop
a
gate
f
ull o
p
tions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rd
o
olaege
barvinok_enumerate
:
integrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
barvinok_en
u
merate: integrate barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
barvinok_enumera
t
e:
u
se
a
r
g
p
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaege
l
e
xmin
:
make lexmi
n
options p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
R
evert "bernste
i
n/configure
.
in
:
remove redundant ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
ba
r
vinok
.
cc: make use o
f
s
a
mp
l
ing fo
r
c
oun
t
ing infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
barvinok_enumerate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdool
a
ege
lexmin
.
c
c
:
move selec
t
ion
of gbr solver to o
p
tions
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaeg
e
lexmin
:
us
e
argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
Verdoo
l
aege
bar
v
inok_enumerate_e: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolaege
ba
r
vinok_enumer
a
te_e
:
print w
a
rnin
g
when --omega
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verd
o
olaege
barvinok/polylib
.
h: define valu
e
_s
u
b
t
ract
and value_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
cc
:
d
ecompose: micr
o
-optim
i
za
t
i
o
n
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
rdoolaege
signe
d
_co
n
e:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
laege
lexmi
n
: disab
l
e use
of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
laege
barvinok_
e
n
u
mera
t
e_e
.
c
c: fix argp option
s
parser
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verd
o
olaege
options
.
c: move choice of use
of
lookup-table to barvinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoo
l
aege
lattic
e
_point
.
c
c
: fix #ifnd
e
f
US
E
_MODULO code
path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
er
d
oolaege
d
e
composer
.
cc: short_vector: re
m
ove redund
a
nt code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
de
c
omposer
.
cc: shor
t
_vector: n
e
gate
l
ambd
a
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: se
r
ies: only requ
i
re
r
a
ys to
be re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdool
a
e
g
e
barvinok
.
cc: seri
e
s: pas
s
full options to bar
v
inok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaege
np_base::handle
:
pass arou
n
d
r
ays
m
atrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
decomposer
.
cc:
s
u
pport
p
ri
m
al
decomposit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomp
o
ser
.
cc: barvinok_d
e
compose: imp
l
e
m
ent in
terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
b
arvinok_enumera
t
e: respect increment
a
l
_s
p
ecia
l
izati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolae
g
e
intr
o
duce signed_c
o
n
e
s
tru
c
t
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ver
d
oolaege
se
p
a
r
ate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaeg
e
up
d
ate argp from gnulib an
d
a
d
d progname modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_
e
numerate_e
.
cc: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
lib/
a
rgp
.
h:
r
e
m
ove __NTH for __argp_usage inline f
u
nct
i
on
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
dool
a
e
g
e
barvinok_enu
m
erate_
e
.
cc: remove another duplicate definiti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
bar
v
inok_
e
numerate_e: u
s
e
argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
ba
r
vinok_count: use
a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
ae
g
e
opt
i
ons
.
c: ad
d
argp
parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
scarf
.
cc: make
c
ompat
i
b
l
e
with older versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
ad
d
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Make
f
ile
.
am:
add remove_equalities
.
h to dist
r
ibution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
configure
.
in:
o
nly con
f
igu
r
e bernstein
if GiNa
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Ver
d
oolae
g
e
ber
n
ste
i
n:
confi
g
ur
e
.
in: check for GiNa
C
commit
|
commitdiff
|
tree
2006-12-19
Sven
Verdoolaege
bern
s
t
e
i
n
: remove extra qualifications from
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolae
g
e
bernstein/src/main
.
c
p
p: r
e
m
ove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
short_rat::nor
m
alize: make powers in
t
he denominato
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdo
o
lae
g
e
gen_fu
n
::s
u
bstitu
t
e:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
l
aege
dpoly_r: st
o
re
t
e
r
ms in a set
ra
t
her t
h
an i
n
a
vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_f
u
n
:
s
t
o
r
e terms i
n
a
s
et rather than in
a vector
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin: a
l
low e
m
ptiness check th
r
o
u
gh co
u
nting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in
.
cc: m
o
ve construc
t
ion of subdomai
n
s to ed
o
main
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoola
e
ge
edomain
.
cc: move sam
p
l
e
c
o
m
putation complet
e
l
y to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doola
e
ge
lexmin
.
cc:
partial_order::compare: use subst
i
tution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin
.
cc: indicato
r
::com
b
i
ne: more effici
e
nt way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ve
r
d
o
olaege
lexmin
.
cc: keep he
a
ds
in parti
a
l ord
e
r separate
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaeg
e
edomai
n
.
cc: EDomain::add_g
e
_constraint: simpl
i
fy new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin
.
cc: partia
l
_order::compare
:
add cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lex
m
in
:
make sure le set in partial
order
o
nly conta
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdo
o
l
a
eg
e
lexmin
:
more san
i
ty checks
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lemxin
:
use stab
l
e orderi
n
g o
f
indic
a
tor_ter
m
s in part
i
al_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
genfun
.
cc: move le
x
_
c
m
p to mat_util
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin: i
n
dicator::combine: directly add
s
o
m
e kn
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
barvino
k
/polylib
.
h: separate
i
nclude
of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally compute sign
of affine fu
n
c
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oo
l
aege
lexmi
n
: o
p
tionall
y
skip reduction of evalues in dom
a
i
ns
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdool
a
ege
evalue_f
r
a
c
2floor: only make argument no
n
nega
t
ive if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhe
d
r
o
n_n
o
t
_empty: be careful a
b
out empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin: indi
c
ator_term::is
_
o
p
p
osite: ass
u
me numerat
o
rs
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
remove_all_equalities: han
d
le
compress_v
a
r
i
a
bles returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
lexmin: o
p
tio
n
ally
u
se cdd du
r
ing basi
s
reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doolaege
Polyhedron_Reduced
_
Basis: optionall
y
use cdd to
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
co
n
figure
.
i
n:
c
hec
k
for cdd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
l
e
xm
i
n: Polyhedron_not_empty: c
o
ntinue removing equalitie
s
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmi
n
: h
a
n
d
le
e
qu
a
lities
amo
n
g p
a
rameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
lae
g
e
remove_all_equalities: ignore
identity parameter compress
i
on
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
r
emove_equalit
i
es
.
c: extrac
t
ed fro
m
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
g
enfun: add
short_rat::
n
or
m
alize
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoo
l
ae
g
e
genfun: add
s
hort
_
rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
olaege
evalue
.
c:
e
value_d
e
n
o
m: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ver
d
oolaege
l
e
x
m
i
n: P
o
lyhedron_not_empty: chec
k
re
s
ult returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdoo
l
aege
barvin
o
k
.
cc: series: remove equ
a
lities using Preimag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaege
barvinok_coun
t
: collect stats on numb
e
r
of uni
m
od
u
lar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
util
.
c: triangulate_c
o
ne:
u
s
e bigger random
values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sam
p
le
.
c
:
Polyhedron_Rem
o
veFixedColumns: co
p
y
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ven V
e
rdoolaeg
e
be
r
nst
e
in: piecewise_lst::eva
l
u
a
t
e: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
olaege
configure
.
i
n: o
n
l
y add -lbe
r
nstein to
b
arvinok
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
v
en Verd
o
olaege
confi
g
ure
.
in: rename --with-g
i
nac to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
S
v
e
n V
e
rdoolaege
c
onfigure
.
in: allow b
u
i
l
d withou
t
GiNaC
(and there
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven
V
e
r
d
oolaege
conf
i
gu
r
e
.
in:
a
d
d
-lb
e
rnstein to barvinok
.
p
c
if i
t
.
.
.
commit
|
commitdiff
|
tree
next