I guess you would have to read the code and make sure that you think it is OK, possibly ask for clarifications or better examples, and then select "positive review" on the trac ticket.
On Thursday, 5 May 2022 at 11:06:15 UTC+2 David Joyner wrote: > On Thu, May 5, 2022 at 3:51 AM 'Martin R' via sage-devel > <sage-...@googlegroups.com> wrote: > > > > David, could you do the review? > > > > I don't know git but, for my own amusement, I copy+pasted all > the code in that module on your trac ticket into a sage file, then > attached it to a sage session and ran some examples. > I'd be happy to test all the doc examples "by hand" if that helps any. > > > On Wednesday, 4 May 2022 at 14:26:49 UTC+2 Martin R wrote: > >> > >> I am guessing that Travis' Representation class does the trick, but I > have to figure out how to use it. > >> On Wednesday, 4 May 2022 at 13:40:07 UTC+2 kcrisman wrote: > >>> > >>> On Tuesday, May 3, 2022 at 7:48:07 AM UTC-4 axio...@yahoo.de wrote: > >>>> > >>>> Won't you be better off thinking of it as a representation, then? > >>>> > >>> > >>> Correct, but I don't know how to construct those on arbitrary vector > spaces in Sage. That is to say, if I know the vector space, and I know the > action, but it's not some well-known one like the permutation > representation on a finite set by the symmetric group on that set. > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/3d812171-c0df-46f7-880d-a4f4d4ea2343n%40googlegroups.com > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/96607c03-3328-4385-a876-b031f0d16de0n%40googlegroups.com.
