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
Makefile: only check lexmin if it has been compiled
2007-02-12
Sven Ve
r
doolaeg
e
Makefile: only
c
heck
l
ex
m
i
n
if it has bee
n
compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
a
d
d Para
m
_Pol
y
he
d
ron_Scale
_
Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdo
o
laege
lattice_point
.
c
c
:
a
d
d sanity c
h
eck
for ind
e
x of cone
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ve
r
doola
e
ge
test: i
n
itialize nbMa
t
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rd
o
o
l
a
ege
b
arvinok_enumerate: op
t
ionally
c
ompute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoola
e
g
e
P
r
ovide rep
l
ace
m
ent for new
Po
l
yL
i
b fun
c
tion Param_Polyhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
add e
v
alue_div (adapted from Pol
y
L
i
b
)
commit
|
commitdiff
|
tree
2007-02-12
S
ven Ver
d
o
o
l
aege
t
e
st: si
m
p
l
e test for PolyLib's Smit
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am
:
add
dependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
d
o
olaege
genfun
.
cc: short_
r
at::nor
m
alize:
micro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonicalize
on
read and mul
t
ipl
i
cat
i
on
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
Ve
r
d
oolae
g
e
doc: bar
v
i
nok_series requires po
l
yhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
Mak
e
file
.
am: check
barvi
n
ok_enumerate --
s
eries during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdool
a
ege
barvinok_enumerat
e
: compute series of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolae
g
e
util
.
c: move Polyhedron_
h
as_posit
i
ve_rays fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verd
o
olaeg
e
test all specia
l
ization a
l
gor
i
thms
during make chec
k
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oolaeg
e
pas
s
options through
t
o
b
arvinok_
c
ount in barvin
o
k_e
n
umerat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Ha
n
dle
non-unimodular cones
i
n dual decomposit
i
on
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
ba
r
vinok
_
stats: rename un
i
modul
a
r_cones
to
ba
s
e_cone
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laege
redu
c
er
.
cc: extr
a
sani
t
y
ch
e
c
k
s
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n
V
erdoolaeg
e
Handle non
-
u
nimodular cones
w
ith a specified
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en
V
erdoolaege
deco
m
p
o
s
er
.
cc: decomp
o
se:
minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
barvinok_option
s
:
i
nclude po
i
nter to barvinok
_
stat
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
a
dd
barvin
o
k
_o
p
t
i
ons_free
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoolaege
b
arvinok_en
u
m
e
rate: colle
c
t
s
tats
on number of u
n
imodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolae
g
e
d
e
compo
s
e
r
.
cc: polar_d
e
c
ompos
e
:
remove com
m
on
d
i
visor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
parti
a
l_reduce
r
: specialize list version
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolaege
re
d
ucer::
r
educe: bette
r
h
an
d
ling of term
s
wi
t
h
com
m
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
e
rdoolaege
reducer::reduce: com
b
ine nu
m
erators wit
h
eq
u
al u
n
r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
V
erdoolaege
QQ: add operator f
o
r multiplication
o
f vector b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
reducer
:
:
reduce: take a list of numer
a
tors as
inpu
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdool
a
ege
gen_fun::read: read ge
n
_
f
un from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdo
o
l
a
ege
add gen_fun::
a
dd(sho
r
t_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
NTL
_
QQ
.
cc: support reading from
s
trea
m
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_
f
un: a
d
d operator
for printing to str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
g
e
nfun
.
cc:
a
dd
s
hort_r
a
t
copy c
o
n
structor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpo
l
y_r:
micr
o
-o
p
t
imiza
t
ions
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ver
d
oolaege
dpoly: ma
r
k some more ar
g
uments/methods
co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
short_rat::add
:
m
a
r
k shor
t
_
r
at argume
n
t cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NT
L
_Q
Q
:
a
tt
e
mpt to speed-up +
=
operato
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ve
r
d
o
olaege
dpoly: add som
e
documen
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdoo
l
aeg
e
dpol
y
: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdo
o
laege
b
arvino
k
/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verd
o
olaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
QQ: add o
p
erat
o
r fo
r
multipl
i
ca
t
ion by a
sc
a
lar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
am: check-series
:
check -
-
primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Ve
r
d
o
ola
e
ge
Makefile
.
am: install (some) bina
r
ies
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
Verdool
a
ege
undefine
C
S for
S
o
l
ari
s
10
commit
|
commitdiff
|
tree
2007-01-14
S
ven V
e
rdoolaege
barvinok_enumerate:
handle lin
e
s in input po
l
yhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sv
e
n Verdoolaege
util
.
c: move l
e
f
t_
i
nverse from l
e
xmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::co
e
fficie
n
t: move p
r
inting to short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
gen_
f
un::c
o
efficien
t
:
new v
e
rsion returning
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdool
a
ege
genf
u
n
.
cc
:
move coef
f
icient computation to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_reducer:
r
e
start
c
omputation if
r
an
d
om vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
oolaeg
e
ge
n
_fun: e
x
pose clea
r
_
t
erms, a
method for cle
a
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
gen_fun::H
a
damard_pro
d
uct: propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
e
r
doolaege
bar
v
i
n
ok_e
n
umera
t
e: integrate
verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
ba
r
vinok_e
n
umerate: integrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
barvinok_
e
num
e
rate:
u
se argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
l
exmin: m
a
ke l
e
xmin options p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
Rever
t
"ber
n
stein/configure
.
in:
r
emove redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
oolaege
ba
r
vi
n
ok
.
cc: make u
s
e
o
f s
a
mpling
f
or coun
t
ing infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate
_
e: re
s
p
ect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
lexmin
.
cc: move selection o
f
gbr solver
t
o options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmin: use arg
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
o
o
laege
barvino
k
_enumerate_e: extrac
t
out verification
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-01-04
Sven
Ve
r
doolaege
barvinok_enu
m
e
r
a
te_e: print warnin
g
whe
n
--
o
m
ega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernstein/co
n
figu
r
e
.
i
n: re
m
ove redundant chan
g
e to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolae
g
e
barvinok/polylib
.
h: de
f
in
e
val
u
e_subtra
c
t and v
a
lue_add
m
ul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
decom
p
oser
.
cc: decompo
s
e:
m
ic
r
o-optimi
z
a
t
io
n
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
r
doolae
g
e
si
g
ned
_
cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Haral
d
Devos
omega/parser
.
y: remove brackets around ty
p
e in new
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoola
e
ge
lex
m
in: d
i
sa
b
le use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
la
e
ge
ba
r
v
i
n
ok_enume
r
ate_e
.
cc: fix argp options
p
a
r
ser
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaeg
e
optio
n
s
.
c: move
c
h
oi
c
e of
u
s
e
of lookup-table to b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaeg
e
l
attice_point
.
c
c
: fix #if
n
def USE_M
O
D
ULO code path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
e
rdoolaege
dec
o
mposer
.
c
c: short_vector:
r
e
move red
u
ndant
co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
decomposer
.
cc
:
short_vector
:
n
e
g
a
t
e lamb
d
a if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolae
g
e
barvinok
.
cc: series: only
require rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
ae
g
e
b
a
rvinok
.
cc: series:
pass full options
t
o barvi
n
ok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
lae
g
e
np_base::handle: pas
s
around rays m
a
trix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
ecomposer
.
c
c
: su
p
port
p
r
imal decompo
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaeg
e
deco
m
p
o
ser
.
cc: barvinok_decomp
o
se: implement in
t
erms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumerat
e
: respect
i
ncr
e
men
t
a
l_special
i
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
introduce
signed_
c
o
n
e struct
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rd
o
olaege
s
ep
a
rate out
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
e
ge
test: us
e
a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven V
e
rd
o
olaege
u
p
dat
e
ar
g
p from
g
nulib and add pr
o
g
n
am
e
mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaeg
e
barvinok_enumerate
_
e
.
cc: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
rdoolaege
lib/argp
.
h:
r
emove __NTH fo
r
__argp_usa
g
e inline fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoolaege
barvinok_enumerate_e
.
cc:
remove an
o
ther
d
uplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoolaege
barv
i
nok_enume
r
ate
_
e: use
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
ba
r
vinok_
c
o
u
n
t: use argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ve
r
doolaege
ad
d
argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdo
o
l
a
ege
sca
r
f
.
cc: m
a
ke compatible with older versions of Po
l
yLib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
add
m
issing assert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
lae
g
e
M
a
k
e
fi
l
e
.
am:
add remove_equalities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
configure
.
in: only
c
onfigure bernstein
i
f
GiNaC
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
be
r
nstein: configur
e
.
in: c
h
eck for GiNaC
commit
|
commitdiff
|
tree
next