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
count_points_e: fall back to count_points if there are no existentials
2007-10-25
Sven
V
e
r
doolaege
count_p
o
i
n
t
s_e
:
f
a
ll b
a
ck to c
o
unt_points i
f
th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Makefile
.
am:
c
heck-eval
u
e
: print na
m
e of
ea
c
h te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
verify: add check
_
poly_print
helper fun
c
tio
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoo
l
aege
gen_
f
un: make sure context is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
r
e
d
u
c
er::reduce
:
canon
i
c
a
l
i
ze coefficien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
short_rat
:
:prin
t
: c
o
rrectly pri
n
t out te
r
ms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_serie
s
:
recheck for
e
qual
i
ties after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
exp
o
r
t
Matrix_Read for
r
eading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
a
ram_util
.
c: add
Pa
r
am_Ve
r
te
x
_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
uti
l
.
c: suppor
t
ing_co
n
s
t
raints:
return bit v
e
ct
o
r
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
poly
l
ib: updat
e
f
or
Mat
r
ix_Exte
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
options
.
c
:
use P
o
l
y
h
edron_S
a
m
p
le for
counting infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
keep track of and use satu
r
ating constraints in Pa
r
am
_
Pol
y
hed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
move
value
_
g
cd
and v
a
l
u
e_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
n
oull
i
_sum_eva
l
ue
:
only comp
u
te ex
a
ct sum if app
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
Bern
o
ulli_su
m
_evalue
:
sum over va
r
iables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
eva
l
ue
.
c: export evalu
e
_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Pol
y
he
d
r
o
n
_ExchangeColu
m
ns:
n
orma
l
ize const
r
ai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
export Po
l
yhedron_
E
xchange
C
o
l
umns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue_polynomial: optimize
evalu
a
ti
o
n i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
eval
u
e
.
c: e
m
ul: handle another s
p
ecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c
:
eadd: handl
e
some sp
e
cial c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
r
doo
l
aege
i
n
troduce and use
eva
l
ue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
evalue
.
c: eadd: micro-optimiz
e
add
i
tion of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
etting an a
p
pr
o
ximation method now
implies
p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_summate: optio
n
ally use Berno
u
lli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalu
e
: use evalue_from_secti
o
n_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok/p
o
lylib
.
h: remove compati
b
ility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolae
g
e
move V
e
c
t
o
r_
O
ppose t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pol
y
tope_sc
a
n: reenable --di
r
ect option
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdoolaege
remov
e
_
all_equalitie
s
:
k
eep removing e
q
ualitie
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdo
o
laeg
e
remo
v
e_all_equa
l
ities: handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
la
e
ge
remove_all_eq
u
a
l
ities: mi
n
or c
o
de clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laeg
e
expor
t
P
olyhedr
o
n_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoo
l
ae
g
e
pol
a
r_s
i
gn
e
d_cone_consumer: cle
a
n u
p
memory o
n
inapp
r
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoola
e
ge
Param_Inner_P
r
odu
c
t: fix use
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc
:
fix typo in Michele
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdo
o
laege
Add
m
issing files from
p
o
lymake client to distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Use gmp's gcd r
a
t
her than Po
l
yLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
polym
a
ke/README: mention
-
-
w
ith-barvinok
c
onfi
g
ure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/Makefile
.
in: add work-ar
o
u
nd for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
er
d
oolaege
evalue
.
c: prin
t
_evalue: always p
r
int
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
op
t
i
o
ns
.
c: fix typo in --app
r
oximat
i
on-method descri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom:
f
i
x heuristic for s
e
lecting
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
ola
e
ge
bar
v
inok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdo
o
laege
M
erge bra
n
c
h 'to
p
co
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
Document TOPCOM
b
ase
d
cham
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Ver
d
oolaege
test TOPCOM chamber
d
ecompos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
rdoolaege
Op
t
ionally use TOP
C
OM to compute cha
m
ber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
l
e
x
min: a
d
d (pr
o
tected) mis
s
ing algorith
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Makefile
.
a
m: add target
f
or
c
reating
dist
w
i
th git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: updat
e
voting theor
y
refe
r
en
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
docum
e
nt barvinok_
s
ummate an
d
barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: consistent use
of Barvi
n
ok's
i
ni
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
barvinok_s
u
mmate:
correct options desc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
dool
a
ege
Docume
n
t
Euler-Ma
c
laurin
base
d
summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: change exam
p
l
e
environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
o
olaege
doc: ad
d
some hidden
s
e
cti
o
ns to table
o
f
conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdool
a
ege
doc: anoth
e
r
d
oc
u
ment refering
t
o the library
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
a
dd
s
ome t
e
s
ts f
o
r Euler-Maclaurin bas
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
E
ule
r
-
M
aclaurin
b
ased
summation
f
or 1D
problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaur
i
n
b
a
s
ed summat
i
on for
2
D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
d
e
composer
.
c
c: avoid use
o
f h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_s
u
mm
a
te:
verif
y
solut
i
on over whole
p
ara
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
int
r
oduce barvinok_
s
ummate as a wrapper for e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
ge
evalue_{div,m
u
l}: handle
s
o
me tri
v
ial cases more e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
lattic
e
_point: export f
r
actio
n
a
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extra
c
t commo
n
code fo
r
constructio
n
base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
lae
g
e
v
o
lume
.
c
: export Pa
r
a
m
_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
r
d
oolaege
a
dd evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
fix type of evalue
_
poly
n
omia
l
ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
support computa
t
ion of Bernoulli
p
olynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sep
a
rate com
p
utation o
f
Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
lattice_point: use Param_
V
ertex
_
Com
m
on_
D
e
nominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
a
ke
d
ecomposer
.
h
self-c
o
nta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaege
reduce_d
o
ma
i
n: a
v
oid use of
m
a
c
ro parameter
wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
Use
p
iplib dur
i
ng b
a
sis
re
d
uction i
f
n
o other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
U
s
e bu
n
dled p
i
p
lib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
add
p
i
pl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
Use
bundled Poly
L
ib
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add polylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
bernstein
:
allow linki
n
g against uni
n
st
a
lled, but bui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
a
d
d
more
m
i
s
si
n
g
a
s
s
e
rt
.
h #include
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
ad
d
dummy
i
m
plementations of function
s
t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
o
ola
e
ge
update "Counting with
r
atio
n
al
g
enerati
n
g fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
c
c
: split
of
f
par
t
constructing g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
barv
i
nok
.
cc:
s
plit off part deal
i
ng wi
t
h existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
*counter: avoid recomput
a
tion
of
denominators
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaeg
e
co
u
nter: remove redu
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
hange type
o
f some "
s
i
gn
"
s to in
t
a
s
they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
l
aege
do
c
:
u
pdate
A
lgo
r
ithmic
a
publi
c
a
t
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verdoolaege
evalue
.
c:
make par
a
meter na
m
es of type
c
onst
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c
:
P
olyhedr
o
n_RemoveF
i
xedColumns: c
o
r
re
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoolaege
util
.
c: remove_e
q
u
al
i
ties: fix
t
yp
o
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolaege
P
a
ram_Po
l
yhedron_Pr
i
nt: prin
t
every
t
hi
n
g
to give
n
f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
e
rdoo
l
aege
b
a
r
vi
n
ok_
e
numera
t
e_with
_
options: don't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
barvinok
.
cc:
d
o
n
't free
P argume
n
t
in e
n
u
merate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en
Verd
o
ola
e
ge
remove_
a
l
l
_equalities: also remov
e
equalities in context
commit
|
commitdiff
|
tree
next