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
doc: update now published papers
2007-10-25
Sven Verdoolae
g
e
gen_fun::add: co
n
text
of sum s
h
ould be union
o
f c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
ba
r
vinok_enu
m
e
rate: use veri
f
y i
n
frast
r
u
ctu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
enfun
.
cc
:
print_power: drop spaces
around
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
count_p
o
ints_e: fall bac
k
to count
_
points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
akefile
.
am: c
h
e
c
k
-evalue: print
n
ame o
f
each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
verify: add check
_
p
oly_
p
rint
helper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
er
d
oolaege
gen_fun: mak
e
s
u
re context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
reducer::r
e
duc
e
:
c
a
n
on
i
calize c
o
eff
i
cient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short_
r
at::print: correc
t
l
y
pri
n
t out ter
m
s
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
b
a
r
vinok_series: recheck
for equalities aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Read fo
r
rea
d
in
g
Ma
t
rix f
r
om a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
param_util
.
c: add Param_V
e
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ut
i
l
.
c: support
i
ng_
c
o
n
straints: retu
r
n bit vec
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
l
ib: upda
t
e for M
a
t
rix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
eg
e
options
.
c: use
P
o
lyh
e
dr
o
n_Sample for c
o
unti
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
t
rack
o
f a
n
d use saturating co
n
straints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve val
u
e_gc
d
and value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bern
o
u
lli_sum_evalue: o
n
ly c
o
mpute exact sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
Berno
u
l
l
i_
s
u
m_ev
a
lue: sum over
variables with inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
v
a
lue
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
doolaege
Polyhedron_ExchangeColumns: normalize
c
onstrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
export Polyhedro
n
_E
x
chang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
evalu
e
_polynomial: optimi
z
e evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
e
value
.
c:
emul: handle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
e
va
l
u
e
.
c: eadd: handle some s
p
ecial
c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
in
t
ro
d
uce a
n
d use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c:
eadd: mic
r
o-optimize additi
o
n
o
f
two ratio
n
als
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
e
ge
set
t
in
g
an appr
o
ximation m
e
thod now implies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaeg
e
ba
r
v
ino
k
_s
u
mma
t
e: optionally
use Bernoul
l
i/Faulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Berno
u
lli_sum_evalue: use evalue_from
_
s
ection
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
b
arvin
o
k/polyl
i
b
.
h: remo
v
e compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move Ve
c
tor
_
Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polyto
p
e_scan: reenable
--d
i
rect optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ve
r
doolaege
rem
o
ve
_
all_eq
u
alities: keep r
e
mov
i
ng equalit
i
es
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remove_all_equalit
i
es: handle empty polyhedr
o
n detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ve
n
Ve
r
doola
e
ge
remove_
a
ll_equalities:
m
ino
r
code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
l
a
e
ge
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoolaege
pol
a
r_signe
d
_cone_
c
onsum
e
r:
clean up
mem
o
ry on i
n
approp
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
Pa
r
a
m
_Inner_P
r
oduct: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc:
f
ix typ
o
in M
i
chele Ve
r
g
n
e
's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erd
o
olaege
A
d
d mi
s
sing f
i
les from polymake clien
t
to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolae
g
e
Use gmp's gcd rat
h
er than P
o
lyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
doolaege
polymake/
R
EADME: mentio
n
-
-
w
i
th-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
ool
a
e
ge
polymake/Makefile
.
in
:
add wo
r
k-around fo
r
polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ver
d
oolaege
evalue
.
c: prin
t
_eval
u
e: always
p
rint newline at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoo
l
aege
option
s
.
c: fix typ
o
in --approximation-
m
e
thod description
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdo
o
l
a
e
ge
topcom: f
i
x heuristic
f
or
s
electing rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
ba
r
vinok
0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
aege
Document T
O
PC
O
M based c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
test TOPCO
M
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Op
t
ionally u
s
e
T
OPCOM to comp
u
te cha
m
ber
decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (protected)
mi
s
sing a
l
gorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefile
.
am: add targ
e
t for c
r
eating dist
w
i
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
d
o
c: update
v
oting theory r
e
ferenc
e
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
V
e
rdoola
e
ge
document barvinok_summate and
b
a
rvinok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
doc: consistent use of Bar
v
i
n
o
k's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
g
e
bar
v
inok_summ
a
te: correct option
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
o
cument
E
u
le
r
-
Maclaurin based summa
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
o
c: change
ex
a
mple
environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: add
s
ome h
i
dden se
c
t
i
ons t
o
t
able of content
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: another
d
o
cument refe
r
i
ng to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
a
dd s
o
me tests for Euler-Maclau
r
i
n b
a
sed
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Eu
l
e
r-Maclaurin b
a
sed summatio
n
for
1
D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler
-
Mac
l
a
u
ri
n
b
a
sed summati
o
n for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
decomposer
.
cc: avoi
d
u
s
e o
f
half
-
open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
barvinok_summate: v
e
rify solution over who
l
e pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
dool
a
ege
introdu
c
e ba
r
vinok_summat
e
as a wrapper fo
r
e
v
a
lue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
evalue_{div,mul}: handle some triv
i
al
cases more effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaeg
e
lattice_point: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
va
l
ue
.
c:
e
x
tract common code for constru
c
tion ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
v
o
lume
.
c:
export Par
a
m_Polyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ad
d
e
value_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
fix type
o
f
e
value_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
u
pp
o
rt computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
s
eparat
e
comput
a
tion
of Ber
n
oulli coeffi
c
ients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaeg
e
lattice_poi
n
t: use Param_Vertex_Co
m
mon_D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
olaege
make deco
m
poser
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
re
d
uce_
d
o
main: avoid use of macr
o
p
a
rameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rd
o
o
laege
ex
p
ort eval
u
e_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use piplib d
u
ring ba
s
is reductio
n
if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
Use
bundled
p
ipli
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
ad
d
pi
p
li
b
module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use bundled
P
olyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
ylib
s
u
bmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
bernstei
n
: al
l
o
w linking against u
n
inst
a
lled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
ad
d
m
ore missing assert
.
h
#inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdoolaege
add dummy impl
e
mentations of
func
t
ions th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
up
d
a
t
e "Count
i
ng with rat
i
onal genera
t
ing fu
n
ctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
barvin
o
k
.
cc: split o
f
f p
a
rt co
n
structi
n
g
g
e
ne
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
ba
r
vinok
.
cc: split off part
deali
n
g with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
*counter: avoid recomputation
o
f denominator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oo
l
a
ege
counter: remove redun
d
ant
m
e
m
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
c
h
ange type of
some "sig
n
"s to
i
nt as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
o
olaege
doc: upda
t
e Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaeg
e
eva
l
ue
.
c: make para
m
e
t
er
names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en
Verdoolaege
sam
p
le
.
c
:
Poly
h
edron_Re
m
oveFixed
C
olumns: cor
r
ect
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
rdoolaege
util
.
c
:
remove_eq
u
alities
:
fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Ve
r
dool
a
ege
Param_Polyh
e
dron
_
Print: print everything to given
file
.
.
.
commit
|
commitdiff
|
tree
next