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
verify: add check_poly_print helper function
2007-10-25
Sv
e
n
Verdoolaege
veri
f
y:
a
dd check_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_
f
un: m
a
ke sure c
o
ntext is always
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce
:
canoni
c
ali
z
e coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
short_
r
at::print:
correctly print out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arv
i
nok_se
r
ies: recheck f
o
r equalities
aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erd
o
olaege
export
Ma
t
rix_
R
e
a
d for reading Matrix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
p
aram_util
.
c: add Param
_
Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
util
.
c: supporting_constra
i
nts: return
b
it vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
polyl
i
b: update for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
ptions
.
c: u
s
e Polyhed
r
on_Sample f
o
r counting inf
i
nit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
ke
e
p track
o
f and use satu
r
ati
n
g
constrai
n
ts in
P
a
ram_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
move va
l
ue_gcd and
v
a
lue_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
B
e
rnoulli_sum_evalue
:
only
compute exact
s
um if approx
i
m
ati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
Bernoulli_s
u
m_evalue: s
u
m
o
ver varia
b
les with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalu
e
.
c: expor
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
P
o
lyhedron
_
Exch
a
ngeColumns: no
r
m
a
l
i
ze
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
x
p
o
r
t Polyhedron_
E
xchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
evalue_polynomia
l
: optimize
e
val
u
a
t
ion
i
n z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolae
g
e
e
value
.
c: emul: handle an
o
ther special case
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laeg
e
evalue
.
c: eadd: handle some spec
i
al cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
introduce
and
us
e
evalue_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
evalue
.
c: eadd: mi
c
ro-
o
ptimize ad
d
i
t
i
o
n of two ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
setting an approx
i
mation
meth
o
d now implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
b
a
r
vino
k
_summate: o
p
tionally
u
se Berno
u
lli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
B
e
r
noulli_s
u
m_evalue: use
evalue_from_sect
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/polyl
i
b
.
h
: remove compatib
i
l
i
ty wi
t
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move V
e
ctor
_
Oppose t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polyt
o
pe_sca
n
:
reenable --direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
ies: keep removing
e
q
ualities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
v
e_
a
l
l
_equalit
i
es: han
d
le
empty po
l
yhedro
n
d
e
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oola
e
g
e
re
m
ove_all_equalities: minor cod
e
clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
export Polyhedro
n
_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Ve
r
d
o
olaege
polar_s
i
gned_cone
_
c
onsum
e
r
:
clean up mem
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param
_
Inner_Pr
o
d
uct: f
i
x use of va
l
ue
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
laege
doc
:
f
i
x t
y
p
o
in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing files from p
o
lymake
client t
o
distrib
u
ti
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
Use gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdool
a
e
g
e
pol
y
make
/
R
E
AD
M
E:
m
en
t
ion --with-barvinok
confi
g
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
dool
a
e
g
e
p
o
lymake/Makefi
l
e
.
in: add work-around for polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
e
value
.
c: p
r
int_eva
l
u
e
: always print newline at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
o
p
t
i
o
ns
.
c
:
fix typo in --appro
x
imation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaeg
e
t
opcom: fix heuristic for s
e
l
ec
t
ing r
o
ws
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoola
e
ge
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Merge bran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM
b
ase
d
c
ham
b
er decompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolae
g
e
test TOPCOM chamber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olae
g
e
Optionally
use
T
OPCOM to c
o
m
pute chamber decomposit
i
o
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (p
r
otected)
missing algorithm in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am: add
target for creati
n
g d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
o
olaege
doc: update voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoola
e
g
e
document barvin
o
k
_
summate and bar
v
inok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolae
g
e
doc: consistent use of Barvi
n
ok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
barvinok_
s
umm
a
te: c
o
rrect o
p
tion
s
de
s
c
r
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
D
ocument
Euler
-
Maclaurin ba
s
ed summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc:
change example environme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: add s
o
me
h
i
dden sec
t
ions t
o
t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another docume
n
t
r
e
fering to t
h
e librar
y
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoola
e
ge
ad
d
so
m
e
t
e
s
t
s f
o
r Euler-Maclau
r
in based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
E
u
l
er-Maclauri
n
b
ased summation for 1
D
probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdool
a
ege
E
u
ler
-
Maclaurin based summation fo
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
deco
m
pos
e
r
.
c
c
: avoid use of half
-
open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
a
e
g
e
b
a
rv
i
nok_summ
a
te: verify
s
o
l
u
tion over whole p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
i
n
troduce b
a
rvinok_s
u
m
m
ate as
a
wrap
p
er for
e
valu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
evalue_
{
d
iv,mu
l
}: handle some tri
v
ial cases mor
e
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
lat
t
i
ce_point:
export
fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdool
a
ege
eval
u
e
.
c: extract
c
ommon code for
c
o
nstruct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
volume
.
c: ex
p
ort Param_
P
o
l
y
hedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add evalue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
fix type of evalue_po
l
yno
m
i
a
l ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
support computati
o
n of Bernou
l
li po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
e
parate computation of Be
r
noulli co
e
fficients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
g
e
lattice_point:
use Param_Ver
t
ex_Comm
o
n_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
make decomposer
.
h s
e
lf-con
t
ain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_
d
omain: avoid use of ma
c
ro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export ev
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use piplib during basi
s
r
eduction if
n
o
ot
h
e
r
L
P
so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
U
s
e
b
un
d
led piplib by
d
efau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ad
d
pipl
i
b
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaeg
e
U
se
b
u
n
dled PolyLib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add polylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Ver
d
o
o
laege
bernstei
n
: all
o
w
link
i
ng against uninst
a
l
led
,
but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more missi
n
g ass
e
rt
.
h #in
c
l
u
des
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
r
d
oolae
g
e
add d
u
m
m
y impl
e
mentatio
n
s of func
t
i
o
ns
t
hat depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
u
p
date "Counting w
i
th rational ge
n
erating func
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
rvinok
.
cc
:
split off
p
art constructin
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
barvinok
.
cc: split off
p
art dealing wit
h
existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
erdool
a
ege
*
c
o
unter: avoid recomputat
i
on of deno
m
inators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
counter: remove red
u
ndant
m
em
b
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change ty
p
e of some "sign"
s
to int
a
s they c
a
n
o
n
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
r
d
oolaege
doc: update
A
lgorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven
V
erdoolaege
ev
a
lue
.
c: mak
e
parameter
names of t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n
V
erdoolaege
sample
.
c: Polyhedron_RemoveFi
x
edColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remo
v
e
_eq
u
a
li
t
ies: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
P
aram_Poly
h
edron
_
P
r
int:
p
rint everything to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvin
o
k_en
u
m
e
rat
e
_
w
ith_options: do
n
't a
d
d context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barvino
k
.
cc: don't free
P
argumen
t
in enu
m
e
r
a
te
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
remov
e
_all_
e
qu
a
lities: also re
m
o
v
e
e
qua
l
ities in
c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
v
o
l
u
me
.
c
:
a
v
oi
d
w
ar
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
x
port Par
a
m_Inner_
P
roduct
commit
|
commitdiff
|
tree
next