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
verif_ehrhart.c: check lower and upper polynomial approximations
2007-02-14
Sv
e
n Verdoolaege
veri
f
_
e
hrhart
.
c:
check low
e
r and upper polynomial ap
p
ro
x
i
matio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erd
o
olaeg
e
ver
i
fy
.
h:
move barvinok
_
o
pt
i
ons into ver
i
fy_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
dool
a
ege
barvino
k
_
enu
m
e
r
a
te:
pa
s
s
p
arameter names
to check_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
barvinok_enumerate: more
p
olynommi
a
l a
p
proximations
commit
|
commitdiff
|
tree
2007-02-14
S
ven V
e
rdoola
e
ge
evalue
.
c: add e
v
alue_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
o
lae
g
e
ev
a
lue
.
c:
e
xtra
c
t
e
value_split
_
domains_in
t
o_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
polysig
n
.
c: f
i
x cdd
_
polyhedron_affine_sign pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
Makefile: on
l
y
c
heck
l
exmin if it has been
com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
add
P
aram_Pol
y
hedron_Scale_Integer p
r
ototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
l
attice_point
.
cc: add sanity che
c
k f
o
r index
o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
t
e
st: initi
a
lize nbM
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
barvin
o
k_enu
m
erate: optionally c
o
mpute a
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
e
rdoola
e
ge
P
ro
v
i
d
e repla
c
eme
n
t for
n
ew PolyLib
f
unction P
a
ram_P
o
lyhed
r
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolae
g
e
a
d
d evalu
e
_
div (adapte
d
fr
o
m PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
te
s
t: s
i
mple te
s
t for PolyLib's Sm
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
ak
e
file
.
am: add
depend
e
ncies for
ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
genfun
.
c
c: shor
t
_rat
:
:
n
ormalize: micr
o
-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven
V
erdoo
l
aege
QQ: canonicalize o
n
rea
d
a
nd multiplication
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
d
oc: b
a
rvinok_series requires polyhedron to hav
e
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolaege
Makefile
.
a
m:
c
heck
barvin
o
k_
e
n
u
merate --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verd
o
o
l
aege
b
a
rvin
o
k_enumerat
e
: comput
e
se
r
ies
of polyhedra w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
util
.
c: move Polyhed
r
on_has_positive_rays
fro
m
barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
t
est all s
p
ecialization al
g
or
i
thms during m
a
ke check
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Ve
r
d
o
o
l
aege
pass o
p
tio
n
s thr
o
ugh to barvinok_co
u
nt in barvinok_enum
e
rate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doolaege
Handle non-unimodular cones in dual decomp
o
sition
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoola
e
ge
barvin
o
k_stats:
r
ename un
i
modular_cones
to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoo
l
aege
red
u
cer
.
c
c: extr
a
san
i
ty checks
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoolaege
H
a
ndle non-unimodular cone
s
wit
h
a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
Verdoolaege
decomposer
.
cc: decompose: minor
c
l
ean-up
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
V
e
rdool
a
e
g
e
b
a
r
v
i
n
ok_opti
o
n
s
: incl
u
de poi
n
ter to barvinok_s
t
ats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Ve
r
doolaege
add barvin
o
k_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_enumera
t
e:
collect stats on number of un
i
modular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n Verd
o
olaeg
e
decomposer
.
cc:
p
olar_deco
m
p
o
s
e: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
partial_re
d
ucer: special
i
ze list version of
base
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
er
d
oola
e
ge
r
educer::
r
educe:
b
ette
r
handli
n
g of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
o
l
a
ege
re
d
ucer
:
:reduce: c
o
mbine numerators with equal un
r
educ
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven V
e
r
doolaege
Q
Q
: add operator
for m
u
ltipl
i
c
ation of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rd
o
olaege
redu
c
er::reduce: take a
l
i
st of n
u
m
e
r
ator
s
as inp
u
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
gen_fun::read: read gen_fun from file descript
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(short_ra
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rd
o
olaege
NTL_QQ
.
cc: support reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaeg
e
g
e
n_fun: add op
e
rator
f
o
r
printing to
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
genfun
.
c
c
: add short
_
r
a
t
c
opy c
o
nst
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly_r: micro-optim
i
zations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaeg
e
dpoly: mar
k
some more a
r
gume
n
t
s
/
met
h
ods
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoola
e
g
e
short_rat::a
d
d: mark s
h
ort
_
rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
oolaege
NTL
_
QQ: attempt to speed-up
+
=
o
pe
r
a
tor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Ve
r
doolaege
dpoly
:
add some documentation
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
r
d
oolaege
dpo
l
y: add som
e
more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
b
a
rv
i
n
o
k/genf
u
n
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
a
dd
.
gitign
o
re
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolae
g
e
QQ: add operato
r
for
mul
t
iplicati
o
n by a sca
l
ar
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
v
e
n
Verdo
o
laege
Makefile
.
am:
c
heck-series: che
c
k
-
-p
r
i
mal
as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n Verdoolaege
Makef
i
le
.
a
m: i
n
stall (
s
ome) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
e
rdoolaege
un
d
efine CS for S
o
l
a
ri
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok_enumerate: handle lines in in
p
u
t poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
Verdoolaege
util
.
c: move left_i
n
v
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen_fun::coe
f
ficient:
m
ove printing to sh
o
rt_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen
_
fun::coefficient: new ver
s
i
on ret
u
r
ning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
genfun
.
cc: move co
e
fficient comp
u
t
a
tion to sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
d
o
o
laege
par
t
ial_
r
ed
u
cer: resta
r
t comput
a
t
ion if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen_fun: expose clear_
t
erms, a met
h
o
d
f
or clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
g
e
n
_fu
n
::Had
a
m
ard_p
r
o
d
uct: propagate ful
l
o
ptions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
doo
l
a
e
g
e
barv
i
nok_enumerate: integ
r
ate
ve
r
if_ehrh
a
rt
commit
|
commitdiff
|
tree
2007-01-05
S
v
en V
e
rdoolaege
barvinok_enumerate: integrate
b
arv
i
nok_series
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
r
d
o
olae
g
e
barvi
n
ok_enumera
t
e: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
ool
a
ege
lexmin: make lexmin options privat
e
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
d
oolaege
Revert "bernstein/
c
o
n
figure
.
in: remove re
d
undant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: make
u
s
e of sampl
i
n
g for c
o
unting
i
n
fi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate_e
:
respect --t
a
ble
o
p
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
lexmin
.
c
c
: move
s
e
lectio
n
o
f
g
br solv
e
r to
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
l
ex
m
in: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
ba
r
vi
n
ok_
e
n
u
merate_e:
e
x
tract out verifi
c
atio
n
o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enumerate_
e
: pr
i
nt
w
arning when --omega
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaeg
e
bernst
e
i
n
/
c
onfig
u
r
e
.
in:
rem
o
ve redundant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
barvinok/polyl
i
b
.
h: define value_su
b
trac
t
and value_ad
d
mul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdo
o
laege
dec
o
mpose
r
.
cc: d
e
compose:
m
icro-optim
i
zation
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
rd
o
ol
a
ege
signed_cone: store ra
y
s of
c
one
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Ve
r
doola
e
ge
lexmin: disable
u
s
e of
l
ookup-t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verd
o
olaege
barvinok
_
en
u
merate_e
.
cc: fi
x
ar
g
p options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaeg
e
opti
o
n
s
.
c: move choice of u
s
e of lookup-
t
able to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
lattic
e
_point
.
c
c: fix #ifnd
e
f
USE_MOD
U
LO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc:
s
hort_vector: remove redundant
cod
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomp
o
ser
.
cc: sho
r
t_
v
ector:
n
e
g
ate
lambda if z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
b
ar
v
inok
.
cc: series: only require rays t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
bar
v
i
n
ok
.
cc:
s
er
i
es: pass full
option
s
to
barvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdool
a
ege
n
p_base
:
:
handle: p
a
ss around rays matrix i
n
stead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompo
s
er
.
cc:
s
upport primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
erdoola
e
ge
decomposer
.
cc: barvinok_decompose: implemen
t
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
barvinok
_
enume
r
ate: respect incremental_
s
pecialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
intr
o
duce signe
d
_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoo
l
aege
separate out de
c
omposit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
lae
g
e
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Ver
d
oolaege
update
argp from gn
u
lib and
a
dd
p
rogname module
commit
|
commitdiff
|
tree
2006-12-27
S
ve
n
Verdoolaege
barvinok
_
e
nume
r
ate_
e
.
cc: don
'
t exit on unrecogniz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
doolae
g
e
lib/argp
.
h
:
remove __NTH for __argp_usage inl
i
ne fu
n
cti
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olae
g
e
barvinok_enumerate_e
.
c
c
: remove another
duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ver
d
oolae
g
e
barvinok_enumerate_e: u
s
e arg
p
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_coun
t
:
u
se argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add
ar
g
p
parse
commit
|
commitdiff
|
tree
next