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
icounter: don't bother "normalizing" the exponents in the denominator
2007-10-25
Sven Verdoolaeg
e
icounter: don't bot
h
er "n
o
rmalizing"
the
e
x
po
n
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_lef
t
_
h
er
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_
r
educti
o
n_cdd: c
h
eck for p
o
s
s
ibly inco
r
rec
t
o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
yhedron_Samp
l
e: handle polyhed
r
on becom
i
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
gen_fun:
:
operator evalue *: a
l
w
a
y
s retu
r
n a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::op
e
rator evalue *: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enum
e
rate
_
e
.
cc: handle
v
erification o
f
problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
vinok_enumerate_e: op
t
ionally p
r
int
stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
barvinok_enu
m
e
r
ate_e: support veri
f
i
c
ation of
g
e
ner
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok_
e
numerate_
e
:
s
upport co
n
vers
i
on of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
lattice_
p
oints: an
o
ther mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
lattice_po
i
nts_fix
e
d
: nano-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
ad
d
: context
of sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
ba
r
vi
n
ok
_
e
n
umer
a
te: us
e
verif
y
infrastruct
u
re f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
ge
n
fu
n
.
cc: print_power: dro
p
spaces around
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
co
u
nt_p
o
ints_e:
f
all bac
k
to
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Make
f
ile
.
am: check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
verify:
add check_poly_pr
i
nt helpe
r
f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
gen_fun: make
sure context is
always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
reducer
:
:red
u
ce:
c
anonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
sho
r
t_rat::print
:
c
o
rrectly print out te
r
ms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rv
i
nok_series
:
rech
e
ck for equalities after
comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
oolaege
e
xport Matrix_
R
ead
f
o
r
r
e
a
d
ing Matrix f
r
om
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
param
_
util
.
c: add Param_Vertex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: su
p
port
i
ng_constra
i
n
ts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib
:
up
d
a
t
e for Matr
i
x_
E
xten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
o
pt
i
ons
.
c:
use Pol
y
hedron_Sam
p
l
e
for c
o
untin
g
in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
kee
p
track o
f
and
u
se sa
t
u
ra
t
ing c
o
nstraints in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
move va
l
ue_gcd and v
a
lue_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoulli_sum_evalu
e
:
only compute ex
a
ct
s
um if approx
i
ma
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Bernoulli_sum_eva
l
ue: sum ov
e
r v
a
riabl
e
s
w
i
t
h in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Polyhe
d
ron_ExchangeC
o
lum
n
s
: n
o
rmalize
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
exp
o
rt Poly
h
edron_Exc
h
angeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
evalue_polynomial:
o
ptimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c:
e
m
ul: handle anothe
r
spe
c
ial cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalu
e
.
c: eadd:
h
andle some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
i
n
t
r
odu
c
e and u
s
e evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oola
e
ge
evalue
.
c:
eadd: micro-optimiz
e
add
i
tion of
two ra
t
i
o
nals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
s
e
tting an approxima
t
ion method n
o
w implies pol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
barvinok
_
s
u
mmate:
o
pt
i
onally
use Bernoulli/
F
aulh
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bernoull
i
_sum_evalue: use eva
l
ue_from_s
e
c
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
barvinok/po
l
y
lib
.
h: remove compatibility
with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
move
V
ector_Opp
o
s
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
po
l
ytope_scan:
r
een
a
b
l
e
--direct opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
r
e
mo
v
e_all_equalities
:
keep removin
g
eq
u
alities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoo
l
aege
rem
o
ve_all_equa
l
ities: han
d
le e
m
pty polyhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdool
a
e
ge
remove_all_eq
u
a
l
i
t
i
es: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoo
l
a
e
ge
export Polyhedron_Ma
t
r
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdo
o
l
aege
polar_signed_cone_con
s
um
e
r:
clean up
m
e
mory on
i
na
p
p
ropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
Ver
d
o
olaeg
e
Param_I
n
ner_Produ
c
t: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
oc: fix t
y
po in Miche
l
e Vergne's
n
am
e
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ve
r
doolaege
Add mis
s
ing files from p
o
ly
m
a
ke client to
d
istribution
commit
|
commitdiff
|
tree
2007-09-21
S
ve
n
Verdoo
l
aege
Us
e
gmp's gcd
r
a
t
h
er than PolyL
i
b's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
e
g
e
polymake/README: mention --with-ba
r
vino
k
con
f
igu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
ol
a
eg
e
polymake/Makefile
.
in:
a
dd work-a
r
o
und for p
o
lymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: print_evalue: always prin
t
newl
i
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n
V
erdoolaege
opti
o
ns
.
c
: fix
t
ypo in --approximati
o
n
-
metho
d
description
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rd
o
o
l
a
e
g
e
topcom: fi
x
heur
i
stic for
s
electi
n
g rows to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
barvin
o
k
0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
a
ege
Document TOPCOM b
a
s
e
d
chamber decomp
o
s
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
test TOPCOM
ch
a
mbe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use TOPCOM to compute chamber dec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (pro
t
e
cted) miss
i
ng algori
t
hm
i
nclud
e
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolae
g
e
M
a
ke
f
ile
.
am: add target for creating dist
w
ith git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: u
p
date voting theory
refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok_summate and barvinok
_
maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rd
o
ol
a
ege
do
c
: consist
e
nt use of Ba
r
vinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
barv
i
nok_s
u
mmate: correct o
p
tion
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aeg
e
Document Eule
r
-
M
a
claurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: change example enviro
n
ment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: add some hidden
s
ection
s
t
o tabl
e
of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdoo
l
aeg
e
doc: an
o
ther document refering to
t
he li
b
r
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
add some
t
ests for
Euler-Maclaurin based
s
u
m
matio
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
Euler
-
Maclauri
n
based summation
for
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Euler-Maclaurin based summatio
n
for
2
D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
de
c
omp
o
ser
.
cc: avoid use
of hal
f
-open c
o
n
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate
:
v
erify solution
over whole para
m
ete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
in
t
roduce
b
a
rvinok_summate as a wrappe
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
eval
u
e
_{div,mul
}
:
handle some tr
i
vi
a
l
c
ases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaeg
e
la
t
tice_poi
n
t: export fract
i
o
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
eva
l
ue
.
c: ex
t
ract common cod
e
for constructio
n
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
volume
.
c: export Param_Polyh
e
dron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
ad
d
evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
f
i
x
type of
evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
a
ege
s
upport computation of Ber
n
ou
l
li pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
separate
c
omputat
i
on of Be
r
noulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaeg
e
lattice_point: u
s
e Param_Vertex_Co
m
mon_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ma
k
e decomposer
.
h self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaeg
e
redu
c
e_d
o
main: avoid use o
f
macro parameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use piplib during
b
a
sis
r
e
du
c
t
ion if no othe
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
Use bundle
d
piplib
b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
ge
add
piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
oolaege
Use bundled
PolyLib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
laege
add p
o
lylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: allow linkin
g
ag
a
ins
t
uninstalled,
but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en
V
erdoolae
g
e
add more miss
i
ng
assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
next