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
Param_Polyhedron_Volume: perform lifting triangulation by default
2007-02-19
Sven Verdoolaege
barvi
n
ok_maximize: make
e
value pars
e
a littl
e
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
barvino
k
_e
n
umerate
*
: be les
s
c
h
atty b
y
default
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
cou
n
t
/enumerate: warn if
i
npu
t
is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
DomainInclude
s
:
detect more cases + adapt d
o
cu
m
entatio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_b
e
rns
t
e
i
n_coeffi
c
ients: handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
evalue_bernst
e
in_coefficient
s
:
h
a
ndle floorings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
V
e
rdoolaeg
e
barvinok_maximize:
n
ew tool for m
a
ximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
Verdoolaege
evalue
.
c: evalue_
f
rac2pol
y
nomial: imp
r
ove ac
c
uracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
e
g
e
evalue
.
c: add co
m
me
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
evalue
.
c: add function for chec
k
ing n
e
sting of an eval
u
e
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Ve
r
doolaeg
e
evalue
.
c: add
m
i
s
sing terms reor
d
e
rings
in evalue_ran
g
e_
r
e
du
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
evalue
.
c: make arguments of eequal and
e
v
a
lue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
barvinok_enumerate_e:
a
dd --verbose opt
i
on
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
bernstein: mark
argument of value2num
e
ric const
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n V
e
r
d
oolaege
berns
t
ein
.
cc:
a
dd (optiona
l
)
options argu
m
ent to evalue_ber
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
add mis
s
in
g
virtual destr
u
c
t
ors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
g
enfun
.
cc: rename
s
tru
c
t cone to avo
i
d conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
o
laege
doc: in
t
eger points in the fund
a
mental par
a
llelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
if_ehrhart
.
c: clean up in
d
entati
o
n
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
ve
r
i
f
_ehrhart: optionally
con
t
inue on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Ver
d
oolae
g
e
verif_eh
r
hart: combine check_poly from
b
arvinok_
e
n
u
merate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
verif_ehrh
a
rt
.
c
: check lower
a
nd upper
p
olynomial
a
pproximations
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ve
r
doolaege
verify
.
h: mo
v
e barv
i
nok_
o
p
t
ions int
o
v
e
rify
_
options
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
barvinok_e
n
umerate:
pass paramet
e
r
names to che
c
k_po
l
y
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verd
o
o
laege
barvinok_enum
e
rat
e
: more polynommial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
e
r
doolaege
evalue
.
c: add evalue
_
frac2polyno
m
ial
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n
Verdoolaege
evalue
.
c: extract eval
u
e_s
p
lit_d
o
main
s
_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
la
e
ge
p
olysig
n
.
c: fix cdd_polyhedron_affine_sign
prototype
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
M
a
ke
f
ile:
o
nly check l
e
xmin
i
f it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdo
o
la
e
ge
a
dd Param_Polyhedron_Scal
e
_In
t
eger prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
latt
i
c
e
_poin
t
.
cc
:
add sanit
y
check
f
or ind
e
x of con
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
te
s
t: initialize
n
b
Mat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolae
g
e
barvinok
_
enumer
a
te: optionally comput
e
a
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
erdo
o
laege
Pr
o
vide
replaceme
n
t for new
PolyLib function Par
a
m_Po
l
yhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
ad
d
e
v
alue_
d
iv (adapted from
PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
test:
s
im
p
le test f
o
r PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
Makefil
e
.
am: add de
p
end
e
n
cie
s
for c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
c
c: short_rat::normalize: mic
r
o-op
t
imizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolae
g
e
QQ: ca
n
onicalize on read and m
u
ltiplica
t
ion
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoo
l
aege
doc:
b
arvinok_seri
e
s requ
i
r
e
s po
l
yhedron
t
o have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
o
laege
Makefile
.
am: check
b
a
r
vinok
_
e
nu
m
era
t
e --seri
e
s during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
test all speci
a
lizatio
n
alg
o
rithms dur
i
ng make check
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
pass opti
o
ns through to barv
i
nok_count i
n
barvinok_enumerat
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ve
n
Verd
o
olaege
Handle n
o
n-
u
nim
o
dular cones in dual decompo
s
ition
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdool
a
eg
e
barvinok_stats: ren
a
m
e
unimod
u
lar_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
r
educer
.
c
c
:
e
x
t
ra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoolaege
H
an
d
le n
o
n-unimodular
c
ones with a sp
e
ci
f
ied m
a
xim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verd
o
olaege
decomp
o
ser
.
cc: decom
p
os
e
: minor
c
lean
-
u
p
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n
Verdoolaeg
e
barvinok_o
p
tions: i
n
clude pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en
Verdoo
l
a
e
g
e
ad
d
barvinok_optio
n
s_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
b
a
rvi
n
ok_enumer
a
te: collect st
a
t
s
on number of u
n
imodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
la
e
ge
decomposer
.
cc: po
l
a
r_decompose: remove commo
n
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
p
a
r
tial_reducer: specialize
l
i
s
t
vers
i
on of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::reduce: better handling of term
s
with c
o
mmon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaeg
e
red
u
ce
r
::r
e
duce: combi
n
e
numer
a
tor
s
w
ith equal unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
Q
Q
: add operator for
multiplica
t
i
o
n of
v
e
ctor
b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
redu
c
er::reduce: take a
l
i
st of n
u
me
r
ators as input
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
erd
o
olaege
gen_fun::
r
ead: read gen_fun from
f
ile
descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaeg
e
add gen_fun
:
:add(sh
o
rt_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
NT
L
_
Q
Q
.
c
c: support reading
from s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oolaege
gen_fun: add operator f
o
r pri
n
ting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
genfun
.
cc
:
add sho
r
t_rat copy co
n
s
t
ru
c
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly_r
:
micro-optim
i
z
a
ti
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolae
g
e
d
poly:
mark some mor
e
arguments/
m
ethods const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdoolaege
short_
r
at::add: mark short_
r
at argu
m
ent
c
onst
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
N
T
L_QQ: attempt to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
d
pol
y
: add som
e
documentation
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaeg
e
dpol
y
: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolaege
barvinok/genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
Q
Q: add operator for mu
l
tiplica
t
io
n
b
y
a scalar
(
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
Sve
n
Verdoolaege
Makefile
.
am: check-se
r
ies:
check
-
-primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven
V
erd
o
olaege
Makef
i
l
e
.
am: install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Verdoo
l
aege
undefi
n
e CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven
V
e
r
d
oolaege
bar
v
i
n
ok_enumera
t
e: h
a
n
d
l
e
lines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en Verdool
a
ege
u
t
i
l
.
c: move
l
eft_inv
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_fu
n
:
:
coe
f
f
icient: m
o
ve p
r
i
ntin
g
to short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaeg
e
gen_fun::coeffici
e
nt: n
e
w versi
o
n
r
eturning
ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoola
e
g
e
genfun
.
cc: m
o
ve coefficient
c
o
mputat
i
on t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
l
a
ege
partial_
r
educer: restart
comp
u
tation if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
g
en_fun: expose clear
_
terms, a
me
t
hod for cle
a
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
gen_fun::Hadamard_produ
c
t
:
propagate fu
l
l options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
lae
g
e
bar
v
inok
_
enumera
t
e: integrate v
e
r
i
f_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
b
arvinok_en
u
m
e
rate: integ
r
a
t
e
barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdoolae
g
e
bar
v
i
no
k
_enumerate
:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
lexmin: mak
e
l
exmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
laege
Re
v
ert "
b
ernstein/configure
.
in: remove redundant cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
aege
barvino
k
.
cc:
make use of sa
m
pling for counting
i
n
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
d
oolaege
bar
v
inok_enumera
t
e_
e
:
respect --table o
p
tion
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
lexmin
.
cc: move selection o
f
gbr solver to
o
ption
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
dool
a
e
ge
le
x
m
i
n: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
b
arvi
n
ok_enumerate
_
e: extr
a
ct out
verif
i
catio
n
optio
n
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
arvinok_enume
r
ate_e: print warning when --om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
Ve
r
d
o
olaege
barvino
k
/polylib
.
h: define value_
s
ub
t
ract
a
nd valu
e
_
a
ddmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoo
l
aege
deco
m
poser
.
cc: decompos
e
: micr
o
-optimization
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoola
e
ge
signed_cone
:
store
rays of c
o
ne
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lex
m
in: d
i
sable use of look
u
p-tabl
e
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laeg
e
barvinok_enumerate_
e
.
cc: fix argp opti
o
ns parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
option
s
.
c: move c
h
o
ice of use of
lookup-table to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
olaege
la
t
t
i
ce_
p
oi
n
t
.
cc:
f
ix #ifndef
U
S
E
_MODU
L
O
code p
a
th
commit
|
commitdiff
|
tree
next