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 4ti2-1.3.1+autoconf-0.1 banner
2007-10-31
Sven Ver
d
oo
l
aeg
e
add 4ti
2
-1
.
3
.
1+
a
utoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
a
d
d zsolve from 4ti2-1
.
3
.
1
+
autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
o
o
laeg
e
param_util
.
c: ex
p
ort bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
topc
o
m
.
c: extract pa
r
t
of code for setting up s
t
and
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
gen_f
u
n::H
a
d
a
mard_product: print progress indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verdoolaeg
e
move --
v
erbose
o
ption t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
g
e
n_fun::summate: hand
l
e full specializa
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Replac
e
i
ncremental infini
t
e
set
c
o
u
nter by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
make count
e
r
::a
d
d
_
falling_pow
e
rs sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
merge (
m
ost of)
comm
o
n p
a
rt of co
u
nt
e
r and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: h
a
n
dle s
p
ecialization of polynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
icount
e
r: don't bother "normalizing" the e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
ool
a
ege
export ne
g
_l
e
ft
_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
basis_re
d
uction_cd
d
: check for possibly i
n
c
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyh
e
dron_Sa
m
ple: handle polyhedron becom
i
ng
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aeg
e
gen_fu
n
::operato
r
evalue *: always ret
u
rn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
o
perator evalue *: remove
co
m
mented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_e
n
umerate_e
.
cc: handl
e
verification of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok
_
enumerate_e: optionall
y
print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arv
i
nok_e
n
umerate_e: support v
e
rification of
g
enerat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
b
arvino
k
_enum
e
rate_e: support c
o
nversion of g
e
neratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
o
olaege
latti
c
e_
p
oints: a
n
o
t
her micro
-
opt
i
mizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
ool
a
ege
lattice_po
i
n
t
s
_fixed: nano-optimi
z
at
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
::add: con
t
ext of sum
s
hould be union of
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enum
e
rate
:
use
verify infra
s
t
r
uct
u
re
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aege
genfun
.
cc: prin
t
_p
o
wer: drop spaces a
r
ound "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
count_points_e: fall ba
c
k to count_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ol
a
ege
Makefile
.
am: c
h
eck-ev
a
l
u
e:
p
r
in
t
name
of
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
v
e
rify: add check_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun
:
make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
reducer::r
e
duce:
canonicalize coeffici
e
nts in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
s
h
ort_rat::prin
t
: correctl
y
print
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
barvinok_
s
e
ri
e
s: recheck
f
or equali
t
ies after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
port Matrix_Rea
d
for readi
n
g Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
par
a
m_ut
i
l
.
c
:
ad
d
P
a
ram_Vertex
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: s
u
p
p
orting_constraints: r
e
turn
bit
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pol
y
l
i
b:
update f
o
r Matr
i
x_Ex
t
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
op
t
ion
s
.
c
:
u
se Po
l
yhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
la
e
g
e
k
ee
p
tr
a
ck of
a
nd u
s
e
s
aturating con
s
trai
n
t
s
i
n
Param_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
move value_gc
d
and value_lcm
to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Ber
n
o
u
lli_
s
u
m
_eval
u
e: on
l
y
c
o
mpute exact sum i
f
approximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aege
Bernoulli_sum_evalue: sum
o
v
e
r
variab
l
es w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue
.
c
:
expo
r
t evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhedro
n
_Exchan
g
eColumns: n
o
rma
l
iz
e
c
onstrain
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
evalue_polynomi
a
l:
o
ptimize ev
a
l
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c
:
e
m
ul: handle anothe
r
special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
e
val
u
e
.
c
:
eadd: handle so
m
e special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introd
u
c
e
and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
e
v
a
lue
.
c:
e
ad
d
: micro-optimize add
i
t
i
on
of two ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
setting
a
n a
p
proximation meth
o
d now im
p
lies p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
dool
a
ege
barvinok_
s
ummate: optionally use Bernoulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
Bernoulli_sum_evalu
e
: use evalue_from_sect
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/p
o
lylib
.
h: rem
o
ve co
m
p
a
tibi
l
ity with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
move Ve
c
tor_Oppose to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
p
o
lytope_scan: reen
a
ble
-
-direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
e
rdoo
l
aeg
e
r
e
m
ove_a
l
l_equalities: keep removi
n
g equalities un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
V
erd
o
olaege
r
e
m
o
ve_all_equalities: handle empty poly
h
edron d
e
te
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
remove_all_equalities: minor
code
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rd
o
olaege
e
x
port Polyhe
d
r
o
n
_Matrix_Vie
w
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n Verdoolaege
pol
a
r_signed_cone_
c
onsumer: clean
u
p
m
e
mory on inap
p
ropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
doolaege
Param_Inner_Product: fix
use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix t
y
po i
n
M
i
chele Vergne's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add
m
issi
n
g
fil
e
s from p
o
l
y
make
client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather than PolyL
i
b's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
polymake/README: me
n
t
i
on --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
polymake/Make
f
il
e
.
in: add work-around for po
l
ym
a
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verdo
o
laege
eva
l
ue
.
c: print_
e
v
alue: always print
newlin
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdool
a
e
g
e
options
.
c: fix
t
ypo in
-
-approximation-m
e
thod d
e
scr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdool
a
e
g
e
topcom: fix heur
i
stic fo
r
selecting rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
M
e
rge bran
c
h '
t
o
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Docu
m
ent
T
OPCOM based chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test
T
OPCOM
chambe
r
decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
doolaege
Op
t
ionally u
s
e
TOP
C
OM to compute chamber
d
ecomposi
t
ion
s
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdoola
e
g
e
lexmin: ad
d
(prot
e
cted
)
missing al
g
orithm inc
l
ud
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
M
akefile
.
am: add targe
t
for
creatin
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: update
voting theory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc
u
ment ba
r
v
inok_summ
a
te
and
b
a
r
v
i
n
ok_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
lae
g
e
doc: consistent use of B
a
rvinok'
s
i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
ba
r
vinok_summate:
correc
t
opt
i
o
n
s d
e
scrip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Do
c
ument E
u
ler-Ma
c
laurin
b
as
e
d s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdo
o
la
e
g
e
doc: chan
g
e
e
xample environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: add so
m
e
h
idd
e
n sections
t
o ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
d
oo
l
aege
doc: a
n
other documen
t
refering to
th
e
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
a
d
d some
t
e
s
ts fo
r
E
u
l
e
r
-
Maclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
Euler-
M
aclaurin based summation for
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoola
e
ge
Euler-Maclaurin bas
e
d summa
t
ion for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompos
e
r
.
cc: avoid use of h
a
lf-op
e
n con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
barvinok_s
u
mmat
e
: verify solu
t
ion
ov
e
r whole par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
i
ntroduce barvinok
_
summate as
a
wra
p
per for e
v
alu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
o
laege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
eva
l
ue_{d
i
v,mul}: handle so
m
e trivial cases m
o
re e
f
fi
c
ientl
y
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
ola
e
ge
lattice_point:
e
x
p
ort fractional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
eva
l
ue
.
c
: ex
t
ract com
m
o
n co
d
e f
o
r cons
t
ruc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
volume
.
c
:
e
xpo
r
t
Pa
r
a
m_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
fix type of evalue_p
o
lynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
support computati
o
n of Bernoulli polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computa
t
ion of
Berno
u
l
l
i coeffi
c
ien
t
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
next