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
reducer::reduce: canonicalize coefficients in each recursion step
2007-10-25
Sven
V
erdoolae
g
e
red
u
c
er:
:
reduce: c
a
n
o
n
ic
a
lize coefficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
short_r
a
t:
:
print: correctly p
r
int out term
s
with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
o
laege
barvinok_se
r
ies: r
e
c
h
eck for eq
u
alities afte
r
c
o
m
p
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
export Matrix_
R
ea
d
for rea
d
ing Matrix
f
rom a s
t
rea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
p
aram_util
.
c
:
add Param
_
V
e
rtex_
D
oma
i
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
u
til
.
c:
s
u
p
po
r
t
i
ng_co
n
straints: retur
n
bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
polylib: u
p
date for
M
atrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
options
.
c: us
e
P
olyhedron_Sample
for
count
i
ng inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep tr
a
ck
o
f and use satur
a
tin
g
constraint
s
i
n
Param_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve value_gc
d
and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
Be
r
n
o
ulli_sum_evalue:
only comput
e
exact sum if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Bernoull
i
_sum_evalue: sum over vari
a
bles with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
e
v
alue
.
c: export eva
l
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Pol
y
hedron_ExchangeColumns: norm
a
l
i
z
e constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
export
Polyhedro
n
_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
eval
u
e_
p
oly
n
omi
a
l
:
optimize evaluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: emul:
h
andle anot
h
er special
c
as
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introd
u
ce
and use ev
a
lue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ve
r
d
oolaege
e
v
a
l
ue
.
c: eadd: micro-optimi
z
e addition of
two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
eg
e
setting an
a
ppr
o
ximatio
n
method
now implies
p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summat
e
:
o
p
t
ionally
u
se B
e
rno
u
l
li/
F
au
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
Bernoulli_sum_ev
a
lue
:
use eval
u
e_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
barvinok/polylib
.
h
:
remo
v
e
c
omp
a
t
i
bility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move Vec
t
or_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
polytope
_
scan: reenable
-
-dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
re
m
ove_
a
l
l_e
q
u
alities:
keep removing equali
t
ies until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolae
g
e
r
e
move_all_equalities: hand
l
e
e
m
p
t
y
polyhedron detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
olaege
remove_all_equalities: minor code clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
expor
t
Polyhedro
n
_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_sign
e
d_cone_cons
u
mer: clean up me
m
ory on ina
p
propri
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolae
g
e
P
ara
m
_Inner_P
r
oduct
:
fix u
s
e of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoolae
g
e
doc: fix typo in
Michel
e
V
ergne'
s
name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoo
l
aege
Add missing files from
p
olymake client to distributio
n
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Ve
r
do
o
laege
U
s
e
g
m
p's gcd rath
e
r than
P
o
lyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
dool
a
ege
polymake/README: men
t
ion --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdo
o
lae
g
e
po
l
y
make/Makefile
.
in: add wo
r
k
-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
e
value
.
c: pri
n
t_ev
a
lue: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Ve
r
doolaege
options
.
c: f
i
x typo
i
n --approxi
m
ation-meth
o
d d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom:
f
ix heuristic
for selecting rows to
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Merge bra
n
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent TOPCOM ba
s
ed cha
m
ber
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
te
s
t TOPCOM chamber
decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Optio
n
a
lly use
T
OP
C
OM
t
o
c
ompu
t
e chamber d
e
comp
o
s
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (protec
t
ed
)
missin
g
algorithm
inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
M
ak
e
file
.
am: add ta
r
get for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ola
e
ge
doc: update
voting theory referen
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
doola
e
ge
documen
t
barvinok_summate and
b
arvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
do
c
: consiste
n
t use of
Barv
i
nok's init
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
ba
r
vi
n
ok_
s
u
mmate: correct
o
ptions de
s
c
r
ipti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler-M
a
claurin
based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doo
l
aege
doc:
c
hange example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
laege
doc:
a
dd some hidden sections to t
a
ble
o
f
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: a
n
other docum
e
nt ref
e
r
ing
t
o the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
some tests for Euler-Macla
u
r
i
n based
summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
Euler-Maclaurin b
a
sed summation for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
d
e
co
m
po
s
e
r
.
cc: avoid
u
se o
f
half-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaeg
e
barvinok_summate: verify s
o
lution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
i
ntr
o
duce
bar
v
inok_summat
e
as a wrapper f
o
r evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
e
val
u
e_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
aeg
e
e
value_{d
i
v,mu
l
}:
han
d
le so
m
e trivial cases mor
e
efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
lattice_point: export fra
c
tional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extra
c
t common code for construc
t
ion
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doo
l
a
e
ge
volume
.
c: export Para
m
_
P
ol
y
hed
r
on
_
F
a
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaeg
e
fix type of
e
value_polynomia
l
a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
support computation of Bernoulli
pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
separate
computa
t
io
n
of
B
ernoulli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latti
c
e_poi
n
t: use Para
m
_Vertex_Com
m
o
n
_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
mak
e
decompos
e
r
.
h self-cont
a
ined
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
reduc
e
_domain: av
o
id use of m
a
cro parameter
w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
export eva
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verd
o
olaege
Us
e
piplib dur
i
ng basis
r
ed
u
ction i
f
no ot
h
e
r
L
P
s
olvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oola
e
g
e
Us
e
bundled piplib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
la
e
g
e
a
d
d piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
Use bun
d
led PolyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
a
dd polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
bernstein: allow link
i
ng against u
n
installed, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
doo
l
aege
add mo
r
e
mis
s
ing asser
t
.
h #
i
nclude
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implementations of
f
unctions t
h
a
t
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "Co
u
nti
n
g w
i
th r
a
t
i
onal
g
e
nerating
funct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvino
k
.
cc: split off part constructing gene
r
atin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
barvinok
.
cc: split off part d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
*
counter:
a
void recomputation of de
n
ominator
s
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Ver
d
ool
a
e
g
e
c
o
u
nter: remove redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
chang
e
type of some
"
sign"s to int as
they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
rdo
o
laeg
e
doc:
update
A
l
g
o
rithm
i
ca publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n
Verdo
o
laege
evalue
.
c: make pa
r
ameter names
o
f
t
ype co
n
st ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sam
p
le
.
c: Polyhedron_Remove
F
i
x
e
dC
o
l
u
m
ns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
ut
i
l
.
c:
r
e
move_equal
i
t
ies: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaeg
e
Param_Polyhe
d
ron_Print: p
r
int everyth
i
ng to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enume
r
ate_wi
t
h_op
t
ions:
d
on
'
t add cont
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoola
e
ge
b
a
rvino
k
.
cc: do
n
't free P argument i
n
e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
r
e
move_
a
ll_equali
t
ies:
also
remov
e
equalities
in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
volume
.
c: avoi
d
warni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Verdoolaege
exp
o
rt Para
m
_Inn
e
r_Prod
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
erdoolaege
b
a
rvinok_enumerate
.
cc: add minimal check o
n
i
nput
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoolaege
m
ore proto
t
ype cha
n
ges to const cha
r
*
commit
|
commitdiff
|
tree
next