I have two libgap objects, and I need to check that one is in the other:
Fq=libgap.GF(4)
W=libgap.FullRowSpace(Fq,4)
B=libgap.Elements(libgap.Basis(W))
L1 = libgap.Subspace(W,[B[0],B[2]])
Namely, given this, how does one do the Sage equivalent of GAP's 'B[0]-B[3]
in L1' ?
I ended up doing
B[0]-B[3] in L1.Elements()
which does the right thing, but is in general dog-slow...
(the only way to fix this I can see is to patch (lib)GAP to provide a
function version of 'in'
for vectorspace; it cannot be done at runtime as it has to be registered in
src/sage/libs/gap/gap_functions.py)
Am I missing something obvious
the code above needs the trivial patch:
--- a/src/sage/libs/gap/gap_functions.py
+++ b/src/sage/libs/gap/gap_functions.py
@@ -200,6 +200,7 @@ common_gap_functions = [
'FreeProduct',
'FreeSemigroup',
'FrobeniusAutomorphism',
+ 'FullRowSpace',
'GF',
'GL',
'GQuotients',
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
