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
DomainIncludes: detect more cases + adapt documentation
2007-02-19
Sven Ver
d
oo
l
aege
Doma
i
nIncludes: detect
m
ore c
a
ses + adapt documenta
t
ion
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bernstein_coefficients: handle frac
t
ionals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bernstein_coeffici
e
nts: handle floorin
g
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
v
en Ver
d
oolae
g
e
barvinok_maximize: new tool f
o
r
maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdool
a
e
ge
evalue
.
c: evalue_frac2polynomial: i
m
pr
o
ve a
c
cur
a
cy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
e
v
alue
.
c: add comme
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
evalue
.
c: a
d
d func
t
ion fo
r
checking n
e
sting
o
f an evalu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
evalue
.
c:
a
dd missing
t
erms
r
eorde
r
in
g
s in e
v
alue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make arguments of
e
equal and ev
a
lue_
d
enom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
barvinok_enumerate_
e
: add --verbo
s
e
op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
be
r
nstein: ma
r
k ar
g
u
m
ent of valu
e
2numeric
const
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolae
g
e
bernstein
.
cc: add (optiona
l
)
o
p
t
ions argume
n
t to evalue_b
e
rn
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Ver
d
oolaeg
e
a
dd missing vir
t
ual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
c
c:
r
en
a
m
e struct c
o
ne to avoid confl
i
ct
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolaege
doc:
integer poin
t
s in the fundamen
t
al
p
a
rallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdo
o
l
a
ege
verif_ehrhar
t
.
c
:
clean
u
p
i
n
d
e
n
tation
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
e
r
d
o
olaege
verif_ehrhart: optionally contin
u
e on err
o
r
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
verif_e
h
rhart: comb
i
ne check_po
l
y
f
rom
ba
r
v
i
nok_enumer
a
te_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaeg
e
ve
r
if_
e
hrhart
.
c
:
chec
k
low
e
r a
n
d upper poly
n
omial
approximations
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdo
o
lae
g
e
verify
.
h
: m
o
ve barv
i
n
ok_options
i
nto verif
y
_optio
n
s
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdoolaege
barvin
o
k
_
e
numera
t
e: pass para
m
e
ter na
m
es
to
c
hec
k
_poly
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
barvinok
_
enumerate:
m
o
re po
l
yno
m
mial approximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n
Verdoolae
g
e
evalue
.
c
:
add
e
value_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
S
ven V
e
r
d
o
olae
g
e
eval
u
e
.
c: ext
r
act eva
l
ue_split_do
m
a
ins_into_or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
r
doo
l
aeg
e
polysign
.
c: fix cdd_polyhedr
o
n_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erd
o
olaege
Makefile: only
c
he
c
k
lexmin if it has be
e
n com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
add Param_Polyhed
r
on_Scale
_
Integer p
r
ototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verd
o
ol
a
ege
lattice_
p
oint
.
cc: add sani
t
y check
for index of con
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: initial
i
ze
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
barvinok_
e
numerate: optiona
l
ly co
m
pute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoola
e
ge
Provide replacement for
new P
o
lyLi
b
functio
n
Para
m
_
Polyhed
r
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
add evalue_
d
iv (adapted f
r
om P
o
lyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoola
e
ge
test: simple
t
e
st f
o
r PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
Makefile
.
a
m:
a
dd dependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
g
e
nfun
.
c
c: shor
t
_rat::normalize: micro-op
t
im
i
zatio
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
QQ: canonicalize on read and mu
l
tiplication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
doc: barvinok_series
r
equires polyhedron to
hav
e
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
Makefi
l
e
.
am: check barvinok_enumerate
--ser
i
es during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
barv
i
nok_enumerate: c
o
m
p
ute series of
polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
util
.
c: move Polyhedro
n
_
has_po
s
itive_rays from
b
arvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
test
all s
p
e
c
ializ
a
tion algo
r
ithms
d
u
ring make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
ge
p
a
ss options through to
barvinok_cou
n
t in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
Hand
l
e n
o
n-un
i
mod
u
lar cone
s
i
n
dual
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oola
e
ge
barvino
k
_
s
tats: rename unimo
d
ular_cones
t
o b
a
se_c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaege
r
ed
u
cer
.
c
c
:
extra
san
i
t
y chec
k
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Handl
e
n
o
n-unimodular cones with a specifie
d
maxi
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en
Verdo
o
laege
decom
p
os
e
r
.
c
c
: decompose
:
mino
r
cl
e
a
n
-
u
p
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Ve
r
d
oolaege
bar
v
in
o
k_opti
o
ns: i
n
clu
d
e pointer
t
o barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olae
g
e
add barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
r
doolaege
barvi
n
ok_e
n
umerate: coll
e
ct sta
t
s
on n
u
m
ber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
decomposer
.
cc
:
polar_decompose
:
remove comm
o
n
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en V
e
rdoolaege
partial_
r
edu
c
er:
specialize list versio
n
of
b
as
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reduce
r
:
:
r
educe: be
t
t
e
r handling of term
s
with
c
om
m
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdool
a
ege
red
u
cer:
:
reduce: comb
i
ne
n
umer
a
tors w
i
th equal unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ
:
add operator
fo
r
m
ultiplication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaeg
e
reducer::reduce: take a list of numera
t
ors
as
input
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdo
o
lae
g
e
g
en_fun
:
:re
a
d: read g
e
n_fun
f
rom file
d
es
c
riptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
a
d
d gen_fun::
a
d
d
(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolae
g
e
NTL_QQ
.
cc: suppo
r
t rea
d
ing fro
m
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun: add ope
r
a
tor
for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
V
erdo
o
laege
genfun
.
cc: add
s
hort_rat
c
o
py
c
o
n
stru
c
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
dpol
y
_r: micro
-
opt
i
miz
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpoly: m
a
rk som
e
more argu
m
ents/metho
d
s
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
sh
o
rt
_
rat::
a
dd: mark short_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
N
TL_QQ: attem
p
t to speed-
u
p
+
= oper
a
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdoo
l
aege
dpoly: add some d
o
cumen
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolae
g
e
dpoly: add some more opera
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/
g
enf
u
n
.
h: fix
commen
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Ver
d
oolaege
QQ: add oper
a
to
r
fo
r
mu
l
tiplicat
i
on by
a
scalar
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
am: chec
k
-
s
eries: check --primal as we
l
l
commit
|
commitdiff
|
tree
2007-01-16
Sven V
e
rdoo
l
aege
M
a
kefil
e
.
am: install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven V
e
rdoolaege
barvi
n
ok_enumerate: h
a
ndle
lines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: mo
v
e
l
eft_inverse
f
ro
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::co
e
fficien
t
:
move printing
t
o shor
t
_
r
a
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaege
gen_fun::coefficient: new version returnin
g
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
ege
genfun
.
cc: move coefficient computation to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
partia
l
_reducer:
r
est
a
rt computation if random
v
ector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
gen_fun: exp
o
se clear_te
r
ms, a method for cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fu
n
::Hadamard
_
p
roduct: propagate full o
p
tions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoolaeg
e
ba
r
v
i
nok_enumerate: integrate ve
r
if_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoola
e
ge
barvino
k
_enu
m
erate: integrate b
a
rvinok_se
r
i
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoolaeg
e
barvinok_
e
n
u
me
r
a
te:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
lex
m
in: mak
e
lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolae
g
e
R
eve
r
t
"
bernstein/
c
onfigure
.
in: remove r
e
du
n
dant c
h
ange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoo
l
a
ege
b
a
r
vinok
.
c
c
:
ma
k
e use
o
f sampling for
c
ounting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
barvinok_e
n
umerate_e:
respect -
-
tabl
e
o
p
tion
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
lexmin
.
cc: mov
e
selection
o
f gb
r
solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verdoo
l
aege
l
e
x
min: u
s
e argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
arvi
n
o
k
_enumerate_
e
: extract
o
ut v
e
r
i
fication option
s
commit
|
commitdiff
|
tree
2007-01-04
S
ven Ver
d
oolaege
ba
r
vi
n
ok
_
e
numerate_e: print warnin
g
whe
n
-
-
omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
bernstein/configure
.
in: remov
e
redundant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok/polylib
.
h: define val
u
e
_
subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decom
p
oser
.
cc: decompose: micro-o
p
timizat
i
on
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolae
g
e
sig
n
e
d_c
o
ne
:
s
t
ore rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lexm
i
n: disable u
s
e of l
o
o
kup-
t
ables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvinok_enumerate_e
.
cc:
fi
x
a
r
g
p
options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
options
.
c: move ch
o
ice
o
f use of look
u
p-
t
able to
barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
lattice_p
o
int
.
c
c: fix
#
ifnde
f
USE_MOD
U
LO co
d
e path
commit
|
commitdiff
|
tree
next