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
basis_reduction_cdd: check for possibly incorrect output from cddlib 0.94d
2007-10-25
Sven Ver
d
oolaege
basis_reduction_cdd: ch
e
ck fo
r
possibly
incorrect o
u
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
ae
g
e
Polyhe
d
ron_Sample:
h
andle
polyh
e
dron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_
f
un::
o
p
e
rato
r
evalue *: alwa
y
s return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
operator ev
a
lue *: remove commen
t
e
d
out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
bar
v
inok_enumerate_e
.
cc
:
handle verification of
p
ro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enum
e
rate_e: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
barvinok_enu
m
erate_e: support verification
o
f gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_enumerate_e: support conversion of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
lattice
_
poin
t
s
:
a
n
other m
i
cro-op
t
i
mizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
l
a
ttic
e
_poin
t
s_fixed:
n
a
no
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::add: context
o
f sum should
b
e
union
of context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
barvinok_enumerate: use verify infras
t
ructure for ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
genfun
.
c
c: print_po
w
er: drop
s
pac
e
s around "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
count_point
s
_
e
: fa
l
l back
t
o
co
u
nt_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefil
e
.
am: check-evalue:
p
ri
n
t na
m
e of ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ve
r
if
y
: add
check_pol
y
_
print h
e
l
per functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun:
m
ake sur
e
context is
a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoola
e
ge
reducer::red
u
ce: canonicalize coef
f
icients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
short_rat::pr
i
nt: correctly pr
i
nt out
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
barvinok_series: reche
c
k
fo
r
equalities after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
exp
o
rt Ma
t
rix_Read for
r
eading M
a
trix
f
r
o
m
a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
para
m
_util
.
c:
ad
d
Param_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
util
.
c
: su
p
porting_con
s
tr
a
ints: re
t
urn
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polylib:
update for Matrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
optio
n
s
.
c: use Polyhed
r
on_Sample
for coun
t
ing i
n
f
i
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdo
o
lae
g
e
kee
p
t
r
ack of
a
nd use satu
r
a
t
ing con
s
traints in
P
ara
m
_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
v
a
lue_gcd an
d
value
_
lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_s
u
m_evalue: only compu
t
e ex
a
ct s
u
m
i
f
ap
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
Bernoulli_
s
u
m
_
evalue:
s
um o
v
er vari
a
b
l
e
s wit
h
i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export eval
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Po
l
yhedron_Exchang
e
Column
s
:
n
ormalize
c
onst
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
g
e
expor
t
Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue_polyn
o
mial: o
p
timi
z
e e
v
aluation in
zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
e
v
alue
.
c
: e
m
ul: handle
another special
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c: eadd: handle so
m
e
special
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
introduce
a
nd use ev
a
lue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
a
l
ue
.
c:
e
add
:
m
icro-optimize additi
o
n of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
setti
n
g a
n
ap
p
r
oximatio
n
method
no
w
implies p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_summ
a
te: opt
i
onally use B
e
r
noulli/Faul
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Ber
n
o
u
lli
_
sum_eva
l
u
e
: use eva
l
ue_f
r
om
_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok/po
l
ylib
.
h: remove compat
i
bi
l
it
y
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move Vecto
r
_
Oppose to
P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
po
l
yto
p
e_scan: reenabl
e
--dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
re
m
ove_all_equalities:
k
eep
removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
remove_
a
l
l
_equaliti
e
s: h
a
ndle
empty pol
y
h
edron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remo
v
e_a
l
l_eq
u
al
i
ties:
minor
c
o
de clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhed
r
on_Ma
t
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oolaege
polar_s
i
gned
_
con
e
_consumer: cl
e
a
n u
p
m
e
mory on inap
p
r
o
pria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verd
o
o
laege
Param_
I
n
n
er_
P
roduct: fix
use of
v
alue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdool
a
ege
doc:
f
ix typo in Michele
V
e
rgne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
ola
e
ge
Add missin
g
files from polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolae
g
e
Use gmp's
g
cd rather than PolyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
V
erdoo
l
aege
polymak
e
/README: me
n
tio
n
--w
i
t
h
-b
a
rvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaeg
e
polyma
k
e/M
a
kefil
e
.
in: ad
d
wo
r
k-a
r
ound for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
d
o
olaege
ev
a
lue
.
c: print_evalu
e
: a
l
ways p
r
int newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n Verdoo
l
a
e
ge
o
ptions
.
c: fix typo i
n
--approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
to
p
com: fix heur
i
stic fo
r
s
electi
n
g rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ola
e
ge
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Document TO
P
COM based cham
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
test TOPCOM chamber
d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Option
a
lly use TOPCOM to
c
ompute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolae
g
e
l
exmin: add (pr
o
tec
t
ed) mis
s
ing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Ma
k
efile
.
am:
a
dd tar
g
et for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
doc: update voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
a
e
ge
document ba
r
vinok_summate and barvinok_max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: consistent us
e
of
B
arv
i
nok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
barvinok_summate: correct optio
n
s descript
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoolaege
Documen
t
Eu
l
er
-
Ma
c
laurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc:
cha
n
ge examp
l
e e
n
v
iron
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaeg
e
do
c
: add some hidden sections to ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolaege
doc: an
o
t
h
er document refer
i
n
g
t
o the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
ad
d
some tests for Euler-Maclaurin ba
s
ed summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
E
u
le
r
-
Ma
c
laur
i
n based summati
o
n f
o
r 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Euler-Ma
c
laurin
based sum
m
ation for 2
D
p
r
o
blem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoola
e
ge
decomposer
.
cc:
avoid use
o
f half-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
arvinok_summate
:
verify solution
o
ver whole paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
int
r
oduce b
a
rv
i
no
k
_summate as a wrapper for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
evalue_{div,mul}:
h
a
n
dle some
t
rivial cases mor
e
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
l
attice_point: expo
r
t f
r
actional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
evalue
.
c:
e
xtra
c
t co
m
mon co
d
e for
c
o
nst
r
ucti
o
n
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
aege
volume
.
c: expor
t
Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
a
dd evalue
_
mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of evalue
_
polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
supp
o
rt compu
t
a
tion
o
f
B
ernoulli pol
y
n
o
mi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
s
e
parate c
o
mpu
t
ation of Berno
u
lli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolae
g
e
lat
t
ice_p
o
int: use Param_Vert
e
x_Common_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
make
d
e
c
o
m
pose
r
.
h
s
elf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
red
u
ce_d
o
main: avoi
d
use of macro
p
arameter with nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use pipl
i
b during basis reduction
i
f no other LP solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
Us
e
bundled pipl
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pip
l
ib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Us
e
bundled
P
o
lyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaeg
e
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
b
ernste
i
n: allow lin
k
i
ng
a
g
a
inst uninstalled,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en
V
e
rdoolaege
a
d
d
mo
r
e miss
i
n
g a
s
s
e
rt
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
e
r
doolaege
add dummy implem
e
ntations of functions that de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoo
l
aege
update "Counting with rational generat
i
ng f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
next