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
gen_fun::summate: handle full specialization
2007-10-25
Sven Verdoolaeg
e
gen_fun
:
:sum
m
a
t
e: han
d
le fu
l
l
s
pecializatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Repla
c
e incremental infinite set c
o
unter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
make counter
:
:add
_
fa
l
l
i
ng_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
m
erge (
m
ost of)
c
ommon
part of counter and
tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
icou
n
ter
:
handle
s
pecialization of polyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
icoun
t
er:
d
o
n't b
o
t
her
"normalizing" the expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
exp
o
rt neg_left_her
m
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdo
o
laege
basis_re
d
uction_cdd: check for possibly in
c
orrect ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doolaeg
e
Polyh
e
dron_Sample: handle polyh
e
dr
o
n becoming e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
gen_fun:
:
op
e
ra
t
or evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun::
o
p
era
t
or e
v
alue *: remo
v
e commented
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
ba
r
vinok_enumerate_e
.
cc: handle verificati
o
n of probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvin
o
k_enumera
t
e_e: optiona
l
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enume
r
ate_e
:
support verificatio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enumerate_e:
s
upport convers
i
on of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
l
a
ttice
_
points:
a
nother micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
lat
t
i
ce_points_fixed: nano-optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
e
n_fun::add:
c
ontext of
s
um
s
h
ou
l
d
be union of con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
a
r
vinok_enumerate: use ve
r
ify in
f
r
astructure for ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaeg
e
genfu
n
.
cc: prin
t
_
power: d
r
o
p
s
paces around "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
coun
t
_points_e:
fall back to count_points if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
M
akefile
.
am: c
h
eck-
e
value: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
veri
f
y: a
d
d
check_p
o
l
y
_
p
rint helper
f
unct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
gen_fun: make sure
context is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer::re
d
uce
:
can
o
nicalize coefficients in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
g
e
s
h
ort_rat::prin
t
: correctly
p
r
i
nt out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
ba
r
vinok_se
r
ies: recheck for equa
l
itie
s
afte
r
c
ompu
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
M
at
r
i
x
_Read
f
o
r reading Matri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: ad
d
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_c
o
nstraints:
r
etur
n
bit vec
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
p
o
l
y
lib:
u
p
d
ate f
o
r Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
op
t
ions
.
c: u
s
e Polyh
e
dron
_
Sample for counting
infin
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
kee
p
track of and use
s
aturat
i
ng constraints
i
n Para
m
_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move v
a
lue_g
c
d
and va
l
ue_lcm
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Ber
n
oulli_sum
_
evalue: only
comput
e
exac
t
s
u
m if
a
pproximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue:
s
um over variab
l
es
with inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
e
val
u
e
.
c: e
x
port e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Polyhedron_ExchangeColumns: norma
l
ize
c
o
ns
t
ra
i
n
ts
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
ex
p
ort Polyhedron_Exch
a
ngeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
evalue_polynomial: opti
m
ize evalua
t
i
on
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
evalu
e
.
c: emul: handle a
n
other special case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
ev
a
lue
.
c: eadd: handle so
m
e special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
introduce and use ev
a
lue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
evalu
e
.
c: eadd: micro-optimi
z
e
addit
i
o
n
of
t
wo
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
sett
i
ng an approxima
t
ion
m
ethod
now implies poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvin
o
k_summate:
opti
o
nally u
s
e Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Berno
u
lli_sum_evalue:
us
e
evalu
e
_
f
rom_section
_
ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
bar
v
ino
k
/pol
y
lib
.
h
:
remove co
m
p
atibility w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
move
V
ecto
r
_Opp
o
se to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
o
lae
g
e
polyt
o
pe
_
sc
a
n: reena
b
l
e
--direct op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
olae
g
e
remove_all_equalit
i
e
s
: k
e
e
p r
e
m
oving equ
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verd
o
ola
e
ge
remove_all_equa
l
i
t
i
es: handle empty polyhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_all_equalit
i
es: m
i
nor code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erd
o
olae
g
e
export
P
olyhedron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
r
d
oolaege
polar
_
si
g
ned_cone
_
consumer: clea
n
up memo
r
y on inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ver
d
oolaege
Param_Inne
r
_Product: f
i
x use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ver
d
oolaege
doc: f
i
x typo in Michele
V
ergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add mis
s
i
ng
files from poly
m
ake c
l
ient to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ver
d
oo
l
aege
Use
g
mp's gcd rather than Poly
L
i
b's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaeg
e
polym
a
k
e/README:
me
n
tion -
-
with-ba
r
vin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lym
a
ke/Makefile
.
i
n: add work-a
r
ound for polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
o
l
aege
evalue
.
c
:
print_evalue: always print
newline at
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
Verdoolae
g
e
options
.
c:
fi
x
typo in
--approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verd
o
olaege
top
c
om: fix heuris
t
ic for sel
e
cting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ver
d
o
o
l
aeg
e
barvin
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge
b
ran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
erdo
o
laege
Document
T
OP
C
O
M
bas
e
d chamber decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
test TOPCOM
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n V
e
r
d
oolaege
Option
a
l
l
y use TOPCOM to
compute cha
m
ber
dec
o
mp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: ad
d
(p
r
otec
t
ed) missing
a
lgorithm in
c
l
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
r
d
o
o
laeg
e
Makefile
.
am: add target for creating dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
u
p
date
vo
t
ing theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaeg
e
docume
n
t
b
a
rvinok_s
u
mmate
and
b
arvi
n
ok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: cons
i
stent use o
f
Barvino
k
's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
barvinok_summate: correc
t
options
d
escription
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
D
ocumen
t
Euler-Mac
l
aurin b
a
sed summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: change exam
p
le environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
add some h
i
dden s
e
ctio
n
s to
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
doc: another document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
ad
d
some tests for Euler-Macla
u
r
i
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
o
olaeg
e
E
u
ler-Macla
u
rin b
a
s
ed
summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaeg
e
Eu
l
e
r
-Maclaurin based summat
i
on for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
de
c
omposer
.
cc: a
v
oid use of h
a
lf-op
e
n cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_
s
umm
a
te: verify s
o
l
u
t
ion over whole pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
n
trod
u
ce barvinok
_
summat
e
as a wrapper for
eva
l
u
e
_
s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
evalue_{div
,
mul}: h
a
ndle
some trivial cases more ef
f
icient
l
y
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
lattice
_
point: export fra
c
tional
_
p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: ex
t
r
a
c
t
common code fo
r
construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
d
o
olaege
volume
.
c: e
x
port
P
aram
_
Polyhedr
o
n_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
e
value_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
fix type of e
v
alue_
p
olynomi
a
l argumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
support computation
o
f Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separa
t
e computat
i
o
n of Bernoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lat
t
ice_poi
n
t: use Param_Vertex_Common_Deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
make dec
o
m
p
os
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
r
educe_domain: a
v
oid
u
s
e
of macro param
e
ter with nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use pipl
i
b during basis reducti
o
n if no other LP
s
olv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
U
se bundled
piplib by default
commit
|
commitdiff
|
tree
next