Looked at the original makefile for bliss. Apparently if you stick to default libbliss.a there is no gmp in it. libbliss_gmp.a would have gmp in it. That being said strange stuff can occasionally happen.
François > On 13/12/2015, at 10:24, Dima Pasechnik <dimp...@gmail.com> wrote: > > > > On Saturday, 12 December 2015 19:11:48 UTC, François wrote: > > > On 13/12/2015, at 04:07, Dima Pasechnik <dim...@gmail.com> wrote: > > > > > > > > On Saturday, 12 December 2015 06:08:29 UTC, Jori Mäntysalo wrote: > > Can someone confirm this? With bliss installed > > > > points = [(1,0,0), (0,1,0), (0,0,1), (0,0,0), (1,1,0), (1,0,1), (0,1,1), > > (1,1,1)] > > p = LatticePolytope(points) > > p.face_lattice().canonical_label() > > > > works for me on Sage 6.10.rc0 with bliss installed: > > > > sage: points = [(1,0,0), (0,1,0), (0,0,1), (0,0,0), (1,1,0), (1,0,1), > > (0,1,1), (1,1,1)] > > sage: p = LatticePolytope(points) > > sage: p.face_lattice().canonical_label() > > Finite poset containing 28 elements with distinguished linear extension > > > > this is on Ubuntu 14.04, x86_64; I don't know how to tell whether is uses > > system-wide GMP or Sage's MPIR. > > > > > > ./sage -sh ldd -r local/lib/libbliss.so > > if gmp from the system or mpir from sage is used you will know > from the output. > > $ sage -sh ldd -r local/lib/libbliss.so > ldd: local/lib/libbliss.so: No such file or directory > > indeed, it's static library for me: > > $ ls -l local/lib/*blis* > -rw-rw-r-- 1 dima dima 3123674 Nov 10 12:28 local/lib/libbliss.a > > In fact, spkg-install says: > > $MAKE && cp libbliss.a "$SAGE_LOCAL/lib" && cp *.hh "$SAGE_LOCAL/include" > > so I don't get how you have gotten libbliss.so... > My bliss version is 0.73. > > > François > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
