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
barvinok 0.26
2007-10-25
Sv
e
n Ve
r
doo
l
aege
options
.
c: use Polyhedron_
S
ampl
e
for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
k
eep track of and use saturati
n
g
cons
t
rai
n
ts
i
n Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
m
o
ve value
_
g
c
d and
value_lcm to po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
Ber
n
o
u
l
li_
s
um_evalue:
o
nly com
p
u
t
e
e
x
act sum
if approx
i
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ver
d
oolaeg
e
Bernoulli_sum_evalue: sum
o
ver
variables wi
t
h
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaeg
e
evalue
.
c: e
x
po
r
t evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Poly
h
edron_Exchang
e
Co
l
um
n
s: no
r
m
alize co
n
strain
t
s a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export
Polyhedron_Exch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomia
l
:
o
ptimize e
v
aluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdo
o
la
e
ge
evalue
.
c
:
emul: handle another special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
dool
a
ege
evalue
.
c: eadd: handl
e
some
s
p
e
cial cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
intr
o
duce
a
nd
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
eadd:
m
i
cr
o
-optimize addition of tw
o
r
a
tiona
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
setting a
n
approximat
i
on
m
ethod now implies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_summate: optionally
u
se Bernoulli
/
Faulh
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
d
o
olaeg
e
Bern
o
ulli_sum_evalue: use e
v
alue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok/p
o
lylib
.
h
:
remove compatibili
t
y
w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
move Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
t
ope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remove_al
l
_equaliti
e
s
:
keep removing
e
q
ualities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_
a
ll_equali
t
ies: handle e
m
pty poly
h
edron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
l
aege
remove_all_equ
a
lities: minor
c
ode clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoo
l
aege
export Polyhe
d
ron_Matri
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Ve
r
dool
a
ege
p
o
l
ar_signed_cone_
c
onsumer: clea
n
up memor
y
on ina
p
propr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven V
e
rdoolaege
P
a
ram_Inner_Prod
u
ct: fix
us
e
of
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolaege
do
c
: fix typo i
n
Michele
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaeg
e
A
dd missing files
fr
o
m polymake client to distribu
t
io
n
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
Use
g
mp's gcd rather
t
h
a
n PolyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olae
g
e
polym
a
ke/README: mention --wi
t
h-barvi
n
ok configur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
polymak
e
/Ma
k
ef
i
le
.
in: add work-a
r
ound
f
or polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: print_evalue: alway
s
print newline at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
r
doolaege
options
.
c: fix typo in -
-
approximation-metho
d
description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
laege
topcom
:
f
ix heurist
i
c
f
or s
e
l
ecti
n
g rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoola
e
ge
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Merge b
r
anch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
D
o
cum
e
nt
T
OP
C
OM based
c
hamber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
tes
t
TOPCOM chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verd
o
olaege
Option
a
ll
y
u
se TOPCOM to com
p
ute chamber
d
e
compo
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
lexmin: add (protected)
miss
i
ng algorithm
i
n
c
lud
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Makefile
.
am: add target
f
o
r creat
i
ng dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update vo
t
i
ng
t
heory
r
e
f
erence
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoola
e
ge
document b
a
rvinok_sum
m
at
e
and bar
v
inok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
eg
e
doc:
c
onsistent use
of Barvinok's
i
ni
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
oolaege
ba
r
vinok_s
u
mma
t
e
:
correct
opt
i
o
n
s
des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
Doc
u
ment Euler
-
Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc
:
chan
g
e exampl
e
environme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: add
s
ome hidden
sections t
o
tab
l
e of co
n
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another do
c
ument r
e
fe
r
ing
to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
a
dd some tests for
E
u
ler-Macl
a
urin based s
u
mma
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
olaege
Euler-Maclauri
n
based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
Euler-Ma
c
l
a
urin based summ
a
tio
n
for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
aeg
e
decomposer
.
cc: av
o
i
d
use of
half-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
barv
i
n
o
k_summate:
v
erify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
introduce b
a
r
vinok_s
u
m
mate as a wrapper for eva
l
u
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
a
dd evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
evalue_{d
i
v,mul}:
h
a
n
dle
so
m
e t
r
ivial
c
ases m
o
re efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
lattic
e
_point:
export fractional_p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olae
g
e
e
v
alue
.
c
: extract common code for con
s
t
r
uction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
volu
m
e
.
c: expo
r
t Par
a
m_Po
l
yhedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Ve
r
do
o
laege
add e
v
a
l
u
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
fix t
y
p
e of eval
u
e_polynomial argumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
l
aege
support com
p
utation of Ber
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
separate
c
omputation o
f
Berno
u
lli
c
oeffic
i
ents
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
l
attice_point: use Param_Ver
t
ex_Common_Deno
m
inat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
make decomposer
.
h
s
elf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
reduce_domain: a
v
oid use of
m
acro
p
arameter with nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ex
p
o
r
t
e
value_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during basis redu
c
tion if no othe
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
Use bundled pi
p
lib by
d
efau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d
pip
l
ib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
l
e
d PolyLib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add poly
l
i
b
sub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
bernstein: all
o
w li
n
king against uni
n
stal
l
ed, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdoolaege
add more missing assert
.
h
#
i
nclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
V
e
rd
o
olaege
add
dummy implementations
o
f functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
V
e
rdoolaege
u
p
d
ate
"
Co
u
nting
with
ration
a
l generating
f
un
c
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
b
a
rvinok
.
c
c: split off pa
r
t con
s
tructin
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolae
g
e
barvi
n
ok
.
c
c: split
off part deali
n
g with exi
s
tenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoid r
e
computation of
den
o
m
ina
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
counter: remove r
e
dundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ve
r
doolaege
change type of so
m
e "sig
n
"s to
int
as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
d
oc:
u
p
d
a
t
e
Alg
o
rithmica
p
ublicatio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven
Verdoolaege
evalue
.
c: make paramet
e
r n
a
mes of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
ool
a
ege
sa
m
ple
.
c:
Po
l
yh
e
dron_Re
m
oveFixedColu
m
ns: cor
r
e
ctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Ver
d
o
olaege
util
.
c
:
remov
e
_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Verdoolaege
Pa
r
a
m
_Poly
h
edron_Print: print everything to
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoola
e
g
e
barvinok_enumerate_with_optio
n
s:
d
on
'
t add contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoo
l
aege
barvino
k
.
cc: don't free P a
r
gument
i
n enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
S
ve
n
Verdoolaege
rem
o
ve_all
_
equalities: also r
e
move equa
l
i
t
i
e
s in context
commit
|
commitdiff
|
tree
2007-07-29
S
ven
Verdoolaege
volume
.
c
: avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
S
v
e
n Ver
d
oolaege
ex
p
ort Param_I
n
ne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verd
o
o
l
aege
barvi
n
ok_enumerate
.
cc: add minimal ch
e
ck on inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
more prototype
changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
e
v
a
l
ue: print_evalue:
m
a
k
e pa
r
ameter names const
c
h
ar*s
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
r
doo
l
aege
Always compile poly
t
o
pe_s
c
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolaege
polytope_scan: use arg
p
for
a
r
g
ument p
a
rsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n
V
er
d
oolaeg
e
c
o
nf
i
gur
e
.
in: allow specification
o
f
de
f
ault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdo
o
laege
con
s
olidate calls to P
o
ly
h
edron2Pa
r
am_D
o
main
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erdoola
e
ge
volume
.
c: fix typ
o
in
c
ommen
t
commit
|
commitdiff
|
tree
next