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
make counter::add_falling_powers static
2007-10-25
Sven Verdoolaege
make coun
t
er::add_fallin
g
_powe
r
s
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
merge (most o
f
)
com
m
on pa
r
t
o
f coun
t
er and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icount
e
r: ha
n
d
l
e speci
a
lization of p
o
ly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
icou
n
ter: don't bo
t
h
e
r "normal
i
z
ing" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
ola
e
ge
exp
o
rt neg_le
f
t
_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
b
a
sis_reduction_cdd: check for possibly
i
nc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
Polyhedron_Sample:
h
andle
polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en
_
fun::op
e
rator
evalu
e
*: always retur
n
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun::operato
r
evalue *:
r
emove co
m
mented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
barv
i
nok_enumerate_e
.
cc: handle verific
a
t
i
on of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
barvinok_e
n
umera
t
e_e: optional
l
y pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvin
o
k
_enu
m
era
t
e_e: support verif
i
cation
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enu
m
era
t
e_e: support conve
r
sion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
lattice_points
:
another micro-optimi
z
a
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
latti
c
e_points_fixed: nano-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::
a
dd:
c
ontext of s
u
m should
be union o
f
c
o
nt
e
xt
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate: use verify infrastructure fo
r
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
genf
u
n
.
cc: print_p
o
wer: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
c
ount_points_e: fall back
t
o
c
ount_po
i
nts if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefil
e
.
a
m
: check-e
v
alue:
p
rint n
a
me
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
ve
r
if
y
:
add chec
k
_poly_p
r
int
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
gen_fun: make sure con
t
ext is
a
lways
s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
reducer::reduce:
canonicalize coefficie
n
ts
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
shor
t
_rat
:
:print
:
correctly
p
rin
t
o
u
t t
e
rms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
ae
g
e
barvinok_series: recheck
for equalitie
s
after
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
x
p
ort Ma
t
rix_Read for re
a
ding Matrix f
r
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
para
m
_ut
i
l
.
c:
a
dd Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
util
.
c
:
s
u
pportin
g
_constrain
t
s: return bit vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
poly
l
ib: up
d
ate for Matr
i
x_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
options
.
c: use P
o
lyhedron_Sampl
e
for coun
t
i
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
keep
t
r
ac
k
of a
n
d
use
s
aturating constraints in Pa
r
am_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
mo
v
e
value_gcd and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
B
ern
o
ulli_su
m
_e
v
alue: only
c
omp
u
te ex
a
ct
s
um if appr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Be
r
n
o
u
lli_sum_ev
a
lue: s
u
m
over variables
w
ith int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export e
v
alue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
Polyhedron_ExchangeColu
m
n
s: n
o
rmalize constra
i
nts a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
export P
o
l
yhedron_Exchang
e
Col
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laeg
e
evalue_polynomial: opt
i
m
i
ze evaluation in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
evalue
.
c: em
u
l
:
handle another spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
e
v
alue
.
c: e
a
dd: hand
l
e
so
m
e s
p
ec
i
al c
a
se
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
introdu
c
e and us
e
e
value_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
ev
a
lue
.
c: ead
d
: micro-optimi
z
e addit
i
on of
two rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
setting an approx
i
mation
m
ethod now i
m
plies poly
n
o
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvi
n
ok
_
summate:
o
pt
i
onally use B
e
rnoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
r
n
oulli_sum_e
v
alue: use evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
barvinok/p
o
lylib
.
h: remov
e
comp
a
t
i
bility with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
oo
l
aege
m
o
ve Vecto
r
_O
p
pose
t
o P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
pol
y
tope_scan: re
e
nab
l
e
-
-
di
r
ec
t
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_equal
i
ties:
k
eep
r
e
moving e
q
ualities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
emove_
a
ll_equalitie
s
:
handle
emp
t
y poly
h
edron detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoola
e
g
e
remov
e
_
a
ll_equalities
:
minor c
o
de cle
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
o
o
laege
export Polyhedro
n
_Mat
r
ix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
S
ven Verdo
o
l
aege
po
l
ar_
s
igned
_
cone_consum
e
r: clean up m
e
m
o
ry
o
n ina
p
p
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven Verdoolaege
P
aram_Inner_Pro
d
uc
t
: fix use of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoo
l
aege
doc: fix typo
i
n Michel
e
Ve
r
gne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoo
l
aege
Add missing f
i
le
s
from polymake client to di
s
tributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoo
l
aege
Use
gmp's gcd rather
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verd
o
o
l
ae
g
e
p
ol
y
make/READ
M
E: menti
o
n --with-
b
arvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
polymake/Make
f
i
l
e
.
in: add work-around for polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
e
v
alue
.
c: print_evalue: alway
s
print
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolae
g
e
o
p
t
ions
.
c: fix typo in --ap
p
r
o
ximation-metho
d
descript
i
on
commit
|
commitdiff
|
tree
2007-09-15
S
v
e
n Ver
d
oola
e
ge
top
c
om: f
i
x heuris
t
ic for se
l
e
ct
i
ng rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
V
erdoolae
g
e
barvi
n
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
M
e
rge
branch 'to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Document TOP
C
OM bas
e
d chamber de
c
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
aege
tes
t
TOP
C
OM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use TOPC
O
M to
compute chamber
d
e
com
p
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ver
d
oolaeg
e
le
x
min: add (protected) missing algorit
h
m
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am: add target for c
r
ea
t
ing
dist w
i
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoolae
g
e
doc:
u
pd
a
te voting theo
r
y refer
e
nc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
document b
a
rvinok_summate and
b
a
rvinok_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: cons
i
stent use of
B
arvinok's initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_
s
ummate: c
o
rr
e
ct
o
ptions
desc
r
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Document
E
ule
r
-Maclaur
i
n b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
d
o
c
: change example
e
nvironment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
do
o
laege
d
oc:
add
s
ome hidden s
e
ction
s
t
o
t
able of co
n
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rd
o
o
l
aege
do
c
:
a
noth
e
r docu
m
ent refering to th
e
lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oola
e
ge
a
d
d some tests for Eu
l
er-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eul
e
r
-
Maclaurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoola
e
ge
Euler
-
Macla
u
rin bas
e
d su
m
mat
i
on for 2D pro
b
le
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
a
ege
decomposer
.
cc: a
v
oid
use o
f
half-open
co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
barvinok_summat
e
: ver
i
f
y soluti
o
n
o
v
er whole parame
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doo
l
aege
introduce bar
v
inok_sum
m
ate as a w
r
apper for
e
value_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add evalue_m
u
l_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
evalue_{div,
m
ul}: handl
e
some trivial cases mo
r
e e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
lattic
e
_point:
export fractional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: ex
t
rac
t
com
m
on code for constr
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
volume
.
c: export Param_Polyhedro
n
_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
add ev
a
l
ue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
do
o
l
aege
fix type of e
v
a
l
ue_
p
o
lynomia
l
ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sup
p
or
t
computation of Ber
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
sepa
r
a
t
e compu
t
ation of Bernoulli
c
oefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latt
i
ce_poi
n
t:
u
s
e Param_Ve
r
tex_Common_Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
m
a
ke decompo
s
er
.
h se
l
f-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
reduce_
d
oma
i
n: avoid use of macro parameter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export e
v
alu
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
U
se piplib
d
uring
b
asis re
d
uction
if no other
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
o
olaege
Use bund
l
e
d pi
p
lib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bundled PolyLib by
default
commit
|
commitdiff
|
tree
next