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
Replace incremental infinite set counter by "regular" infinite set counter
2007-10-25
Sven V
e
rdoolaege
Replace increment
a
l infinite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make count
e
r::add_falli
n
g_
p
ow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
me
r
ge (most
o
f)
com
m
on
p
art of counter an
d
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icount
e
r: handle spec
i
aliz
a
tion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icou
n
t
e
r: don't bother "norma
l
i
z
i
ng" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
ba
s
is_reduction_cdd: ch
e
ck for possibl
y
i
nc
o
rrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
P
olyhedron_Sam
p
l
e
: handle polyhedron becoming
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erd
o
olaege
gen_f
u
n::operato
r
e
v
alue *:
a
lways
return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
e
n
_
f
un::
o
perator evalue *: remove co
m
mented
o
u
t deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
ba
r
vinok_enumerate_e
.
cc: handle verif
i
c
a
tion of
p
r
o
blem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
barvinok_enumerate_e: op
t
i
o
n
a
l
ly print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
barvin
o
k_
e
nume
r
at
e
_e: s
u
pp
o
rt
v
e
r
ification of gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
bar
v
inok
_
enumerat
e
_e:
s
upport conversion of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
latt
i
ce_
p
oints
:
another mi
c
ro-optimi
z
ati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
lattice_points
_
fi
x
ed: n
a
no-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
gen_fun
:
:add:
c
o
n
te
x
t
of s
u
m should b
e
union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barv
i
nok_enu
m
erate:
u
se verify infrast
r
ucture f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
f
u
n
.
cc: print_power: drop spa
c
e
s arou
n
d
"/" w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_
e
: fa
l
l back to count
_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Makefile
.
am: check-e
v
alue: pri
n
t name of
each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
aege
veri
f
y:
a
dd che
c
k_poly_print helpe
r
functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
g
e
n_
f
un: make sur
e
context is always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
ege
redu
c
er::reduce: canonicalize coeffic
i
ents in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
short_rat::print
:
correc
t
ly
p
rint out t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_se
r
ies: recheck f
o
r
e
qua
l
iti
e
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Read for r
e
ading M
a
tri
x
f
r
om a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
a
ege
param_ut
i
l
.
c: a
d
d
P
a
ram_V
e
rtex_
D
oma
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
u
til
.
c: supporting_cons
t
r
ai
n
t
s: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdo
o
laeg
e
polyl
i
b
:
update for Matrix
_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
o
ptions
.
c: use Pol
y
hedron_Samp
l
e for cou
n
ting inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolae
g
e
keep
t
rack of and use saturating constraints in
Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
move value_gc
d
and val
u
e_
l
cm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
Bernoulli_sum_e
v
alue: on
l
y
comp
u
te
e
xact sum if
appr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoull
i
_
sum_evalue: sum o
v
er v
a
riabl
e
s w
i
th int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
evalue
.
c:
e
xpor
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Polyhedron_ExchangeColumn
s
: normaliz
e
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdool
a
ege
e
xport
P
olyhe
d
ron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
_
polynom
i
al: o
p
timize evaluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c:
e
mul: h
a
n
dle anoth
e
r s
p
ecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c: ead
d
: h
a
ndle so
m
e specia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdool
a
ege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
eva
l
u
e
.
c: eadd
:
micro-opti
m
ize addition
o
f two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
setting an
a
ppro
x
imation m
e
thod
no
w
impl
i
es polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
barvinok_
s
ummate:
o
ptiona
l
ly use
B
ern
o
ul
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaeg
e
Bernoul
l
i_s
u
m_e
v
a
l
ue: use
e
value_from_
s
e
c
tion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
bar
v
inok/polylib
.
h:
remove
c
ompatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
la
e
ge
polytope_sc
a
n
: reenable -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remove_al
l
_equalities: ke
e
p remo
v
ing e
q
ualities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoola
e
ge
remove_all_
e
q
u
alities: han
d
le empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
rem
o
ve_all
_
equalities: mino
r
code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export
P
olyhedron_Matr
i
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
o
lar_s
i
gned_cone
_
consumer: c
l
ean up memory o
n
inappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
V
e
rdool
a
e
g
e
Param_
I
nne
r
_
Product: fix use of
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc: fix typo in
Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ver
d
o
olaege
Add
mis
s
ing files from polymak
e
client
to dis
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
Use gmp's gcd rathe
r
than Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/README: mention --wit
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
po
l
yma
k
e/
M
akefi
l
e
.
in: add work
-
a
round for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
e
v
alue
.
c
:
print_eval
u
e: always print newl
i
n
e at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
Verdool
a
ege
opti
o
ns
.
c:
f
ix typo i
n
--a
p
p
r
oximation-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoolaege
topcom: fi
x
he
u
ristic for
se
l
ecting rows to
u
se a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
a
ege
bar
v
in
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Doc
u
me
n
t TOPCOM based chamber d
e
c
o
mpos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
tes
t
T
OPCOM ch
a
mber decomp
o
siti
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoola
e
g
e
Optiona
l
ly use TOPCOM
t
o
c
o
mpute cham
b
er deco
m
po
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
do
o
laege
lexmin: a
d
d (pr
o
te
c
ted) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefile
.
am: add
t
arget f
o
r cre
a
ting d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
V
e
rdoolae
g
e
doc: updat
e
votin
g
theory
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
docum
e
nt barvi
n
ok
_
summate
a
n
d
barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
consistent
u
s
e of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summ
a
te:
correct options d
e
scription
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdo
o
l
aege
Document Euler-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
d
o
c:
c
hange example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaeg
e
doc: ad
d
some hidden sections t
o
tab
l
e o
f
c
o
nt
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olae
g
e
d
oc:
a
nothe
r
d
ocumen
t
refering
t
o the l
i
b
r
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdool
a
ege
add som
e
te
s
ts for
E
uler-Maclaurin based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
E
u
l
er-
M
ac
l
aurin bas
e
d summati
o
n
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oo
l
aege
Euler-Maclaurin base
d
summa
t
ion
f
or 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc
:
a
void u
s
e of half-
o
pe
n
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
barvinok_sum
m
ate: verify
so
l
ut
i
on over
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
introdu
c
e
b
arvinok_summat
e
as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
ge
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
ge
eval
u
e_{d
i
v
,mu
l
}: handl
e
so
m
e trivial cases m
o
re ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
l
attice_point: ex
p
o
rt f
r
actional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
evalue
.
c
:
extract common code for const
r
u
c
tio
n
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: expo
r
t Param
_
Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
fix
t
y
p
e
o
f
e
value_polynomia
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
support computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
separa
t
e comput
a
t
i
on
of Bernoulli coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdoolae
g
e
lattice_
p
o
i
nt
:
use P
a
ra
m
_Ver
t
ex_C
o
m
m
on_Denomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
reduce_
d
oma
i
n:
a
v
o
i
d
use of macro
p
arameter w
i
th n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoolaege
export evalue
_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use piplib during
bas
i
s red
u
ction if no
o
t
he
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
e
g
e
Use bu
n
dled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
ad
d
pipli
b
m
odu
l
e
commit
|
commitdiff
|
tree
next