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
icounter: don't bother "normalizing" the exponents in the denominator
2007-10-25
S
ven Verdoolaege
icounter
:
don't bothe
r
"
n
ormaliz
i
ng" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
rt neg_le
f
t_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
s
is_redu
c
tion
_
cdd:
check
f
o
r p
o
s
s
ibly incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
l
a
ege
Po
l
yh
e
dron
_
Samp
l
e: handle polyhed
r
on b
e
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
gen_f
u
n::o
p
erator evalue *: always re
t
ur
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun:
:
operato
r
eval
u
e *:
remove commented out debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
b
a
r
v
in
o
k_
e
nume
r
ate
_
e
.
cc: h
a
ndl
e
verific
a
ti
o
n of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
barvinok_en
u
merate_
e
: optio
n
all
y
print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate_e: support veri
f
ic
a
tion
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
barvinok_enumer
a
te_
e
: sup
p
ort conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
latti
c
e_points: another micro
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_p
o
ints_f
i
xed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::add: conte
x
t
o
f s
u
m should be u
n
ion of context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arvi
n
ok_e
n
umerate: use veri
f
y
infrastructure for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfu
n
.
cc: print_power:
d
rop space
s
a
rou
n
d
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
c
ou
n
t_po
i
nts_e: fall back t
o
c
ount_point
s
if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
Mak
e
f
ile
.
am:
c
heck-evalue: print n
a
me of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaeg
e
verify: add check_poly_print helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
e
n
_fun: make sure co
n
text i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::red
u
ce: canonicalize coefficient
s
i
n
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
sho
r
t_r
a
t::print:
correctly prin
t
out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
b
arvinok_series:
r
e
c
he
c
k for equalities
a
fter
c
o
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
e
xport Matrix_Read for reading Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
param
_
util
.
c: ad
d
Param_Vertex
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
u
t
il
.
c
:
s
upporti
n
g_con
s
trai
n
ts: return
b
i
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
po
l
ylib: update
f
or Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
options
.
c:
u
se Polyhedron_Sample for countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
keep
t
rack
o
f and u
s
e satur
a
t
ing constrai
n
ts in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd
a
n
d
v
alue_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
Bernoulli_su
m
_evalue: only compute exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Bernoulli_sum_
e
value: sum ove
r
vari
a
bl
e
s with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
Polyhedron_Exc
h
angeColu
m
n
s
: normalize constraints a
f
te
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
expo
r
t
Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polyno
m
ial: opti
m
ize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
eva
l
ue
.
c: emul
:
handle anothe
r
special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
eval
u
e
.
c: e
a
dd: handle some sp
e
cia
l
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaeg
e
introdu
c
e and use e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
e
value
.
c
: eadd:
m
i
c
ro-opti
m
i
z
e
additio
n
o
f two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
se
t
ting an approxi
m
ation me
t
h
od now impl
i
es polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
barvinok
_
s
u
mma
t
e: optionally us
e
Bernoulli/Fa
u
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
ege
Be
r
n
o
ulli_sum_evalue: use evalue_fr
o
m_secti
o
n_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
barvinok
/
po
l
ylib
.
h: remo
v
e compatib
i
lity wi
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
move Vector_Oppose to PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoola
e
ge
polyt
o
pe
_
scan:
r
eena
b
l
e
--dire
c
t op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
Ver
d
oolaege
remove_all_equalities: keep removing e
q
ualities un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaeg
e
remove_al
l
_equa
l
ities: handle
emp
t
y pol
y
hedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
r
d
o
o
laege
r
e
mov
e
_a
l
l
_
equa
l
ities: minor code c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ver
d
oolaege
e
x
port Polyhe
d
ron_
M
atrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_consumer:
c
lean up memory on i
n
a
pp
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
a
ram_In
n
er_Pr
o
duct: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n
Verd
o
olaege
doc: fix typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Ve
r
d
oolaege
Ad
d
missing fi
l
es from
polymake clie
n
t to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Use g
m
p's
gcd rather th
a
n
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolae
g
e
polymake/README
:
men
t
ion --with-ba
r
vinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
polyma
k
e/Makefile
.
in: add work-a
r
ound fo
r
po
l
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
evalue
.
c:
print_evalue:
a
lways print
n
ewli
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoo
l
aege
options
.
c:
f
ix
t
y
p
o
in -
-
approx
i
mation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Verd
o
o
l
a
eg
e
t
o
p
c
om: fix
heur
i
stic
for sel
e
cting
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Mer
g
e branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ver
d
oo
l
aege
Document
T
OPCOM based
c
hamber decomp
o
s
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test
TOP
C
OM chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Opti
o
nal
l
y use T
O
PCO
M
t
o
c
ompute chamber de
c
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (pro
t
ected) missing al
g
ori
t
hm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
ae
g
e
Makefile
.
am: a
d
d target for
c
reating
d
is
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc:
upda
t
e
v
ot
i
ng
t
heory
re
f
er
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
document barvinok_sum
m
ate and barv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
o
c: consiste
n
t use
o
f B
a
rv
i
no
k
's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
barvin
o
k_
s
ummate: correct opt
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoolaege
Do
c
u
me
n
t Eule
r
-Maclau
r
i
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
do
c
: change example envir
o
nme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
s
ome hidden sec
t
i
o
ns to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolae
g
e
doc: a
n
other
d
ocume
n
t
r
e
f
eri
n
g to the l
i
brary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
o
olaege
add some tests
for E
u
l
er-Ma
c
laurin ba
s
ed summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
Euler-Maclaurin base
d
summat
i
on
f
o
r 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
olaege
Euler-Macl
a
urin based su
m
m
ation f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
decomposer
.
cc
:
avo
i
d use of hal
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdo
o
laege
bar
v
inok_su
m
mate: verify sol
u
tion over whol
e
pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdo
o
laege
introduc
e
barvino
k
_su
m
mat
e
as
a
w
rapper for eval
u
e_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
a
dd evalue
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}: handle some trivial ca
s
e
s
mo
r
e
e
fficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
lattice_point: e
x
port frac
t
i
ona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoo
l
aege
evalue
.
c: extract
co
m
mon code f
o
r const
r
ucti
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
v
o
lu
m
e
.
c: e
x
por
t
Param_Polyhe
d
ron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add e
v
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
l
aeg
e
fix typ
e
of evalue_polynomi
a
l ar
g
u
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
ege
supp
o
rt
c
om
p
utation of Bern
o
u
lli
p
o
lynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
separate comp
u
tatio
n
of Bernoul
l
i coe
f
ficien
t
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
lattice_point: use Para
m
_Vertex_Common_Denom
i
nato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
ma
k
e
d
ecomposer
.
h se
l
f
-
contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
red
u
ce_d
o
main: avoid use of macr
o
parameter with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
export evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use piplib
d
urin
g
basi
s
reducti
o
n i
f
no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
aege
Use bund
l
ed
p
iplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
ad
d
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e bund
l
ed Pol
y
Lib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
yli
b
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaeg
e
bernstein
:
a
llow link
i
ng
a
gai
n
st uni
n
stal
l
ed,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olaege
add more
missing assert
.
h #include
s
commit
|
commitdiff
|
tree
next