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
Only compile zsolve if gcc 3.4 or later is available
2007-10-25
S
v
en Verdoolaege
introduce a
n
d u
s
e eva
l
ue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
v
alue
.
c: eadd:
mic
r
o-optimize add
i
tion o
f
two ra
t
io
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
setting an approximation method n
o
w imp
l
ies
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvin
o
k
_summate
:
optio
n
ally use Bernoulli/
F
au
l
h
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
Berno
u
lli_sum_eva
l
ue: use ev
a
l
ue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok/p
o
l
ylib
.
h:
r
e
m
ov
e
compatib
i
lity with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mo
v
e Vecto
r
_O
p
pose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
ae
g
e
p
olytope_sca
n
:
r
e
e
n
a
b
le
--d
i
r
ect
o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdo
o
laege
remove_all_equalitie
s
: keep removing
equal
i
t
i
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remove_all_equalitie
s
: ha
n
dle emp
t
y polyhedr
o
n
d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdoo
l
ae
g
e
remove
_
all_equalities: mino
r
c
ode clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ver
d
oolaege
export Polyhedro
n
_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_consumer:
clean up memory on inappropria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
P
aram_Inner_Product:
f
i
x use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verd
o
olae
g
e
doc
:
fix typo in Mic
h
ele V
e
rgne'
s
name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoo
l
aege
Add
m
issi
n
g
files fr
o
m
poly
m
ake client to d
i
stribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
Use
g
mp's gcd r
a
ther than PolyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaeg
e
polymake/README
:
m
e
ntion --with-barvinok conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/
M
akefile
.
in: a
d
d work-aro
u
nd for
p
ol
y
m
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdo
o
laege
eval
u
e
.
c: print_evalue: alwa
y
s
p
rint newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opti
o
ns
.
c:
fix ty
p
o in --appr
o
ximatio
n
-me
t
h
od description
commit
|
commitdiff
|
tree
2007-09-15
S
v
en Verdoolaege
t
o
pcom: fix heuristic for selecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
b
arvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Merge branch 'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM
based chamber decomp
o
siti
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOP
C
OM
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Opti
o
nally use TOP
C
OM to comp
u
te chamber decom
p
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
l
exmin: add
(
protected) miss
i
n
g
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Makefile
.
am
:
add target
f
o
r
crea
t
in
g
dist
w
ith
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
doc
:
upd
a
te voting th
e
ory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
document b
a
rvin
o
k_summ
a
te
and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
d
oc
:
consistent u
s
e
o
f
B
a
r
vinok'
s
i
niti
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
barvinok_summate
:
cor
r
e
ct opt
i
on
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Document Eu
l
er-Maclaurin based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdo
o
laege
doc:
c
h
ange example en
v
ironme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: a
d
d some hidden sec
t
i
o
ns to
table o
f
con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: another docume
n
t r
e
f
ering to t
h
e library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
add so
m
e te
s
ts for E
u
ler-
M
acla
u
rin base
d
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
l
aege
Euler-
M
acl
a
u
r
in ba
s
ed summation for 1D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
l
aege
Euler-Maclau
r
in b
a
s
ed summ
a
tion for 2D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decom
p
oser
.
cc: avoid
u
se of half-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
barvinok_summate: veri
f
y
s
o
lution over w
h
ole p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce b
a
rvinok_
s
ummate as a wrapper f
o
r eva
l
ue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
e
value_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
la
e
ge
evalue_{div,mul}: handle some triv
i
al cases more effi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattice_point: export f
r
acti
o
nal_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdoolaege
eva
l
ue
.
c: extract common cod
e
for c
o
nstr
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
vo
l
ume
.
c: export
P
aram_Polyhedr
o
n
_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoo
l
a
ege
a
d
d evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
fix typ
e
of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
sup
p
ort c
o
mputation of
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate computat
i
on
o
f Be
r
noulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verd
o
olaege
lat
t
ice_p
o
int: use Param_
V
e
r
tex
_
C
o
mmon_
D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
make decom
p
o
s
er
.
h self-
c
on
t
ained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolae
g
e
r
educe_do
m
a
in: avoid use of macro parame
t
er wi
t
h n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
Use piplib du
r
i
n
g basis redu
c
tion i
f
n
o
oth
e
r
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
Us
e
bu
n
dled piplib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add piplib
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
U
s
e bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
a
d
d polylib su
b
m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
berns
t
ein: allow
l
i
n
k
i
ng against uninstal
l
e
d
,
but bui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdoolaege
add more missing assert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolae
g
e
add d
u
mmy implemen
t
at
i
ons of fun
c
tions th
a
t de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
V
erdoo
l
aege
upda
t
e
"
Counting with rational gen
e
rating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc
:
s
plit off part constructing
g
ene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
d
oolaege
ba
r
vinok
.
cc: spl
i
t off part de
a
ling with e
x
ist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verd
o
o
l
aege
*counter: avoi
d
reco
m
putation of
denom
i
nators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
counter: remove
red
u
n
d
ant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
c
h
ange type of some "s
i
gn"s to int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Ve
r
doolaege
d
o
c: updat
e
Algorithmica publ
i
cati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven
Verdoolaege
evalue
.
c: make parameter names o
f
type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n Ve
r
doolaege
sample
.
c
:
Poly
h
edron_Remo
v
eFixedColumns:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
t
il
.
c:
r
emove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
r
d
o
olaege
Param_Polyhedron_P
r
i
n
t: print eve
r
ything to g
i
v
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdool
a
ege
barvinok
_
e
n
umerate_wit
h
_opti
o
ns: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
r
vinok
.
c
c: don't free P argum
e
nt in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
r
e
m
o
ve_all_equali
t
ies: al
s
o remov
e
equal
i
ties
in context
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
volu
m
e
.
c:
a
void warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
x
port Param_
I
nne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
b
arvinok_en
u
me
r
ate
.
cc: add minimal ch
e
ck
o
n
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
more prototype
c
hanges to
c
onst char *
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoolaege
e
v
alue: print_eva
l
ue: make parameter names const
cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always compile pol
y
tope_s
c
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_s
c
an: use argp f
o
r
argume
n
t
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verd
o
olaeg
e
c
on
f
igure
.
in: allow
s
p
e
ci
f
i
catio
n
of
d
ef
a
ult pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoola
e
g
e
c
o
n
s
olidat
e
calls to P
o
lyhedron2Param_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
S
ven
Verdoola
e
ge
v
olum
e
.
c:
f
ix typo
i
n comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Ve
r
doolaege
M
a
kefile
.
am:
ad
d
$(EXEEXT) for cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
lae
g
e
Makefile
.
am
:
force rebu
i
ld libraries in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
onl
y
test barv
i
nok_maximize if it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaeg
e
ba
r
vinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdoolaege
testlib
.
cc:
w
ork around incomplete
n
ame
s
pa
c
e
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enumerate
_
narro
w
_
f
lated: do
n
't
simpl
i
fy co
n
strai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rd
o
o
l
ae
g
e
decl
a
re v
a
riables at st
a
rt of code
block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc
:
update document
a
tion of option
s
and so
m
e f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolae
g
e
Polyhedron_Sampl
e
: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoolaege
P
o
lyhedron_Sample: compute ve
r
tices
o
f
1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdool
a
ege
Polyhedron_S
a
mple:
r
emove all equal
i
ti
e
s fr
o
m p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
next