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
evalue.c: add function for checking nesting of an evalue
2007-02-16
Sv
e
n
V
e
r
doolaege
evalue
.
c:
a
dd functi
o
n f
o
r checking nest
i
ng of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
ev
a
lue
.
c: ad
d
missing te
r
ms
r
eorderings in e
v
alue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
ev
a
lue
.
c
:
mak
e
argume
n
ts o
f
e
e
qual and e
v
alue_den
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
ba
r
vinok_enum
e
rate_e: add
--
v
erb
o
se option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein: mark
a
rgument of value2num
e
ric const
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
bernst
e
in
.
cc: add (opti
o
nal
)
options argum
e
nt to eva
l
ue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
a
dd missi
n
g virtu
a
l
destructor
s
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Ve
r
d
oolaege
genfun
.
cc: rename stru
c
t
cone
to avoid c
o
nflict
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolae
g
e
doc: intege
r
points i
n
t
h
e fundament
a
l parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
ven Ve
r
doolaege
verif_ehr
h
art
.
c: clean u
p
indentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
ve
r
if
_
ehrhart: o
p
tiona
l
ly continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n
Verdoolaege
v
erif_ehrhart: combine check_poly from
b
a
r
vinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oo
l
aege
v
e
rif_ehrhart
.
c
:
check lower and u
p
per polynom
i
al appr
o
ximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
olaege
verify
.
h: mo
v
e b
a
rvinok_options into veri
f
y
_options
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Ver
d
o
o
laege
barvinok_enumera
t
e: pass parame
t
er names to ch
e
ck_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
ba
r
vinok
_
enu
m
e
rate: more
p
olynommial appro
x
im
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n
Verdoolaege
evalue
.
c:
a
dd
evalue_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
evalue
.
c: extract ev
a
lue_split_domains_
i
nto
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verd
o
ola
e
ge
polys
i
gn
.
c: fi
x
c
d
d_polyhedr
o
n_a
f
fine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoolae
g
e
M
akefile: only check lexmin if it h
a
s been com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
add Param_Polyhedron_Scale_I
n
tege
r
prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
l
a
ttice_point
.
cc: a
d
d
s
anity check for
i
n
d
ex
of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
test: init
i
aliz
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verd
o
olaege
barvinok_
e
numerate:
opt
i
ona
l
ly com
p
ute a
p
ol
y
nom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
Prov
i
de replaceme
n
t for new PolyLib function Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add evalue_div (ad
a
pte
d
fr
o
m P
o
lyLi
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test:
s
imple test for
P
oly
L
ib's
Smit
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am: add dependencies for
checks
commit
|
commitdiff
|
tree
2007-02-11
S
ven Verdool
a
ege
genfun
.
cc: short
_
ra
t
::normalize:
m
icro-optimizati
o
ns
commit
|
commitdiff
|
tree
2007-02-11
S
ve
n
V
e
rd
o
olaeg
e
Q
Q: canonicalize on
read
and m
u
ltiplicatio
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
doc: barvinok_series requires polyhedro
n
to
h
ave
*
r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaeg
e
Makefile
.
am: chec
k
barvi
n
o
k
_enume
r
ate --seri
e
s
d
uri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdo
o
lae
g
e
barvinok_en
u
merate:
c
ompu
t
e series of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
t
est al
l
s
p
e
c
ializati
o
n
algori
t
hms during make che
c
k
commit
|
commitdiff
|
tree
2007-02-09
Sven
Ve
r
doolae
g
e
p
ass opt
i
o
ns th
r
ough
t
o
barvi
n
ok_count in barv
i
nok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaege
Handle n
o
n-un
i
mod
u
lar cones in
d
ua
l
decom
p
osit
i
o
n
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
ba
r
vinok_st
a
ts
:
renam
e
u
nimod
u
lar_
c
ones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdool
a
ege
red
u
cer
.
c
c
: extra sanity chec
k
s
commit
|
commitdiff
|
tree
2007-02-08
S
v
en
V
er
d
oolaege
H
a
ndle
n
on-unimo
d
ular cones w
i
th a spe
c
ified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
ecomposer
.
cc:
d
e
compos
e
:
minor cl
e
an-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok
_
op
t
i
o
ns:
i
nclude poi
n
ter t
o
barvinok_
s
t
a
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
add barvinok_options
_
free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
er
d
oolaege
bar
v
i
nok_
e
nume
r
ate: collect stats on number
o
f unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
decomposer
.
cc
:
polar_decompose: remove c
o
m
mon divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaege
p
a
rtial_reducer: s
p
ecialize list
v
ersion
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Ve
r
d
o
olaege
reducer:
:
reduce: be
t
ter
han
d
ling of terms
wit
h
common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolaege
reducer::redu
c
e: combine
nu
m
erators with equal u
n
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Ver
d
oolaege
QQ: ad
d
operator for
mult
i
plication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
r
e
ducer:
:
r
e
duce
:
take a list of numerator
s
as i
n
put
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
gen_
f
un
:
:read: read gen_fun from file descripto
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
add gen_fun::ad
d
(short_
r
at *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
e
r
d
o
o
laege
NTL_
Q
Q
.
cc
:
su
p
po
r
t
r
e
ading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oo
l
ae
g
e
gen_fun: add oper
a
tor for pri
n
ting to st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
genfun
.
c
c
: add short_rat cop
y
c
o
n
structo
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
laege
dpoly_r:
m
icro
-
o
p
timiz
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: mark some more
a
rgum
e
nts/m
e
thods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short_rat::add: mark short_rat argumen
t
const
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdoolae
g
e
NTL_QQ:
a
ttempt to
s
pee
d
-u
p
+=
o
perato
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpoly: add
some doc
u
men
t
ati
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
doolaege
d
p
ol
y
:
add
s
ome mo
r
e oper
a
t
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/gen
f
u
n
.
h: fix
comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaeg
e
a
dd
.
gitign
o
re
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
QQ: add operato
r
f
o
r
m
ultiplication by a scalar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
Sv
e
n Verdoolaege
M
akefi
l
e
.
am: check
-
series: check --primal
a
s well
commit
|
commitdiff
|
tree
2007-01-16
S
v
e
n
Verdoolaege
Makefile
.
am: in
s
tall (some)
b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Verdoo
l
aege
u
n
define
C
S for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Verdoola
e
ge
barvinok_enumerate
:
handle lines in input
p
o
l
yhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven V
e
rdoolaege
u
til
.
c: move l
e
f
t_inverse
from lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
gen_fun
:
:
co
e
ffici
e
nt: move prin
t
ing t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
la
e
ge
gen_
f
un::coe
f
ficient:
new version re
t
urning
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
genf
u
n
.
cc: move coefficient c
o
m
p
utatio
n
t
o short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
pa
r
tia
l
_r
e
ducer: re
s
tart
computation if random v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
gen
_
fu
n
:
e
xpose cl
e
ar_term
s
, a method for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoola
e
ge
gen_fun::Hadamard_product:
p
rop
a
gate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoolae
g
e
barv
i
n
ok_enumerate: integrate v
e
ri
f
_ehrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
barvinok_enumerate: i
n
tegra
t
e b
a
rvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
b
arvino
k
_enumerate: us
e
arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: make
l
e
x
m
in
o
ptions private
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolae
g
e
Revert "
b
ernst
e
in/conf
i
g
u
re
.
in:
remove
redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
e
g
e
barvinok
.
cc: m
a
ke us
e
of sampl
i
ng for
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
dool
a
ege
barvinok_enume
r
a
t
e
_e: respec
t
--table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
lexmin
.
cc: move select
i
on of gbr
solver to op
t
ions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
lexmin: us
e
argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
la
e
ge
barvino
k
_enumera
t
e_e: extract out v
e
ri
f
icat
i
on op
t
ion
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
barv
i
nok_enumerat
e
_
e
: print
warning
whe
n
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdo
o
laege
bar
v
inok/polyl
i
b
.
h: define
v
alue_subtract and valu
e
_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
d
e
composer
.
cc: d
e
c
omp
o
se
:
micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
Verdoolaege
sig
n
ed_cone: store
r
a
ys
o
f cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
omega/pars
e
r
.
y:
r
e
mov
e
b
rackets around type in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
lexmi
n
: disable u
s
e of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
doolaege
b
arvinok_enumerate
_
e
.
cc: fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
op
t
i
ons
.
c
: move choice
of use
o
f lookup-
t
abl
e
to barvin
o
k_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_point
.
cc: fix #ifndef USE_
M
ODULO code
path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
deco
m
po
s
er
.
cc: short_vec
t
o
r
: r
e
move red
u
ndant
c
ode
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
doolaeg
e
d
e
co
m
po
s
e
r
.
cc: short_vector: negate lam
b
d
a
if
z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc
:
series: only require rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolae
g
e
barvinok
.
cc
:
s
e
ries: pass
f
ull opt
i
o
ns to barvi
n
ok_cou
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdo
o
laege
np_base::handle: pass around rays matr
i
x ins
t
ead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
ec
o
mpose
r
.
cc: su
p
port primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
o
ola
e
ge
deco
m
poser
.
cc: barvino
k
_decom
p
ose: i
m
plemen
t
i
n terms
.
.
.
commit
|
commitdiff
|
tree
next