Thanks. I am waiting for an account on Sage trac, then I will submit a bug report.
On Thursday, 22 March 2018 10:25:06 UTC, Samuel Lelievre wrote: > > Ralf wrote: > > Thanks, > > P.S. Still someone should contact DLMF with the right arguments. > > I just emailed them with cc to sage-devel. > -- 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.