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
document barvinok_summate and barvinok_maximize
2007-09-10
S
v
en Verd
o
olaege
d
ocu
m
en
t
barvinok_s
u
mmat
e
and
b
a
r
vinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc
:
c
onsistent
u
s
e of Barvino
k
's initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
barvi
n
ok_summate:
c
orrect
opti
o
n
s description
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaeg
e
Document Euler-
M
aclaurin bas
e
d summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
doc: chang
e
example environ
m
en
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: add
som
e
hidden
section
s
to
table
o
f
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
oc: an
o
ther
do
c
ument refering to
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add some tests for Euler-Macla
u
rin b
a
sed sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolae
g
e
E
u
l
er-Maclauri
n
based su
m
m
a
ti
o
n for 1D proble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
Euler-Mac
l
auri
n
based summ
a
tion
for 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
dec
o
mposer
.
cc:
avoid use of
half
-
open
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
b
arvinok_summate
:
verify solution over who
l
e parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rd
o
o
laege
introduce bar
v
i
n
ok_summa
t
e
a
s
a w
r
ap
p
er for
e
v
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
add evalue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oola
e
ge
eva
l
u
e
_
{
div,mul}:
h
andle some tri
v
ial
c
ases mo
r
e eff
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
olaege
lattice_poi
n
t: e
x
port fracti
o
nal
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
evalue
.
c:
extrac
t
common code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
volume
.
c: e
x
p
ort Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
a
dd evalue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oolaege
fix type of
e
val
u
e_polynomi
a
l
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaeg
e
suppo
r
t com
p
utation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdo
o
laege
s
eparate computat
i
on of Bernoulli co
e
ff
i
c
i
ents
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
l
attice_p
o
int:
use Param_Vertex_Comm
o
n_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
make
d
ecompo
s
er
.
h
s
el
f
-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdool
a
ege
r
e
duce_domain: avoid use of macro parameter with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
exp
o
rt
evalu
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e
p
i
plib during b
a
sis red
u
ction if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled
pipl
i
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
a
ege
Use bundled PolyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
be
r
nstein: allow li
n
king against un
i
nstalled, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
add
more mis
s
i
ng
assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoo
l
aege
add dumm
y
implement
a
tions of fu
n
ctions
t
hat de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
update "C
o
untin
g
with ratio
n
al ge
n
er
a
ting f
u
n
c
tions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ver
d
oo
l
a
e
g
e
barvinok
.
cc:
s
plit off part
c
ons
t
ructing
g
eneratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
barvinok
.
c
c: split
off part dealin
g
with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ve
r
doola
e
ge
*
count
e
r
:
avoid recomput
a
tion
o
f denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Ve
r
doolaege
counter: remove redund
a
n
t
m
e
mber
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
change type of some "sign"
s
to int a
s
the
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
ool
a
e
g
e
doc: update Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolaege
evalue
.
c: make parameter names
o
f type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ve
r
d
o
olaege
s
a
mple
.
c: Polyhed
r
on_RemoveFi
x
edColumn
s
: cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoolaege
util
.
c
:
remo
v
e
_
e
q
ualities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdool
a
eg
e
Param_Polyhedron_Pri
n
t: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
barv
i
no
k
_en
u
merate_wit
h
_options: do
n
't
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
barvi
n
ok
.
c
c:
don't free P ar
g
umen
t
in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
r
e
move
_
all_equalities: als
o
re
m
ove e
q
u
ali
t
ies in context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Ver
d
oolaeg
e
volume
.
c: avoid wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verd
o
olaege
e
x
p
ort Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
dool
a
ege
ba
r
vinok_en
u
merate
.
cc: add minimal ch
e
ck on inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prot
o
type cha
n
g
e
s to
c
o
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaeg
e
evalue: print_
e
val
u
e: make paramet
e
r names const
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
d
o
o
l
ae
g
e
Always compil
e
p
olytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdool
a
ege
polytop
e
_scan
:
use argp f
o
r argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configur
e
.
in: allow specification of
def
a
ult prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
consoli
d
a
te call
s
t
o
Po
l
yhedron2Param_D
o
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
V
erdoolaege
volume
.
c: fi
x
t
ypo
i
n comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
rdoolaege
Makefile
.
am: add $(EXEEXT) for c
y
gwin
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
V
erdoolae
g
e
Makefil
e
.
am: force rebuild libraries
i
n
s
u
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n V
e
rdoola
e
ge
on
l
y test barvinok_maximize if it h
a
s been/can
b
e created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doo
l
aege
test
l
i
b
.
cc:
w
ork around
i
ncomp
l
ete
n
amespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
scale
.
c: enum
e
ra
t
e
_
nar
r
ow_flated
:
don't simpli
f
y constr
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
declare vari
a
bles at
s
ta
r
t of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
aeg
e
d
oc:
u
pd
a
te
docume
n
tatio
n
of
o
ptions and some
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_
S
ample: facto
r
polyh
e
dr
o
n if possi
b
le
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoola
e
ge
P
olyhedron_Sam
p
le: compute
v
ertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
Pol
y
hedro
n
_Sample: remov
e
all equ
a
liti
e
s from
poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
add possibility to use GLPK
as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doola
e
ge
Polyhedro
n
_Sam
p
l
e
: postpone removal of rays
u
ntil we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
P
olyhe
d
ron
_
Sampl
e
: use
lp solver for finding
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
o
olaege
lex
m
in
:
m
o
ve c
h
oice of lp solver to use
outs
i
de basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
poly
s
ign
.
h: use correc
t
n
ame of PL_polyhe
d
ron_affine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate: plug me
m
ory leak in Bern
o
ul
l
i a
p
proximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
b
a
rvin
o
k_enumerate_e_
r
: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
eval
u
e
_
f
r
ac2polynom
i
a
l: recheck evalue a
f
te
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_Length: don't
g
e
t
c
onfu
s
ed b
y
posi
t
ivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
erdoolaege
Ma
k
e
file
.
am
:
stop af
t
er firs
t
failed t
e
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Ve
r
doolaege
bernstein: carry th
r
ough
v
a
r
i
able renam
i
ng to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
bernstei
n
: don't as
s
ume input polynomial has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolae
g
e
evalue_read
.
c: correct cons
t
n
e
ss of n
a
me in parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaeg
e
eva
l
ue_read: accept constant mul
t
iple of variable w
i
th
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
o
olaege
evalue
.
c: eva
l
ue
_
sum:
b
etter handling of negat
i
v
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n
V
e
r
doolaege
evalue
.
c:
r
e
order
_
terms
:
f
i
x typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
eval
u
e:
d
e
c
lare first
a
rgument o
f
emu
l
c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
evalue
.
c: emul: don't use explicit_comple
m
ent
on argu
m
ents
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ad
d
a test
for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Har
a
ld
.
Devos@el
i
s
.
.
.
f
ind_fractional_wi
t
h_max_periods: initialize
local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
evalue
.
c: evalu
e
_split_peri
o
d
s
: make sur
e
s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c
:
p
o
l
yn
o
mial_
p
r
ojec
t
ion: use eva
l
ue_ex
t
ract_af
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
add a test for b
a
rvino
k
_maximiz
e
and barvino
k
_su
m
mate
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erd
o
olaege
b
a
rvinok
_
summa
t
e
:
suppor
t
verification of results
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdool
a
ege
ev
a
lue
.
c: evalue_sum: split
into o
r
thants +
s
ome refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
ven Ver
d
oolaege
b
a
r
v
in
o
k
_
union:
u
se argp
f
or arg
u
me
n
t
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaege
b
a
rv
i
nok_enumerate_union_ser
i
es_with_options:
fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
ege
basis
_
reduction_cdd
.
cc: get
c
orrect dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdo
o
l
a
ege
basis
_
reduction
_
g
lpk
.
c: cor
r
ectl
y
set
t
ype of row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
ba
s
is
_
r
educ
t
i
o
n_g
l
pk
.
c: check for sanity of sol
u
tio
n
commit
|
commitdiff
|
tree
next