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
verify.c: evalue_optimum: allow computation of optimum in 0D domain
2007-11-21
Sven
V
e
rdoolaege
Possible optimizations f
o
r generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
Support use of
g
eneralize
d
ba
s
i
s
reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaege
add
Polyhedron_Integer
_
Minimum
for computing the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
genera
l
ize
d
basis re
d
u
ction based
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
/
barvinok
.
bib: ad
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
V
er
d
oola
e
ge
add more missing
a
ssert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
r
doolaege
evalue
.
c: add mis
s
i
ng include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
do
o
laege
con
f
igure
.
in: pass path of GMP instal
l
ation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
ool
a
e
ge
configure
.
i
n
:
o
nly c
o
m
p
i
le libbarvin
o
k as a
s
tat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
ge
Poly
h
edron_Redu
c
e
d
_
B
a
s
is: don't stop too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoo
l
aege
compute_width_d
i
rect
i
o
ns: on
l
y kee
p
l
i
s
t of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don
'
t ins
t
all l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
oolaege
version
.
c: show u
s
e
of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
laege
confi
g
ure
.
in:
d
on'
t
se
t
with_{poly,pip}li
b
_
p
refi
x
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be satisfied wi
t
h a reasonab
l
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
o
laege
c
one_
i
ntege
r
_hull: optionally print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
bas
i
s_reduct
i
on: keep tra
c
k of number of LP
s
so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
oolaege
o
p
tions: m
o
ve --print
-
s
t
ats to
libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
ber
n
s
tein: r
e
work
t
e
stin
g
framewo
r
k to not
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
bernstein: add piecewise
_
lst::is_e
q
u
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
sup
p
ort newer version
s
of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
standar
d
_const
r
aints: move
from topcom
.
c
to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaeg
e
p
olysign
.
h: r
e
m
o
ve
dependency on
l
e
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
ool
a
e
ge
zsolve: a
d
d banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
Polyhedron_Lattice_Width_D
i
rections:
print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olae
g
e
basis_reduction_pip: abor
t
o
n
invalid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verd
o
olaege
README: explain how to
g
et
s
ub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdo
o
lae
g
e
d
oc:
document lattice w
i
dth co
m
put
a
t
i
on
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
some l
a
ttice width t
e
s
ts
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdool
a
ege
P
olyhedron_Latt
i
ce_
W
idt
h
:
decide on
f
acets to cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedr
o
n_
L
attice_Wi
d
th
for c
o
mputing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
r
doolaege
hilb
e
rt
.
c: add C
o
ne_I
n
t
e
ger_Hull for c
o
m
p
uting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysign:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolae
g
e
poly
s
ign:
add cons
t
rain
t
s_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_c
d
d
:
s
wi
t
ch to use
o
f Matrix
r
epres
e
nt
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaeg
e
poly
s
i
g
n_glpk
:
swi
t
ch to us
e
of Matrix re
p
rese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
doc:
d
ocument computation of Hi
l
ber
t
basis of
a
co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone
_
Hilbert_Ba
s
is: use stand
a
rd_con
s
t
raints
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to comp
u
t
e
H
ilbert
bas
i
s o
f
a c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
ompile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
z
s
olve
:
don't ins
t
all h
e
ad
e
rs an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve: initialize
Back
u
p
T
ime i
n
ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSystem:
ad
d
mi
s
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsolve: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
ege
a
d
d 4ti2-
1
.
3
.
1
+
autoconf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verd
o
olaege
add zsolve from 4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laeg
e
param_util
.
c
: exp
o
rt bi
t
_
vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c
: extra
c
t part of
c
ode for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven Verdoolaege
gen_f
u
n
:
:Hadamar
d
_product: print progress
in
d
ica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven V
e
rdoolaeg
e
move --ver
b
ose optio
n
t
o
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
ola
e
ge
gen
_
fun
:
:summate: handle full s
p
eciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
Replace incremental infin
i
te
s
e
t
counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
make counter::ad
d
_falling_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
dool
a
ege
m
e
r
g
e (most of
)
common part of
c
ount
e
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icounter: handl
e
specia
l
i
za
t
ion of
p
ol
y
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ic
o
unter: don't bot
h
er "normalizin
g
" the exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
export neg_
l
e
f
t
_he
r
m
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
a
ege
b
a
s
is_
r
educti
o
n_cdd: check for possib
l
y
incorrec
t
outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
Polyhedron_Sa
m
ple: h
a
n
dle poly
h
edron
becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
gen_fun::
o
p
er
a
tor evalue *
:
always retur
n
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ge
n
_fun
:
:operator e
v
alue *:
r
emove commented
o
u
t
de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
ba
r
vinok_
e
n
u
merate_e
.
cc: han
d
le
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
eg
e
ba
r
v
inok_enum
e
r
a
te_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate_e: sup
p
ort verification of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
g
e
barv
i
n
o
k_e
n
umerate
_
e: supp
o
r
t
c
onversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_po
i
nt
s
:
another m
i
cro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
l
a
ttice_poi
n
ts_fixed: nan
o
-
o
pt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
g
e
n_fun::ad
d
: context of sum shoul
d
b
e
un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
barv
i
nok_enumera
t
e:
use verify infrastruct
u
re
f
o
r
v
eri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc:
p
rint_power: drop
s
pac
e
s a
r
ound "/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
l
aege
count_points_
e
: fa
l
l back t
o
c
o
unt_points if
th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
ae
g
e
Makefile
.
am: che
c
k-
e
value:
pri
n
t nam
e
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
laeg
e
verif
y
: add check_poly_print helper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
gen_fun: make sure con
t
ext is a
l
ways s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
reducer::
r
educe
:
canonicalize coeffici
e
nts in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
shor
t
_rat::print: correctly print out
t
e
rms
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
a
r
v
inok
_
series: reche
c
k
fo
r
equaliti
e
s af
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
ex
p
o
r
t Matr
i
x_Rea
d
for
r
ead
i
ng Matrix from
a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
param_util
.
c: ad
d
Param_
V
ertex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
util
.
c
:
s
upp
o
rting_co
n
stra
i
nts: retur
n
bit ve
c
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
p
o
lylib: updat
e
for Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
options
.
c:
u
se
Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
keep track of and use saturating constraints in Param_P
o
lyhe
d
r
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rd
o
o
laege
move value_gcd and value
_
lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoulli_su
m
_
e
value: on
l
y co
m
pu
t
e exact
s
um
i
f ap
p
roximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
er
n
oul
l
i_sum_eva
l
ue:
sum over variables wit
h
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eva
l
ue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
P
o
l
y
hedron_Exchan
g
eColumns: n
o
rmalize const
r
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort Polyhedron_ExchangeC
o
lum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
evalue_p
o
ly
n
o
mi
a
l: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalue
.
c: emul: handle anot
h
e
r
special
cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ev
a
l
u
e
.
c
: ea
d
d: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
introduce and use e
v
alue_
f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: eadd: micro-optimize additi
o
n
of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an appro
x
imation method
n
o
w implies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
laege
barvin
o
k
_
summate: option
a
lly
use Bernoull
i
/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oola
e
ge
Bernoulli_sum_evalu
e
: use evalue_from_sec
t
io
n
_
a
rr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
bar
v
inok/p
o
lylib
.
h: remove co
m
p
a
t
i
b
ility
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
move Vect
o
r_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
polytope_scan: reenable --d
i
r
e
ct op
t
ion
commit
|
commitdiff
|
tree
next