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
volume.c: introduce parameter_point abstraction
2007-02-19
Sven Verd
o
olaeg
e
b
arvinok_maximize:
m
a
ke evalue
p
a
rs
e
a li
t
tle bit
more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolaege
barvi
n
ok_enumerate*: be
l
ess chatty b
y
default
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erd
o
ol
a
ege
co
u
nt/e
n
umerate: warn if i
n
put i
s
a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Dom
a
inInclud
e
s: detect
more c
a
s
e
s + adapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
l
ae
g
e
eva
l
ue_bernste
i
n_coefficients
:
handl
e
fractionals
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n V
e
r
d
oolaege
evalue_b
e
rnstein_co
e
fficien
t
s
:
handl
e
flo
o
rings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
Verdool
a
ege
barvinok_maximize
:
new tool for maximizing pi
e
cew
i
se
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
en Verdo
o
l
aege
ev
a
lue
.
c: evalue_frac2polynomial:
improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Ve
r
doolaege
e
va
l
u
e
.
c: add comme
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
ool
a
ege
evalue
.
c: add f
u
nction for che
c
k
ing nesting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
e
value
.
c: ad
d
missing te
r
ms reorderings
i
n evalue
_
ran
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verd
o
olae
g
e
evalu
e
.
c: make
a
rguments o
f
eequa
l
a
n
d
evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
a
r
vinok_enumer
a
te_e: add --verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
bernst
e
in: mark argument o
f
value
2
numeric
const
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolaeg
e
ber
n
stein
.
c
c: a
d
d
(optional)
options ar
g
ument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
add missing
v
irtual
d
estructors
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
r
do
o
laege
genfun
.
cc: rename str
u
ct cone to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
doc: i
n
teger points in t
h
e fundamenta
l
par
a
ll
e
l
e
p
i
p
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rd
o
olaege
verif_ehrhart
.
c: clean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif
_
ehrh
a
r
t: optionally c
o
ntinue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
v
e
rif
_
ehrhart: co
m
b
i
ne check_poly fro
m
b
arv
i
nok_
e
numerate_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
v
eri
f
_
ehrha
r
t
.
c: check lower an
d
upp
e
r polynom
i
al
approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
veri
f
y
.
h
:
m
ove
b
a
r
vinok_options into ver
i
fy_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
barvinok_e
n
umerate: pass paramet
e
r
names
t
o check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
barvinok_enumer
a
te: more polynommial appro
x
i
m
ations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
evalue
.
c: add evalue_frac2polynomia
l
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doolaege
e
v
alue
.
c:
e
xtract evalu
e
_split
_
domain
s
_in
t
o_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
pol
y
s
ign
.
c
: fix
c
d
d_polyhedron
_
a
f
fine_sign pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
l
aege
Ma
k
efile: only check lexmin if it has
b
een c
o
mpiled
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdool
a
e
ge
add Param_Polyhe
d
ron_Scale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
lattice_point
.
cc
:
add sanity
c
heck for index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
test: initializ
e
nb
M
at
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdo
o
laeg
e
barv
i
nok_enumerat
e
:
o
p
ti
o
nally compute a po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
Provide
r
e
p
lacement fo
r
new Po
l
yLi
b
function Param_Polyhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
add e
v
alue_div (adap
t
ed from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
test:
simple test for Po
l
yLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Verdoolaege
Makefi
l
e
.
am: add de
p
e
n
d
enci
e
s for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
do
o
laege
g
enfun
.
cc: short_rat::norma
l
ize: m
i
cro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
QQ: c
a
nonicali
z
e on read
and
m
ultiplication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Ve
r
d
oo
l
aege
doc: barvinok_series
requires polyh
e
dro
n
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laeg
e
M
a
kefile
.
a
m
:
c
h
eck barvinok
_
e
n
u
merate -
-
serie
s
during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
barvinok_enu
m
erate: compute seri
e
s of polyhedra w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdool
a
e
g
e
util
.
c: move Polyhedron
_
has_
p
os
i
t
i
ve_r
a
ys from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolae
g
e
t
e
s
t
a
ll
spe
c
ializ
a
tion algorith
m
s d
u
ring make ch
e
ck
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdo
o
l
a
ege
pass options thro
u
gh
to barvi
n
ok_count in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rd
o
ol
a
ege
H
a
n
dle non-u
n
imodular cones in
dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ver
d
oolaege
barv
i
nok_stats
:
r
en
a
me unimodular
_
cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
Ve
r
doolae
g
e
reducer
.
cc
:
ex
t
ra sa
n
ity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
andle non-unimodular co
n
e
s
wit
h
a spec
i
fied m
a
xi
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
decomp
o
ser
.
c
c
: decom
p
ose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_
o
ptions:
include
p
oint
e
r to
b
a
rvinok_
s
tats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
ad
d
barvinok_op
t
ions_fr
e
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaege
ba
r
vin
o
k_
e
numerate: collect s
t
ats on number of unimodu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verd
o
olaeg
e
d
e
composer
.
cc:
p
ola
r
_dec
o
m
pose: remove
co
m
mon
di
v
i
s
or
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
partial_reducer: spe
c
iali
z
e list
v
ersion of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Ve
r
doolaege
r
educer::r
e
d
u
ce
:
better handling
o
f ter
m
s with comm
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdool
a
ege
r
e
ducer::r
e
d
u
ce: combine numerato
r
s with equal unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
Verdoolaeg
e
QQ: add operator fo
r
multip
l
ication of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
rdoolaege
reducer::
r
educe: take a list o
f
nume
r
ators as inpu
t
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
g
en_fun::read: read
ge
n
_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdo
o
laege
ad
d
g
en_fun::
a
dd(sho
r
t_rat
*
r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
NTL_QQ
.
cc
:
support
reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdool
a
ege
gen_fun: add
o
p
er
a
tor
f
or printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n V
e
r
d
oolaege
g
enfun
.
cc: add sh
o
rt
_
r
a
t cop
y
constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly_r
:
micro-optimiz
a
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oolaege
dpoly: mark some mo
r
e a
r
gu
m
e
nts/
m
ethods co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
sho
r
t_rat::add: ma
r
k shor
t
_ra
t
argument cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ve
r
do
o
lae
g
e
N
TL_
Q
Q: attempt to speed-
u
p += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
dpoly: add
some documentation
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdoo
l
aege
dpoly: a
d
d
s
ome
m
o
r
e
o
perations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
barv
i
nok/genfun
.
h
:
fix comm
e
nt
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
g
itignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
QQ:
add ope
r
ator fo
r
multip
l
i
cation by
a
scala
r
(
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
Sven V
e
r
d
oolaege
Make
f
ile
.
am: check-se
r
ies:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Ver
d
oo
l
aege
Makefile
.
am: install (
s
ome) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
und
e
fine CS for Solar
i
s
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdo
o
laege
b
a
rvinok_enu
m
erate: ha
n
d
l
e lines
i
n
i
nput polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
e
n
V
erdoolaege
util
.
c: move left_i
n
v
erse f
r
om lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
o
o
lae
g
e
gen_fun
:
:coeffici
e
nt: move p
r
inting to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
laege
gen_fu
n
::co
e
fficient:
new version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
enfun
.
cc: move coeffic
i
ent
computa
t
i
on to shor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_reducer: rest
a
rt com
p
utat
i
o
n
if ra
n
d
o
m
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaeg
e
ge
n
_fun: expose cle
a
r_terms,
a
method for cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
gen_fun:
:
Hadamard_product: propagate ful
l
options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaeg
e
barvinok_enume
r
ate: integr
a
te v
e
rif_ehrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoolaege
barvi
n
ok_enumerate: integrate bar
v
inok_
s
e
r
ie
s
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
barv
i
n
o
k_enumerate:
u
se argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdool
a
ege
lex
m
in
:
make lexmin opti
o
ns p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdool
a
ege
Revert "b
e
rn
s
te
i
n/configure
.
in: remove red
u
ndant
chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
barvi
n
ok
.
cc: make use
o
f
s
ampli
n
g
for countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
barv
i
n
ok_enumera
t
e
_
e: respect
-
-tabl
e
option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
lexmin
.
cc: move selecti
o
n
of gbr
s
olver
to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaege
lexmin
:
use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdool
a
ege
barvinok
_
e
n
um
e
rat
e
_e: extra
c
t
o
u
t verifi
c
ation options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
V
e
r
doolaege
bar
v
inok_enumerate_e: prin
t
warning when
--om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
bernst
e
in/configure
.
in: remov
e
r
e
dundan
t
c
h
ange to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
barvinok/polylib
.
h:
d
ef
i
n
e
v
a
lue_s
u
btract and value_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
deco
m
poser
.
c
c: decompose: m
i
cro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
r
doolaege
signed_cone
:
st
o
re rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Har
a
ld Dev
o
s
omega
/
parse
r
.
y: remove
brackets around type
i
n new
commit
|
commitdiff
|
tree
next