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
make counter::add_falling_powers static
2007-10-25
Sve
n
Verdoolae
g
e
m
a
ke c
o
unter::a
d
d_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
er
d
ool
a
ege
merge (most of) common part of count
e
r and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
icounter: handle s
p
ecialization of polyno
m
ial
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
ege
icoun
t
e
r:
don'
t
bot
h
er "normalizi
n
g" the exp
o
nen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaeg
e
expor
t
neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
b
a
sis_reduction_cdd:
c
heck for
possibly
i
n
co
r
rect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Polyhedro
n
_Sample: handle
polyhedron becom
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fu
n
::opera
t
o
r evalue *:
always r
e
turn a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
gen_fun::ope
r
ator evalue *: remo
v
e commented
o
ut debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
ege
bar
v
inok_enumerate_e
.
cc: handle v
e
r
i
fication of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
o
lae
g
e
barvinok_enu
m
erate_e: optionally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_enumerate_e: support ve
r
ificat
i
on
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
barvinok_enume
r
at
e
_e: support conv
e
rsi
o
n o
f
g
enerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
l
attice_points: anot
h
er mic
r
o
-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
la
t
tice_point
s
_
fixed: n
a
no-
o
ptimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::add: con
t
ext of
s
u
m
should be uni
o
n of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
olaege
barvinok_e
n
u
m
e
rate: us
e
verify infrastructure fo
r
veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen
f
un
.
cc: print
_
powe
r
:
drop
s
p
aces around "/"
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
aege
count_po
i
nts_e
:
fall back to count
_
points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Makefile
.
a
m
: check-
e
value: print
n
a
me of e
a
c
h
t
es
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
verify: add check
_
poly_print help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
gen_fun:
m
ake sure context is
a
lways
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
redu
c
er
:
:reduc
e
:
can
o
nicalize co
e
fficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
short_ra
t
:
:
print: correctly
print out ter
m
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvin
o
k_se
r
ies: recheck for equali
t
ies after
c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export Matrix_Re
a
d for reading M
a
trix fro
m
a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
p
aram_util
.
c: ad
d
Param_
V
e
r
te
x
_
Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
u
til
.
c:
supporting_constraints: re
t
urn bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: update for
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
op
t
ions
.
c: use Polyhe
d
r
on
_
Sample fo
r
co
u
nting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of
and u
s
e
s
aturating constr
a
ints in
Pa
r
am_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
va
l
ue_g
c
d and value_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doola
e
ge
Bernoulli_sum_e
v
alue: only c
o
mpute
e
xa
c
t sum if appro
x
imat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoulli_sum_evalue: sum over va
r
iables w
i
th intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
eva
l
ue
.
c: e
x
p
o
r
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumns: normalize
c
on
s
traints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
dool
a
eg
e
export Polyhe
d
r
on
_
ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue_polynomi
a
l: o
p
timize eval
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoo
l
a
ege
evalue
.
c:
emul: handle
a
nother speci
a
l c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lu
e
.
c: eadd: handle some specia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoo
l
aege
introduce and u
s
e evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
evalue
.
c: eadd: micro-optimize
addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
d
o
olaege
set
t
i
n
g
an app
r
oxi
m
ation method
n
ow implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
b
arvi
n
o
k_s
u
mmate: op
t
ionally
u
se Bernoulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
Bernoulli_sum_evalue:
u
se evalue_from_sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
barvinok/p
o
lylib
.
h: rem
o
ve
compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
move Ve
c
tor_Oppose to PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
polytope_scan: ree
n
able -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
o
v
e_all_
e
qualit
i
es:
keep remov
i
ng equal
i
ties unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
r
emo
v
e_all_equalities
:
handle
e
mp
t
y polyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
move_all
_
equali
t
ies: minor
c
ode c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
export
Polyhedron_M
a
t
rix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
e
n Verdoolaege
polar_signed_cone_consumer: clea
n
up memory
o
n
i
n
ap
p
r
o
pr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Param_Inner
_
P
roduct: fix use of
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en
Verdo
o
laege
doc: fix typo in Michel
e
Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
A
dd missing files from p
o
lymake cl
i
ent t
o
distribution
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoo
l
aege
Use g
m
p
's gc
d
rather t
h
a
n
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
ege
p
olyma
k
e/R
E
ADME: m
e
n
t
i
on --with-barvinok
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
pol
y
ma
k
e
/
Makefile
.
in: add w
o
rk-a
r
ound fo
r
pol
y
m
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c: print_
e
val
u
e: always print newline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolae
g
e
optio
n
s
.
c
:
fix typo
i
n --approxima
t
ion-method d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
S
ven
Verd
o
ola
e
ge
topco
m
:
f
ix heuristic for s
e
lecting r
o
ws to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
doola
e
g
e
b
arvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Mer
g
e branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
D
o
cument TOPCOM bas
e
d chamber
d
ecompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
s
t
TOPCOM chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Verdoolaege
O
p
tionally
us
e
TOPCOM to c
o
mpute cha
m
ber deco
m
p
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin
:
a
d
d (prote
c
ted) mi
s
sing algorithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdool
a
ege
Makefile
.
am: add ta
r
get for creating
d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
u
pdate voting
t
heory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoolaege
document
barvin
o
k
_
s
umma
t
e and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: co
n
sisten
t
use
of Barvinok's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
bar
v
inok_
s
umm
a
t
e: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
Do
c
ument Euler-Macl
a
urin base
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: change
e
xample environment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdool
a
e
ge
doc: add so
m
e h
i
dd
e
n sections t
o
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
another documen
t
refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
add s
o
me tests for Euler
-
Maclaurin based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eule
r
-Maclaurin based sum
m
ation fo
r
1
D
probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaege
Euler-Maclaurin based summation for
2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decomposer
.
c
c
: avo
i
d use of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
r
doolaege
barv
i
nok_summate: verify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
a
e
ge
introduce barvin
o
k_summate as a wrapp
e
r for eva
l
ue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oola
e
ge
a
d
d eval
u
e_mul_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
evalue
_
{div,mul}:
h
a
n
dle some trivia
l
cases
m
o
re ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
lattice_point
:
expor
t
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
ev
a
lue
.
c
:
extract common code for c
o
nstru
c
tion base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
volume
.
c: export Param_P
o
ly
h
edron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
a
dd e
v
alue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
fix type
of evalue_po
l
ynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
support computa
t
ion
o
f Bernoull
i
polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
separate computa
t
ion of Bernoull
i
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: use Param_Vertex_Common_Denomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
make de
c
omposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
r
educe_do
m
ain
:
a
void use of macro parameter
w
i
th
n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolae
g
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
U
se
piplib during basi
s
reduction
if
n
o
othe
r
LP sol
v
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
ol
a
ege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use b
u
ndled Pol
y
Lib by defaul
t
commit
|
commitdiff
|
tree
next