def __init__(self,data,group=None): """ Builds a FreeGroupAutomorphism from data. INPUT: - ``data`` - the data used to build the morphism - ``group`` - an optional free group """ if group is not None and not isinstance(group, FreeGroup): raise ValueError, "the group must be a Free Group" WordMorphism.__init__(self,data) if group is None: A = AlphabetWithInverses(self.domain().alphabet()) F = FreeGroup(A) else: F = group A = group.alphabet() self._domain = F self._codomain = F # unuseful... consistency with WordMorphism for letter in self._morph.keys(): self._morph[letter]=F.reduce(self._morph[letter]) self._morph[A.inverse_letter(letter)] = F.inverse_word(self._morph[letter])
def __init__(self, data, group=None): """ Builds a FreeGroupAutomorphism from data. INPUT: - ``data`` - the data used to build the morphism - ``group`` - an optional free group """ if group is not None and not isinstance(group, FreeGroup): raise ValueError, "the group must be a Free Group" WordMorphism.__init__(self, data) if group is None: A = AlphabetWithInverses(self.domain().alphabet()) F = FreeGroup(A) else: F = group A = group.alphabet() self._domain = F self._codomain = F # unuseful... consistency with WordMorphism for letter in self._morph.keys(): self._morph[letter] = F.reduce(self._morph[letter]) self._morph[A.inverse_letter(letter)] = F.inverse_word( self._morph[letter])