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
verify: add check_poly_print helper function
2007-10-25
Sven
V
e
r
doolaege
verify:
a
d
d check_
p
oly_print
h
el
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_f
u
n: make sure conte
x
t is
a
lways set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
r
e
d
u
cer::reduce: canonicaliz
e
coeff
i
cients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
short_r
a
t::print:
correctly print out te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_series: recheck for e
q
ua
l
iti
e
s
after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ex
p
ort Matrix_Read for reading
Ma
t
r
ix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
par
a
m_util
.
c: add
P
ar
a
m_Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
u
t
il
.
c
:
s
u
pporting_con
s
traint
s
:
re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
oly
l
ib: update
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedro
n
_Sample
for
c
oun
t
ing infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
keep tr
a
ck of and use satur
a
ting con
s
traint
s
in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
move val
u
e_gcd and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
Bernoulli_sum_evalue: only compute exact sum if appr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoul
l
i_
s
u
m_evalue: sum ov
e
r
va
r
iables wit
h
intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
value
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
olyh
e
dron_
E
xch
a
nge
C
olumn
s
:
n
o
r
mali
z
e constraints
a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
p
o
r
t Polyhed
r
o
n
_
Exc
h
ange
C
ol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
eva
l
ue_polynomial:
o
p
t
imize
e
valuation in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ev
a
lue
.
c: emul: handle
another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: e
a
dd: ha
n
dle some specia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
in
t
roduce
a
nd u
s
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: eadd: micro-
o
p
timi
z
e additi
o
n of two
rati
o
nals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
setting
an appr
o
x
i
mation
m
ethod now implies polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
barvinok_summate: optionally use
Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
noulli_
s
um_evalue: u
s
e eval
u
e_from_secti
o
n_a
r
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
b
a
rvino
k
/polyli
b
.
h:
r
e
m
ove com
p
ati
b
ility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
mov
e
Vect
o
r_Op
p
ose to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_s
c
an
:
reenabl
e
-
-
direct op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remov
e
_all_equal
i
ties: kee
p
re
m
oving equaliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_
e
qualiti
e
s: hand
l
e emp
t
y
polyhe
d
ron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
er
d
oola
e
ge
remove_all_equa
l
iti
e
s: minor co
d
e clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
export Polyhed
r
on_Mat
r
ix_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_sig
n
ed_cone_consumer:
cl
e
an up memory
o
n inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
erdoolaege
Para
m
_Inner_Product:
fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n
V
erdool
a
ege
doc: fix typo in
M
ichele V
e
r
g
ne's
na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
Add
m
issing files from poly
m
ake cl
i
ent to
dis
t
r
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
Use gm
p
'
s
g
cd r
a
ther
than
P
ol
y
L
i
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/README: mention
-
-w
i
th-barvinok co
n
f
igu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdool
a
ege
polymake/Makefile
.
in: add
w
ork-ar
o
und for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
V
e
rdoolaege
ev
a
lue
.
c
:
p
rint_eval
u
e: always print ne
w
line at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
o
p
t
ions
.
c: fi
x
typo in --ap
p
roximation-method descrip
t
io
n
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom:
f
i
x
heuristic for selecting rows to
use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Merg
e
bra
n
ch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Document TOPCOM
b
ase
d
chamber decomp
o
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test
T
OPCOM chamber
d
ecomposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
ol
a
eg
e
O
p
tiona
l
ly
use TOPCOM to c
o
mpute chamber decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
lexm
i
n: add (prote
c
t
ed) missing a
l
gorithm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolae
g
e
Makefil
e
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update v
o
ti
n
g theory referen
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
l
a
ege
document barvinok_su
m
m
a
t
e
and barv
i
n
ok_max
i
miz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc:
c
onsistent use of Barvinok
'
s
i
n
itial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doo
l
aege
barvinok_summa
t
e: cor
r
ect options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
Docum
e
nt Eul
e
r-Maclaurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdool
a
ege
d
o
c
: change exam
p
l
e env
i
ronm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
doc
:
add
s
o
me
hidden sections
to
table of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: another
docu
m
ent
refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some t
e
sts
f
or Eu
l
er-Ma
c
laurin bas
e
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Macl
a
u
r
in
b
ased summation for 1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
olaege
Euler-Maclaurin based
s
u
mmation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
decomposer
.
c
c
:
avoid use of
h
alf-open
c
one
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_
s
ummate: verify solu
t
i
o
n over
who
l
e pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
introdu
c
e barvin
o
k_summate
a
s
a wra
p
per
f
or evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
a
dd eval
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
eva
l
ue_{di
v
,mul}: handle some trivial cases more efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
l
attice_point: expor
t
frac
t
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
e
valu
e
.
c: extract common c
o
de for const
r
uction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
vol
u
me
.
c: exp
o
rt Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoola
e
ge
add
e
v
alue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
fix type
o
f
e
value_
p
o
l
ynomia
l
argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
oolaege
support
c
o
m
putat
i
o
n
of Bernoulli polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
separate computatio
n
of Bernoulli coef
f
icient
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
l
a
ttice_point: us
e
Param_Ve
r
tex_Com
m
on_D
e
n
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
make decom
p
oser
.
h self
-
co
n
tained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain: avoid use
o
f ma
c
ro par
a
meter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaege
export e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
doolae
g
e
Us
e
piplib during b
a
sis reduction if no ot
h
er LP solv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
e
rdool
a
ege
Use bundled
piplib
by de
f
aul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
olaege
U
s
e b
u
n
d
l
ed PolyL
i
b
b
y
defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
bernstein: allow linking against unin
s
talled,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdo
o
laeg
e
add mo
r
e missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
a
d
d dummy imple
m
e
n
t
a
tions of funct
i
ons t
h
a
t
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
rdoolaeg
e
update "Cou
n
ting with ratio
n
al g
e
n
er
a
ting
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verdool
a
ege
barvino
k
.
cc: split off
pa
r
t
constru
c
t
ing gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdool
a
ege
b
arvinok
.
cc: split
o
ff
p
art dealing with exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
la
e
ge
*co
u
nter: avoid
r
ecomput
a
t
i
on of denominato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
Verdoolaege
counter
:
remove redundant me
m
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
d
o
olae
g
e
cha
n
ge type of some
"
si
g
n
"s to int
a
s they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
r
doolaege
doc: updat
e
Algo
r
ithmica publ
i
cati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Ve
r
doolaege
e
v
a
l
ue
.
c: m
a
ke parameter
names
o
f type const c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
ae
g
e
s
ample
.
c
:
Polyhedro
n
_RemoveFi
x
edColumn
s
: correc
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoolaege
util
.
c:
rem
o
ve_equal
i
t
i
e
s
: fix typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n V
e
r
d
o
olaege
Par
a
m_P
o
ly
h
edro
n
_Print: print everything to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enu
m
e
r
at
e
_with
_
options:
don't add c
o
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven V
e
rdoolaege
b
arvinok
.
cc: d
o
n't f
r
ee P argum
e
nt in en
u
mer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all
_
e
qualities: also r
e
move equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaege
e
x
p
o
r
t
P
aram_Inner_Produc
t
commit
|
commitdiff
|
tree
next