#4105: multiplication of permutations in distinct subgroups sometimes doesn't
work
--------------------------+-------------------------------------------------
Reporter: was | Owner: joyner
Type: defect | Status: new
Priority: minor | Milestone: sage-3.2.1
Component: group_theory | Resolution:
Keywords: |
--------------------------+-------------------------------------------------
Comment (by mabshoff):
This remains unfixed by #4139:
{{{
----------------------------------------------------------------------
| SAGE Version 3.1.4, Release Date: 2008-10-16 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: tetra=AlternatingGroup(4)
sage: stab1=PermutationGroup_subgroup(tetra, ["(1,2,3)"])
sage: stab4=PermutationGroup_subgroup(tetra, ["(2,3,4)"])
sage: for g in stab1:
....: for h in stab4:
....: print g*h
....:
---------------------------------------------------------------------------
AssertionError Traceback (most recent call
last)
/scratch/mabshoff/release-cycle/sage-3.1.3.final/<ipython console> in
<module>()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/element.so in
sage.structure.element.MonoidElement.__mul__
(sage/structure/element.c:6829)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(sage/structure/coerce.c:5206)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.canonical_coercion
(sage/structure/coerce.c:5743)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.coercion_maps
(sage/structure/coerce.c:6842)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.discover_coercion
(sage/structure/coerce.c:8090)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/structure/parent.so in
sage.structure.parent.Parent.coerce_map_from
(sage/structure/parent.c:7495)()
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/groups/perm_gps/permgroup.pyc in __cmp__(self, other)
1910 c = cmp(self.ambient_group(), other.ambient_group())
1911 if c: return c
-> 1912 if self.is_subgroup(other):
1913 return -1
1914 else:
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/groups/perm_gps/permgroup.pyc in is_subgroup(self, other)
1541 for i in range(len(gens)):
1542 x = gens[i]
-> 1543 if not (G.has_element(x)):
1544 return False
1545 return True
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/groups/perm_gps/permgroup.pyc in has_element(self, item)
491
492 """
--> 493 item = PermutationGroupElement(item, self, check=False)
494 return item in self.list()
495
/scratch/mabshoff/release-cycle/sage-3.1.3.final/local/lib/python2.5/site-
packages/sage/groups/perm_gps/permgroup_element.so in
sage.groups.perm_gps.permgroup_element.PermutationGroupElement.__init__
(sage/groups/perm_gps/permgroup_element.c:2663)()
AssertionError:
sage:
Exiting SAGE (CPU time 0m1.22s, Wall time 0m28.50s).
Exiting spawned Gap process.
}}}
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4105#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
