I'm trying to construct the Hughes plane in Sage and am just wondering how much time it might take for the program to generate the automorphism group. I've let it run for a few hours, and still nothing to show as of yet. Any help would be appreciated!
Hello !
There is an ongoing attempt to interface Sage with bliss [1]. The point of this is precisely to make the computation of automorphism groups faster.
The ways to solve the problem that you meet:
I would also be very glad if you could contribute to Sage your implementation of those projective planes. We are never enough to work on the 'combinatorial designs' features of Sage ;-)
Nathann
Thanks! I'll take a look and see if this helps me at all! The only thing I'm looking to do is see if I can write a function that will give me the stabilizer of one of the blocks of the projective plane. Running into some snags there, and can't do anything if I don't have the automorphism group first. But thanks so much! I'll see if these help!
Hmmmm... Yes it seems that Sage can only handle point-stabilizers at the moment. Exposing GAP's feature is not too hard though. We should probably chat about it by email: nathann.cohen@gmail.com.
That feature is now in needs_review: http://trac.sagemath.org/ticket/17621
Asked: 2015-01-12 00:59:14 +0100
Seen: 236 times
Last updated: Jan 12 '15
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
