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
doc/barvinok.bib: add missing string
2007-11-21
Sven Verd
o
olaege
doc/barvin
o
k
.
b
i
b: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add
mo
r
e
missin
g
assert
.
h #i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
evalue
.
c
:
a
dd
miss
i
ng
includ
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
confi
g
ure
.
i
n
: pa
s
s
pa
t
h
o
f
GMP installatio
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
conf
i
gure
.
in:
o
nly compile libbarvinok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
do
o
laege
Polyhedro
n
_
R
educed_Basis: don't
s
top too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdo
o
laege
c
o
mpu
t
e_widt
h
_directions: only
k
eep
list of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
z
solve: don't ins
t
all lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
erdoolae
g
e
ver
s
ion
.
c: show use
of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
configure
.
in: don't set wit
h
_{
p
oly,p
i
p}li
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Poly
h
edron_Sam
p
le: be satisfied wit
h
a reasonabl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
cone_
i
nteger_
h
ull: optionally pri
n
t st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
aege
ba
s
is
_
r
e
duction: kee
p
t
r
ack of num
b
e
r of L
P
s sol
v
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
o
p
t
ions: move --p
r
i
n
t-stats
to library
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
be
r
nst
e
in:
r
ework t
e
s
ting framework
to
n
ot depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add pie
c
e
w
ise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdool
a
e
ge
su
p
p
ort newer versions of GiNaC
(
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
rdoolaege
st
a
nd
a
rd_constraints: move
f
r
om
t
op
c
om
.
c t
o
polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdo
o
laege
p
oly
s
ign
.
h
:
remove de
p
endency
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
zsolv
e
: add bann
e
r
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n
Verdoolaege
Polyhedro
n
_Lattic
e
_Width_Di
r
ecti
o
ns: p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pip: abo
r
t o
n
invalid (empty) i
n
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
e
ge
READ
M
E: explain how
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
doc: doc
u
me
n
t lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
some
lattice
w
id
t
h tests from Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
Polyhedron_Lat
t
ice_Width: decide on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
a
d
d Polyhedr
o
n_Lattice_Width for computing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hilbert
.
c: add Cone_I
n
tege
r
_Hull for comp
u
t
ing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
polysign: add pip-ba
c
ked v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
polysign:
a
dd cons
t
r
aints_o
p
t to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
polys
i
g
n
_
c
dd: switch to
use
o
f
Matr
i
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
pol
y
sign_glpk: switc
h
to
use of
Matri
x
represen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document co
m
p
u
ta
t
ion
o
f H
i
lb
e
rt b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
C
o
ne
_
Hi
l
be
r
t_Bas
i
s: use standard
_
co
n
s
traints
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use
zsolve to comput
e
Hi
l
bert
basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaeg
e
co
m
pile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve:
d
on't in
s
tall hea
d
ers and
e
xecutable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
zsolve: initialize Bac
k
upTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsolve:
zsolveSystem: add missing
v
erbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
zsol
v
e: o
v
erride LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
add 4ti2-1
.
3
.
1
+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
add z
s
olve
fro
m
4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
para
m
_util
.
c: exp
o
rt bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
t
o
p
com
.
c:
e
xtract part of code for setting up stan
d
a
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolae
g
e
gen_
f
u
n
:
:
Hadamard_product: print p
r
ogres
s
i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
m
ove -
-
verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
erdo
o
laege
gen_fun::summ
a
te: handle full
s
pecializatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Repla
c
e
increme
n
tal
i
nfini
t
e set counter by
"
reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
make counter
:
:add_fall
i
ng
_
pow
e
rs st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
m
e
rge (mo
s
t
of) common pa
r
t of counter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
icounter: handle speciali
z
at
i
on of p
o
lyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
icou
n
ter:
d
on't bother "normalizin
g
" the e
x
pone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaeg
e
ex
p
ort neg_le
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_reductio
n
_cdd: check for possibly i
n
c
o
rrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
Polyhedron_S
a
mp
l
e: handle polyhe
d
ron becoming
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator e
v
alue *: a
l
ways
r
etu
r
n
a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
gen_fun::operator evalu
e
*: re
m
ove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enumer
a
te_e
.
cc: handle
v
e
rific
a
tio
n
o
f
pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
ba
r
vi
n
ok_enume
r
ate_
e
: optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
arvinok_enumer
a
t
e
_e
:
su
p
port v
e
rif
i
cation of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aeg
e
barvinok_enumerate_e: support co
n
version of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
l
at
t
ic
e
_
points: another mi
c
ro-optimi
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
l
a
t
t
ice_
p
oints_
f
ixe
d
: nan
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::add: co
n
tex
t
of sum
should be union of
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
barvinok_enumerate: use v
e
rify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolae
g
e
gen
f
un
.
cc:
prin
t
_
powe
r
: drop spaces around "/"
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
c
o
u
nt_poin
t
s_
e
: f
a
ll ba
c
k to count_points
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Makefile
.
am: c
h
e
ck-ev
a
lue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ver
i
fy: add ch
e
ck_p
o
ly_print helper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
g
e
n_
f
un: make sure cont
e
x
t is always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
re
d
uce
r
:
:
red
u
ce: canonical
i
ze coeffic
i
ents in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
short_
r
at::print: corr
e
ctly print out term
s
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
ool
a
ege
b
a
rv
i
nok_series: recheck for eq
u
al
i
ties af
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport Matrix_Read for reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
pa
r
am_util
.
c: add Param_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
util
.
c: suppo
r
ting
_
constraints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
pol
y
lib: update for
M
atrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
o
ptions
.
c: use Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
ke
e
p tra
c
k o
f
a
n
d
use saturating constraints in Param_Poly
h
ed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
mov
e
valu
e
_gcd and value_l
c
m to po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoulli_sum_
e
v
a
l
u
e: only c
o
m
p
u
t
e exact sum if
a
ppr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bernoulli_
s
um_evalue:
s
um
ov
e
r
variab
l
e
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laeg
e
eva
l
ue
.
c: export evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Polyhed
r
o
n_
E
xchang
e
Co
l
umns:
n
orma
l
ize
constra
i
nts a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Poly
h
edron_Exch
a
n
g
eColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
value_
p
o
lynomial:
o
pti
m
ize evalu
a
tion in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoo
l
aege
evalue
.
c: emul:
han
d
le another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
eval
u
e
.
c
:
eadd: handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introdu
c
e a
n
d use evalue_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
evalue
.
c: eadd:
m
icro-o
p
t
imize
a
dditi
o
n of
t
wo
r
at
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an
a
p
p
r
o
xi
m
ation method now
imp
l
ies pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
b
a
rv
i
nok_summa
t
e: option
a
lly
use Be
r
noulli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
Bernoull
i
_su
m
_
e
va
l
ue: use ev
a
lue_fr
o
m_secti
o
n_ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok/po
l
ylib
.
h: remove compa
t
ib
i
lity wit
h
ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
mov
e
Vec
t
or_O
p
pose
to
P
olyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
poly
t
op
e
_s
c
an
:
re
e
nable
-
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
remove_
a
ll_equalities: keep r
e
moving
equal
i
tie
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
eq
u
alities: handle empty
p
olyhedron
dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remove_all_eq
u
alities: minor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export
P
ol
y
hedron_Matrix
_
Vi
e
w
commit
|
commitdiff
|
tree
next