Right, confirmed separately from Travis:
So the Forms package is a GAP package that has been included since GAP
> v4.9, but it is not included by our default installation nor in
> gap_packages
We are debating whether to just implement the necessary methods in Sage.
I'm going to begin tomorrow.
The first step towards remedying that would probably be to add "forms" to
> the gap_packages SPKG.
It would be nice to just have these installed. This isn't something I can
do, right? I should mention that locally this is all working in my
installation, where I have installed `forms`.
On Thu, Dec 5, 2024 at 8:16 PM Michael Orlitzky <mich...@orlitzky.com>
wrote:
> On 2024-12-05 15:23:35, Jackson Walters wrote:
> >
> > Ah, thank you. Any idea if loading packages via
> libgap.LoadPackage("forms") is
> > expected to work?
>
> Yes, but only if the GAP package you're trying to load is
> installed. The only ones that are guaranteed to be installed are
> gapdoc, primgrp, smallgrp, and transgrp. All others (even "standard"
> packages like polycyclic) are technically optional and the test suite
> should pass if they are missing. You can just grep for "polycyclic"
> and copy the existing examples for that.
>
> The other problem is that the "forms" package isn't part of the sage
> distribution, and may not be available on all linux distributions, so
> the CI (not to mention normal users) will be unable to test it. The
> first step towards remedying that would probably be to add "forms" to
> the gap_packages SPKG.
>
> --
> 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 visit
> https://groups.google.com/d/msgid/sage-devel/Z1JQYc7IN8WSTJc9%40mertle.
>
--
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 visit
https://groups.google.com/d/msgid/sage-devel/CAGqtwVB8KG6yjdhoMsMhmth_WiDvesx0SLf%3Diy3GJc2%2B_%3DGM8Q%40mail.gmail.com.
