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
doc: integer points in the fundamental parallelepiped of simple cone
2007-02-16
Sven Ver
d
oo
l
aege
doc
:
int
e
ger points i
n
t
h
e fund
a
mental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_
e
hrh
a
rt
.
c: clean
u
p
in
d
entation
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doolaege
verif_ehrhart: optionally continue on e
r
ro
r
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoolaege
verif_ehrh
a
rt: combi
n
e c
h
eck_poly from barvinok_e
n
umerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehr
h
art
.
c
:
chec
k
l
ower an
d
upper polyn
o
mial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
verify
.
h:
move bar
v
i
nok_opti
o
ns into verify_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
V
e
r
doolaege
b
a
rvinok_enu
m
era
t
e: pa
s
s par
a
meter names
t
o check_poly
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoo
l
a
e
ge
ba
r
vinok_enumerate: mo
r
e po
l
y
no
m
m
i
al approxima
t
ions
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
ev
a
l
u
e
.
c: add evalue
_
fra
c
2
p
ol
y
nomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eval
u
e
.
c: extract evalue_split_domain
s
_i
n
to_or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
polysign
.
c: fix
cdd_po
l
y
hedr
o
n_affine_
s
ign prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
Makefile: only c
h
eck lexmin if it has bee
n
compiled
commit
|
commitdiff
|
tree
2007-02-12
S
ven
V
erdoolaege
a
d
d Param_Polyhedron_Scale_I
n
teger prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
la
t
tice_p
o
int
.
cc
:
add s
a
nity check
f
or ind
e
x
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
test:
i
niti
a
lize
n
b
M
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
barvinok_enumerat
e
:
optionally comp
u
te a polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
Provide repl
a
cement for new Po
l
yLib functi
o
n
Param_Po
l
y
h
edro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add evalu
e
_div
(
ad
a
pted
f
rom PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erdoolaege
t
e
s
t
: si
m
p
le te
s
t for PolyLib'
s
Smit
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oo
l
aege
M
akef
i
le
.
am: add depende
n
cie
s
fo
r
che
c
ks
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Verdoolaege
genfun
.
c
c
:
short_rat::nor
m
a
l
ize: micro
-
optimizatio
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: can
o
nical
i
z
e
on read and
multiplication
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n Verdoolaege
doc: barvinok
_
series
req
u
ires po
l
yhe
d
ron
t
o hav
e
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolae
g
e
Makef
i
l
e
.
am: check barv
i
no
k
_enumerate --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
barvinok_e
n
ume
r
ate: co
m
pute series of p
o
lyhedr
a
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
util
.
c:
move P
o
lyhedron_has_positi
v
e_rays fr
o
m barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Ve
r
do
o
laege
test all spe
c
ialization algorithms d
u
ring ma
k
e chec
k
commit
|
commitdiff
|
tree
2007-02-09
S
v
en
Verdoolaege
pass optio
n
s through to barvinok_count in bar
v
inok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdoolaege
Handle
n
on
-
unimodular co
n
es in dual decom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laeg
e
barvinok
_
stats: ren
a
me unimo
d
ular_cones to ba
s
e
_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
re
d
ucer
.
cc: extra sa
n
ity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
dool
a
ege
Han
d
le non-unimodular cones wi
t
h a
s
pecified ma
x
imal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
ecomposer
.
cc: decompose
:
m
i
n
o
r
c
lean-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
b
arvino
k
_options: inclu
d
e
poin
t
er
t
o ba
r
vinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Ver
d
oolae
g
e
add
b
a
r
vinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
barvin
o
k_enumerate:
c
ollect stats on numbe
r
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en
Verdoolaege
decomposer
.
cc: polar_de
c
ompos
e
: re
m
ove
c
ommon d
i
visor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verd
o
o
l
a
ege
partia
l
_reducer: specia
l
ize
l
ist version of base
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolaege
reducer:
:
reduce: better handling of
t
e
rm
s
with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
S
v
en Verdoolaege
reducer::reduce: combine
numerators with
e
q
u
al un
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ: add
operator
f
or multiplication o
f
vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
red
u
cer::
r
educ
e
:
t
a
ke a list of numerators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::r
e
a
d
:
read gen_fun from fi
l
e
descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoo
l
ae
g
e
add gen_
f
un::add(
s
hor
t
_rat *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
NTL_QQ
.
cc: support reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doo
l
aege
gen_fun:
a
dd operator
for pr
i
nting
to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
g
e
n
fun
.
cc: add short_
r
at
c
opy co
n
structo
r
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoola
e
ge
dpoly_r:
m
icro-optimi
z
ations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdool
a
ege
dpoly: mark
s
ome more
a
rguments/
m
ethods const
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
short
_
rat::add: mar
k
short_rat arg
u
ment const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
aege
NTL_QQ: attempt to spe
e
d-up += op
e
rator
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verd
o
olaege
dp
o
ly: ad
d
some
d
o
c
u
mentat
i
on
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rd
o
olaege
d
p
oly:
a
dd some more op
e
r
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
b
arvinok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
o
o
laege
QQ:
add op
e
r
ator fo
r
multiplica
t
i
o
n by a scalar
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
ven Ver
d
o
o
l
a
ege
Makefil
e
.
a
m: check-series: check --pri
m
a
l
a
s
well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdool
a
e
ge
Makefile
.
am: in
s
tall (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdoola
e
ge
undefine CS
for
Solari
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Verdoo
l
aege
bar
v
inok_en
u
me
r
ate
:
hand
l
e lines in in
p
ut polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en
V
erdoolaege
util
.
c: move left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaeg
e
gen_fun:
:
c
o
effici
e
nt: m
o
v
e
printing
to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdool
a
e
ge
g
e
n_fun::
c
oefficie
n
t: new vers
i
on retur
n
ing
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
g
enfun
.
cc: move coefficient computation to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_red
u
cer: restart computa
t
ion
i
f random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
gen_fun: e
x
pose clear_te
r
ms, a
m
e
thod for clear
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun
:
:
Hadamard_product: propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
barvinok_enumerate: integrate ver
i
f
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoo
l
ae
g
e
b
arvinok_enumerate: integra
t
e barvinok_se
r
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
barvinok_enu
m
erat
e
: u
s
e
argp
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
l
e
xmin:
m
ake
l
e
xmin o
p
tions
private
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaeg
e
Revert "ber
n
st
e
in/c
o
nfigure
.
i
n:
r
emove
redunda
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
barvinok
.
c
c: make use of sampling for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
barvinok
_
e
numerate_e: res
p
ect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
c
c
:
move selection of gb
r
solver to op
t
ions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmi
n
: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enumerate_e: extract o
u
t verific
a
tion op
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barv
i
nok_enumerate_e: pri
n
t wa
r
ning
w
hen --omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
Verdoo
l
aege
b
e
r
nstein/c
o
n
f
igure
.
in:
r
emo
v
e
r
edundant chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
bar
v
inok/polylib
.
h: define va
l
ue_
s
ubtract
a
nd v
a
lue_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoo
l
aege
d
ecomposer
.
cc: decompose: micro-optimizatio
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
s
igned_cone: sto
r
e rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdool
a
ege
l
exmin: disable use
of
loo
k
up-tables
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Verdoolaege
barvin
o
k
_
enume
r
ate
_
e
.
cc: fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
options
.
c
: mo
v
e choice of use
of lookup-tab
l
e to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verd
o
olaege
lattice_point
.
cc: fix #i
f
nde
f
U
SE_M
O
DUL
O
code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
e
ge
d
ecomposer
.
cc: short_vec
t
or: remove re
d
u
n
dan
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
d
ecom
p
oser
.
cc: sh
o
r
t
_vector
:
negate lambda if
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
r
doolae
g
e
barvinok
.
cc: series: o
n
ly requir
e
rays to be rev
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc
:
series: pa
s
s full
o
p
tions to ba
r
v
inok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
n
p_base::handle: pass around rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
c
c
: suppo
r
t
p
r
ima
l
decompo
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
de
c
omposer
.
cc: b
a
rvinok_decompose:
i
m
p
lement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
oolaege
barvinok_enume
r
ate: r
e
spect in
c
re
m
en
t
al
_
spe
c
ialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
i
ntroduce signed_co
n
e stru
c
t
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
erdoolaege
separate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: us
e
argp parse
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoola
e
ge
upd
a
te
a
rgp
f
ro
m
g
n
ulib an
d
a
dd
progname module
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
Verdoo
l
aege
barvinok
_
enum
e
ra
t
e_e
.
cc: don't exit o
n
u
n
recogn
i
zed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaeg
e
li
b
/argp
.
h: remove __NTH
f
or __argp
_
usage inline functi
o
n
commit
|
commitdiff
|
tree
next