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: |
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 (3)
comment:1 Changed 12 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:2 Changed 8 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:3 Changed 3 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.