>
> You could hold a vote to make "forms" a standard package and then
> require it, but your new code would have to be pretty awesome for
> that to be worth it.
>
> Instead, I would suggest leaving it optional and marking the tests
> with "# optional - gap_package_forms". People using the system
On 2024-12-05 20:31:40, Jackson Walters wrote:
>
> 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`.
>
You could hold a vote to make "forms" a standard pac
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.
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, sma
On 5 December 2024 17:23:35 GMT-06:00, Jackson Walters
wrote:
>
>Ah, thank you. Any idea if loading packages via libgap.LoadPackage("forms") is
>expected to work?
absolutely. As I said elsewhere, look at how things involving libgap
are done in e.g. src/sage/graphs/.
>
>Jackson
>On Thursday, De
Ah, thank you. Any idea if loading packages via libgap.LoadPackage("forms") is
expected to work?
Jackson
On Thursday, December 5, 2024 at 6:14:49 PM UTC-5 David Roe wrote:
> Yep, that should work. To find the right import statements, you can do
> sage: import_statements(libgap)
> from sage.lib
Yep, that should work. To find the right import statements, you can do
sage: import_statements(libgap)
from sage.libs.gap.libgap import libgap
David
On Thu, Dec 5, 2024 at 5:37 PM Jackson Walters
wrote:
> Perhaps I can just use
>
> from sage.libs.gap.libgap import libgap
>
> On Thursday, Decemb
