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
export neg_left_hermite
2007-10-25
Sven Ver
d
oolaege
export neg_l
e
ft_her
m
i
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
basis_reduction_cdd: check
for p
o
ssibly
i
ncor
r
ect o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Polyhedron_Sample: handle p
o
lyhedron
b
ecomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
gen_
f
un::operat
o
r eval
u
e *: always
r
eturn a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
g
e
n_fun::
o
perator
e
v
a
l
ue *:
r
emove commented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
aege
ba
r
vinok_enumera
t
e_e
.
cc
:
handle ve
r
i
f
ication of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enumerate_
e
:
o
ptionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_enu
m
erate_e: support v
e
ri
f
i
ca
t
ion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
barvi
n
ok_enumerate_e: s
u
pport conversion of ge
n
era
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
lattice_point
s
:
another micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
la
t
t
ice
_
p
o
ints
_
fixed:
n
a
n
o-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
aege
gen_fun::add:
context of s
u
m sho
u
ld be
u
nion o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
barvinok_enumerate:
u
se verify infr
a
s
tru
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen
f
un
.
cc
:
print
_
p
ower: drop spaces around
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
count_points_e
:
fall back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-ev
a
lue: pri
n
t name
of
ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
v
e
rify
:
a
d
d ch
e
ck_poly_print helper fu
n
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
gen_
f
un: ma
k
e sure contex
t
is al
w
ays
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: canonicalize coefficients in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
short_rat::print: correctly pr
i
nt out terms
wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_series:
rec
h
eck
for equalit
i
e
s
after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
export
M
atrix_Read for reading Matrix from a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
param_util
.
c: add Param_Vertex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
u
t
il
.
c
: supporting_constraints: return bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doola
e
ge
polylib: update for M
a
trix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
options
.
c: use Poly
h
e
dron_Sample for counting infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
k
eep
track of and
use
saturati
n
g constrain
t
s
in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move value_g
c
d and va
l
ue_lcm to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
B
ernoulli_sum_eval
u
e
: o
n
ly compute e
x
a
c
t
sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolae
g
e
Bern
o
ulli_s
u
m_evalue: sum o
v
er
variable
s
with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedro
n
_ExchangeColu
m
ns: nor
m
aliz
e
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
e
x
p
ort Polyhe
d
r
o
n
_E
x
changeCo
l
umn
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue_polynomial: optimize evaluat
i
on in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
ev
a
lue
.
c:
emul: handle
a
nother
special
case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
evalue
.
c: e
a
dd:
h
a
nd
l
e
some
s
pecial cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdo
o
laege
intro
d
u
c
e and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
ev
a
lu
e
.
c: ead
d
: mi
c
r
o
-optim
i
ze addition of two r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
se
t
ting
a
n ap
p
ro
x
imat
i
on meth
o
d now implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
b
a
rvi
n
o
k_su
m
m
a
te: opt
i
o
nall
y
use Bernoulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
Bernoul
l
i_sum_eva
l
ue: use evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok/
p
olylib
.
h: r
e
mo
v
e c
o
m
p
atibility with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
move Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
polyto
p
e_scan: reenable --d
i
rect opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
S
v
en V
e
rdoo
l
aege
remove_all_equa
l
it
i
es: ke
e
p removing
e
qualities
u
n
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
e
rdoolaege
r
e
m
ove_a
l
l_equalities: handle empty
po
l
yh
e
dron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: minor
code
c
lea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven
Ve
r
doolaege
export
Polyh
e
dron_M
a
t
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
r
doolaege
polar
_
si
g
ned_cone
_
c
o
nsu
m
er: clean
up
memo
r
y on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Pa
r
am_Inner_P
r
o
duct: fix
use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoo
l
aege
doc:
fix
t
ypo in
M
ichele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
A
d
d mi
s
sing files from polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ve
r
d
ool
a
ege
U
s
e gmp
'
s gcd ra
t
her than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymake
/
README: m
e
ntio
n
--
w
ith-
b
arvin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
Verd
o
olaege
polym
a
ke/M
a
kefile
.
in: add work-aro
u
nd for polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
d
oolaege
evalue
.
c:
prin
t
_
e
value: al
w
ays print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ve
n
Verd
o
olaege
o
p
tions
.
c: fix typ
o
in
--approxi
m
ati
o
n
-met
h
od descripti
o
n
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oolaege
to
p
c
o
m: fix heuristic
f
or s
e
lecting r
o
ws t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verd
o
olaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Docume
n
t
TOPCOM base
d
chamber
deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rd
o
ol
a
eg
e
test TOPCOM chamber decompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdoolae
g
e
Op
t
ionally u
s
e
T
OP
C
OM to co
m
p
ute chamber decom
p
osi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
oolaeg
e
lexmin: add (protected) missing algori
t
hm in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
Makefile
.
am:
a
d
d
target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: updat
e
vo
t
ing theory ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c
u
ment barvinok_summate
and bar
v
inok
_
m
a
xi
m
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
d
o
c: c
o
nsis
t
e
nt
u
s
e
of B
a
r
v
i
no
k
'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doo
l
aege
barvinok_summate: correct options d
e
sc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
Doc
u
ment Euler-Maclaurin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
eg
e
doc:
c
hange example environme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
d
o
c: add some hidde
n
sections to t
a
ble of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: a
n
other doc
u
ment
r
eferi
n
g to the
libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
dool
a
ege
add some
te
s
ts
fo
r
Euler-Maclaurin based summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
rdool
a
ege
Euler-Ma
c
l
aurin
b
ased sum
m
ation fo
r
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Eul
e
r-Maclaur
i
n
b
ased
summ
a
tion for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
d
e
composer
.
cc: avoid
u
se of hal
f
-open
con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
barvin
o
k
_summate:
v
erify solution over whol
e
paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
i
n
troduce ba
r
vinok_summate
a
s a wra
p
per fo
r
evalu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ev
a
lue_{div,mul}:
h
andle some tr
i
via
l
cases mor
e
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
o
o
laege
lattice_po
i
nt: export
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdo
o
l
a
e
ge
evalue
.
c: extr
a
ct common
code
for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
v
olume
.
c: export
P
a
ra
m
_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erd
o
olaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
fix type of evalue_poly
n
omial ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
support co
m
pu
t
ation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
separate computati
o
n of B
e
rn
o
ulli coe
f
f
i
cients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
l
attice_point: use
Param_Ve
r
tex_Co
m
m
o
n_Denomi
n
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
mak
e
de
c
omp
o
ser
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
reduce_doma
i
n
: avo
i
d use of mac
r
o parameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
e
x
p
o
rt
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
Use piplib duri
n
g
b
as
i
s reduction if no other LP so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
o
o
l
aege
Use bundled piplib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
dd piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Us
e
bundled PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
p
olylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
bernstein
:
allow link
i
ng against uninstalled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaeg
e
add mo
r
e
m
issing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
laege
add dumm
y
implement
a
tions o
f
f
unctions that depend
.
.
.
commit
|
commitdiff
|
tree
next