Opened 7 months ago

Last modified 4 months ago

#31797 new enhancement

endomorphism and iterable morphism

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-9.5
Component: combinatorics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

In WordMorphism it would be convenient to have a test method for morphism that can be iterated but not necessarily being endomorphism (ie the codomain is a subset of the domain). For example

sage: f = WordMorphism('a->b,b->bcbb,c->c')
sage: f.domain()
Finite words over {'a', 'b', 'c'}
sage: f.codomain()
Finite words over {'b', 'c'}

Many construction are valid under this general situation (growing_letters, immortal_letters, ...).

Change History (1)

comment:1 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.