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
bernstein: bernsteinExpansion: accept list of polynomials
2007-02-21
Sven Verd
o
olaege
b
e
rnst
e
in: bernsteinExpansion: accept list of pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
barvinok_maximi
z
e:
make evalue parse a little
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
barvinok_enumer
a
te*: be less chatty
b
y
d
efault
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count/enume
r
ate:
w
a
r
n
i
f inp
u
t is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Do
m
a
i
n
I
ncludes:
de
t
ect
m
ore cas
e
s + adapt
d
ocume
n
tation
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolae
g
e
evalue_bern
s
te
i
n_coe
f
fi
c
ients: handle fract
i
ona
l
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n V
e
rdoolaege
e
value_bern
s
tein_coeff
i
c
ients: handle floorings
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
Verdoola
e
g
e
b
a
rv
i
nok_maximize:
new tool
for
m
ax
i
miz
i
ng piece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
e
n Verd
o
ola
e
ge
evalue
.
c: ev
a
lu
e
_frac2polynomi
a
l
:
i
m
prove accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
eval
u
e
.
c: add function for c
h
ecking nesti
n
g of an ev
a
lu
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
o
laege
evalue
.
c
:
a
dd missing
terms r
e
o
r
d
e
r
ings in
evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
a
e
ge
evalue
.
c
: make
a
r
g
ume
n
ts of eequal and
evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoo
l
aege
b
a
rvinok_enu
m
erate_e: add --verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdool
a
ege
b
e
r
nstein: mark ar
g
ume
n
t of v
a
lue
2
numeric const
commit
|
commitdiff
|
tree
2007-02-16
S
ven
V
erdoo
l
aeg
e
bernste
i
n
.
cc: a
d
d (
o
ptional)
o
pti
o
ns argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
add missi
n
g vir
t
ual des
t
ru
c
tors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
g
e
n
f
u
n
.
c
c: r
e
n
ame
s
truct c
o
ne to av
o
id confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdo
o
laege
doc: integer
points i
n
the fu
n
damental para
l
lele
p
iped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ver
i
f_ehrha
r
t
.
c: clean up indentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
erif_eh
r
h
ar
t
: optionally con
t
inu
e
on error
commit
|
commitdiff
|
tree
2007-02-14
S
ven
V
erdoolaege
v
erif_eh
r
hart:
c
ombine check_poly from barvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
olaege
verif_
e
hrhart
.
c:
c
h
eck l
o
wer a
n
d upper polynomial ap
p
r
oximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
Verdoolaege
veri
f
y
.
h: move
b
arvinok_options into
v
erify_optio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
b
arvinok_enumerate
:
pass
para
m
eter names to check_pol
y
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
barvinok_en
u
merate: more polynommial appr
o
ximations
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
erdoolae
g
e
evalue
.
c
:
add
evalue
_
frac2polynomi
a
l
commit
|
commitdiff
|
tree
2007-02-14
S
ven
V
erdoolaege
evalue
.
c: extract eval
u
e
_sp
l
it_domains_into_or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
p
o
lys
i
gn
.
c: fix c
d
d_p
o
l
y
h
edron_affine_sign protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
a
ege
Ma
k
efile:
only
c
he
c
k
le
x
min if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
erdoo
l
aege
ad
d
Param_Polyhedron_Sc
a
le_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
lat
t
ice_point
.
cc: a
d
d sanity che
c
k
f
or ind
e
x of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: initial
i
ze nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
barvinok_enumerate: optio
n
all
y
com
p
ute a pol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
e
g
e
Pr
o
vide replacement for n
e
w P
o
lyLib function P
a
ram_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
add ev
a
lue_div (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
a
ege
t
e
s
t: simple test for PolyLib'
s
Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdo
o
laege
M
a
kefile
.
am: add d
e
pendencie
s
f
or checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
g
e
nfu
n
.
c
c: short
_
rat::norm
a
lize: micro-optimization
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonical
i
ze on read and multiplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olae
g
e
doc: barvinok_series requires
p
olyhedron to have *
r
ev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verd
o
olaege
Makefile
.
am: check barv
i
nok_enum
e
rate
-
-
series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
o
laeg
e
barvinok_enumerate: compute series o
f
polyhedra w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
er
d
oolae
g
e
test all specialization algorithms dur
i
ng
make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
p
ass op
t
ions
throug
h
to
b
arv
i
nok_count in
barvinok_enu
m
erate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolaeg
e
Handle
n
o
n
-
u
n
imodular c
o
ne
s
in dual
decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aege
b
a
rvino
k
_stats:
r
ename unimodula
r
_c
o
nes to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdo
o
laege
reducer
.
cc: extra sanity
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdo
o
lae
g
e
H
andle non-unimo
d
u
lar con
e
s w
i
th a spec
i
f
i
ed m
a
x
imal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoolaege
decomp
o
ser
.
cc
:
d
ecompose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verd
o
olaege
bar
v
i
n
ok
_
options: include
pointer t
o
barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolae
g
e
ad
d
barvin
o
k_options_
f
r
ee
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
b
a
r
v
inok_enumerate: collect
stats on number
o
f unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Ve
r
d
o
o
l
aege
decomposer
.
cc
:
polar_decompose: remove common
div
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolae
g
e
par
t
ial_reduc
e
r: specialize list ver
s
ion
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
l
a
ege
r
e
ducer::
r
educe
:
b
e
t
t
er han
d
lin
g
o
f terms w
i
th c
o
m
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
r
ed
u
cer::reduce: combine numerators wi
t
h e
q
ual unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaeg
e
QQ
:
add
op
e
rator for multiplic
a
tion of v
e
c
tor by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
aege
reducer::
r
e
d
uc
e
: tak
e
a l
i
st o
f
numera
t
ors
a
s input
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
Ver
d
oolaege
gen_fun::rea
d
:
r
ead gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
a
d
d gen_fun::add(s
h
or
t
_rat
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
r
d
oo
l
aege
NTL_QQ
.
cc:
s
up
p
or
t
readi
n
g from strea
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun:
add o
p
e
r
a
t
o
r
for p
r
i
n
tin
g
t
o
stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
gen
f
un
.
cc: add shor
t
_
r
a
t
copy const
r
ucto
r
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
dool
a
ege
dpoly_r: mic
r
o-op
t
imi
z
atio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: mark some more
a
rguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
short_rat
:
:add: mark
s
hort_
r
at argument const
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
rdoolaeg
e
N
TL_QQ: atte
m
pt t
o
speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly
:
add some doc
u
mentati
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
d
p
oly: add
s
ome more
o
pera
t
io
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doola
e
g
e
barvinok/ge
n
fun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erd
o
o
l
ae
g
e
add
.
giti
g
nore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
do
o
laege
QQ: add operator
f
or
multiplication b
y
a s
c
alar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdool
a
eg
e
Make
f
ile
.
am: check-series: check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
Makefi
l
e
.
a
m
:
install (so
m
e) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
e
r
do
o
laeg
e
undefine C
S
f
or Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvino
k
_enumerate: handle lin
e
s
in in
p
ut polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verd
o
olaeg
e
uti
l
.
c: move left
_
inverse from l
e
x
m
in
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
gen_fun::
c
oeffi
c
ie
n
t
: move printin
g
to s
h
ort_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
g
en
_
fun::
c
oefficient: ne
w
version r
e
turning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genf
u
n
.
cc: mo
v
e coefficient co
m
putation to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
partial_reducer: res
t
ar
t
computat
i
o
n
if
random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
o
l
a
eg
e
gen_fun: expose clear_terms, a
m
ethod for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en_f
u
n
::H
a
damard_product
:
p
rop
a
g
ate f
u
ll options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoolae
g
e
b
arvin
o
k_enu
m
erat
e
:
integrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
bar
v
inok_enumerate: integrate barvinok
_
serie
s
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
laege
b
arvinok_enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
lexmin: make le
x
min options priv
a
te
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoola
e
ge
Revert "bernst
e
in/configure
.
i
n: remove redundant cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolae
g
e
barvinok
.
c
c
: make use of samplin
g
for co
u
n
ting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
o
ola
e
ge
barvinok_e
n
umerate_
e
: r
e
spect --tab
l
e option
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
lexmin
.
cc: mo
v
e selection of gbr
solve
r
t
o options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barv
i
no
k
_en
u
merate_e: extract out ve
r
i
fic
a
tion o
p
tions
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
b
arvinok_enumerate_e
:
p
r
int
war
n
ing
w
hen -
-
om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoo
l
aege
bar
v
i
n
o
k/polylib
.
h: define value_subtract and val
u
e_add
m
ul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
V
e
r
d
oolaege
decomposer
.
cc:
d
e
c
ompos
e
:
m
icro-optimization
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
signed_
c
one: store rays
of co
n
e
commit
|
commitdiff
|
tree
2007-01-04
Harald D
e
vos
omega/parser
.
y: remove br
a
ckets aro
u
nd type in ne
w
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
lexmi
n
: disable use of l
o
okup-table
s
commit
|
commitdiff
|
tree
next