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 Verdool
a
ege
make co
u
nter::add_f
a
ll
i
n
g_powers
s
t
a
tic
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
olaege
merge (most of) co
m
m
on
p
art of counter and
t
cou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
icount
e
r:
handle specializa
t
ion of p
o
l
y
nomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
i
counter:
don't
b
o
t
h
er "normali
z
i
ng" the
e
xp
o
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
x
port n
e
g
_
left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
ba
s
is_reduc
t
io
n
_cd
d
: check for
p
ossibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
rdoo
l
aege
P
ol
y
hedron_Sample: hand
l
e polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
gen_fun::operator eva
l
ue
*
:
always
retu
r
n a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
do
o
laege
gen_fun::op
e
rator eva
l
ue
*: remove com
m
ent
e
d out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvin
o
k_enumer
a
te_e
.
cc
:
handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barv
i
nok_e
n
umer
a
t
e
_e:
optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate_e: s
u
pp
o
rt verification o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
ool
a
ege
barvi
n
ok_e
n
umerate_e: suppo
r
t co
n
versi
o
n of ge
n
erati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
lattice_
p
oints:
a
n
oth
e
r m
i
cr
o
-opti
m
izat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
lattice_points_fixed
:
na
n
o-op
t
imiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen
_
fun::a
d
d: co
n
t
ex
t
of sum s
h
o
u
ld be u
n
ion o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
l
ae
g
e
b
ar
v
inok_enu
m
erate: use verify infrastr
u
ctu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
genfun
.
c
c
: print_power
:
drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: fall back to
c
ou
n
t_points
if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
M
akefile
.
am: check-evalue: print
n
ame of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
verify:
a
dd che
c
k_poly_pr
i
nt help
e
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen
_
fun: make s
u
re context is a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
reducer:
:
reduce: canonicalize coeffici
e
nts in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
short_rat::p
r
int: corre
c
tl
y
print out terms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k
_series: recheck
f
or eq
u
alit
i
e
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Matr
i
x
_
Read f
o
r
reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
param_util
.
c: add Param_Vertex_D
o
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
uti
l
.
c: s
u
pporting_c
o
nst
r
aints: return
b
i
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
poly
l
ib:
up
d
ate for M
a
trix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
oolaege
o
ptions
.
c: use Polyh
e
dron_S
a
m
ple f
o
r c
o
u
n
t
i
n
g
infi
n
it
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
k
eep track
of and
u
se
saturating constraints in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
o
ve value_gc
d
and
v
a
l
u
e_lcm to
po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
Bern
o
ull
i
_
sum_eva
l
ue: only compu
t
e exact sum i
f
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
B
e
rnoulli_sum_evalue: sum over v
a
riables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c
:
exp
o
r
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
Po
l
yhedr
o
n
_
Ex
c
hangeColumns: normalize constraints afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
expo
r
t Pol
y
h
edron_Exchan
g
eCo
l
umns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue_polyn
o
mial: optimize evaluation
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalu
e
.
c: emul: handl
e
a
n
other special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
evalue
.
c:
eadd
:
h
a
ndl
e
some
s
pecial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
int
r
oduce
and use evalue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c: ead
d
:
micro-optim
i
ze addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
s
e
ttin
g
an
a
p
p
r
oximation
m
ethod now
implies po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
barvinok_summate: optionally use
B
er
n
oulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
B
e
r
noulli_sum_evalue: use ev
a
lue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok/
p
olylib
.
h: remove co
m
pa
t
ibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
V
ect
o
r_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
polytope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verd
o
olaege
remove_all_equalities: kee
p
re
m
oving equalities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
re
m
ove_all
_
equalities: handle e
m
p
ty po
l
yhedron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remove_all_
e
qualities: minor cod
e
cle
a
n-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
export
P
olyhe
d
ron_Matrix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
o
o
l
a
ege
polar_signed_cone_consumer:
clean up memory on inap
p
ropr
i
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven V
e
rdoolaege
P
a
r
am_
I
nne
r
_Product: fix
use of va
l
u
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verd
o
olaege
doc: fix typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Add mi
s
sing files fr
o
m p
o
lym
a
k
e
c
l
ient to di
s
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Use gmp's g
c
d rather tha
n
Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
po
l
ymake
/
READ
M
E
: me
n
t
i
on --wi
t
h
-
b
a
rvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
V
e
rdool
a
ege
polymake/Makef
i
l
e
.
in
:
add work
-
a
r
ound for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ver
d
oolaege
eval
u
e
.
c:
p
ri
n
t_evalue:
a
lw
a
y
s
p
r
i
nt
newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rd
o
ol
a
ege
options
.
c: fix typo in --appr
o
ximation-method
de
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolae
g
e
t
opcom:
f
i
x heuristic
for selectin
g
rows to use a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
bar
v
inok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Me
r
ge branch
'
topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Document TOPCOM based chambe
r
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
test TOPCOM chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
doolae
g
e
Opt
i
onally use TOPCOM
t
o compute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
aege
lexmi
n
:
a
dd (p
r
o
t
ect
e
d) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefile
.
am:
a
dd target for creating d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
d
oc: u
p
d
ate voting theory
refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
documen
t
barvinok_summ
a
t
e
a
n
d barvi
n
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: consiste
n
t use of Barvino
k
's init
i
a
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
bar
v
inok_summate: corre
c
t o
p
tions descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Documen
t
Euler-Maclaurin based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
do
c
:
cha
n
ge e
x
ample e
n
v
i
ron
m
en
t
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oo
l
aege
doc: add some h
i
dden sections to table o
f
co
n
ten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
d
oc: ano
t
her doc
u
ment
r
e
f
ering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some
t
ests for
E
uler-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
Euler
-
Macla
u
rin based summa
t
i
on for
1
D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
ae
g
e
Euler-Maclaurin ba
s
ed summation f
o
r
2
D
pro
b
lems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
deco
m
poser
.
c
c
:
av
o
id use of h
a
lf-
o
p
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
a
r
v
inok_summate: verif
y
solu
t
i
on over wh
o
le pa
r
amet
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
introduce ba
r
vin
o
k_summa
t
e
a
s a wrapper for e
v
alue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rd
o
olaeg
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
e
va
l
ue_{div,m
u
l}: han
d
l
e
some tr
i
v
ial c
a
ses more
efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
l
attic
e
_point: expor
t
fra
c
tional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
e
val
u
e
.
c: extr
a
ct
common cod
e
f
o
r
c
o
n
st
r
u
ct
i
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoo
l
aeg
e
volume
.
c: export Param_Polyhedr
o
n_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdo
o
laege
ad
d
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
fix type of evalue_pol
y
nomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
su
p
port
c
omputa
t
ion
o
f Bernoulli polyn
o
mi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
s
epara
t
e
c
omputation
of Be
r
noulli coefficien
t
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
l
a
ttice_point
:
use Param_Vertex_Common_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
make
d
ecomp
o
ser
.
h
s
e
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
doolaege
reduce_domain: avoid
use of macro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
aege
Use piplib du
r
ing
b
asis r
e
duc
t
ion if n
o
other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use b
u
ndled
pipl
i
b
by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
e
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
e
g
e
Use bundl
e
d PolyLib
b
y default
commit
|
commitdiff
|
tree
next