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
barvinok_enumerate: use verify infrastructure for verifying generating functions
2007-10-25
Sve
n
Verdo
o
laege
barvinok_enumerate: use
v
erif
y
infrast
r
uctu
r
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
genfun
.
cc:
print_power: drop s
p
a
ces
a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_poin
t
s_e: fall
b
a
c
k to
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Makefile
.
am:
che
c
k-eval
u
e
:
pr
i
nt na
m
e of
ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
verify: add check_poly_pr
i
nt h
e
l
p
e
r fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un: m
a
k
e
sure
c
on
t
ext is
alw
a
y
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduc
e
r::reduce: canonicalize c
o
efficien
t
s in
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
s
hort_rat::pr
i
nt: correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oo
l
aege
barvinok_se
r
ies: rec
h
eck for equ
a
litie
s
after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oo
l
aege
export
Matri
x
_Read for
readin
g
Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
param_util
.
c:
add Param
_
V
e
r
tex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoo
l
aege
util
.
c: s
u
pporti
n
g_constraints:
return b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
polylib: update fo
r
Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
o
p
t
i
ons
.
c:
use Pol
y
hedro
n
_
S
am
p
le for
countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
eep
tr
a
ck o
f
and
use saturati
n
g constraints in Param
_
P
o
lyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
ge
move val
u
e_
g
cd and value_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
e
ge
Bernoulli_sum_evalue: only compute e
x
act
sum if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bernoulli_sum_evalue: sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
eval
u
e
.
c: export e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
P
olyhedr
o
n_ExchangeColumns: normalize
c
onstr
a
ints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
export Polyhedron_Exch
a
ngeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue_polynomial: optim
i
z
e
evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
evalu
e
.
c: emul: hand
l
e another s
p
e
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
eval
u
e
.
c: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
introduce and use evalu
e
_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
value
.
c: eadd: micro-optimi
z
e addit
i
on of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
se
t
t
in
g
an appro
x
imatio
n
met
h
od now
i
m
p
l
i
es polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_summ
a
te: optionally use Bern
o
ulli/Faulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
B
e
rnoulli_sum_eval
u
e:
use eval
u
e_fr
o
m_sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
/polylib
.
h: remove comp
a
tibility with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mov
e
Vector_
O
p
p
ose
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
polytope_scan
:
r
ee
n
able --direct opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
o
l
aege
rem
o
ve_all_equ
a
lities: keep
r
emoving equ
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remove_al
l
_equalit
i
es: handle emp
t
y polyhedron
d
etected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
r
e
move
_
a
l
l_eq
u
a
l
ities
:
mino
r
code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
Verdoolaeg
e
export Polyhedro
n
_
M
at
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven Verdoolaege
pol
a
r_signed_cone_consu
m
er: clean up memory on
inappr
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
P
a
r
am_Inner_Product: fix
u
s
e
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Ver
d
oolaege
doc
:
fi
x
typo in Michele
Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ver
d
oolaege
Add missing f
i
le
s
from polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Use gmp's g
c
d rat
h
er tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdool
a
ege
polymake/
R
E
ADME: mention --
w
it
h
-ba
r
vinok
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
polymake
/
Makefile
.
i
n: add work-arou
n
d for
pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
e
g
e
eval
u
e
.
c: print_evalue: always pr
i
nt ne
w
lin
e
a
t
th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolaege
op
t
ions
.
c
:
fix typo in --approximatio
n
-method description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n
Ver
d
ool
a
ege
topcom: f
i
x heuristic for se
l
ecting rows t
o
use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
aege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Merge branch
't
o
pco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Docu
m
ent TOPC
O
M based c
h
ambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
doo
l
aege
test TOPC
O
M chamber dec
o
mpos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
o
laege
Optio
n
ally use
T
O
PCOM to
c
o
mpute chamber
d
ec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoola
e
ge
lexmin: add (prot
e
c
t
ed)
missing algori
t
hm in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Ma
k
efile
.
a
m
: add targ
e
t
fo
r
crea
t
i
ng
dist
w
i
th git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: update voting
t
heory re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok_
s
ummate and barvi
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
doc: consistent u
s
e
of Barvinok's in
i
t
i
al
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
barvinok_su
m
m
ate: correct
o
pti
o
n
s description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Docu
m
ent Eule
r
-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: cha
n
g
e
example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: add some hid
d
en
s
ectio
n
s to table of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oo
l
aege
d
o
c: an
o
ther
document refering to
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tes
t
s f
o
r Euler-Maclaurin based sum
m
ati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
e
ge
Euler-M
a
c
l
a
urin
b
ased summat
i
o
n
for 1D pr
o
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
E
u
l
er-Maclaurin based summation f
o
r 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decomposer
.
cc: avoid use
of ha
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
bar
v
inok
_
summate: verify solution over whole pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
int
r
oduce barvi
n
o
k_summate as a wrapper for eva
l
ue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
_
{
di
v
,mul}:
h
andle
some trivial cases more effi
c
ien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
lattice_poin
t
: export fraction
a
l_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
e
v
alue
.
c: e
x
t
r
act
common co
d
e
for cons
t
ruction
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
vo
l
ume
.
c: expo
r
t Pa
r
am_P
o
lyh
e
dr
o
n_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fi
x
typ
e
o
f evalue_p
o
l
ynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
laege
support computation of Berno
u
ll
i
poly
n
omial
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
do
o
laege
separate co
m
pu
t
at
i
on of Bernoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
la
t
tic
e
_point: use Para
m
_V
e
rtex_C
o
m
mon_
D
eno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
la
e
ge
make dec
o
m
pose
r
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
reduce_doma
i
n: avoid
u
se of
macro pa
r
amet
e
r
wi
t
h na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
export eva
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
Use pipl
i
b du
r
ing basis reduction if no
other LP so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use bu
n
dled
p
ip
l
ib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pip
l
ib mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use bundled PolyLib by
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
ool
a
ege
add pol
y
lib sub
m
odul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: allow
l
inking
against un
i
nstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ver
d
oolaege
add mo
r
e mis
s
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Ver
d
oolaege
ad
d
dummy imp
l
ementations of fu
n
c
tions
t
hat dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update
"
Cou
n
ti
n
g
w
it
h
rational ge
n
erating f
u
nc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split
off part constructi
n
g g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
rvinok
.
cc: split off part dea
l
ing
with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
*counter: a
v
oi
d
r
eco
m
putation of denominators w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
e
rdo
o
laege
counte
r
: remove redund
a
n
t
m
ember
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoo
l
aege
chan
g
e type of some "sign"s to
i
nt as th
e
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
doc
:
u
p
date Al
g
orithm
i
ca publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aeg
e
evalue
.
c: make parameter name
s
of type c
o
ns
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoola
e
g
e
sample
.
c: Polyhedr
o
n_Remov
e
F
i
x
ed
C
olumns: co
r
rectl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
Verdoolaege
util
.
c: remove_equaliti
e
s:
f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdool
a
ege
Param_Polyhed
r
o
n
_Print: print everythi
n
g to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdo
o
laege
barvinok_enumerate
_
with_o
p
tions: don't add context
.
.
.
commit
|
commitdiff
|
tree
next