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
Bernoulli_sum_evalue: only compute exact sum if approximation_method is not set
2007-10-25
S
v
en Verdoolaege
B
e
r
n
oulli_sum_ev
a
lue: o
n
ly compute exact sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
noulli_sum_evalue
:
sum
o
ver
v
a
riables
w
ith in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c:
ex
p
ort evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
Polyhedron_Exc
h
angeColumns: normalize constr
a
ints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
exp
o
rt Polyhed
r
on_Excha
n
geColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
evalue_polyno
m
ial:
op
t
imize e
v
alua
t
i
on
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
eva
l
ue
.
c:
emu
l
:
hand
l
e another
spe
c
ial c
a
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doola
e
ge
evalue
.
c:
e
add:
h
andle some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
introduce an
d
use evalu
e
_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
e
value
.
c: eadd: micro-o
p
timize addition of two
rat
i
o
nals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
settin
g
an app
r
oximatio
n
meth
o
d
now
i
mplies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvin
o
k_su
m
m
a
t
e: opt
i
ona
l
ly use
B
ernou
l
li/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
Bernoulli_su
m
_evalue: use e
v
al
u
e_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
la
e
ge
ba
r
vin
o
k
/polylib
.
h
: remove compatibil
i
ty with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
move Vector_Oppose to Pol
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
polyt
o
pe_scan: reenable --di
r
e
c
t opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoo
l
aege
r
emo
v
e_all_equal
i
t
i
es: keep
r
e
m
oving equali
t
ies until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erd
o
olaege
remove_all_
e
quali
t
ies:
h
andle empty polyhedron de
t
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
V
e
rdoolaeg
e
remove_all_equal
i
ties: minor code
c
l
ean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
expor
t
Pol
y
hedron_Ma
t
rix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oolaege
polar_signed_cone_consumer:
c
lean up memo
r
y on ina
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en
Verdool
a
ege
Param
_
Inner_Product: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdo
o
la
e
g
e
doc: fix
typo in Michele V
e
rgne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
doolaege
A
d
d mis
s
i
ng files from polymake cli
e
nt
to
d
istribut
i
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
U
s
e
gmp's gcd rather than Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolae
g
e
polymake
/
READ
M
E: mention
-
-with
-
barvinok c
o
nfigur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolae
g
e
polymake/Makefile
.
in:
add wo
r
k-aro
u
nd for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ve
r
doo
l
aege
evalue
.
c: print_evalue: alw
a
ys p
r
int newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fi
x
typo
in --approxim
a
t
ion
-
method
d
escription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heuristic for selecting
rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoola
e
ge
Merge branch 'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent TOPCOM
base
d
chamber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
tes
t
T
O
PCOM ch
a
mber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use TO
P
COM to c
o
mpute chamber dec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
e
ge
lexmin: add (pr
o
t
e
cted
)
missing a
l
gorithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
r
do
o
laege
Makefi
l
e
.
a
m
: add target for creating d
i
s
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
ge
doc: update vot
i
ng th
e
ory refe
r
en
c
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
document barvinok_sum
m
ate and barvi
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: co
n
si
s
tent
u
se o
f
Ba
r
vinok's initi
a
l
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
barvinok_summate:
c
orrect
options
descripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
o
laege
Document Eule
r
-Maclaurin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
change exampl
e
envi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: add some hidden sectio
n
s
t
o
table
o
f
content
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: another
document refering to the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ad
d
some
t
est
s
fo
r
E
u
ler-Maclaurin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin bas
e
d summat
i
on for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdo
o
laeg
e
Euler
-
Maclaurin based summation
f
or 2D pro
b
le
m
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
decomposer
.
cc: avoi
d
use of
hal
f
-open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
barvi
n
ok_su
m
mate: veri
f
y soluti
o
n
o
v
er whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
introduc
e
barvinok_s
u
mma
t
e as a
wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add ev
a
lue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rd
o
ol
a
e
ge
evalue
_
{div,mul}:
h
andle some trivial c
a
ses more efficien
t
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
olaege
lattice_
p
o
int:
export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
e
v
a
l
ue
.
c
: extra
c
t com
m
on cod
e
for
c
onst
r
uction
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
volume
.
c: exp
o
r
t Param_Po
l
yhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
fix
type of ev
a
lue_polyno
m
i
a
l
argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
support computat
i
o
n
of Bernoulli polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
separate
c
omputatio
n
o
f
Bernoulli coefficie
n
ts
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattic
e
_point: use Param_V
e
rtex_Common_
D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ma
k
e
decompose
r
.
h self-
c
onta
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
olaege
reduce_d
o
main: avoid
use of macro par
a
m
e
ter with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
export eval
u
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
l
a
eg
e
Use p
i
plib durin
g
basis redu
c
tio
n
if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
U
s
e
b
u
n
dled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add p
i
plib m
o
dul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
Use
bun
d
led PolyLi
b
by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add poly
l
ib subm
o
du
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
bernstein:
a
llow linking
a
gainst u
n
install
e
d, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoolae
g
e
add more
m
iss
i
ng
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
V
e
rdool
a
ege
add
dummy implementations o
f
functions that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ver
d
oolaege
update "Counting with rational
g
enerat
i
ng function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdool
a
eg
e
barvinok
.
cc:
s
p
li
t
off
p
a
r
t c
o
nstructing genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Verdool
a
ege
barvinok
.
cc: spli
t
off part d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
d
ool
a
ege
*
c
ount
e
r: av
o
id recom
p
u
t
ation o
f
denominators
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
ch
a
nge ty
p
e of some "sign"s to int
as they
can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdool
a
ege
d
oc: update Algorithmi
c
a publication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Ver
d
oolaege
evalue
.
c: make
p
arameter names of
t
ype
c
onst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
V
e
rdo
o
laege
sample
.
c:
Polyhedron_Rem
o
veFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: r
e
move_eq
u
alitie
s
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en
V
e
rdoolaege
Param_
P
o
l
yhe
d
ron_Print: print everything to giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaeg
e
barvinok
_
enumerate_with_opti
o
ns: do
n
'
t add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
erdoolaege
ba
r
vinok
.
cc:
don't f
r
ee P argument in enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
r
e
move_all_equalities: also remove e
q
ual
i
ties in c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
volume
.
c: avo
i
d
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
Sven
Verdoolaege
export Param_
I
nner
_
Prod
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaeg
e
barvinok_enumerat
e
.
cc: add minima
l
che
c
k
on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n V
e
rd
o
olaege
more proto
t
ype changes to
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
eval
u
e: print_ev
a
l
ue: make parameter
nam
e
s
c
o
n
st
c
har
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoolaege
Always compile
p
olytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olaege
p
olyt
o
pe
_
s
c
an: use argp for ar
g
ument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoo
l
aege
d
oc: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n
Verdo
o
laege
c
onf
i
gure
.
in:
a
llow
s
pecification
o
f def
a
ult pr
e
fix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
e
r
do
o
lae
g
e
consol
i
d
at
e
calls t
o
P
olyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Ver
d
oolaege
volu
m
e
.
c: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoola
e
ge
Mak
e
fi
l
e
.
am
:
a
d
d $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: force
rebui
l
d
li
b
r
aries in s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoola
e
ge
o
nly test barvin
o
k_m
a
ximize if i
t
ha
s
been/can be cre
a
t
e
d
commit
|
commitdiff
|
tree
next