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
Use zsolve to compute Hilbert basis of a cone
2007-10-31
Sve
n
Verdoolaege
Use zsolve to comput
e
Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
compil
e
zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
z
s
olv
e
: d
o
n't install hea
d
ers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: initiali
z
e Ba
c
kup
T
ime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oola
e
ge
zsol
v
e:
z
solveSys
t
em:
add missing
verbosity c
h
ec
k
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
zsolve: ove
r
r
ide
L
IBS
f
rom
t
op
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
a
dd 4
t
i
2
-1
.
3
.
1
+
autoconf-0
.
1
b
ann
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add
z
s
olv
e
fro
m
4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoola
e
g
e
param
_
util
.
c: export
b
it_vecto
r
_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
to
p
c
o
m
.
c: ex
t
r
a
ct part of code for settin
g
up
s
tand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
gen_fun::Hadamard_product: pri
n
t prog
r
es
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Ve
r
do
o
lae
g
e
move --ve
r
b
ose o
p
tion
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: handle
full
sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
ege
Replace incremental
i
nfi
n
ite
set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
e
ge
make count
e
r
::add_falling_
p
o
wers
s
tati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most
o
f) common part of c
o
unter
a
nd tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
icounter: hand
l
e specialization of p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
co
u
nter: don't bo
t
her "nor
m
alizin
g
"
the
e
xp
o
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
ex
p
ort neg_left_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduct
i
on_cdd:
c
heck
for
p
ossibly inco
r
rect out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
Polyhedr
o
n_Sam
p
l
e
:
handle polyh
e
dron becoming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
gen
_
fun::op
e
rator
evalue *: alway
s
return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
g
e
n
_
fun::operator
e
value
*: remov
e
commented out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
d
oolaege
barvi
n
ok_e
n
umerate
_
e
.
c
c
: handle verifi
c
at
i
on
of probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok_
e
n
u
merate_e: optionally
p
r
i
n
t s
t
a
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
dool
a
ege
barvinok_
e
n
u
m
e
r
ate_e: suppor
t
verification of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
bar
v
inok_
e
numera
t
e
_e: su
p
po
r
t conversion o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaeg
e
lattice_
p
oints: ano
t
her
micro-o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lat
t
ice_po
i
nts_fixed: nano-op
t
i
miza
t
io
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
gen_f
u
n::a
d
d: cont
e
xt of sum s
h
o
u
ld be union
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ve
r
doolaege
barvinok
_
enumera
t
e: use verify i
n
frastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doo
l
aege
genfun
.
cc: print_power: drop spaces
aro
u
nd "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolae
g
e
count_points_e: fall
b
ack to count_
p
oints i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Ma
k
efile
.
am:
c
heck-e
v
alue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rify: add ch
e
ck_p
o
ly_print
h
e
lper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun: make sure context
i
s always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
reduc
e
r::reduce: canonicalize coef
f
icients
in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
s
hort_rat::print:
correctly p
r
int
o
u
t
ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_series: r
e
c
h
eck for equal
i
ties a
f
ter compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
e
x
port Matrix_Read for reading Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
param_util
.
c: add Param_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_constraints: r
e
turn bi
t
vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
po
l
yli
b
:
up
d
a
te for
Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
ol
a
ege
options
.
c
:
use Polyhedron_Sample for coun
t
ing infi
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of an
d
use satura
t
ing constraints in
Param_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move value_gcd and value_lcm to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_ev
a
lu
e
: only comp
u
te
e
xact s
u
m i
f
approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
B
ernoulli_sum_evalue: s
u
m over varia
b
les
with
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoo
l
aege
eva
l
ue
.
c:
e
xport eval
u
e
_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
Polyhedron_E
x
c
h
angeColum
n
s: normal
i
ze constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
r
t
P
o
lyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
evalue_polynomial: optim
i
ze evaluati
o
n
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
e
ge
evalue
.
c:
emul: handle another spec
i
a
l
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
eva
l
ue
.
c: eadd: handle some sp
e
cial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
in
t
roduce and use
e
value_free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaeg
e
e
value
.
c: ead
d
: micro-optim
i
ze
a
ddition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an app
r
oximation method
n
ow
implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
barvi
n
ok_su
m
mate:
optionally
use Be
r
noulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolaege
Bernou
l
li_sum_e
v
alue: use evalue_from_section_a
r
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/po
l
y
lib
.
h
:
r
emove compatibility w
i
th
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
mov
e
Vec
t
or_Oppose to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
polytope_scan: reenabl
e
--
d
irect o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
V
erdoolaege
re
m
ove_a
l
l_equalities:
keep removing equ
a
li
t
ies u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdool
a
ege
remove_all_
e
q
u
alities: handle empty polyhedron
d
et
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoo
l
aege
remove_all_eq
u
alities: minor
co
d
e c
l
e
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
e
x
port P
o
lyhe
d
ron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Verdoolaege
p
o
la
r
_signed
_
cone_consumer:
c
le
a
n up memor
y
on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
ara
m
_Inner_Prod
u
ct: fix use of va
l
ue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdo
o
l
a
e
g
e
doc
:
fix t
y
po in
M
ic
h
ele Vergne
'
s n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing files from polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use g
m
p's gcd rather
t
han PolyLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
p
olymak
e
/
R
E
ADM
E
: me
n
ti
o
n --with-
b
arvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
oolaege
polymake/Makefil
e
.
in: add
w
ork-around
for polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoola
e
ge
e
v
a
lue
.
c: print_eval
u
e: always print
newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
V
e
rdo
o
laege
op
t
ions
.
c:
f
ix typo in --approximation-method desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n
Ve
r
dool
a
ege
topcom: fix
he
u
ristic for selecting rows
to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
la
e
ge
b
a
rvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branc
h
'
t
opcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Document TOPCOM based chambe
r
deco
m
po
s
it
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOP
C
OM chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Optionall
y
u
s
e TOPC
O
M
to com
p
ute ch
a
mbe
r
decomposi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
l
exm
i
n:
a
dd (p
r
otected) missing algorithm
i
nc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoola
e
ge
M
akefile
.
am:
add target for creating dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
u
pda
t
e voti
n
g the
o
ry
refe
r
enc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
docu
m
ent bar
v
i
n
ok_summat
e
and barvinok_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consi
s
t
e
n
t use of Barvino
k
'
s
initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
bar
v
i
n
ok
_
summate:
correct op
t
ions description
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoo
l
aege
Docum
e
nt
E
u
ler-
M
aclaurin based s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
doc: c
h
ang
e
e
x
amp
l
e environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdo
o
laege
doc: add some hidden
s
e
c
tions to
t
able
of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: anot
h
er doc
u
m
e
nt refering to the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
add some
t
e
s
ts for Euler-Ma
c
laur
i
n
b
ased
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
Euler-Mac
l
aurin based summat
i
on f
o
r 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Euler-
M
aclaur
i
n based summation for 2D
p
roblems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
e
g
e
d
e
c
omposer
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvino
k
_summate:
v
erify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
doolaege
intr
o
duce barvinok_summate as a
w
rapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
ev
a
lu
e
_{div,mul}: han
d
le so
m
e triv
i
al
cases mor
e
effi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
l
a
ttice_po
i
nt: expo
r
t
fractional_part
commit
|
commitdiff
|
tree
next