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
add more missing assert.h #includes
2007-11-17
S
ven Ver
d
oolaege
add mor
e
missing
as
s
ert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ev
a
lue
.
c: add missing includ
e
of
a
l
l
oca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Ver
d
oolaege
configure
.
in: pass path of GMP insta
l
lation
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
erdoolaege
conf
i
gure
.
i
n
: only co
m
p
i
l
e lib
b
arvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyh
e
dr
o
n
_
Reduced_Basis:
d
on't
stop t
o
o
early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
laege
c
o
m
p
ut
e
_width_direct
i
ons: on
l
y keep l
i
st o
f
d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
V
erdoolaege
zs
o
lve: do
n
't i
n
stall li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
version
.
c: sh
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oola
e
ge
co
n
figure
.
in: don'
t
se
t
with_{poly,pip}lib_pre
f
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doolaege
P
o
lyhedron_Sample:
be sati
s
fied with
a
re
a
sonable choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_integ
e
r_hull: optio
n
ally pri
n
t
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reduction: keep track of
n
umber
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
options: m
o
ve --p
r
int-stats
to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bernstein:
r
ework testing
f
r
amework
to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bernstein: a
d
d pie
c
e
w
ise_lst::i
s
_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
su
p
port n
e
w
e
r versions
o
f GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoola
e
ge
standard_co
n
s
traints: mov
e
from
t
opcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
olaege
p
o
l
y
s
ign
.
h:
remove
d
ependency on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
zsolve: add banne
r
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verd
o
olaege
Polyhedron_Lattice_Width_D
i
rect
i
ons: p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
s
i
s_
r
ed
u
ction_pi
p
:
a
bo
r
t on
invalid
(
empty) i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain how to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verd
o
olaege
doc: document
l
a
t
ti
c
e
w
idth comput
a
ti
o
n
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoolaege
s
ome lattice wi
d
th tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
Polyhe
d
ro
n
_
L
attice_Width
:
deci
d
e
on face
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
rdoolaege
add Polyhed
r
on_Latti
c
e_Width for co
m
puting la
t
ti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
hilb
e
rt
.
c: a
d
d Cone_Int
e
ger_Hull
for computing ve
r
ti
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n: add pip-backe
d
version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
eg
e
polysi
g
n: add constraints_op
t
to
c
omput
e
o
pt
i
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign_cdd: switch to use
o
f M
a
trix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
dool
a
e
g
e
polysign_glpk
:
switch t
o
u
se of Matrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
doc: do
c
u
m
ent comput
a
tion o
f
Hilbert bas
i
s of
a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
Con
e
_Hilbert_Basis: use stand
a
rd_c
o
n
s
t
raint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
Use zsolve to compu
t
e Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
eg
e
z
so
l
ve: don'
t
install h
e
a
d
ers
and
e
xecutab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve: initialize BackupT
i
me in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve: zsolveSys
t
em: add mi
s
sing verbo
s
ity
c
heck
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
e
ge
z
s
ol
v
e: o
v
erride LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
add
4ti2-1
.
3
.
1+autoconf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
add zsol
v
e
f
rom 4ti
2
-
1
.
3
.
1+a
u
to
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c
:
e
xport bit_ve
c
tor_count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
topco
m
.
c: extract part
o
f
c
o
d
e for setting
u
p standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaege
gen_
f
un::Hadamard_product:
p
rint pro
g
ress in
d
ica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
move --verbose option
t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::s
u
mmate: handle full speci
a
li
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace incremental infinite se
t
counter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ma
k
e
counter::
a
d
d
_falling_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaeg
e
merge
(
m
ost of) common par
t
of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
icounter:
h
andle specialization of poly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
icoun
t
er: don't both
e
r
"no
r
maliz
i
ng" t
h
e exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
ex
p
ort n
e
g_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laeg
e
basis_reduction_cdd: ch
e
ck for
p
o
s
sibly incorr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
P
o
lyhedron_Sample:
h
a
n
dle polyhedron be
c
oming
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
g
e
n_f
u
n::
o
perato
r
eva
l
ue
*
:
al
w
ays r
e
tur
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fu
n
::
o
per
a
tor evalue
*
:
rem
o
ve
c
ommen
t
e
d
out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
oo
l
aege
barvin
o
k_enu
m
erate_e
.
cc: hand
l
e
verification
o
f
p
roblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
v
i
nok_
e
n
ume
r
ate_e:
optiona
l
ly pri
n
t
stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdo
o
laege
ba
r
vinok_enu
m
er
a
te_e: s
u
ppo
r
t veri
f
i
cation
o
f gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barv
i
nok_enumerate_e:
support conversion of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
l
attice_poi
n
ts: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
l
attice_poin
t
s_fixed:
n
ano-op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdo
o
laege
gen_f
u
n::add: context
of sum should be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_en
u
merate: use verify infras
t
ructu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
f
un
.
cc: pri
n
t_power: drop
spa
c
es around "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
count_points_e:
fall
b
ack to cou
n
t_points
if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Makef
i
le
.
am: c
h
e
ck-evalue: pr
i
nt
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_print helper
function
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ge
n
_
f
un: make s
u
re co
n
t
ext
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
reducer::redu
c
e: c
a
no
n
icalize c
o
efficients
i
n e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
hort_rat::
p
rint: correctly print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
ege
barvino
k
_series: recheck
f
or
e
qualiti
e
s after computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
e
xpor
t
Matri
x
_Read
for readi
n
g Matrix
from a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
p
aram_util
.
c: add Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
util
.
c
:
support
i
ng
_
cons
t
raint
s
:
re
t
urn bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
p
o
lylib: update
for M
a
trix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
options
.
c: use Polyhedron_Samp
l
e for cou
n
t
ing i
n
fi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
keep track of
a
n
d
use satur
a
ting constraints in Param
_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
m
o
ve valu
e
_g
c
d and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
Be
r
no
u
l
l
i_sum_ev
a
lue:
o
nly c
o
mpute
exact sum
if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Be
r
noulli_su
m
_evalue:
s
u
m over
v
ari
a
bles with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c
:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
Polyhedron_ExchangeColumns: n
o
rma
l
ize constr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
export Polyhedr
o
n_E
x
changeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue_pol
y
nomia
l
:
o
ptimize evaluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: emul: handle
an
o
ther speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
e
a
d
d: hand
l
e some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
la
e
ge
introduce and use evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
evalue
.
c:
eadd
:
micro-optimize ad
d
i
t
ion of two
rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
setting
a
n
approxi
m
ation me
t
hod now im
p
l
i
e
s
p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
doolaege
barvi
n
ok_sum
m
a
te: op
t
ionally use Bernoulli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoull
i
_sum_evalue: use evalue_from_s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
b
a
rvinok/polylib
.
h
:
remove compa
t
ibility
with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
dool
a
ege
move Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
polytope
_
s
c
a
n
:
reenable --d
i
rect opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
re
m
ove_al
l
_equalities: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oola
e
ge
remove_
a
ll_equal
i
ties: hand
l
e empty
p
o
lyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Ve
r
doolaege
remove_all_
e
q
ua
l
ities: m
i
nor code c
l
ean
-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
export Polyhedron
_
M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdoolaege
polar_signe
d
_cone_consumer:
c
lean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
next