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
barvinok/polylib.h: remove compatibility with older versions of PolyLib
2007-10-25
Sv
e
n Verdoolaeg
e
bar
v
inok/polylib
.
h: remove compati
b
ility with o
l
d
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
move Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aeg
e
p
olytope_scan: reenable
-
-direct opt
i
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
e
g
e
r
emove_al
l
_equa
l
ities: keep re
m
ov
i
ng equal
i
ties unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n
Ver
d
o
o
laege
remov
e
_all_
e
qualitie
s
: handle emp
t
y p
o
lyhedron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
r
emove_all_equa
l
ities: min
o
r
c
o
de clean-u
p
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
e
xpo
r
t
P
olyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
o
lar_signed
_
cone_cons
u
mer:
c
l
e
an
up
m
emory o
n
in
a
pp
r
opriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verd
o
olaege
Param_Inner_
P
roduct: fix use of va
l
u
e_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
ven
Verd
o
ol
a
ege
doc: fix
t
ypo i
n
Michele Ver
g
ne's name
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
doolaege
Add
missi
n
g file
s
from po
l
ymake
client to distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Us
e
gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
m
a
ke/REA
D
ME: me
n
tion --wit
h
-
b
ar
v
inok
c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ver
d
oolaege
polymake/
M
a
kefile
.
in: add work
-
around
for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
eval
u
e
.
c: print_evalue: always pri
n
t
n
ewline at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
er
d
oolaege
opt
i
o
n
s
.
c: f
i
x
t
ypo i
n
--approx
i
m
a
t
i
o
n
-method
des
c
ript
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
o
o
laege
topcom: fix heuristic
f
or se
l
ect
i
ng
row
s
to
u
se
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
ege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
M
er
g
e bra
n
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Docume
n
t
TOPCOM based cham
b
er deco
m
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
ae
g
e
test TOPCOM ch
a
mber decom
p
ositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
laege
Optionally use TOPCOM to compute chamber decompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ver
d
o
o
laeg
e
lexmin: ad
d
(
pro
t
ec
t
e
d
) missing algorithm i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdo
o
lae
g
e
Make
f
i
l
e
.
am: add target for creating dist wi
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdool
a
ege
doc: update voting theory
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
l
aege
d
o
c
ume
n
t b
a
rv
i
nok_
s
u
m
m
a
t
e
and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
laege
doc: cons
i
s
tent us
e
of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
ege
b
a
rvino
k
_sum
m
a
t
e: correc
t
o
ptions description
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
Documen
t
E
uler
-
Mac
l
aurin
b
ased summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
rdoolaege
d
o
c
:
change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: add so
m
e
hidden secti
o
ns to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
doc: another docum
e
n
t
r
ef
e
ring
t
o
the
library
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
add some
t
ests for Euler-Macl
a
urin base
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
Euler
-
Maclaurin ba
s
ed summation for 1D
p
roble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdool
a
ege
Eule
r
-Maclaurin based
s
ummati
o
n
for 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
deco
m
poser
.
cc: avoid use of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
b
a
rvin
o
k_summa
t
e: verify solution over whole param
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvinok_s
u
m
mate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
add evalue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
eva
l
ue_
{
di
v
,mul}:
h
andle
some trivial c
a
s
e
s more
e
fficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
lattice_p
o
in
t
: export fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: ex
t
ract common co
d
e
for const
r
uc
t
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
volum
e
.
c: export Pa
r
am_Polyhedron
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
f
i
x
type o
f
evalue_polynomi
a
l
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
sup
p
ort compu
t
ation of Berno
u
l
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
s
eparate compu
t
ation of Bernoull
i
coe
f
fi
c
ients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
o
o
l
aege
lattic
e
_point: us
e
Para
m
_Vertex
_
Co
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
oolaeg
e
make
d
ec
o
mposer
.
h self-cont
a
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain:
a
v
o
id
u
se of
m
acro
p
a
rame
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
U
s
e
pip
l
ib during basis
r
e
duction if n
o
other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
Us
e
bundled piplib
b
y
defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ad
d
pi
p
lib mo
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
se
b
undled
P
olyLib
b
y
de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
add
p
olylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
e
rnstein: allow linki
n
g a
g
ainst
uninstall
e
d, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n Verdo
o
la
e
ge
add m
o
re mi
s
sing assert
.
h
#
inc
l
udes
commit
|
commitdiff
|
tree
2007-08-29
S
ven Verdool
a
e
g
e
add
d
u
m
m
y impl
e
mentat
i
ons of functions that
d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdool
a
e
g
e
update "Counti
n
g with rational gen
e
rating
f
unct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Verdoolaege
bar
v
inok
.
c
c: split off
p
art constr
u
c
t
ing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdo
o
l
a
e
ge
b
arv
i
nok
.
cc: split off pa
r
t dealing with existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*count
e
r: a
v
oid recom
p
utation of d
e
n
o
minators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
la
e
ge
c
o
un
t
e
r
: remove re
d
undant
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
hange type o
f
some
"
sig
n
"
s
to i
n
t
as the
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaeg
e
doc:
update Al
g
orithmica
p
ublicatio
n
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdoolaeg
e
evalue
.
c: make paramete
r
na
m
es of type con
s
t
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n
V
erdo
o
l
aege
sample
.
c: Polyhed
r
on_Rem
o
v
e
FixedCo
l
umns: co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c:
remove_e
q
u
a
lities: fix t
y
po
commit
|
commitdiff
|
tree
2007-07-30
S
ven Ver
d
oolaege
Param_Polyhedron_Print: print everythin
g
to
g
iven fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven
Verdoolaege
b
a
rvinok_
e
nu
m
erat
e
_with_optio
n
s: don't add
c
ont
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
barvinok
.
cc
:
don't free P argu
m
e
nt
in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdool
a
e
ge
r
emo
v
e_all_equali
t
ies: also remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
volume
.
c: avoid
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdool
a
ege
barvinok_enume
r
ate
.
cc:
add minima
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
e
rdo
o
laege
m
o
r
e pr
o
tot
y
pe changes
t
o const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolaeg
e
evalu
e
: pri
n
t_e
v
alue: make
pa
r
ameter
n
ames con
s
t char*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
erdoolaege
A
l
ways compile
polyto
p
e
_
s
can
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
la
e
ge
polytope_scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Ve
r
doolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configu
r
e
.
in
:
allow specific
a
t
i
on of d
e
fault
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
e
g
e
consolidate calls to Po
l
y
hed
r
on
2
Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
aege
volume
.
c: fix typo in
co
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdo
o
laege
M
ake
f
i
le
.
a
m: add $(EXEEXT) fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
Makef
i
le
.
am: force rebuil
d
libr
a
ries in subdi
r
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Ve
r
doolaeg
e
only
tes
t
b
a
rvin
o
k
_
maximize if
i
t has
been/can b
e
created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc
:
work around incomplete
namespace sup
p
ort
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdo
o
laege
scal
e
.
c: enumerate_n
a
rr
o
w_flated: don't si
m
p
l
ify cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
declare
v
ari
a
bl
e
s at st
a
rt of
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc:
up
d
ate documentation of opti
o
n
s and some function
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Pol
y
hedron_Sa
m
p
le: fact
o
r p
o
lyhe
d
ron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyhedron_
S
ample: compu
t
e vertices of
1
D
polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
P
olyhedron_Sample:
r
emove al
l
equali
t
ies from polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
possibi
l
i
t
y to use GL
P
K
a
s
L
P solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sam
p
le: postpone removal o
f
rays
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
Poly
h
e
d
ron_S
a
mple:
u
se
lp
s
olver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
l
e
xmin: move
choic
e
of lp solver
to u
s
e outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolae
g
e
polysign
.
h: use c
o
r
r
e
ct name of PL_polyh
e
dron_affi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
next