On Sun, Jan 18, 2015 at 5:44 PM, Volker Braun <[email protected]> wrote: > I can confirm the bug. Note that the output of "dodecahedron()" is not a > Polyhedron, its just a 3d graphics primitive: > > sage: type(dodecahedron()) > <type 'sage.plot.plot3d.index_face_set.IndexFaceSet'> > > vs: > > sage: type(polytopes.dodecahedron()) > <class > 'sage.geometry.polyhedron.backend_ppl.Polyhedra_QQ_ppl_with_category.element_class'> > > IMHO the current dodecahedron should just be deleted, or at least removed > from the global namespace.
It's been there since 2008, along with the other standard regular polytopes, including cube, icosahedron, tetrahedron, etc. Removing it would break all code that uses it. Before removal, it would have to be deprecated and go through the year+ deprecation time. -- William > > > > On Monday, January 19, 2015 at 1:28:11 AM UTC+1, Jonathan wrote: >> >> sage: DD=dodecahedron() >> sage: print "length of vertex list:"+str(len(DD.vertex_list())) >> length of vertex list:20 >> sage: DD.show() >> sage: print "length of vertex list:"+str(len(DD.vertex_list())) >> length of vertex list:60 >> >> >> >> Somehow the show command is causing the verticies to be appended to the >> vertex_list two extra times. If others can verify, I will report a bug and >> we can start looking for this... >> >> I've seen this on multiple running cases of 6.4.rc1 and 6.4. >> >> Thanks, >> Jonathan > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
