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
add some tests for implementation of projection theorem
2007-10-25
Sven V
e
rdoolaege
k
e
ep track of and use saturati
n
g constraints in Par
a
m_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
e
ge
move value_g
c
d and value
_
lcm to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bern
o
ulli_s
u
m_evalu
e
:
on
l
y compute exac
t
sum if
a
p
p
r
ox
i
mati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_sum_
e
v
a
lue: sum o
v
er variab
l
es w
i
th inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoo
l
aege
evalue
.
c: export
e
value
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
Polyhedron_ExchangeCo
l
umns: n
o
rmal
i
ze constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Pol
y
h
edron_Ex
c
ha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue_poly
n
o
m
ial: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
v
a
l
ue
.
c
:
emul: h
a
ndle anoth
e
r
sp
e
cial
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: eadd: h
a
ndle some
s
pecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
lae
g
e
i
nt
r
o
d
uce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ve
r
doolaege
evalue
.
c: ead
d
: micro-optimize addition of
two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
setting a
n
approximation method no
w
i
mplie
s
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_summate: optionally use
B
e
r
n
oulli/
F
aulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
B
e
rnoull
i
_sum_evalue:
use
e
v
alue_from_se
c
tion
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok/polylib
.
h
: remove compatibility with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
m
o
ve
V
e
ctor
_
O
ppose
t
o
P
olyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polyt
o
pe_scan
:
reenable
--direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_all_equalities: keep removing eq
u
a
litie
s
u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
r
d
o
o
l
aeg
e
remo
v
e_all_equa
l
ities: handle empty polyhedron dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdool
a
ege
remove
_
al
l
_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
export
Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verd
o
olaege
polar_
s
igne
d
_
c
one_consumer: clean u
p
m
e
m
ory on
inappropriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
V
e
rdoolaege
Para
m
_In
n
er_Product:
f
ix use
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolae
g
e
doc: fi
x
typo in Michele
Vergn
e
's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missi
n
g files from p
o
l
y
m
a
ke
client to
d
i
stributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ver
d
oolaege
Use
g
m
p's gcd
rat
h
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
po
l
ymak
e
/REA
D
M
E: menti
o
n -
-
wi
t
h-barvinok co
n
figure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
polymake/Ma
k
efile
.
in
:
add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
Verd
o
ola
e
g
e
evalue
.
c: print_eval
u
e:
al
w
a
y
s pr
i
nt
n
ewl
i
ne at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdool
a
ege
op
t
ions
.
c: fix t
y
po in
-
-approximation-meth
o
d descri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoo
l
aege
topc
o
m: fix he
u
ristic for selectin
g
r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
ae
g
e
b
a
rvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
M
e
rge b
r
anch 'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
la
e
ge
Document TOPCOM
b
ased chamber
decom
p
os
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
test TOPCOM ch
a
mber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdo
o
la
e
g
e
Opti
o
nally u
s
e TOPCOM to
compute
c
hamber dec
o
m
positions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoola
e
ge
lexmin: add (pro
t
ected) missing
algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
ae
g
e
M
a
kef
i
l
e
.
am: add tar
g
e
t for cr
e
a
t
ing dist w
i
th git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
doc:
u
pdate voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc
u
ment bar
v
inok_summ
a
te and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
doc: consistent use o
f
Barvinok
'
s init
i
al
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
ba
r
vinok_summat
e
:
c
or
r
ect options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaeg
e
D
o
cument Euler-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
ch
a
nge exam
p
le environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add some hidden sections to table of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olaege
doc
:
anothe
r
document refering to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verd
o
olaeg
e
a
d
d some te
s
ts for
Euler-Ma
c
laurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler
-
M
a
claurin
base
d
s
u
mm
a
tion fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
d
o
olae
g
e
Euler-Maclaurin base
d
summation f
o
r 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ola
e
ge
decompose
r
.
c
c
:
avoid
u
se of half-open cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate: verify solution over whole p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
introduce b
a
rvinok_summa
t
e as a wrapper for
e
value_
s
um
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
d
oolaege
add eval
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
_{div,mul}:
handle some tri
v
ial ca
s
es m
o
re
e
fficiently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Ver
d
oolaege
la
t
ti
c
e_
p
oint: export fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
evalue
.
c: e
x
tract common code for
construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
vol
u
me
.
c: export P
a
ram_Poly
h
edron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add
e
value_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
fix ty
p
e
of evalue_polynomial argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
ae
g
e
s
uppor
t
c
o
m
p
uta
t
ion of B
e
r
n
o
ulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
separate computation of Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: use Para
m
_
V
ertex_C
o
mmon_Denom
i
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
m
ake
d
e
c
ompo
s
er
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
re
d
u
ce_
d
omain
:
av
o
id use of macro parameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
export
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
o
laeg
e
Use piplib during basis red
u
ction if no ot
h
er LP so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bundled piplib
by default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
a
d
d pipli
b
m
odule
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verd
o
olaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add polyli
b
su
b
mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
bernstei
n
: allow linki
n
g
a
gains
t
uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
add m
o
r
e
missing as
s
e
r
t
.
h #in
c
lud
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
oola
e
ge
add dummy implementations of functions that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
upd
a
te "Counting with rational generating functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
bar
v
inok
.
c
c: split off
part constr
u
c
ti
n
g gen
e
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc:
split off
par
t
d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*count
e
r: avoid recomputation of denominato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
counter: remove r
e
du
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some "sign"s to int as
t
hey
c
an onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: upd
a
te
Algorithmica
p
u
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolaege
evalu
e
.
c:
m
a
k
e parame
t
er names of ty
p
e
c
onst
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n
Verdoolaege
sample
.
c: Polyhedro
n
_Remo
v
eFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
ut
i
l
.
c: re
m
ove_equalit
i
es: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Ve
r
d
oolaege
P
aram
_
Polyhe
d
ron_Prin
t
: print
every
t
hing to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ve
n
V
e
rdool
a
ege
barvinok_enumerate_
w
i
th_op
t
ions: don
'
t
ad
d
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc: don't free P argument
i
n e
n
u
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
r
e
move_
a
ll_e
q
ualities: also remov
e
equal
i
ties i
n
co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
v
olume
.
c:
avoid war
n
in
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export
Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
S
ven Verdoolaege
b
ar
v
inok_enumera
t
e
.
cc:
ad
d
minimal check o
n
input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en V
e
rdoolaege
more prototype changes
t
o const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue:
p
rint
_
evalue: make paramet
e
r
n
ames const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
la
e
g
e
Always compile p
o
lytop
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
erd
o
olaege
pol
y
t
ope_s
c
an: use a
r
gp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdoolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoo
l
aege
conf
i
gure
.
in: allo
w
specificatio
n
of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n V
e
rdoolaege
consolidate calls to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
o
laege
v
olume
.
c
:
fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
Mak
e
file
.
am:
a
dd $(EX
E
EXT) for cygwin
commit
|
commitdiff
|
tree
next