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
S
v
en Verdool
a
ege
gen
_
fun::summate: hand
l
e full s
p
ec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdo
o
laege
Replace
i
n
cre
m
ent
a
l infinit
e
s
et co
u
nter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
oolae
g
e
make counter::a
d
d_f
a
lling_po
w
ers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
m
e
rg
e
(mo
s
t o
f
) common part
of co
u
nte
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
ge
icounter: handle spec
i
alization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bot
h
er
"
normali
z
i
n
g" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
e
ge
export neg_left_
h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
basis_reduction_cdd: check for po
s
sibly i
n
co
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
a
ege
Polyhedron_Sample: handle polyhed
r
o
n becoming
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::
o
perator e
v
a
l
ue *
:
always r
e
t
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
o
ola
e
ge
g
e
n_fun::operat
o
r evalue *: remove comm
e
nted out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
vinok_enumerate_e
.
cc: h
a
ndle
verifica
t
ion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
barvinok_enumerate_e
:
o
p
t
ional
l
y
print
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
merate_
e
: support verification
of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
merate_e: suppo
r
t conversi
o
n of gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
lattice_points:
a
n
other micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
o
o
laeg
e
lattice_po
i
nt
s
_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ge
n
_fun::add: context of sum sho
u
ld be union
o
f contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_
e
numera
t
e
:
u
se verify infrastr
u
ctur
e
for verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
genfun
.
cc: print
_
p
ower: drop spaces arou
n
d "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
c
o
unt
_
p
o
ints_e: fall bac
k
to count
_
points
i
f t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
a
kefile
.
am: check-evalue:
p
rint
name
o
f
e
a
ch t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ver
i
fy
:
add chec
k
_poly_print hel
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen
_
fun:
make su
r
e c
o
nte
x
t is always set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
red
u
c
e
r
::redu
c
e
:
c
an
o
nicalize coefficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
o
o
laege
s
h
or
t
_r
a
t::p
r
int: corr
e
ctly print out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
eg
e
bar
v
ino
k
_series: recheck
f
or
e
qualities after co
m
p
u
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
p
o
rt Matrix_Read for reading Matrix
from a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
para
m
_util
.
c: add
P
aram_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
util
.
c: supporti
n
g_cons
t
raints: r
e
turn bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
polylib: updat
e
for
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
o
p
tions
.
c
:
use Polyhedron
_
S
ample for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track
of and
use sat
u
r
ating co
n
straints in Param_Polyhed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
move
v
alue
_
g
c
d
and value_lcm
to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
ool
a
ege
Bernoulli_sum_eva
l
ue: only compute exact
sum
i
f a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
noull
i
_sum_ev
a
lue: sum
o
ver v
a
riables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
evalue
.
c
:
export evalu
e
_
var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Polyhedron_ExchangeColumns:
n
orma
l
ize co
n
strain
t
s a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
expo
r
t Polyhedron_ExchangeColum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
e
v
alue_polynomial: optimize evaluati
o
n in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
eva
l
ue
.
c: em
u
l: hand
l
e
a
nother
s
pecial
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c
:
e
add: handle
some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
troduce and
us
e
evalu
e
_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
evalue
.
c:
eadd:
mic
r
o-op
t
imi
z
e
a
ddition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
setting an
appro
x
ima
t
ion method
now implies polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
barvinok_
s
ummate: optio
n
ally use B
e
rnoulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
B
e
rnou
l
li_sum_e
v
alue: use e
v
alue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
barvinok
/
po
l
ylib
.
h
:
rem
o
ve compat
i
b
i
l
i
t
y w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rdo
o
laege
move
Vector_Oppo
s
e to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyt
o
pe_scan:
r
e
ena
b
le
-
-direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
Verd
o
olaege
remove_all_equalit
i
es: keep removing e
q
uali
t
ies
unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
a
ege
remove_al
l
_equali
t
ies:
handle empty p
o
lyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: mi
n
or
c
ode clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoola
e
ge
export
P
olyhedron_Mat
r
i
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdo
o
laege
polar_sig
n
ed_cone_c
o
nsume
r
:
clean
u
p memory on ina
p
p
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Pa
r
am_Inne
r
_P
r
od
u
ct: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc: fix
t
yp
o
in Michele V
e
rgne
'
s
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
ool
a
e
ge
Add missi
n
g
f
iles fr
o
m polymak
e
clie
n
t to distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gm
p
's gcd rather than Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
polymake/
R
E
ADME: mention
-
-with-barvinok co
n
fi
g
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
pol
y
make/Makefile
.
in:
a
d
d
work
-
around for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
e
v
a
l
u
e
.
c:
p
ri
n
t
_
eval
u
e: always print
newline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opti
o
ns
.
c: fix typo in --approxima
t
ion
-
method des
c
ri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
r
d
ool
a
eg
e
topc
o
m: fix heuristic for selecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
b
a
rvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
D
ocument TOPCOM based chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
olaege
tes
t
TOPCOM
chambe
r
decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
O
ptionally use TOPCOM
t
o
co
m
p
ut
e
cham
b
er decomposit
i
on
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
lexmin: add
(pro
t
e
c
t
e
d) missing algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoola
e
ge
Makefile
.
a
m
: add
t
arget
f
or creat
i
n
g di
s
t
w
ith gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
do
o
laege
doc: update voting t
h
eo
r
y ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
d
o
cument
b
arvino
k
_summate an
d
b
a
rvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: co
n
siste
n
t use of Bar
v
inok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
barvinok_summat
e
: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
o
cument
Euler-
M
a
claurin based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: change example envi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoo
l
aege
doc: add s
o
me hid
d
en sec
t
ions to ta
b
l
e
of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: another document refering t
o
t
h
e library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaeg
e
add some
t
es
t
s for Euler-M
a
claurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Mac
l
aurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler-M
a
claurin
b
ased
summation
for 2D
p
r
oble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
decomposer
.
cc: avoid use of half-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_s
u
mma
t
e: verify
solu
t
i
on over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
int
r
oduce
b
arvinok_summate
a
s
a
w
rapper for eval
u
e_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
add
e
valu
e
_
m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e
_
{
div,mul}: handle some trivial cases
m
ore efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
latti
c
e_
p
oin
t
:
ex
p
ort
fract
i
on
a
l_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
la
e
ge
eva
l
ue
.
c: extra
c
t common code for constructi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
volume
.
c: exp
o
rt Param_
P
olyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
f
ix type of evalue_polynom
i
al
a
r
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
support computa
t
ion of Be
r
noulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
e
p
arate
c
omputation of
Bernoulli coef
f
icients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
la
t
t
i
ce
_
point:
u
se Param_Vertex_Common
_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
m
a
ke
d
eco
m
po
s
er
.
h s
e
lf
-
conta
i
n
ed
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
reduce
_
doma
i
n: avo
i
d use of ma
c
ro parame
t
e
r with
nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
expo
r
t evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use
p
iplib dur
i
ng basis redu
c
tion i
f
no
other L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
Use bundl
e
d piplib by defaul
t
commit
|
commitdiff
|
tree
next