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
polysign_cdd: switch to use of Matrix representation internally
2007-10-31
Sv
e
n
Verdoolaege
polysign
_
cdd
:
switch to use of
Matrix re
p
resen
t
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lys
i
gn_glpk: switch to use
of Ma
t
rix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
docume
n
t computati
o
n of
H
ilbe
r
t basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
ol
a
e
g
e
Cone
_
H
i
lbe
r
t
_Basis: use standa
r
d_constraints
t
o a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
Use zsolve to compu
t
e Hilber
t
bas
i
s of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
laege
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
zsolve: don't install hea
d
ers
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsol
v
e: initial
i
ze Backup
T
im
e
in Z
S
o
l
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: zsolv
e
System: add miss
i
ng verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: overrid
e
LIBS f
r
o
m
top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+aut
o
conf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Ve
r
dool
a
ege
add zsolve from 4ti2
-
1
.
3
.
1+auto
c
onf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: export
bit_vecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
r
d
oolaege
topcom
.
c:
e
xtract par
t
of
c
ode for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven Verdoolaege
gen_f
u
n::Hadamard_product:
print pr
o
g
r
ess ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
m
ove --verbose
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
gen_fun::summate: h
a
ndle
f
ull specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
Replace inc
r
emental infinite set cou
n
t
er by "r
e
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
m
a
ke counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merg
e
(most of) comm
o
n part of counter and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
ico
u
nter: ha
n
dle
s
p
ecialization o
f
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: don't bother "norm
a
l
izing" the expon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
x
po
r
t ne
g
_left_h
e
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
b
a
sis
_
reduction_cdd: check for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Polyhedron_Sample: hand
l
e
p
o
l
yhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ge
n
_fun::operato
r
evalue *: alw
a
ys return a
v
a
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
g
e
n_fun::ope
r
ator evalue *: remove commented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvi
n
ok_enume
r
a
t
e_e
.
cc: han
d
l
e
v
e
r
i
fic
a
t
i
on
of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate_e: optional
l
y pri
n
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_e
n
um
e
rate_e:
sup
p
ort
v
er
i
fica
t
ion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvino
k
_enu
m
e
r
a
t
e
_e: suppor
t
conversion o
f
gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
lattice_poin
t
s: another micro-optimi
z
atio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
lattice
_
poin
t
s_fi
x
e
d
: nan
o
-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen_fu
n
::add: cont
e
x
t o
f
sum should be union of conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enume
r
ate: us
e
v
e
r
ify infrastructure fo
r
v
e
rifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genf
u
n
.
cc: print_power
:
drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
coun
t
_points
_
e: f
a
ll back to count_points if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Make
f
ile
.
am: check-evalue: print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
verify: add che
c
k_poly_print h
e
lper
f
un
c
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make sure conte
x
t is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
redu
c
er::red
u
c
e
: canonicalize coefficients
in
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
short_rat::print: correct
l
y print out t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
barvinok_serie
s
:
rec
h
eck for equalities a
f
te
r
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolae
g
e
export
M
atrix_Read
f
or r
e
ading Ma
t
rix fr
o
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
param_ut
i
l
.
c:
add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoola
e
g
e
u
til
.
c: supporti
n
g
_constraints: retur
n
b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polylib: update
for Matr
i
x
_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
eg
e
opt
i
ons
.
c: use P
o
lyh
e
d
ron_Sample for coun
t
ing infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track
o
f
and use saturating
c
ons
t
raints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
move value_gcd and value
_
lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
d
oolaege
Ber
n
o
ul
l
i_s
u
m_eva
l
u
e: only compute exact sum if a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Berno
u
lli
_
sum_eva
l
ue: sum
over varia
b
les
w
ith int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
e
valu
e
.
c: e
x
port
e
value_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhedron
_
Exch
a
ngeColumns: normalize co
n
straints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
e
xport P
o
l
y
hedro
n
_
E
x
chang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polyno
m
ial:
optimize evaluation
in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolae
g
e
e
value
.
c: e
m
ul:
h
andle
another s
p
ecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: eadd:
handle some spe
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
introduce and us
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
eva
l
ue
.
c
: eadd: micro-optimiz
e
a
ddition of two
ra
t
ion
a
ls
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
s
e
tting an approxima
t
ion method now im
p
lies p
o
l
y
n
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_summate: opt
i
o
nal
l
y
u
s
e
Bernoulli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoulli_sum
_
evalue: us
e
evalue_from_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
a
rvinok/polylib
.
h:
r
emove
compatibility with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move Vector_Op
p
ose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
polytope_s
c
an
:
reenable --
d
irect optio
n
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n
Verdoolaege
remove
_
all_eq
u
alities: kee
p
removing equ
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ver
d
oolaege
r
e
m
o
ve_all
_
equalities: han
d
le
em
p
ty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolae
g
e
remove_all_e
q
ualit
i
e
s:
minor code cl
e
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
Verdoola
e
g
e
ex
p
ort
P
oly
h
edro
n
_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verd
o
olaege
polar
_
signed
_
c
o
ne_con
s
umer: clean up memory on inap
p
ro
p
ria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoola
e
ge
Param_
I
nner_
P
roduct: fix
use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolaege
do
c
:
f
ix typo in Michele
Vergn
e
's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verdoolaege
Add missing files
f
rom polymake client to distr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gm
p
'
s gcd rath
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
polym
a
ke/RE
A
D
M
E: mention --with-barvinok conf
i
g
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
er
d
oolaege
polym
a
ke/Makefile
.
in: add work-around for
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
er
d
oolaege
evalue
.
c
:
print_
e
va
l
ue: always p
r
i
n
t newline at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n Verdoola
e
ge
options
.
c: fix
t
ypo in --a
p
proximation-method description
commit
|
commitdiff
|
tree
2007-09-15
S
ven
V
erdo
o
laege
topcom: fix heuristi
c
fo
r
s
e
lectin
g
rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvi
n
ok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ver
d
oolaege
M
erge branch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdoola
e
ge
Document TOPC
O
M based c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
aege
test
T
O
PCO
M
chamber decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
laege
Option
a
lly us
e
TOPCOM to comp
u
te cha
m
ber decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lex
m
in: add (protected) missing al
g
orit
h
m incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Mak
e
file
.
am: add target for creating d
i
st w
i
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc
:
u
p
date vot
i
ng theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
olaege
document barvinok_su
m
ma
t
e
a
nd b
a
rvinok_m
a
ximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaeg
e
doc:
cons
i
stent us
e
of Barvinok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
barvinok_summ
a
te:
c
orrect opt
i
ons
de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Docu
m
ent Euler-M
a
cl
a
urin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
d
o
c
:
change example environmen
t
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdo
o
laege
doc: add
s
o
me hidden sections to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
a
n
oth
e
r docume
n
t r
e
fering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoola
e
g
e
a
dd som
e
test
s
for
E
ul
e
r-Macla
u
r
in ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin b
a
sed
summation for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Eule
r
-M
a
claurin
base
d
summation
f
o
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decomposer
.
cc: a
v
oid use of half-o
p
en cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bar
v
i
nok_su
m
mate: verify solut
i
on
over whole param
e
ter
.
.
.
commit
|
commitdiff
|
tree
next