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
Support use of generalized basis reduction to compute integer hulls
2007-11-21
Sven Verdoo
l
aege
Support
u
s
e
o
f g
e
neralized basis r
e
duction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoo
l
aege
add Polyhedron_
I
nteger_Minimum for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
l
a
ege
doc: d
o
cumen
t
gener
a
lized basis reduction b
a
sed inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc/
b
arvinok
.
b
i
b: add mi
s
s
i
ng
s
trin
g
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
add more missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oola
e
ge
ev
a
lue
.
c: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
con
f
igure
.
in: pass path of GMP i
n
sta
l
latio
n
to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
config
u
re
.
in: only compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
laege
P
o
l
yhedron
_
Reduced_Basis: do
n
't stop too
e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ver
d
o
olaege
com
p
ute_width_d
i
rect
i
ons
:
only keep list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't
i
nst
a
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
ion
.
c: show
us
e
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verd
o
olaege
c
onfigure
.
in:
d
on't set with_{poly,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaege
P
o
lyhe
d
ron_Sample: be sati
s
fi
e
d with a
reas
o
nable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_integer_hull: optionally p
r
int
stats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
bas
i
s
_
r
e
duction: keep track of num
b
er of LPs
s
olv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
oo
l
a
e
ge
options: mov
e
--p
r
int-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernst
e
in:
r
ewo
r
k t
e
sting framework to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add piecewi
s
e
_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
s
uppo
r
t
newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
aege
st
a
ndard_
c
onstraints: move from
topc
o
m
.
c
to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
polysign
.
h: rem
o
ve de
p
e
ndency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
zso
l
ve
:
add banner
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doo
l
aege
Poly
h
edron_Lattice_
W
idth_Directions: print pr
o
gr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
b
a
s
i
s_reduction_pip: abort
on invalid (e
m
pty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erd
o
o
laege
R
EADME: exp
l
ai
n
ho
w
t
o get su
b
m
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
V
e
rdoolaege
doc: document lat
t
ice width computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verd
o
olaege
so
m
e
lattice wi
d
th tests
f
rom Jon Ya
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
V
e
rd
o
olaeg
e
Polyhedr
o
n
_
Lattice_Width: d
e
c
i
d
e on face
t
s
to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
ge
add Polyhedron
_
Lattice_Width for
c
o
mputi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
hilbert
.
c
:
add
C
one_Integer_Hull
for
computing vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
polysign: a
d
d pip-back
e
d versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
p
o
l
ysign: add co
n
s
t
raints
_
opt to
compute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
ol
a
e
g
e
polys
i
gn_cd
d
: switc
h
to
use of M
a
trix r
e
presenta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n_g
l
pk:
s
witch
t
o
use of Mat
r
ix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdool
a
ege
do
c
:
d
ocu
m
ent computation of Hilbert bas
i
s of
a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Cone_Hilb
e
r
t
_Basis: use s
t
andard_constrain
t
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaeg
e
U
s
e zsolve to compute Hil
b
ert basis
of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
z
s
o
l
ve: ini
t
ialize BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdool
a
e
g
e
zsolve: zsolveSystem: add
m
issing ve
r
bosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
zs
o
l
v
e: override LIBS f
r
om top l
e
ve
l
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolae
g
e
add 4t
i
2-1
.
3
.
1
+
autoconf-0
.
1
banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
add
z
so
l
ve fr
o
m
4ti2-1
.
3
.
1
+
a
uto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolae
g
e
para
m
_util
.
c
: export bit_
v
ec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
topcom
.
c: extr
a
c
t
p
a
rt of code for
se
t
ting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun::Hadam
a
r
d
_
p
roduct:
p
rint prog
r
ess indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Verdoolaege
m
o
ve --verbose option to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laeg
e
gen
_
fun::summate: handle f
u
ll
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Replace
increment
a
l in
f
inite set
c
ounter
b
y "re
g
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
m
ake cou
n
ter::add_fal
l
ing_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge
(
most of) common part of counter an
d
t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
icounter:
h
a
ndle speciali
z
atio
n
o
f
po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter:
d
on't b
o
ther "
n
ormalizi
n
g" the e
x
pon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export neg_lef
t
_herm
i
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
b
a
s
is_reduction_cdd: check
f
or possibly inco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Polyhe
d
ron_Sample: handle polyhedron becomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
en_fun
:
:ope
r
ato
r
eva
l
ue *: always return a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
aeg
e
g
e
n_fun::oper
a
tor evalue *:
remo
v
e commented
o
ut debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
arvinok_
e
numerate_e
.
cc: handle verificat
i
o
n
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enu
m
erate_e: opt
i
onally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
barvinok_enumerate_e: suppo
r
t verification of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
barvi
n
ok_enumerate_
e
: supp
o
rt conv
e
r
s
ion
o
f genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
lattice
_
points: another
m
icro-
o
ptimiz
a
ti
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
a
eg
e
l
attice_p
o
i
n
t
s
_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
gen_fun::
a
d
d: context of sum
sh
o
uld be
union of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolae
g
e
b
a
rvinok_enume
r
ate: use verify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
g
e
n
fun
.
cc
:
print_power:
d
r
o
p spaces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
cou
n
t
_
p
o
ints_e: f
a
ll back to
c
o
unt_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoola
e
ge
M
a
kefi
l
e
.
am: check-ev
a
lue:
prin
t
name
o
f each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
veri
f
y
:
a
d
d
ch
e
ck_p
o
ly
_
print help
e
r fu
n
ction
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
gen_fun: make
sure c
o
ntext
is always
s
e
t
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
reducer::
r
educe: canonicaliz
e
coe
f
ficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
short_rat::pri
n
t: correc
t
ly print out te
r
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvino
k
_s
e
ries: rec
h
eck for equali
t
ies after
c
omputin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xpor
t
Matrix_
R
ead
for r
e
ading Matrix from
a
stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
param_util
.
c
:
add
P
aram_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
util
.
c
: su
p
porting_c
o
nstraints: re
t
urn b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaeg
e
polylib: update
for Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
doo
l
aege
opt
i
o
ns
.
c
: use
P
ol
y
hed
r
on
_
S
a
mple for
c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
k
e
e
p track of and use saturating const
r
aints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verd
o
olaege
move value_g
c
d and value_l
c
m to
poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
Bern
o
ulli_sum_evalue: only compute exac
t
sum
i
f approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_e
v
a
l
u
e
: sum over var
i
able
s
with
in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laeg
e
ev
a
lue
.
c:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
P
o
lyhedron_ExchangeColumns:
n
o
rmaliz
e
cons
t
raints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
e
x
por
t
Pol
y
h
edron_Exchan
g
eColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
evalue
_
pol
y
nom
i
al: opt
i
miz
e
evaluation in
z
e
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
: emul: hand
l
e another
s
pecial case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
evalue
.
c
:
ead
d
: handle some special case
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
in
t
roduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c:
eadd:
m
i
c
ro-optimize addition of two rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
setting an approximation m
e
thod now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_summate: optionally u
s
e Ber
n
oulli/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
B
e
r
n
oulli_sum_evalue: u
s
e evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barv
i
n
o
k/polyl
i
b
.
h: remov
e
c
o
mpatibility
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
g
e
move Vector_Oppos
e
to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ver
d
oolaeg
e
poly
t
ope_
s
can: reenable --dir
e
c
t
o
ptio
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remo
v
e_all_e
q
ualities
:
ke
e
p removin
g
equalities until
.
.
.
commit
|
commitdiff
|
tree
next