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
Sven Verdoolaeg
e
mak
e
counte
r
::ad
d
_
f
alli
n
g_
p
owers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
merge (most of) common p
a
rt of
count
e
r and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
icounter: hand
l
e sp
e
cializ
a
t
i
on
o
f po
l
ynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
ool
a
ege
icounte
r
: don't bother "normalizing"
t
he e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export neg
_
left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
sis_reduction_cdd: check f
o
r
p
ossibly
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
Polyhedron_Sample: handl
e
poly
h
edron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_f
u
n::operator evalu
e
*: alw
a
y
s return
a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun::operator evalue *:
remove
c
ommen
t
ed out de
b
ug
g
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
bar
v
i
n
ok_enumerate
_
e
.
c
c: handle verificat
i
on of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_en
u
merate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
mer
a
t
e_
e
: s
u
pport verification of gener
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enumerate_e
:
sup
p
ort conversion of
g
enerat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
l
a
ttice_points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaeg
e
lattice
_
points_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
gen_fun
:
:add: conte
x
t
of sum sho
u
l
d
be union
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
barvinok_
e
numerate: use verify infrast
r
ucture for ve
r
ifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
genf
u
n
.
cc: pri
n
t
_
power: drop spaces aroun
d
"
/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
cou
n
t_poi
n
ts_e:
fall
b
ac
k
to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
akefile
.
am: check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
verify: add
c
heck_poly_print helper
f
un
c
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen
_
fun: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
reducer::reduce: canonica
l
ize
coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
short_rat::print:
c
orrectly pr
i
n
t
out t
e
rms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvin
o
k_ser
i
e
s
: recheck for
equ
a
lities after
c
omp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export M
a
tri
x
_Rea
d
for reading Matrix
from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
p
a
r
a
m
_
u
t
i
l
.
c
: add P
a
ram
_
Ver
t
ex_Do
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
util
.
c: support
i
n
g
_constr
a
int
s
: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
po
l
ylib:
u
pdat
e
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
o
pt
i
ons
.
c
:
u
s
e P
o
l
y
hedron_Samp
l
e
f
o
r counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
t
rack of and u
s
e satu
r
ating constraints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
move va
l
ue_gcd
and value_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
B
e
rnoulli_s
u
m_e
v
alue: only compute exact sum i
f
a
p
proxim
a
ti
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
Berno
u
lli_
s
u
m_
e
valu
e
:
sum over variables with int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c:
export evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
P
o
ly
h
edro
n
_ExchangeColum
n
s: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
e
ge
export Poly
h
e
d
ron
_
ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
d
o
olaege
evalue_poly
n
o
m
ial: optimize evalua
t
ion in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
e
v
a
lue
.
c: emul: h
a
ndle
a
nother
s
pecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: eadd: handle some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olae
g
e
i
n
tro
d
u
c
e
a
n
d
use e
v
alue
_
fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
doolaege
evalue
.
c: eadd:
m
icro-optimize ad
d
it
i
on of
two ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an
app
r
o
x
i
mation
met
h
od now implies
pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
l
a
ege
barvinok_summate: optional
l
y use Be
r
noull
i
/Fa
u
l
ha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bernoulli_sum_evalue: use evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barv
i
n
o
k/polylib
.
h: remove compatibilit
y
w
ith olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolae
g
e
m
ove Vector_Oppose to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
polytope_
s
c
an:
r
e
enable -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
re
m
ov
e
_all_e
q
ualities: keep removing eq
u
alities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ve
r
do
o
l
a
ege
r
e
move_all_equa
l
it
i
es
:
handle empty
polyhe
d
ron dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolae
g
e
r
emove_all_equalities
:
m
i
no
r
code cle
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
eg
e
e
x
p
ort Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en
V
erdoolaege
p
olar_signed_con
e
_
c
onsumer: clean up
m
emory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
P
aram_Inner
_
Product:
fix u
s
e of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
e
n
V
e
rdoolaege
doc
:
f
i
x typo in Michele Vergne
'
s name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Add missing files from
p
olymake
cli
e
nt to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
Use g
m
p's g
c
d
r
ather than P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven V
e
rdoolae
g
e
p
o
ly
m
ake/READ
M
E: me
n
ti
o
n --with-b
a
rvin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdool
a
ege
poly
m
ake/Makefi
l
e
.
i
n
:
a
d
d work-around for poly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
e
v
alue
.
c: print_evalue: alwa
y
s print newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opt
i
ons
.
c: fix typo in --approximation-met
h
od
desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
e
rdool
a
ege
to
p
c
om: fix heuri
s
tic for s
e
lecting rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvi
n
ok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Merge
b
r
anc
h
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Documen
t
TOPC
O
M based c
h
amber
d
ecomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoo
l
aege
test TOP
C
O
M
chamb
e
r deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Optiona
l
ly
u
s
e
TOPCOM to compute c
h
a
m
ber dec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (protected) missing
algo
r
ithm in
c
lud
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
M
a
kefile
.
am:
add targ
e
t for creating dis
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
do
c
: upda
t
e voting theory re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doolaege
document barvinok_summat
e
and barv
i
nok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
consistent use of Barvino
k
's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
la
e
ge
ba
r
vinok_s
u
mm
a
t
e: co
r
rec
t
options desc
r
iptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
o
o
laege
D
o
cument Euler-Ma
c
laurin
b
ase
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdo
o
laege
doc: chan
g
e ex
a
mple environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: add
s
ome
h
idde
n
sections
to table of
c
ontent
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdoolaege
doc: another d
o
c
u
ment refering
t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
olaege
add so
m
e
tests f
o
r
Euler-Maclaurin ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaeg
e
Euler-Macl
a
u
r
in based
s
u
mmati
o
n for
1
D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
uler-Maclaur
i
n ba
s
ed summation for 2
D
prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
d
ecomposer
.
cc:
avoid use of half-o
p
en co
n
es
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
ba
r
vinok_s
u
mmate: v
e
rif
y
soluti
o
n o
v
er whol
e
p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introd
u
c
e barvinok_
s
u
m
m
at
e
a
s
a
w
rapper for
evalu
e
_
s
um
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
a
dd
evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ol
a
ege
evalue_{div,mul}:
handle some
t
r
ivia
l
case
s
m
o
r
e efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
l
a
tti
c
e_poin
t
: export fractio
n
al_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
ege
evalue
.
c: extract common code for const
r
uction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Ve
r
doolaege
v
o
lume
.
c: export Param_Polyhe
d
ron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
eg
e
a
dd evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
fix ty
p
e
o
f
e
v
a
lue_polynomial ar
g
u
m
e
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
o
l
ae
g
e
support computation of Bernoull
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
separat
e
co
m
p
utation o
f
Bernoulli
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
la
t
ti
c
e_p
o
i
nt: use
Param_Vertex_Common_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
make decomposer
.
h se
l
f-contai
n
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
reduce
_
domain
:
avoid u
s
e
of mac
r
o
paramete
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolae
g
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e
piplib d
u
ring basis
re
d
u
ction if
n
o o
t
her LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
Use bundled
piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
a
dd
piplib m
o
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
U
s
e bun
d
led
PolyLib b
y
default
commit
|
commitdiff
|
tree
next