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
Makefile.am: check-evalue: print name of each test file
2007-10-25
S
ven V
e
rdoo
l
a
e
ge
Mak
e
file
.
am:
c
hec
k
-
e
value:
p
r
in
t
name of
e
ach
te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aeg
e
verify: add check_poly_print helper functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun: make
s
ure c
o
nte
x
t i
s
a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
r
e
ducer
:
:reduce:
canonicalize
c
o
e
fficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
h
ort_rat::print: corre
c
tly print ou
t
te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
barvinok_
s
erie
s
: re
c
heck
fo
r
equalit
i
es after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
export Matrix_Read for
r
e
a
ding
Matr
i
x from a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
param_
u
til
.
c: ad
d
P
ara
m
_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
util
.
c: s
u
pport
i
n
g_constraints: return bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
aege
pol
y
lib: update
f
or Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
options
.
c: use Polyhedro
n
_Sample fo
r
cou
n
ting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
keep t
r
a
c
k of and use
s
at
u
rating constraint
s
in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
move value_g
c
d and value_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bernoull
i
_sum_evalue: only comput
e
e
x
act sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Ber
n
o
u
ll
i
_
s
um
_
e
val
u
e: sum over variabl
e
s with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
evalue
.
c: expor
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Polyh
e
dron
_
Exch
a
ngeColumns: normal
i
ze constra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
export Polyhedron_E
x
change
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
eva
l
ue
_
polynomi
a
l: optimi
z
e
e
va
l
uation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
evalue
.
c:
e
mul: handle anot
h
er s
p
ecial cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: eadd: handle
s
ome
s
pecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
intr
o
duce a
n
d use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c: eadd: mi
c
r
o
-optim
i
ze addition
of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olae
g
e
set
t
ing an app
r
oximation met
h
od now
impl
i
es polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
arvinok_
s
ummate: optionally
use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli
_
sum_evalu
e
: u
s
e evalue_from_section
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok/po
l
ylib
.
h: remov
e
c
ompatibil
i
t
y with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vec
t
o
r_Oppose to
P
o
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
polytope_scan: re
e
nable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ve
r
doolaege
remove_all_equalities: keep removi
n
g equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
r
e
move_all_
e
qualities: handle emp
t
y
p
ol
y
hedron
d
et
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_eq
u
alit
i
es: minor code clean-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
export
Polyhedron_M
a
t
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoolae
g
e
p
o
lar_s
i
g
n
ed_cone_c
o
ns
u
mer:
c
lean
up memory o
n
inapp
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
aege
Pa
r
am_Inne
r
_
P
ro
d
u
c
t: fix use of valu
e
_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc: fi
x
typo in
M
ichele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdool
a
eg
e
Add missing files from polym
a
k
e
client to distri
b
ution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Use
g
m
p
'
s gcd rath
e
r
t
h
an PolyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
la
e
ge
po
l
ymake/REA
D
ME
:
ment
i
on --with-barvinok
c
o
n
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
po
l
ymake/Makefi
l
e
.
in: add work-arou
n
d for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
eva
l
ue
.
c: print_ev
a
lue: a
l
w
a
ys pr
i
n
t
newlin
e
at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en
Verdo
o
laege
option
s
.
c: fix typo
i
n
-
-approxi
m
ation-meth
o
d d
e
scriptio
n
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
V
e
rdoolaege
topcom: fix h
e
uristic for selecting
r
ows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
b
a
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Merge
b
ranch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
D
ocument TOPCOM ba
s
ed chamber
decomposi
t
io
n
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
olaege
tes
t
TOPCO
M
c
ham
b
er dec
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
O
p
tionall
y
u
s
e TOPCOM to compute chambe
r
decomposition
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (pr
o
tected) mi
s
sing algo
r
ith
m
i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefi
l
e
.
am: add
t
arg
e
t for
c
reating dis
t
with
g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: update votin
g
theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
document barvinok_summate and
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: con
s
istent
u
s
e of Barvinok's
initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
ae
g
e
barvinok_summat
e
:
correct
optio
n
s de
s
c
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olaege
Document Eul
e
r-Maclaurin bas
e
d su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
d
oc: change
example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: add some hidden sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
oolaege
doc: an
o
ther do
c
um
e
nt re
f
e
r
ing to the lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
add some
tests
for Eul
e
r-Maclaurin ba
s
ed su
m
m
a
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoo
l
aeg
e
E
u
ler-Mac
l
aurin based su
m
mation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolae
g
e
Euler-Maclauri
n
b
ased summation for 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
decomp
o
s
e
r
.
c
c
: avoid
u
se of
h
alf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
barvinok_summate: verify
s
olution over whole para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intro
d
uce barvinok_summate as a wrapper
for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add ev
a
lue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
alu
e
_{di
v
,mul}:
h
andle s
o
me
t
r
ivial cases mo
r
e
e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latt
i
ce_point
:
export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
evalu
e
.
c: extract common code fo
r
c
o
nstruction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
volume
.
c: expor
t
Para
m
_Polyhedron
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
f
ix type of eval
u
e_poly
n
o
m
ial a
r
gumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
sup
p
ort computation of Ber
n
oulli
p
olyn
o
mi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separ
a
t
e computatio
n
o
f
B
ernou
l
li coe
f
f
icients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
la
t
t
ice_point: use Par
a
m
_
Vertex_Co
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
m
a
ke deco
m
pos
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
r
e
duc
e
_domain: avoid use
of ma
c
ro
p
aramet
e
r
w
ith name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
exp
o
rt evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e pipl
i
b during basis reduction if no other LP
s
olve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
Use b
u
ndled
p
iplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
o
la
e
ge
add piplib modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use bundled
Pol
y
Lib by de
f
aul
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add polyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
bernstein: allow
linking a
g
ai
n
st uninstall
e
d
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verd
o
olaeg
e
add
mor
e
m
issin
g
assert
.
h #inc
l
u
des
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdoolaeg
e
ad
d
dummy implementations of functions that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Ve
r
d
o
olaege
update "Coun
t
ing
w
ith rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvinok
.
cc:
s
p
li
t
o
f
f
par
t
constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ver
d
oolaege
bar
v
inok
.
cc
:
spli
t
of
f
part dealing w
i
th existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
erdo
o
l
aege
*counter: avoi
d
re
c
ompu
t
ation o
f
denominat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
c
ounter:
rem
o
v
e
redundan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
change type of some "s
i
gn"
s
to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
r
doolaege
doc
:
updat
e
Algorithm
i
ca publi
c
at
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
V
er
d
oolae
g
e
eval
u
e
.
c: make parame
t
er nam
e
s of type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
ven Ve
r
doolae
g
e
samp
l
e
.
c:
P
olyh
e
dron
_
Remove
F
ixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: rem
o
v
e
_e
q
uali
t
ies: fi
x
typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
o
o
laeg
e
Param_Polyhedron_Prin
t
: prin
t
e
v
erything to given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolae
g
e
b
a
rv
i
nok_en
u
merate
_
w
i
t
h
_opti
o
ns:
d
on't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en
Verdoolaege
ba
r
vinok
.
cc: don't free P
a
r
g
ument in
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolae
g
e
remove_all_equa
l
ities: also remove equalities in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volu
m
e
.
c: avoid warn
i
n
g
s
commit
|
commitdiff
|
tree
next