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
S
v
e
n Verdoolaege
icounter: don't bothe
r
"normalizing" th
e
e
x
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export neg_left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
basis_reduc
t
ion_cdd: check f
o
r possibly
in
c
orrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
Polyhedron_Sample:
h
andle pol
y
h
e
dron bec
o
mi
n
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_
f
un::operator evalu
e
*:
always return
a
va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
gen
_
fun
:
:operator evalue *: remove commented out deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_e
n
umer
a
te_
e
.
cc: ha
n
dle v
e
rification
of proble
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdo
o
l
a
e
ge
b
a
rvinok_enume
r
at
e
_
e
: optio
n
ally p
r
int
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvin
o
k_enumerate_
e
:
supp
o
rt
v
e
r
ificat
i
on of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
barvin
o
k_enumerate_e: suppor
t
con
v
e
rsion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
l
a
t
t
i
ce_points: another mic
r
o-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
l
att
i
ce
_
po
i
nts_fi
x
ed: nan
o
-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oola
e
g
e
ge
n
_fun::add: context
o
f
sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
m
erate: use ver
i
f
y
infrastr
u
cture for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
g
e
nfun
.
cc: pri
n
t_power: drop space
s
a
r
ou
n
d "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
e
ge
count_
p
oint
s
_e: fall
b
ack to coun
t
_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
Mak
e
file
.
a
m
: check-evalue:
p
r
int name of e
a
ch
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
verify: add
check_
p
oly_
p
r
int h
e
l
p
er
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
e
n_fu
n
: make sure context i
s
always
set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
reducer::reduce:
c
anonical
i
ze co
e
fficients
i
n
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
s
ho
r
t_rat::print:
correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_
s
eries: reche
c
k f
o
r equalit
i
es after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
o
laege
e
xport M
a
t
r
ix_Read fo
r
readi
n
g
M
atri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
par
a
m_
u
til
.
c
: a
d
d
P
a
ram_V
e
rtex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
util
.
c: supporting_co
n
stra
i
n
ts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
polyli
b
: up
d
ate f
o
r Matrix_Exte
n
d
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
options
.
c: use
P
o
lyhedron_Sample
f
or counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
keep tra
c
k of and use saturating c
o
nstraints i
n
P
a
r
am_
P
olyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
move value_gc
d
an
d
value
_
l
c
m
t
o polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bernou
l
li_su
m
_eval
u
e: only compute exac
t
sum if ap
p
roximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Bernoulli_sum_evalue: sum ove
r
var
i
a
b
l
e
s
with i
n
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalu
e
.
c:
export e
v
a
lue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdo
o
laege
P
o
lyhedron_Exc
h
angeCo
l
u
m
n
s: normalize cons
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort
Polyhedro
n
_Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value_polynomial: optimize
evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
ev
a
lue
.
c:
e
mul: ha
n
dle another speci
a
l cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: eadd: handle some s
p
e
c
i
al ca
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdool
a
ege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eval
u
e
.
c: ea
d
d: micro-optimize
addit
i
on of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
setting an ap
p
roxima
t
ion met
h
od n
o
w impl
i
es po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
b
a
rvinok_summat
e
: optiona
l
l
y
use
B
ernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
ool
a
ege
Be
r
n
oulli_
s
u
m
_evalu
e
: us
e
evalue
_
from
_
sect
i
on
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
barvinok/p
o
lylib
.
h: remo
v
e com
p
atibility
with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move Vector_
O
p
pose to P
o
ly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
p
olytope_scan: reenable -
-
direct op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoo
l
aege
rem
o
ve_all_equa
l
ities: k
e
ep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: hand
l
e
emp
t
y polyhedron
de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
a
ege
remove_
a
ll_equa
l
ities
:
minor code
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
expor
t
Polyhedron_Mat
r
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oolaege
po
l
ar_signed_c
o
ne_
c
o
nsumer:
clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Param_Inner_Product: fix use of
v
a
l
u
e_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoolaeg
e
d
oc: fix typ
o
in Mich
e
l
e
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add
missing files from polymake c
l
ient to distributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoola
e
ge
Use
gmp's gc
d
rather th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
m
ake/README: mentio
n
--wi
t
h-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
p
oly
m
ake/Makefile
.
in: add
wo
r
k-ar
o
un
d
for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rd
o
olaege
evalue
.
c: prin
t
_evalue: always print
newline
a
t
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
options
.
c
:
fix typo in --a
p
proximation-meth
o
d desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oolaege
topcom: fi
x
heu
r
is
t
ic for se
l
ectin
g
row
s
to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
bar
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoola
e
ge
M
e
rg
e
b
r
a
n
ch
'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
erdo
o
lae
g
e
Document TOPCOM based chamber decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM chamb
e
r decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdool
a
ege
O
ptiona
l
ly use TOPCOM to com
p
ute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin: add (
p
rotected)
m
issing algo
r
ithm i
n
clud
e
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaeg
e
Ma
k
e
fi
l
e
.
am: add tar
g
et for cr
e
ating dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
do
c
: upda
t
e
v
oting
theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolae
g
e
do
c
u
m
ent barvinok_summ
a
te and barvino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
laege
d
oc: con
s
i
s
tent
use of B
a
rvino
k
's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doola
e
ge
barvinok_
s
u
m
mate: corre
c
t options
desc
r
ip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
Document Euler-Maclaurin based summ
a
ti
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erd
o
olaege
do
c
:
c
han
g
e
example enviro
n
ment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: ad
d
s
ome hidden s
e
ctions to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoola
e
ge
doc: anoth
e
r do
c
ument referi
n
g to the lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
some t
e
sts for
E
uler-Maclaurin
based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Macl
a
u
rin
base
d
summatio
n
f
or 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aege
Euler-Macl
a
urin based summat
i
on for 2D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
c
c
:
avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summ
a
t
e
: verify solution over wh
o
l
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
ol
a
ege
introduce barvinok_summate as a wrapp
e
r
f
or evalue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add
evalu
e
_mul_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
e
v
alue_{div
,
mul}: ha
n
dle s
o
me trivial cases mo
r
e efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
latti
c
e_
p
oint: expor
t
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
e
va
l
ue
.
c: ex
t
rac
t
co
m
m
o
n code for c
o
nstructi
o
n ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
volum
e
.
c
: export Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
fix type o
f
eval
u
e_p
o
lyno
m
ial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support co
m
p
u
tation of Bernoull
i
polyn
o
mial
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computation of Bernoulli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
g
e
lattice_p
o
int
:
use Param_V
e
rt
e
x_Common_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
make d
e
composer
.
h
s
el
f
-cont
a
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
reduce_doma
i
n: avoi
d
use of macro
p
a
rameter
with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
exp
o
rt evalu
e
_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib durin
g
b
as
i
s
r
eduction
i
f no other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
Us
e
bundle
d
p
iplib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled PolyLib by def
a
ul
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add
polylib
subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstei
n
: all
o
w
linking against uninstalled,
b
ut bui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more missing
asse
r
t
.
h #incl
u
des
commit
|
commitdiff
|
tree
next