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
topcom.c: extract part of code for setting up standard constraints
2007-10-31
Sven
Verdoolaeg
e
topcom
.
c
:
extract part
o
f co
d
e for setting
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoo
l
aege
gen
_
fun::Hadamard_pr
o
duct: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose opt
i
on to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_f
u
n::sum
m
a
t
e
:
h
a
ndle fu
l
l
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
Repl
a
ce incre
m
e
n
tal infinite set
co
u
nter by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
make coun
t
er::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
merg
e
(
m
ost of)
commo
n
part of counter
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
icounte
r
: handle sp
e
cializ
a
tion of po
l
ynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ic
o
unter: don't bother "normalizing
"
the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaeg
e
ex
p
or
t
neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
s
is_reduction
_
cdd:
ch
e
ck for
possibly
incorrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
aege
Po
l
y
h
edron_Sam
p
le
:
han
d
le polyhedron bec
o
ming empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *: always ret
u
rn a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
g
en
_
f
u
n::ope
r
at
o
r
e
value *: remove commented out debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
b
arvinok
_
enumerate_e
.
cc:
handle verification of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumerate_
e
:
o
ptionally p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
merat
e
_e: support verif
i
catio
n
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ba
r
vinok
_
enume
r
ate_e: support
c
onve
r
sio
n
of
gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
l
attice_poi
n
ts:
a
nothe
r
mi
c
ro-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
l
a
tt
i
ce_p
o
i
nts_fixed:
n
a
n
o
-op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
gen_fun::a
d
d: context of sum sh
o
uld be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok
_
enumerate:
use ve
r
ify i
n
fr
a
structure for
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genfun
.
cc
:
print_p
o
wer: drop spaces around "/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_po
i
n
t
s_e:
fall back to count_poin
t
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: c
h
eck-evalue: print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
lae
g
e
v
erify: add
c
heck_
p
oly_print
he
l
pe
r
funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
g
en_fun: make sure context i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
re
d
u
c
er::
r
educ
e
:
c
anonicalize
c
oefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
short_rat::print: co
r
rectly print out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_series: rech
e
ck for equalities a
f
ter
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
export
Matrix_Read for
readin
g
Ma
t
r
i
x from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
par
a
m
_
util
.
c: add Param_Verte
x
_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
util
.
c: supporting_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: up
d
ate
f
or Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
opti
o
ns
.
c: us
e
Polyhedron_Sample for
c
ounting
i
nfinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
keep track of and use sa
t
urati
n
g constrain
t
s
in Pa
r
am_Polyhed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
move val
u
e_gcd
a
nd
value_lcm to
p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
B
e
rnoulli_sum_evalue: only comput
e
e
x
act su
m
if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: su
m
over vari
a
bl
e
s wit
h
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
:
expor
t
evalue
_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
P
o
lyhedro
n
_Ex
c
h
an
g
eColumns
:
normali
z
e constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ex
p
ort Poly
h
ed
r
on_Exc
h
a
ngeColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
evalue_polynomial: o
p
t
i
miz
e
e
valuation in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c
: em
u
l: h
a
ndle another
special
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
evalue
.
c: ea
d
d: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
i
ntrod
u
ce and use
e
value_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
eva
l
ue
.
c:
e
add:
micr
o
-optimize additio
n
of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
s
etting an
appr
o
xi
m
ation method now implies polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
e
g
e
barvinok_summate: optionally use Bernou
l
li/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_
e
val
u
e:
u
se evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok/
p
olylib
.
h:
remove com
p
a
t
ibility
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
mo
v
e Vector_Opp
o
se t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
polytope_sca
n
: ree
n
a
ble
-
-dir
e
ct option
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
V
erdoolaege
remove_all_
e
qualities: keep
removing equali
t
ies
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
rem
o
ve_all
_
equali
t
ie
s
: handle emp
t
y
p
olyhedron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
remove_all_equa
l
itie
s
:
mi
n
or code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
e
x
p
o
rt Polyhedron
_
M
a
trix_V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Ver
d
oolaege
polar_
s
igned_cone_consumer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
e
n
V
e
rd
o
olaege
Par
a
m
_Inne
r
_P
r
oduct:
fix use of
v
alue
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
oc: fix ty
p
o i
n
Michele
Vergn
e
's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoola
e
ge
Ad
d
missing fil
e
s f
r
om
p
ol
y
make client
t
o
distribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdo
o
la
e
ge
Use
gmp'
s
gcd rath
e
r than PolyL
i
b's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
po
l
ymake/REA
D
ME: mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake
/
Makefile
.
in
:
add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
evalue
.
c
: print_evalue: a
l
w
a
ys
p
rint newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoola
e
ge
op
t
io
n
s
.
c: f
i
x ty
p
o i
n
-
-
approxim
a
t
i
on-
m
e
th
o
d
descr
i
p
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaeg
e
topcom: fix heuris
t
ic for
selecting rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Merge b
r
anch '
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
rdool
a
e
ge
Document TOPCO
M
based chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TOPCOM chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
o
laege
Optional
l
y use TOPCOM to compute c
h
a
m
ber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
l
a
ege
lexmin: add (protected)
m
issing
algorithm incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
a
e
ge
Makefi
l
e
.
a
m:
add target for creating dis
t
wi
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
lae
g
e
doc
:
update vo
t
ing th
e
ory re
f
eren
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
document b
a
rvinok_summ
a
te an
d
b
arv
i
nok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
laege
d
o
c: consistent use of Barvinok's i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
e
rdo
o
lae
g
e
barvinok_s
u
mmat
e
:
corre
c
t opti
o
ns d
e
scri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
ol
a
eg
e
Document Euler-Maclaurin
b
ase
d
su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n V
e
rdool
a
ege
doc: change
e
xamp
l
e environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
er
d
oolaege
doc: add some
h
idden sect
i
ons to table of
c
o
n
tent
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
o
c
:
another document referin
g
to the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
V
erdool
a
ege
add s
o
me tests for Euler-M
a
c
laurin b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
Euler-Macla
u
r
in
bas
e
d summati
o
n for 1
D
p
r
ob
l
em
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoo
l
a
e
ge
Euler-Mac
l
aurin based summation for 2D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
d
oolaege
decom
p
ose
r
.
cc: avoid use
o
f half-open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
a
e
ge
barvinok_summate: veri
f
y
solution
o
ver
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduc
e
b
a
rv
i
nok_
s
ummate as a wra
p
pe
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verd
o
olaege
add ev
a
l
u
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
evalue_{d
i
v,mul}: ha
n
dle some
tri
v
i
a
l cases
m
ore efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
lattice_point:
e
x
port
f
r
actional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
dool
a
ege
evalue
.
c: extract
common co
d
e for const
r
uction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
volume
.
c:
export Param_P
o
lyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
fix type of evalue
_
polynomial
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
support compu
t
a
t
ion of
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computatio
n
of Bernou
l
li coe
f
fi
c
ients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
aege
lattice_point
:
use Param_V
e
rtex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
make decomposer
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
r
educe_domain: avoid use
o
f macro
parame
t
er with n
a
me
.
.
.
commit
|
commitdiff
|
tree
next