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
Sve
n
Verdool
a
ege
verify
:
add check_
p
oly_print helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
reducer:
:
r
e
duce: canonicalize coefficien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
short_rat::
p
ri
n
t: correctly
p
rint
o
ut terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvi
n
ok_series: recheck
for e
q
ualit
i
e
s
after co
m
putin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Read fo
r
r
eading Matrix
f
rom a
s
tre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
para
m
_util
.
c: add
P
aram_Vert
e
x_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: sup
p
orting_constr
a
ints
:
return bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polylib:
u
pda
t
e for Ma
t
r
i
x_Exte
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
ptions
.
c:
u
se Poly
h
ed
r
on_Sample for
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
e
ep t
r
ack of and use satu
r
ating c
o
nstraints in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move v
a
lue_gcd and valu
e
_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Berno
u
l
li_sum_evalue: only
com
p
ut
e
ex
a
ct sum if
a
ppr
o
xima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: s
u
m over variables with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c:
e
xport evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Polyhedron_Exchan
g
eColu
m
ns: normalize const
r
aints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
eg
e
e
x
p
ort Polyhedron_Ex
c
hangeColum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oo
l
aege
evalue_polyno
m
i
a
l
: op
t
imize ev
a
luation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: em
u
l
: handle ano
t
her s
p
ecial case
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
eva
l
ue
.
c: eadd
:
handle
s
o
m
e
s
p
e
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
introduce and
u
s
e evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
eva
l
u
e
.
c: eadd
:
micro-optimize addition of two
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
s
e
tting a
n
approxima
t
ion method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
o
l
aege
barvin
o
k_summate: optionally use Bernoulli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
ulli_su
m
_evalue: use e
v
a
l
ue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
barvi
n
o
k
/polylib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
move Vector_Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
ool
a
ege
polytope_scan: ree
n
a
ble --direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equ
a
li
t
ies: keep remo
v
ing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
r
emove
_
all_equalities:
handle
e
mpt
y
po
l
y
h
edron dete
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaeg
e
rem
o
ve_all_eq
u
alities: m
i
nor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
xport Po
l
yhe
d
ro
n
_M
a
trix_Vie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
e
r
dool
a
ege
polar_signed_cone_cons
u
mer: clea
n
up memory on
inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n V
e
rdoo
l
aege
Pa
r
am_Inner
_
Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix
ty
p
o
in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
A
d
d missing files from p
o
lymake client to distributio
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's
g
cd rath
e
r
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
e
g
e
p
o
lymak
e
/READ
M
E: mention --w
i
th-bar
v
inok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
polymake/Makefil
e
.
in:
a
dd work
-
arou
n
d
for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven
Verdoolaege
evalue
.
c:
p
r
i
nt_eva
l
u
e
: alw
a
ys
p
rin
t
newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n Verdoolaeg
e
options
.
c: f
i
x
typo in --app
r
oximation-method
d
escription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
t
o
pco
m
: fix
h
e
u
ristic for selecti
n
g rows to
us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
barv
i
nok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoo
l
aege
Merge
branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
laege
Documen
t
TOP
C
OM based chamber
d
e
c
ompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
olaege
test TOPCOM cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Optiona
l
ly use
T
OPCO
M
to compu
t
e
c
h
amber decomp
o
sit
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add
(protected) missi
n
g
a
lgorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoola
e
ge
Makef
i
le
.
am: add targ
e
t
f
or
c
r
eat
i
ng dist wit
h
gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: upda
t
e voting theory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaeg
e
docume
n
t
barvinok_s
u
mmate
a
nd b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
doc:
consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
ge
barvinok_summ
a
te:
correct options d
e
scri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
D
oc
u
m
e
n
t E
u
ler-Maclau
r
in based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erd
o
olaege
doc:
change e
x
a
m
ple environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: add some
h
idden sections to table of
c
on
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
d
o
c:
a
no
t
her do
c
umen
t
refering to t
h
e library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
a
d
d
s
o
me tests for Eu
l
er-Maclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Eu
l
er-Mac
l
a
urin
b
ased summation for 1D pro
b
l
e
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclau
r
in based su
m
mation
f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompo
s
er
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
barvinok_
s
ummate: v
e
rify so
l
u
tion ove
r
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
olaege
intro
d
uce barvinok_summate as a wr
a
pper for ev
a
lue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rd
o
olaege
add e
v
alue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
o
olaege
e
v
alue_{div
,
mul
}
: handl
e
some
trivial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
lattice_poi
n
t: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
e
v
alue
.
c: extr
a
ct common code for
c
onstruction b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
volume
.
c
: expo
r
t Par
a
m_Polyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
fix t
y
pe of evalu
e
_p
o
lynomia
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
s
u
p
por
t
comp
u
tati
o
n of Bernoulli polyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
ge
separ
a
te computation of Ber
n
oulli coeffi
c
i
e
nts a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
lattice_point: use P
a
r
a
m_Vertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
mak
e
dec
o
mposer
.
h self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain: avoid use of macro
p
ar
a
m
e
ter
w
ith n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
s
e
pipl
i
b
dur
i
ng
b
as
i
s red
u
c
t
ion if n
o
other
LP solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdool
a
ege
Use bundled
piplib
b
y d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
e
rdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
laege
Use bundled PolyLi
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernst
e
in: a
l
l
o
w linking ag
a
ins
t
uninstalled, but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n Verdoolaege
add
m
ore
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
ven Ve
r
d
o
o
laege
a
d
d
d
u
mmy i
m
plementa
t
i
o
ns
o
f fu
n
c
tions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
upd
a
te "Co
u
nt
i
ng with rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoo
l
aege
bar
v
inok
.
cc:
sp
l
i
t
off part const
r
ucting gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
ba
r
vinok
.
cc:
split
o
ff
p
a
rt de
a
ling w
i
th existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*cou
n
ter
:
avoid recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ver
d
oo
l
aege
counter: remove redunda
n
t memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
cha
n
g
e
type o
f
so
m
e
"sign"s to int
a
s t
h
ey can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
doc:
up
d
ate Algorithmica publi
c
atio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make pa
r
ameter
names of t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
ae
g
e
sampl
e
.
c:
P
olyhe
d
ron_Remo
v
e
F
ixedCol
u
m
n
s: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoo
l
aege
util
.
c: remov
e
_equa
l
ities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolae
g
e
Pa
r
am_Poly
h
edron
_
Print: prin
t
everything to
gi
v
en file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Ve
r
doolaege
barvinok
_
enum
e
rat
e
_wi
t
h_op
t
ions: don't a
d
d contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
bar
v
i
n
ok
.
cc: don't free P argum
e
nt in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n V
e
rd
o
olaege
rem
o
ve_
a
ll_equalit
i
es
:
al
s
o
r
e
m
o
ve eq
u
ali
t
ies
in context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Ver
d
oolaege
volume
.
c: avoid w
a
r
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n
Verdoolaege
expor
t
Pa
r
am_In
n
er_P
r
oduct
commit
|
commitdiff
|
tree
next