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
S
v
e
n
Verdoolaege
make c
o
u
n
ter::a
d
d_fa
l
lin
g
_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
merge (
m
ost of) comm
o
n
part of counter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
ege
icounter:
h
andle sp
e
cialization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
icounte
r
: d
o
n't bother "normalizing" the expone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
basis_reduction_c
d
d: check for
p
ossibly incorr
e
c
t
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
Polyhedron_S
a
mple: ha
n
dle
p
o
l
yhedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun:
:
operator eva
l
ue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
g
e
n_fun::oper
a
tor eval
u
e *: remove commented
o
ut debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enume
r
a
t
e
_
e
.
cc: han
d
le verifi
c
ati
o
n of
p
ro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_
e
numerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
b
arvino
k
_enum
e
rate_e: support verificati
o
n of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
v
inok_enumerate_e:
support conversion of ge
n
erati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laeg
e
lattice_points: anot
h
e
r
micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
l
attice_point
s
_fixed: nano-optimi
z
ati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
olaege
gen_f
u
n::ad
d
: context of sum should be union
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
barvinok_enumerate: use
v
e
r
ify inf
r
astructure for
ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
genfu
n
.
cc: print_powe
r
:
d
rop spaces aro
u
nd "/"
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoola
e
ge
count_points_e: fall
b
a
c
k to cou
n
t_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Makefil
e
.
am: che
c
k-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
verify:
add ch
e
ck_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_f
u
n: make s
u
re conte
x
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: canon
i
calize coeffici
e
n
ts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoola
e
ge
s
hort_rat::print
:
correctly
p
rint out ter
m
s wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_
s
e
ries: recheck
f
or equalities aft
e
r
c
o
mputin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Ma
t
rix_Read for readi
n
g Matrix from a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
p
a
ram
_
util
.
c
: a
d
d
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
util
.
c: su
p
p
o
rting_constraints
:
return bit
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
p
olylib: up
d
ate for M
a
trix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c
:
use Poly
h
e
d
ron
_
Sample fo
r
countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
t
rack of and use saturating constrain
t
s in Para
m
_
P
o
ly
h
edro
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
move value_
g
cd and v
a
lue_lcm to po
l
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
l
i_sum_
e
value: only compute exact s
u
m if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
oolaege
Bernoulli_sum_evalue: sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
evalu
e
.
c:
e
x
p
or
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
ly
h
edr
o
n_Exchan
g
eC
o
lumn
s
: normalize constr
a
ints
a
ft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
exp
o
rt Polyhedron_Exchang
e
Col
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
evalue_p
o
lynomial
:
optimize e
v
aluat
i
on in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
evalue
.
c: e
m
ul: handle another specia
l
ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
evalue
.
c: eadd: handle some specia
l
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
nt
r
o
du
c
e and use ev
a
l
u
e_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
:
e
a
d
d: m
i
cro-opti
m
ize additi
o
n o
f
two
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an approximation method no
w
i
m
plie
s
pol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
bar
v
inok
_
summate:
o
ptionally use Ber
n
oulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
Ber
n
oull
i
_sum_evalue: use e
v
alue_fr
o
m_section_ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
b
arv
i
nok/polyl
i
b
.
h
:
remove compatibili
t
y with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
move Vector_Oppose to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
p
o
ly
t
ope_
s
can:
r
e
e
nable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolae
g
e
remove_a
l
l_equalities: keep removing
equaliti
e
s
u
n
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remove_all_
e
qualities: handle e
m
p
t
y
po
l
yhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaeg
e
r
em
o
ve_all_equal
i
t
ies: m
i
nor co
d
e
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
e
x
p
o
rt Poly
h
edron
_
Mat
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdoolaege
polar_sign
e
d_cone_consumer:
clean up memory
on
ina
p
pr
o
p
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en
Verdoolae
g
e
Param_Inner
_
P
rodu
c
t:
fix use of v
a
l
ue_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
ven
Verdoola
e
ge
doc: fi
x
typo in Michele Vergne's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoo
l
a
e
ge
Add missing files from p
o
lymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Use gmp
'
s gcd rather
t
han PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
aege
po
l
yma
k
e/README: mention --with-
b
arvi
n
o
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ve
r
doolaege
po
l
y
m
ake/Makefile
.
in: add wo
r
k-around fo
r
po
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
evalue
.
c: print_evalue: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
option
s
.
c
: fix
typo in --approxi
m
ation-m
e
thod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
l
a
ege
topcom:
fix heuristic f
o
r
s
e
lecting rows to use a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
e
rdoola
e
ge
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Mer
g
e
b
ranch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verd
o
olaege
Document
T
OPCOM based chamber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaeg
e
test TOPCOM
c
hamber
d
ecompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
er
d
oolaege
Optionally use
TOPCOM to co
m
pute
c
h
a
mber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (prot
e
c
t
ed) mis
s
ing algorithm inc
l
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
erdoolaege
Makefile
.
a
m
:
add target fo
r
creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdool
a
eg
e
doc: update
vot
i
ng t
h
eory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
documen
t
barvinok_summ
a
te and
b
arvi
n
ok_m
a
x
i
miz
e
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: consist
e
nt use of Barvinok's
ini
t
ia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
a
e
ge
barvin
o
k_
s
ummate: corr
e
ct options description
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
g
e
D
o
cument Euler-M
a
clauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc:
c
hange ex
a
m
ple environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaeg
e
d
oc:
a
d
d
some hidden sections to
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: ano
t
her document referi
n
g
to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
add s
o
me
tests
f
or Euler-Ma
c
l
a
urin bas
e
d
summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Euler-Maclau
r
in bas
e
d summa
t
i
o
n for 1D pro
b
lem
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Euler-M
a
claurin based s
u
mmation for 2
D
problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
decomposer
.
cc:
a
void use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
b
a
rvinok_summate: verify
s
olutio
n
o
v
e
r whole
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoola
e
ge
i
n
t
roduce barvinok_summate as a wr
a
p
p
er
f
or evalue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
add evalue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
evalue_{div,m
u
l}: handle some trivial cases more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ol
a
e
ge
lattice_point: export fracti
o
nal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c:
e
xtract
c
ommon c
o
de for construct
i
on b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
volume
.
c:
e
xport
Param_Pol
y
hedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
ad
d
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
f
i
x
type of evalue_polyno
m
i
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
support com
p
u
ta
t
ion of Be
r
noull
i
polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
se
p
a
rate
c
o
mputat
i
on o
f
Berno
u
lli coefficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
l
a
tti
c
e_point: use
P
aram_Verte
x
_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h s
e
lf-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
reduc
e
_
d
omain: avo
i
d us
e
of macro parameter with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oola
e
ge
export evalu
e
_du
p
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
r
doolaege
Use piplib during
ba
s
is red
u
c
t
ion if no ot
h
er LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoola
e
ge
U
se bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use b
u
ndled PolyLib by default
commit
|
commitdiff
|
tree
next