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
Polyhedron_Sample: handle polyhedron becoming empty after reduction
2007-10-25
S
v
en Verdoolaeg
e
Polyhedr
o
n_Sampl
e
:
handl
e
po
l
yhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::opera
t
or evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::operator evalue
*
:
r
emov
e
c
ommented out
d
ebu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_en
u
merate_
e
.
cc: handle veri
f
icati
o
n
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_enumer
a
t
e
_e
:
optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvin
o
k_enumerate_
e
: support verific
a
tion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaeg
e
ba
r
vino
k
_enumerate_e: support c
o
nversion of
g
e
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
attice_p
o
ints: another micro
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_points_fixed: nano-o
p
timiz
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
gen_fun:
:
add
:
context of sum should be union of c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
barvinok_enu
m
e
r
a
t
e
: use v
e
r
ify infrastruc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
genfu
n
.
cc: p
r
int_po
w
er:
drop
spaces ar
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_po
i
nts_e:
f
all back to
c
ount_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
Makefile
.
am
:
check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
veri
f
y: add check
_
poly_print hel
p
e
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_
fun: mak
e
sure co
n
te
x
t is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
reducer::red
u
c
e: cano
n
ica
l
iz
e
coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
short_rat::
p
ri
n
t:
correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
barv
i
n
ok_series:
recheck f
o
r
e
qualities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort Matr
i
x
_Read
f
o
r reading Matrix from a str
e
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
p
a
ram_util
.
c: add P
a
ra
m
_V
e
rte
x
_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
o
laege
util
.
c:
s
up
p
orting_con
s
traints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
p
o
ly
l
ib: update fo
r
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
options
.
c
:
use Po
l
yhedron_Sample for
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
ool
a
ege
keep tr
a
c
k
of and u
s
e sa
t
urating constraints in Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
m
o
v
e value_gcd and
v
alue_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
doolaege
Bernoulli_su
m
_evalue: only compute exact
s
um if approxi
m
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_eva
l
u
e
: sum
o
ver variables
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
e
v
alue
.
c: expor
t
e
v
alue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
P
olyhedron_Exchange
C
ol
u
mns: nor
m
ali
z
e constraints afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
export Pol
y
hed
r
on_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomial: optimize evalua
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: emul: handle a
n
other s
p
eci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: ea
d
d: hand
l
e
s
o
me specia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
introdu
c
e and
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
e
v
a
l
ue
.
c
: ea
d
d:
m
icro-optimize
addition of two rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aeg
e
s
e
t
t
i
ng an app
r
oximation me
t
hod
now
imp
l
i
e
s
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
barvinok_summa
t
e: optio
n
ally use
B
ernoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
dool
a
ege
Bernoulli_s
u
m_evalue: use evalue_from_s
e
ction_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
barvinok/po
l
yli
b
.
h: remove compatibil
i
t
y
wi
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
mo
v
e Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
po
l
y
tope_scan:
r
eenable -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
r
e
mo
v
e_all_equalitie
s
: keep removing equal
i
ties until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove_
a
l
l
_equalities: handle emp
t
y polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verd
o
olaege
r
emo
v
e
_
all_equalities:
min
o
r code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ve
r
d
o
olaege
p
olar_signed_cone_c
o
n
s
um
e
r: clean up memory
o
n inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoola
e
g
e
Param_Inner
_
Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoolaege
doc
:
f
i
x typo in
Michele Vergne'
s
name
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolae
g
e
Add missing
f
i
les from polymake
c
l
i
e
nt
t
o dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaeg
e
U
se gmp's g
c
d rather th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rd
o
olaege
polymake/RE
A
DME: menti
o
n
--with-ba
r
vi
n
o
k config
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaeg
e
polymake/Ma
k
efil
e
.
i
n
: add w
o
rk
-
a
r
ound for pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: print_eval
u
e: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
do
o
laege
option
s
.
c: fix typo i
n
--approximation-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
d
o
olaege
topcom: fix heu
r
istic for s
e
lecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Me
r
ge branch 'topc
o
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Doc
u
ment T
O
PCOM based chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoolaege
test T
O
PCOM chamber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
r
doolaeg
e
Optionally
u
se TOPCOM to co
m
pute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
le
x
min: add (protected) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Makefile
.
am:
a
dd t
a
rget fo
r
cre
a
ti
n
g dis
t
wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdool
a
e
g
e
doc: update v
o
ting
t
h
e
o
r
y
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
d
o
cu
m
ent barvin
o
k_sum
m
at
e
a
n
d barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
doc: co
n
sist
e
n
t
use of B
a
rvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
l
aege
ba
r
vinok_sum
m
at
e
: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
Document
E
uler
-
Ma
c
laurin
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: c
h
ange ex
a
mple environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: a
d
d
some
h
idden sections to table of
contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdool
a
ege
d
o
c: an
o
t
h
e
r
document refering t
o
the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
add
s
o
me t
e
s
ts
f
or Eul
e
r-M
a
claurin
b
as
e
d
summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
rdoolaege
E
u
ler-Maclaurin based summation for 1D
p
roble
m
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
Euler-Maclaurin based summation for 2D pr
o
ble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
d
ecompos
e
r
.
cc: avoid use
o
f half-op
e
n con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
barvinok_s
u
mmate:
v
erify solution ove
r
whole
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
introduce barv
i
nok
_
summat
e
as a wrapper
f
o
r evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add ev
a
l
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erd
o
olae
g
e
evalue_{div,mul}: handle some t
r
iv
i
al
c
a
s
e
s more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export fractional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
alue
.
c: ex
t
ract common code
f
or construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
volume
.
c: ex
p
ort Para
m
_Polyh
e
dron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
a
d
d evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
fix type of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
ae
g
e
support
co
m
putatio
n
of Berno
u
lli
p
o
l
ynomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
s
eparate
c
omp
u
tation of Bernoull
i
coeffic
i
ents and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: us
e
Par
a
m_Verte
x
_Common_Den
o
minato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
oolaege
make decompose
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
r
educe_domain: avoid use of m
a
cro par
a
meter wit
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
export
e
v
alue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use p
i
plib
d
uring basis red
u
ction if no other
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Use bundled pip
l
ib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add p
i
plib modul
e
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aeg
e
Use bundl
e
d P
o
l
y
Lib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
bernstein:
all
o
w li
n
k
i
n
g ag
a
inst
u
n
i
nst
a
lled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Ver
d
o
o
laege
add m
o
re missin
g
ass
e
rt
.
h
#inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verd
o
olaege
a
dd dummy implementati
o
ns of functions th
a
t d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ve
r
d
oolaege
updat
e
"Co
u
nting
with r
a
tional
generating func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoo
l
a
ege
barvinok
.
cc: spli
t
o
f
f part
c
onstructing generating
.
.
.
commit
|
commitdiff
|
tree
next