Hey! Thanks for raising these questions. This list is more for questions about Sage usage, so I forwarded your question to sage-devel, a more natural place to discuss it.
For anybody interested, the discussion is at: https://groups.google.com/d/topic/sage-devel/i9ubOqBWDLA/discussion Best, Samuel -- You received this message because you are subscribed to the Google Groups "sage-support" 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 https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
