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
lattice_points_fixed: nano-optimization
2007-10-25
S
v
en Verdoolaeg
e
latti
c
e
_points_fix
e
d: nano-o
p
ti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doola
e
ge
gen_fun::add: c
o
ntext of sum should be union of c
o
n
t
ext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
barvinok_enumera
t
e: use veri
f
y
i
nfr
a
s
t
r
u
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
fun
.
cc:
p
r
i
nt_powe
r
: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
coun
t
_p
o
i
nts_e: fa
l
l back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
laege
Makefile
.
am:
c
heck-eval
u
e: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ve
r
ify:
add check_poly_print helpe
r
fu
n
c
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
gen_f
u
n: m
a
ke sure con
t
ext i
s
alwa
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
re
d
u
c
e
r
::reduce:
canonicalize coefficie
n
ts
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
short_rat::pri
n
t: correctly pr
i
nt out te
r
m
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_series: rech
e
ck f
o
r e
q
u
a
li
t
ies
aft
e
r c
o
mp
u
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
expor
t
Matrix_Read
f
o
r
reading Matrix
f
rom a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
param
_
util
.
c:
add Pa
r
am_Verte
x
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
ut
i
l
.
c: support
i
ng_c
o
nstraints: return bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
p
o
ly
l
ib: up
d
ate for
Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedr
o
n
_
Sample for c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
keep track of and use s
a
t
ur
a
tin
g
co
n
straints in
P
ara
m
_Pol
y
h
e
dro
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
m
ove
v
alue_gc
d
a
nd
value_l
c
m
t
o
polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Be
r
n
oulli_sum_evalue: only compute ex
a
c
t
sum i
f
appro
x
imati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
Bernoul
l
i_sum_evalue: sum over variables
w
ith
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: ex
p
ort evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
Polyhed
r
o
n
_Exch
a
ng
e
Colum
n
s: normalize const
r
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
ol
a
ege
ex
p
ort
Polyhed
r
on_Exchange
C
olum
n
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
evalu
e
_p
o
lynom
i
al
:
op
t
imi
z
e
e
valuati
o
n
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aeg
e
ev
a
lu
e
.
c: emul: handle another specia
l
c
a
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
eva
l
ue
.
c: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
introdu
c
e an
d
u
s
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c: ead
d
: micro-optimize add
i
tion of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sett
i
n
g
an
a
pproxi
m
ation
m
ethod now
i
mplies polyn
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: optionally u
s
e Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
Bernoulli_s
u
m_evalue: use
eva
l
u
e
_f
r
om_
s
ectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
aege
barv
i
nok/polylib
.
h:
re
m
ove compatibi
l
ity wi
t
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oo
l
aege
move Vector
_
Oppose to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
poly
t
o
pe_scan
:
ree
n
able --d
i
rect op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
er
d
oolaege
remov
e
_
a
ll_
e
qualities: keep
r
e
m
o
v
ing equal
i
t
ies u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
ae
g
e
remove_all_eq
u
alities: han
d
le empty p
o
ly
h
ed
r
on det
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaeg
e
r
emov
e
_all_equa
l
ities: minor
code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven
Verdool
a
ege
export Poly
h
edron_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdool
a
ege
polar_
s
ig
n
ed_cone_cons
u
mer: clean up memo
r
y on
i
n
app
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n
Verdoolaeg
e
Param_Inner_Prod
u
ct: fix use of value
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verd
o
olae
g
e
doc: fix typo in Michele
V
ergne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add m
i
ssing files
from po
l
ymake c
l
ien
t
to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gm
p
's gc
d
rath
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
doolaeg
e
p
o
l
yma
k
e
/
README: mention --with-barvi
n
ok c
o
n
f
ig
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
o
l
a
e
ge
po
l
ymake/Ma
k
efile
.
in
:
add work-arou
n
d for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en V
e
rdoolaege
evalue
.
c: print_evalue: always
print
n
ewline
at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
laege
options
.
c: fix
t
ypo in --approximat
i
on-m
e
tho
d
desc
r
ip
t
io
n
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdool
a
ege
topcom: f
i
x
h
euristic for
s
ele
c
ting rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
laege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolae
g
e
Merge branch 'top
c
om
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
ge
Docume
n
t
TOP
C
OM based chambe
r
deco
m
p
o
s
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
test TOPCOM c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdo
o
laeg
e
O
ptionally use TOPCOM
t
o
c
omput
e
chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
lexmin:
ad
d
(
p
rotected) missi
n
g
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdool
a
ege
M
a
kefi
l
e
.
am:
a
dd target
for crea
t
ing dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolaege
doc: update
voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verd
o
olaege
document barvinok
_
summate and
b
arvi
n
ok_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
doc:
c
onsistent use of
Barvin
o
k's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
barvinok_summate: co
r
rect options desc
r
iptio
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erd
o
olaege
Doc
u
men
t
Euler-
M
a
c
laurin based
s
u
mmatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: change example env
i
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
som
e
hidden se
c
t
i
ons to table of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
d
o
c:
a
n
o
ther document refering to the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
some tests for Euler-Maclaurin based summ
a
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolae
g
e
Euler-Mac
l
aurin based summation f
o
r
1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Macla
u
rin based summation for
2D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
dool
a
ege
decomposer
.
cc
:
avoid use of half-o
p
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
b
ar
v
inok_su
m
ma
t
e: verify
solutio
n
over whol
e
pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
intr
o
duce barvinok_summate
a
s
a
w
rapper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
r
dool
a
ege
ad
d
e
value
_
mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
la
e
ge
evalue_{div,mul}: handle some tri
v
i
al
c
ases more effic
i
en
t
ly
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
laege
lattice_p
o
int: export fra
c
ti
o
nal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extra
c
t com
m
o
n code
for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: export P
a
ram_Polyhedro
n
_
F
a
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add ev
a
lu
e
_
m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fi
x
typ
e
of evalue_po
l
ynomial
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
olaege
su
p
p
o
r
t computat
i
on o
f
Be
r
noulli p
o
lynomials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
separate com
p
utation
of Bernoulli
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
lattice_
p
o
i
nt: u
s
e Param_
V
ertex_C
o
mmon_D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
ool
a
ege
make decomposer
.
h s
e
l
f
-c
o
ntaine
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
aege
reduce_doma
i
n
: avoid use o
f
macr
o
par
a
meter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export
e
val
u
e_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use
p
ip
l
ib during b
a
s
is reduct
i
on
i
f no other LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
U
se bundled
p
iplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rd
o
o
l
aege
add pip
l
ib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use b
u
ndled Poly
L
ib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
add po
l
ylib
s
u
b
m
o
du
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
b
e
r
nstein: allow
l
inkin
g
a
gainst uninstalled, but
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolaege
add more mis
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add d
u
mmy implement
a
t
ions of functi
o
ns tha
t
depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
ola
e
ge
upd
a
te
"
Counting with rational
genera
t
in
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
barvino
k
.
cc: split off par
t
constructing generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verd
o
o
laeg
e
barvinok
.
cc: split off part dealing with existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oola
e
ge
*counter: avoid
r
e
computation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoo
l
aege
change type of some "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc
:
u
pdate A
l
gorithmica
p
u
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
rdo
o
laege
evalue
.
c
:
mak
e
parameter
names of type
c
ons
t
ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
s
ample
.
c: Polyhedron
_
Re
m
oveFixe
d
Columns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Ver
d
oolaeg
e
util
.
c:
r
emove_e
q
ualities: f
i
x typo
commit
|
commitdiff
|
tree
next