On Sun, 2 Sep 2018, 20:52 Simon King, <simon.k...@uni-jena.de> wrote:
> Hi Dima, > > On 2018-09-02, Dima Pasechnik <dimp...@gmail.com> wrote: > > On Sun, 2 Sep 2018, 17:53 Simon King, <simon.k...@uni-jena.de> wrote: > >> On 2018-09-02, Dima Pasechnik <dimp...@gmail.com> wrote: > >> > It would be good to submit a Singular bug report with an example at > >> > https://github.com/Singular/Sources > >> > >> I guess I should rather file it in the Singular trac. Well, I'll wait to > >> see > >> if a post in the Singular forum helps :-) > > Well, first I'd need to learn how to submit a bug report on github... > once you have a github account, which is trivial to get, go to https://github.com/Singular/Sources/issues and click on New Issue (a big green button)... Needless to say, you'd need to auth to github first, just as you do on Sage's trac. (I gather GitHub's "hub" command-line tool would allow you to such things from the comfort of your shell, cf https://hub.github.com/hub-issue.1.html) Do not hesitate to ask offlist if you need help with it Cheers Dima > > Cheers, > Simon > > -- > 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.
