Opened 15 months ago

Last modified 3 months ago

#31797 new enhancement

endomorphism and iterable morphism

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

Status badges


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 (3)

comment:1 Changed 12 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:2 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:3 Changed 3 months ago by mkoeppe

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