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
export neg_left_hermite
2007-10-25
Sven Verd
o
ol
a
ege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
basis_r
e
duction_c
d
d: ch
e
c
k
for possibly incor
r
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
Polyh
e
dron_
S
ample
:
h
a
n
dle p
o
lyhedron be
c
o
m
i
n
g
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::opera
t
or evalue *: a
l
w
a
ys retur
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
::opera
t
o
r evalue *: rem
o
ve c
o
mmente
d
out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
bar
v
inok_
e
numerate_e
.
c
c: handle verificati
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
barvi
n
ok_enu
m
erate_e: optionally
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_
e
numerate_e: sup
p
ort
v
erifi
c
a
tion of gen
e
r
a
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
b
a
r
vinok_enume
r
a
t
e
_
e:
s
uppo
r
t conve
r
si
o
n of
g
ene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoola
e
ge
lattice_points: an
o
ther m
i
cro-optimi
z
atio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
l
a
t
t
ice_points_fixed: n
a
no-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun::
a
dd: context o
f
sum should b
e
union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
b
a
rvinok_enum
e
rate: use verify infrastru
c
tur
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
genfun
.
c
c
: print_power: drop s
p
aces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: fall ba
c
k to count_points
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
Makefile
.
am: check-evalue: print name of each
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
verify: add check_poly_p
r
i
n
t helper fu
n
ction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
gen_
f
un: make sure con
t
ext
is
al
w
ay
s
s
et
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oo
l
aege
reducer::reduce: canonic
a
lize
coefficie
n
ts in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
short_rat::print: correctly pri
n
t out te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_series: re
c
heck for equa
l
i
t
ies after comp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
export Matrix_Read fo
r
reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
param_util
.
c:
add Par
a
m
_
Ver
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ut
i
l
.
c
: suppo
r
ting_co
n
s
traints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
polylib
:
update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
options
.
c:
use Polyhe
d
ron_Sample for
cou
n
tin
g
infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ke
e
p track
o
f and
use saturati
n
g
c
on
s
traint
s
in Param_Poly
h
edr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mo
v
e val
u
e_gcd a
n
d va
l
ue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
Berno
u
ll
i
_sum_evalue: on
l
y comput
e
exact
s
um if a
p
pro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaeg
e
Bern
o
ulli_sum_evalu
e
: sum over variable
s
wi
t
h i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c
:
export evalue
_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
P
olyhedr
o
n_E
x
changeColumns: n
o
rmalize constraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
export Polyhedr
o
n_E
x
change
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalu
e
_polynom
i
al: optimize evaluati
o
n i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
eva
l
u
e
.
c: em
u
l: handle anothe
r
spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eval
u
e
.
c
:
eadd: handle s
o
m
e sp
e
c
ial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
introduce
an
d
use
e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ev
a
lue
.
c: eadd:
micro-optimize addition of
tw
o
r
a
t
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
setting an app
r
oximation met
h
o
d
now implies p
o
ly
n
o
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
barvinok_summate: opt
i
onally
u
se
Ber
n
oulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_
s
um
_
evalue: use
e
valu
e
_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ba
r
vin
o
k/polyli
b
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
move V
e
ctor_Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
po
l
yto
p
e_scan: reenable --direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_
a
ll_equalities
:
keep rem
o
vi
n
g
equalities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remov
e
_all_
e
quali
t
i
e
s: han
d
l
e empty polyhedron det
e
cte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laeg
e
re
m
ove_
a
ll_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
e
x
p
ort
P
olyhed
r
on_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Verdoolaege
polar_signed_cone_cons
u
mer:
c
lean up memory
o
n inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven Verdo
o
laege
P
a
r
a
m_Inner_Pro
d
uct: fix use o
f
valu
e
_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoo
l
a
ege
doc: fix typo in
M
ichel
e
Vergne
'
s name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
o
laege
A
d
d
missi
n
g
f
iles
from polymake
cl
i
ent to distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rd
o
olaege
Use gmp's g
c
d
rath
e
r tha
n
P
o
lyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Ve
r
doolaege
polym
a
ke/README: men
t
ion --with-barvinok con
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
polymake
/
Mak
e
file
.
in: add
wor
k
-around for polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
erdoolaege
eva
l
u
e
.
c:
p
rint_e
v
alue: always p
r
int newline a
t
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolae
g
e
options
.
c: fix typo
i
n --approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoolae
g
e
topcom:
f
ix
h
euristic
f
or selecting
r
ows t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
d
oola
e
ge
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n V
e
rdoolaege
Me
r
g
e
branc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Do
c
ument TOPCOM
based chamber dec
o
m
p
o
sitio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
lae
g
e
test TOPCOM chamber
d
e
composi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
doolaege
O
p
t
i
o
n
a
lly use TOPCOM to compute chamb
e
r decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin:
add
(protected) missing algorithm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefi
l
e
.
am: add target for creat
i
ng
d
ist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
d
o
c
: u
p
date voting theory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
document barvinok_summate and barvi
n
ok_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
d
o
c
: consistent use
of Barv
i
nok's init
i
a
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
b
arvinok_summate: correct o
p
tions descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
o
cument Euler-Ma
c
lauri
n
based s
u
mm
a
ti
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
doc:
c
ha
n
ge ex
a
mple environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: add so
m
e
hidden sections
to tab
l
e of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
laege
d
oc: another document
r
efering t
o
the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaeg
e
add
some tests for Euler-Maclaur
i
n b
a
sed summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Macl
a
urin based summa
t
ion for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
Euler-Ma
c
laurin base
d
summation f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
decomp
o
s
er
.
cc: avoid use
o
f h
a
lf-op
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
barvinok_summate: verify s
o
l
u
tion
o
ver whol
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
i
n
t
rod
u
c
e barvinok_summate as a wrapper for evalu
e
_
su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
evalue_{
d
iv,mul}: handle some trivial cases more effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
r
doo
l
aege
lattice_point: export fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
evalue
.
c:
e
x
t
r
act common co
d
e for co
n
str
u
ction
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
v
olume
.
c: expo
r
t Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
a
d
d evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix
t
ype of eva
l
ue_poly
n
omial arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
support
c
omputation of
Ber
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaeg
e
separate comput
a
tion of Bernoulli co
e
fficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
lat
t
ice_point: use Pa
r
am_
V
e
rtex_Co
m
mon_Deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
make decompos
e
r
.
h self-cont
a
ine
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaeg
e
re
d
u
c
e_domain: avo
i
d
use
o
f
macro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
export
evalu
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use pip
l
ib during basi
s
reduction
if
n
o o
t
her LP
s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
o
laege
Use bundled pipli
b
by
d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add pipli
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bun
d
led PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
ad
d
pol
y
lib s
u
bmo
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
bernstein: allow linking against unins
t
a
l
l
ed, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more m
i
ss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verd
o
olaege
add
dummy i
m
plementat
i
ons of functio
n
s
that depend
.
.
.
commit
|
commitdiff
|
tree
next