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
evalue_polynomial: optimize evaluation in zero
2007-10-25
S
v
en
Verdoolaege
evalue_polynomial: optimize evaluati
o
n in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: e
m
ul: handle another s
p
e
c
ial c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
e
value
.
c: eadd:
handle some spe
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce and use eva
l
ue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
evalue
.
c:
e
a
dd: m
i
cr
o
-o
p
timi
z
e addition
of
two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
o
olaege
s
e
tting
an
approximation method
n
ow implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_
s
ummate: opt
i
o
n
ally use Bernoulli
/
Faulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Bernoulli_s
u
m
_
evalue: us
e
eva
l
ue_from_se
c
t
i
on
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
barvinok/polylib
.
h:
r
emo
v
e compatibi
l
i
t
y
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
m
o
ve Vector_Oppose t
o
P
olyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polyto
p
e_scan: reenab
l
e --d
i
rect opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
ool
a
ege
remove_all_equalit
i
es: keep removing equalities un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
ove_all_
e
qualities: han
d
le empt
y
pol
y
hedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
r
e
m
ove_all_equalities: min
o
r c
o
de clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
export Polyhedro
n
_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven Ve
r
doolaege
p
olar_signed_c
o
n
e_consumer: clean u
p
memory
o
n i
n
appropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
ar
a
m_Inner_Produ
c
t: fix
u
se of valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolaege
doc: fix typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
a
ege
Add
missing files from polymake cli
e
nt to dis
t
rib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaeg
e
Use gmp'
s
gcd rather
t
han
P
olyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymake/READM
E
: mention --w
i
th-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven
Verdoolaege
polyma
k
e/Makefil
e
.
in: add work
-
around for polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
e
r
dool
a
ege
evalu
e
.
c: pri
n
t_evalue: always print newli
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoola
e
ge
options
.
c: fix typo in --a
p
prox
i
mat
i
on-method d
e
scri
p
tio
n
commit
|
commitdiff
|
tree
2007-09-15
S
ven
V
erdoolaege
topcom
:
fix
heuristic for sel
e
cting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
e
g
e
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Merge branch '
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Ve
r
doolaege
Doc
u
m
en
t
TOPCOM based cha
m
ber decom
p
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaeg
e
test TOPCOM ch
a
mber de
c
omposi
t
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doo
l
aege
Optional
l
y use TOPCO
M
to c
o
mpute cha
m
b
er decomp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
lexmin: add (protected) m
i
ssing a
l
g
o
rithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Makefile
.
a
m: ad
d
targ
e
t for creating d
i
st
w
ith
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc:
u
pdate voting
theory refer
e
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdool
a
e
ge
document barvi
n
o
k_summa
t
e and barvin
o
k_
m
ax
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
doc: consistent
u
se o
f
Ba
r
vinok
'
s i
n
it
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
g
e
barvinok
_
sum
m
a
te: correc
t
option
s
descripti
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
Document Euler-Maclaurin bas
e
d
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
er
d
oo
l
ae
g
e
doc: change example
environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdo
o
laege
doc: ad
d
some hid
d
en sect
i
ons to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: another
d
ocument refering to t
h
e
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoolaege
add som
e
tests for Euler-
M
aclaurin
b
ased summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Macl
a
u
r
in based summati
o
n for
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
Euler-Maclaurin
b
ased summation fo
r
2D p
r
oble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
de
c
omposer
.
cc:
a
v
o
id use of half-open c
o
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
b
a
rv
i
nok_summate: verify solut
i
on ov
e
r whole p
a
ram
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
introduce bar
v
inok_summate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add eva
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
evalue_{div
,
mul}: ha
n
d
l
e s
o
me trivial case
s
mor
e
ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lat
t
ice_poi
n
t: e
x
port
f
ractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdool
a
ege
evalu
e
.
c:
e
xtra
c
t common
c
ode for cons
t
ruct
i
on bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
volume
.
c: export Param_P
o
lyhedro
n
_
F
ace
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
fix type of evalu
e
_polynomial ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
suppo
r
t computat
i
on of Bernoulli p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
sepa
r
ate co
m
p
u
t
ation
of Ber
n
o
ul
l
i
c
oeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdool
a
eg
e
la
t
tice_poin
t
:
use
P
aram_Vertex_Common_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make
dec
o
mpo
s
er
.
h s
e
lf-conta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
laege
r
e
duce_doma
i
n:
avoid
u
s
e
of macro
p
arameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
export eva
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during basis
r
eduction if no othe
r
L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add
p
ipli
b
mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verd
o
ol
a
eg
e
Use bun
d
led P
o
lyLi
b
by de
f
a
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
add poly
l
ib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
bernstein
:
allow link
i
n
g
a
g
ainst uninst
a
lled, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdo
o
l
a
ege
add more missing
a
s
s
e
rt
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implemen
t
ations
o
f functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
update "Counting
w
ith
rati
o
nal generatin
g
function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaeg
e
bar
v
inok
.
cc: spl
i
t off part c
o
nstruct
i
n
g generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
b
arv
i
nok
.
cc: split
o
f
f part dealing wi
t
h e
x
isten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
o
o
l
aege
*coun
t
e
r
: av
o
id recomputation of
d
eno
m
ina
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
coun
t
e
r
: remove redu
n
dant mem
b
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
c
h
ang
e
type of so
m
e "sign"s to
int as they ca
n
onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rd
o
ola
e
ge
doc: update Algorithmi
c
a p
u
blicat
i
on
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdool
a
ege
evalu
e
.
c: make
parame
t
er names of
t
y
pe
c
o
n
st c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n Verdoolaege
sa
m
p
l
e
.
c: P
o
l
yhe
d
ron_RemoveFixedC
o
lumns:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verdoo
l
aege
uti
l
.
c:
r
e
move_eq
u
al
i
ties: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoo
l
aeg
e
Param_Polyhedron_
P
ri
n
t: print everythin
g
t
o
gi
v
en file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
b
arvinok
_
enumerat
e
_w
i
th_
o
ptions: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
o
l
aege
barvino
k
.
cc: do
n
't f
r
ee P ar
g
um
e
n
t
in
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
r
e
move_all_equalities: also r
e
move equalities in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c:
avoid
warnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaege
export P
a
ram_I
n
n
er_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven
Verdoolaege
barvinok
_
enumerate
.
cc
:
add minimal check on
input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en V
e
rdoolaege
m
ore prototy
p
e changes to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
ev
a
l
u
e
: print_evalue: ma
k
e parameter n
a
mes const cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
oolaege
Alw
a
ys compil
e
pol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdoolaege
polytope_scan: use argp for a
r
gument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolae
g
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Ve
r
doolaege
configu
r
e
.
in: all
o
w
sp
e
cification of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaeg
e
consol
i
da
t
e calls to Polyhedron2Pa
r
am_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
Verdool
a
ege
volu
m
e
.
c: f
i
x typo in c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Ma
k
e
f
ile
.
am: add $(E
X
EEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
Makefile
.
a
m: for
c
e
r
ebuild li
b
raries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
only test ba
r
vinok_max
i
mize if it has been/ca
n
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
aege
testlib
.
cc
:
wor
k
around
i
n
complete nam
e
space supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
l
a
e
ge
scale
.
c: en
u
merate_narrow_fl
a
t
e
d: don'
t
si
m
plify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
e
cl
a
re variab
l
es at start
of
c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
ol
a
eg
e
doc:
u
p
date
do
c
umentat
i
on of options and some
f
unctions
commit
|
commitdiff
|
tree
next