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
Support use of generalized basis reduction to compute integer hulls
2007-10-20
Sven
V
erdoolae
g
e
rem
o
ve_all_equalities: handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaeg
e
r
emove_
a
ll_equalities: minor
c
ode clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhedron_Matri
x
_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoolaege
p
o
lar_sign
e
d_cone_co
n
sum
e
r: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
aege
Param_Inner_Prod
u
c
t
:
fix use
o
f valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
do
o
laege
doc: fix typo
i
n
Michel
e
Ver
g
ne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
Add missing fi
l
e
s
fr
o
m polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
a
e
ge
Use gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/READ
M
E: men
t
ion --wit
h
-ba
r
vinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
ege
polym
a
ke/
M
a
kefile
.
i
n
:
add work-
a
roun
d
for
po
l
ymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aeg
e
evalue
.
c: print_
e
value:
a
l
ways prin
t
newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opt
i
ons
.
c: fix typo i
n
--approximation-meth
o
d
de
s
c
ription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdool
a
ege
topcom: fix heu
r
i
stic for selec
t
ing ro
w
s
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
b
arvinok
0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doola
e
ge
Merge branch
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
e
rdoolaege
D
ocument TOPC
O
M b
a
sed chamber de
c
ompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoolaege
test
T
O
PCOM c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Optionally use
T
OPCOM
to compute cha
m
ber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: a
d
d
(
protected) missing
a
lgorit
h
m include
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaeg
e
Makefile
.
am: add t
a
rget for creatin
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
do
c
:
u
pdate voting
the
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
document barv
i
nok_su
m
mat
e
and
barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
doc: consistent us
e
of Barv
i
nok
'
s
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ba
r
vinok_summate: correct options
d
escription
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
D
o
cum
e
nt Euler-Maclaur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
olaege
d
o
c
:
change exampl
e
environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
ool
a
ege
doc: add
s
o
m
e
h
i
d
den sec
t
ions
t
o tabl
e
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: a
n
other document refering
to
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
add
s
ome
t
ests
f
or Euler-Maclaurin
based
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Euler-M
a
claurin base
d
summation
f
or 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
Euler-Maclau
r
in bas
e
d
summa
t
ion for
2
D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc:
avoid
u
s
e o
f
h
a
lf-open cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
o
l
a
ege
ba
r
vinok_summat
e
: verify solutio
n
ove
r
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
introduc
e
barvinok_summate as a wrapper for e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add eva
l
ue_mu
l
_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
laege
e
value_{di
v
,mul}: handle some trivia
l
case
s
mo
r
e effici
e
ntl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_po
i
nt:
ex
p
ort fracti
o
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
g
e
evalue
.
c: ex
t
ra
c
t common c
o
de f
o
r construction b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
volume
.
c: export Param
_
Polyhe
d
ron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
fix type of
e
valu
e
_polyn
o
mial arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
support computation
o
f Bernoulli
p
olyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
ge
separate computation of Bernoulli co
e
ffi
c
ients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point:
u
s
e
P
a
ra
m
_Vertex_C
o
mmon_Deno
m
in
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h
s
e
lf-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
er
d
oolaege
redu
c
e
_
d
o
m
a
in: avoid use of macro paramet
e
r
w
i
th na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use p
i
pl
i
b durin
g
basis reducti
o
n if
no other
L
P
s
ol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib
b
y defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
add pipl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
U
s
e bundled
PolyLi
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add
po
l
yl
i
b submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein:
allow lin
k
i
ng against uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
d
oolaege
add more
m
is
s
ing a
s
ser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implem
e
n
t
ations of functio
n
s that
d
epen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
updat
e
"Counting with rati
o
nal gene
r
ating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
b
a
rvinok
.
cc
:
sp
l
it off pa
r
t constructing
g
e
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Ve
r
doolaege
barvinok
.
cc: split off part d
e
aling with existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolaege
*counter: av
o
id rec
o
m
p
utatio
n
o
f
den
o
minat
o
rs wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
e
g
e
c
ounter: remove
redu
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
change type of some "si
g
n"s to int as t
h
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
d
o
c:
updat
e
Algo
r
ithmica p
u
blicati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aege
evalue
.
c:
m
ake
pa
r
ameter names o
f
type c
o
nst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sa
m
p
l
e
.
c: Po
l
yh
e
dron_
R
emoveFixedColum
n
s: cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en V
e
rdo
o
l
ae
g
e
u
t
il
.
c: rem
o
ve_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
r
d
oolaeg
e
Para
m
_Polyhedron_Print: print
everything
t
o given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
barvinok_enumerate_wi
t
h_opti
o
ns:
d
o
n
't
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
lae
g
e
barvino
k
.
cc: don't free P argum
e
nt in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
r
e
move_al
l
_equalities: also remove eq
u
a
l
ities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volum
e
.
c
:
avoid wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
S
ven
Verdo
o
l
a
ege
export
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
e
n V
e
rdoolaege
barvinok_en
u
merat
e
.
cc: add m
i
nimal check on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolaeg
e
mor
e
p
r
ototyp
e
c
h
ange
s
to const
c
har
*
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n V
e
rdoolaege
ev
a
lue: p
r
int_evalue:
m
ake p
a
r
ameter name
s
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
e
r
doolaege
Al
w
ays compile pol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
poly
t
o
p
e
_scan: use argp for arg
u
ment pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
rdoola
e
ge
d
o
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
config
u
re
.
in: allow specification of defaul
t
p
r
e
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
c
onsolidate calls to Polyhedron2Param
_
Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
r
d
oo
l
aege
volume
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoo
l
aege
Ma
k
efile
.
am
:
add $(EXEE
X
T) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
Make
f
ile
.
am: force rebuild libraries in subdir
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ven
V
er
d
oolaege
o
n
ly test barvino
k
_
m
aximiz
e
if
i
t
has
b
een/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
o
o
la
e
ge
barvi
n
o
k
0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testli
b
.
cc
:
wor
k
a
round
incom
p
lete na
m
espace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
sc
a
le
.
c: enumerate_narrow_
f
lat
e
d: don't simpl
i
fy con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare variab
l
es at start
of code block
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
doc: update docum
e
ntation
o
f
o
ptions
a
nd some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
P
o
l
y
hedron_Sample: factor
p
olyhedron
if
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Pol
y
hedron_Sample: compute vertices of 1D
p
olyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolae
g
e
Pol
y
h
e
dron_Sample:
r
emove all eq
u
alities from polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoola
e
ge
add poss
i
bili
t
y to us
e
GLPK as
L
P solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedron_Sample: pos
t
po
n
e remo
v
a
l
of
r
ays u
n
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhedro
n
_Sample
:
use l
p
solver
for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
le
x
min
:
m
ove
c
hoice of lp solver to use o
u
tside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdool
a
ege
p
o
l
ysign
.
h: use corr
e
ct name
o
f
P
L
_polyhedron_aff
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdool
a
ege
b
arvinok
_
enumerate:
plug mem
o
ry leak in Be
r
noulli a
p
proximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
b
a
rv
i
nok_enumerate_e_r
:
d
o
n't
assume AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaeg
e
eval
u
e_
f
r
a
c
2p
o
lynomial: recheck eva
l
ue
a
fter
e
value_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
util
.
c: Line_Length: don't get confused by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
next