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
evalue_split_domains_into_orthants: don't reduce evalue after splitting
2007-10-25
Sven Verdoolaege
Polyhedron_Sample: handl
e
polyhedro
n
b
e
coming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
g
en
_
fun::o
p
erator eva
l
ue *: alway
s
return a
v
a
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::op
e
rat
o
r
ev
a
lue
*: remove
commen
t
ed out deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
arvino
k
_enu
m
erat
e
_
e
.
cc: han
d
le
verificat
i
on of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
i
n
ok_enumerate_e: option
a
lly
p
rint st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
ba
r
vi
n
ok_
e
numerate_e: sup
p
ort
v
erifi
c
a
t
ion of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
barvinok_e
n
umerate_e
:
su
p
port
c
onversion of genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
tic
e
_points: anothe
r
m
icro
-
opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
lattice_points_fixed: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen_fun::add: con
t
ext of sum shou
l
d
b
e
union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate: use
verify infrastructure for
verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
gen
f
un
.
cc:
p
r
int_power: d
r
o
p
spaces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
c
ou
n
t_points_e:
f
a
ll back to count_points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
Makefi
l
e
.
am: check-evalue: print name of
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_print helper
f
unct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
:
m
ake
sure c
o
n
text is alwa
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
reducer::re
d
uce: canonic
a
liz
e
coefficient
s
in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_
r
at::print: correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_
s
e
ries: re
c
heck
f
or equaliti
e
s after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
ex
p
o
r
t Ma
t
r
ix_Read for
r
eading Matri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
param
_
util
.
c: add Param
_
Vert
e
x
_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
util
.
c: support
i
ng_co
n
straint
s
: return bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
polylib:
u
pdate for
M
atrix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
ol
a
ege
o
ptions
.
c: use Polyhedro
n
_Sam
p
l
e
for countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
ke
e
p track of and use saturating constrain
t
s
in Pa
r
am_
P
olyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
move v
a
lu
e
_gcd and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Bernoulli_sum_e
v
a
lue: only compute
e
xact sum if appr
o
ximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_sum_
e
value:
sum over var
i
ables with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Polyhedron_E
x
c
hangeColum
n
s:
n
o
r
malize constr
a
ints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort Polyhedron_
E
xchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomial: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
ae
g
e
evalu
e
.
c: emul: handle another sp
e
cial
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: ead
d
: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
introduce and use evalue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: e
a
dd: mi
c
r
o-optimize addition
o
f two rational
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
s
e
tt
i
ng
a
n
app
r
oximation method now implies polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_summate:
o
ptiona
l
ly use Be
r
noulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_eval
u
e: use eva
l
ue
_
from_s
e
ct
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
b
a
rvinok/pol
y
lib
.
h:
r
e
move compatib
i
lity with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vec
t
o
r
_Op
p
os
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_scan
:
reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
a
l
l_equalit
i
es
:
keep
r
emoving equalitie
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
r
emove_a
l
l_equa
l
ities
:
handl
e
e
m
pt
y
pol
y
hedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
d
o
o
l
a
ege
remove
_
a
l
l_e
q
ualit
i
es: mi
n
or code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oo
l
a
e
ge
export Polyhedron_Ma
t
r
ix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verd
o
olaeg
e
polar_signed_
c
one_cons
u
mer: cl
e
a
n up
memory
on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en Ver
d
o
olaege
Param_Inner_Product: f
i
x
use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n V
e
rdoola
e
ge
doc:
fi
x
t
y
po in
Mic
h
ele Ver
g
ne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
Add miss
i
ng files from polymake cl
i
e
n
t to
distribut
i
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Us
e
gmp's gcd rather
t
h
an P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
polymake/README: men
t
i
o
n
--with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdool
a
ege
po
l
ymake/
M
ake
f
il
e
.
in: a
d
d
wo
r
k-
a
round for p
o
l
y
m
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
evalue
.
c
: print_evalue
:
always print
newli
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ver
d
oolaege
options
.
c: fix typo in --approximat
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verd
o
olae
g
e
topc
o
m: fi
x
heu
r
i
stic for
selecti
n
g rows
t
o use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaeg
e
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolae
g
e
Merge branch
'
top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
eg
e
Docum
e
nt
T
OPCOM b
a
sed chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
test TOPC
O
M
c
hamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoola
e
ge
Optionall
y
us
e
TOPCOM to
compute
chamber
decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
l
e
xmin:
a
dd (protected) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Makefi
l
e
.
am
:
add target for creat
i
n
g
di
s
t with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
d
oc: updat
e
voting
theor
y
r
e
feren
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
document barvinok_summ
a
te and barvino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc
:
consistent use of Barvinok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
ba
r
v
i
n
o
k_
s
u
mmate: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
D
ocument Euler-Maclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
doc: change example envi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc:
a
dd some
h
id
d
en
s
ections
to table
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolae
g
e
doc: anoth
e
r document refering t
o
the
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
a
dd so
m
e
tests fo
r
Euler-Ma
c
la
u
ri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Mac
l
aurin based summation for
1
D
p
roblems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
E
ule
r
-Maclaurin base
d
summatio
n
f
o
r
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
decomposer
.
c
c: avoid use of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
barvi
n
ok_su
m
mate: verify solution over whole parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoo
l
ae
g
e
introduce ba
r
vinok_summate as a wrap
p
e
r
f
o
r
evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add evalue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
g
e
evalue_{
d
iv
,
mul}: hand
l
e
some trivial case
s
m
ore
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_poi
n
t
:
export fractional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract
c
o
mmon cod
e
for constr
u
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
v
olume
.
c: export
Param
_
Polyhedr
o
n_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add ev
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of eval
u
e_polyn
o
mia
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
support computa
t
ion of
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
se
p
arat
e
co
m
p
u
tation of Bernoul
l
i
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
aege
lattice_point: use
Param_Vertex_Common_Denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
make dec
o
mposer
.
h
s
e
l
f-conta
i
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdo
o
l
a
ege
reduce_domain: avoid us
e
of macro
p
aram
e
te
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ex
p
o
rt evalue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use piplib durin
g
basis reduction
i
f no other LP
s
o
l
ve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
Use bund
l
ed piplib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add
pip
l
ib module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdool
a
ege
U
se bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaeg
e
be
r
nstein: allow li
n
king a
g
a
ins
t
u
n
installed,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en V
e
rdoolaege
add more missin
g
assert
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2007-08-29
S
ven Ver
d
oolae
g
e
add du
m
my implementations of f
u
nctions that de
p
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n Verdoolaege
update "
C
o
u
ntin
g
with rati
o
nal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n Verdoolaege
barvinok
.
cc: s
p
lit off part
co
n
s
t
ructing g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
next