From a95cbc6961a0154b086c1fa8da5326619b6c3d98 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 19 May 2024 18:11:28 -0700 Subject: [PATCH 1/4] for a in "CLASS='FSMState|FSMTransition|FiniteStateMachine|Automaton|Transducer|FSMProcessIterator';SUFFIX="; do eval "$a"; git --no-pager grep -l -E 'is_('$CLASS')' | xargs sed -E -i.bak 's/import is_('$CLASS')/import \1'$SUFFIX'/;/^ +/s/is_('$CLASS')[(]([^()]*([(][^()]*[)])?[^()]*)[)]/isinstance(\2, \1'$SUFFIX')/g'; done --- src/sage/combinat/finite_state_machine.py | 100 +++++++++++----------- 1 file changed, 50 insertions(+), 50 deletions(-) diff --git a/src/sage/combinat/finite_state_machine.py b/src/sage/combinat/finite_state_machine.py index 2955d037769..9f0ba0e7443 100644 --- a/src/sage/combinat/finite_state_machine.py +++ b/src/sage/combinat/finite_state_machine.py @@ -1166,8 +1166,8 @@ def is_FSMState(S): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FSMState, FSMState - sage: is_FSMState(FSMState('A')) + sage: from sage.combinat.finite_state_machine import FSMState, FSMState + sage: isinstance(FSMState('A'), FSMState) True """ return isinstance(S, FSMState) @@ -1923,7 +1923,7 @@ def __eq__(self, other): sage: A == B True """ - if not is_FSMState(other): + if not isinstance(other, FSMState): return False return self.label() == other.label() @@ -2175,8 +2175,8 @@ def is_FSMTransition(T): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FSMTransition, FSMTransition - sage: is_FSMTransition(FSMTransition('A', 'B')) + sage: from sage.combinat.finite_state_machine import FSMTransition, FSMTransition + sage: isinstance(FSMTransition('A', 'B'), FSMTransition) True """ return isinstance(T, FSMTransition) @@ -2241,11 +2241,11 @@ def __init__(self, from_state, to_state, sage: FSMTransition('A', 'B', 0, 1) Transition from 'A' to 'B': 0|1 """ - if is_FSMState(from_state): + if isinstance(from_state, FSMState): self.from_state = from_state else: self.from_state = FSMState(from_state) - if is_FSMState(to_state): + if isinstance(to_state, FSMState): self.to_state = to_state else: self.to_state = FSMState(to_state) @@ -2438,7 +2438,7 @@ def __eq__(self, other): sage: t1 == t2 True """ - if not is_FSMTransition(other): + if not isinstance(other, FSMTransition): return False return self.from_state == other.from_state \ and self.to_state == other.to_state \ @@ -2492,12 +2492,12 @@ def is_FiniteStateMachine(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine - sage: is_FiniteStateMachine(FiniteStateMachine()) + sage: from sage.combinat.finite_state_machine import FiniteStateMachine + sage: isinstance(FiniteStateMachine(), FiniteStateMachine) True - sage: is_FiniteStateMachine(Automaton()) + sage: isinstance(Automaton(), FiniteStateMachine) True - sage: is_FiniteStateMachine(Transducer()) + sage: isinstance(Transducer(), FiniteStateMachine) True """ return isinstance(FSM, FiniteStateMachine) @@ -3094,7 +3094,7 @@ def __init__(self, self._allow_composition_ = True - if is_FiniteStateMachine(data): + if isinstance(data, FiniteStateMachine): if initial_states is not None: raise ValueError( "initial_states cannot be specified when copying " @@ -3163,7 +3163,7 @@ def __init__(self, if isinstance(iter_transitions, Mapping): for (st, transition) in iter_transitions.items(): self.add_state(st) - if is_FSMTransition(transition): + if isinstance(transition, FSMTransition): self.add_transition(transition) elif isinstance(transition, Mapping): self.add_transition(sf, st, **transition) @@ -3176,7 +3176,7 @@ def __init__(self, if isinstance(transition, Iterable): L = [sf] L.extend(transition) - elif is_FSMTransition(transition): + elif isinstance(transition, FSMTransition): L = transition else: L = [sf, transition] @@ -3187,7 +3187,7 @@ def __init__(self, # data is a something that is iterable, # items are transitions for transition in data: - if is_FSMTransition(transition): + if isinstance(transition, FSMTransition): self.add_transition(transition) elif isinstance(transition, Mapping): self.add_transition(transition) @@ -3598,7 +3598,7 @@ def __or__(self, other): ... TypeError: Can only add finite state machine """ - if is_FiniteStateMachine(other): + if isinstance(other, FiniteStateMachine): return self.disjoint_union(other) else: raise TypeError("Can only add finite state machine") @@ -3628,7 +3628,7 @@ def __and__(self, other): ... NotImplementedError """ - if is_FiniteStateMachine(other): + if isinstance(other, FiniteStateMachine): return self.intersection(other) def __imul__(self, other): @@ -3879,7 +3879,7 @@ def __call__(self, *args, **kwargs): """ if not args: raise TypeError("Called with too few arguments.") - if is_FiniteStateMachine(args[0]): + if isinstance(args[0], FiniteStateMachine): return self.composition(*args, **kwargs) if isinstance(args[0], Iterable): if 'full_output' not in kwargs: @@ -3969,7 +3969,7 @@ def __eq__(self, other): sage: F == G True """ - if not is_FiniteStateMachine(other): + if not isinstance(other, FiniteStateMachine): return False if len(self._states_) != len(other._states_): return False @@ -4052,9 +4052,9 @@ def __contains__(self, item): sage: FSMTransition('A', 'B', 0) in F True """ - if is_FSMState(item): + if isinstance(item, FSMState): return self.has_state(item) - if is_FSMTransition(item): + if isinstance(item, FSMTransition): return self.has_transition(item) return False @@ -5527,7 +5527,7 @@ def what(s, switch): return s.label() else: return s - switch = is_FSMState(state) + switch = isinstance(state, FSMState) try: return self._states_dict_[what(state, switch)] @@ -5566,7 +5566,7 @@ def transition(self, transition): sage: id(t) == id(F.transition(('A', 'B', 0))) True """ - if not is_FSMTransition(transition): + if not isinstance(transition, FSMTransition): transition = FSMTransition(*transition) for s in self.iter_transitions(transition.from_state): if s == transition: @@ -5625,7 +5625,7 @@ def has_transition(self, transition): ... TypeError: Transition is not an instance of FSMTransition. """ - if is_FSMTransition(transition): + if isinstance(transition, FSMTransition): return transition in self.iter_transitions() raise TypeError("Transition is not an instance of FSMTransition.") @@ -6510,7 +6510,7 @@ def add_state(self, state): except LookupError: pass # at this point we know that we have a new state - if is_FSMState(state): + if isinstance(state, FSMState): s = state else: s = FSMState(state) @@ -6610,7 +6610,7 @@ def add_transition(self, *args, **kwargs): if len(args) + len(kwargs) == 1: if len(args) == 1: d = args[0] - if is_FSMTransition(d): + if isinstance(d, FSMTransition): return self._add_fsm_transition_(d) else: d = next(iter(kwargs.values())) @@ -7354,7 +7354,7 @@ def concatenation(self, other): [[0, 1]] sage: from sage.combinat.finite_state_machine import ( ....: is_Automaton, is_Transducer) - sage: is_Automaton(C) + sage: isinstance(C, Automaton) True Concatenation of two transducers:: @@ -7377,7 +7377,7 @@ def concatenation(self, other): ([0, 1], [1, 0]), ([1, 0], [2, 1]), ([1, 1], [2, 0])] - sage: is_Transducer(C) + sage: isinstance(C, Transducer) True @@ -7446,10 +7446,10 @@ def concatenation(self, other): TypeError: A finite state machine can only be concatenated with a another finite state machine. """ - if not is_FiniteStateMachine(other): + if not isinstance(other, FiniteStateMachine): raise TypeError('A finite state machine can only be concatenated ' 'with a another finite state machine.') - if is_Automaton(other) != is_Automaton(self): + if isinstance(other, Automaton) != isinstance(self, Automaton): raise TypeError('Cannot concatenate finite state machines of ' 'different types.') @@ -7532,7 +7532,7 @@ def kleene_star(self): Transition from 1 to 2: 1|-] sage: from sage.combinat.finite_state_machine import ( ....: is_Automaton, is_Transducer) - sage: is_Automaton(B) + sage: isinstance(B, Automaton) True sage: [w for w in ([], [0, 1], [0, 1, 0], [0, 1, 0, 1], [0, 1, 1, 1]) ....: if B(w)] @@ -7550,7 +7550,7 @@ def kleene_star(self): [Transition from 0 to 1: 0|1, Transition from 0 to 1: 1|0, Transition from 1 to 0: -|-] - sage: is_Transducer(S) + sage: isinstance(S, Transducer) True sage: for w in ([], [0], [1], [0, 0], [0, 1]): ....: print("{} {}".format(w, S.process(w))) @@ -7827,10 +7827,10 @@ def default_final_function(*args): if isinstance(other, Iterable): machines = [self] machines.extend(other) - if not all(is_FiniteStateMachine(m) for m in machines): + if not all(isinstance(m, FiniteStateMachine) for m in machines): raise ValueError("other must be a finite state machine " "or a list of finite state machines.") - elif is_FiniteStateMachine(other): + elif isinstance(other, FiniteStateMachine): machines = [self, other] else: raise ValueError("other must be a finite state machine or " @@ -8082,9 +8082,9 @@ def composition(self, other, algorithm=None, ....: is_Automaton, is_Transducer) sage: T = Transducer([(0, 0, 0, 0)], initial_states=[0]) sage: A = Automaton([(0, 0, 0)], initial_states=[0]) - sage: is_Transducer(T.composition(T, algorithm='direct')) + sage: isinstance(T.composition(T, algorithm='direct'), Transducer) True - sage: is_Transducer(T.composition(T, algorithm='explorative')) + sage: isinstance(T.composition(T, algorithm='explorative'), Transducer) True sage: T.composition(A, algorithm='direct') Traceback (most recent call last): @@ -8102,9 +8102,9 @@ def composition(self, other, algorithm=None, Traceback (most recent call last): ... TypeError: Composition with automaton is not possible. - sage: is_Automaton(A.composition(T, algorithm='direct')) + sage: isinstance(A.composition(T, algorithm='direct'), Automaton) True - sage: is_Automaton(A.composition(T, algorithm='explorative')) + sage: isinstance(A.composition(T, algorithm='explorative'), Automaton) True Non-deterministic final output cannot be handled:: @@ -10924,12 +10924,12 @@ def is_Automaton(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Automaton - sage: is_Automaton(FiniteStateMachine()) + sage: from sage.combinat.finite_state_machine import FiniteStateMachine, is_Automaton + sage: isinstance(FiniteStateMachine(), Automaton) False - sage: is_Automaton(Automaton()) + sage: isinstance(Automaton(), Automaton) True - sage: is_FiniteStateMachine(Automaton()) + sage: isinstance(Automaton(), FiniteStateMachine) True """ return isinstance(FSM, Automaton) @@ -11145,7 +11145,7 @@ def intersection(self, other, only_accessible_components=True): sage: a1.remove_epsilon_transitions() # not tested (since not implemented yet) sage: a1.intersection(a2) # not tested """ - if not is_Automaton(other): + if not isinstance(other, Automaton): raise TypeError( "Only an automaton can be intersected with an automaton.") @@ -12129,12 +12129,12 @@ def is_Transducer(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Transducer - sage: is_Transducer(FiniteStateMachine()) + sage: from sage.combinat.finite_state_machine import FiniteStateMachine, is_Transducer + sage: isinstance(FiniteStateMachine(), Transducer) False - sage: is_Transducer(Transducer()) + sage: isinstance(Transducer(), Transducer) True - sage: is_FiniteStateMachine(Transducer()) + sage: isinstance(Transducer(), FiniteStateMachine) True """ return isinstance(FSM, Transducer) @@ -12345,7 +12345,7 @@ def intersection(self, other, only_accessible_components=True): Transducers*, chapter in *Handbook of Finite State Based Models and Applications*, edited by Jiacun Wang, Chapman and Hall/CRC, 2012. """ - if not is_Transducer(other): + if not isinstance(other, Transducer): raise TypeError( "Only a transducer can be intersected with a transducer.") @@ -13872,7 +13872,7 @@ def is_FSMProcessIterator(PI): TESTS:: - sage: from sage.combinat.finite_state_machine import is_FSMProcessIterator, FSMProcessIterator + sage: from sage.combinat.finite_state_machine import FSMProcessIterator, FSMProcessIterator sage: is_FSMProcessIterator(FSMProcessIterator(FiniteStateMachine([[0, 0, 0, 0]], initial_states=[0]), [])) True """ From 2efe0a5019c9ea99d915cf415dd6a297b1ee12c3 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 19 May 2024 18:17:36 -0700 Subject: [PATCH 2/4] reverts --- src/sage/combinat/finite_state_machine.py | 34 +++++++++++------------ 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/src/sage/combinat/finite_state_machine.py b/src/sage/combinat/finite_state_machine.py index 9f0ba0e7443..4017d674de8 100644 --- a/src/sage/combinat/finite_state_machine.py +++ b/src/sage/combinat/finite_state_machine.py @@ -1166,8 +1166,8 @@ def is_FSMState(S): TESTS:: - sage: from sage.combinat.finite_state_machine import FSMState, FSMState - sage: isinstance(FSMState('A'), FSMState) + sage: from sage.combinat.finite_state_machine import is_FSMState, FSMState + sage: is_FSMState(FSMState('A')) True """ return isinstance(S, FSMState) @@ -2175,8 +2175,8 @@ def is_FSMTransition(T): TESTS:: - sage: from sage.combinat.finite_state_machine import FSMTransition, FSMTransition - sage: isinstance(FSMTransition('A', 'B'), FSMTransition) + sage: from sage.combinat.finite_state_machine import is_FSMTransition, FSMTransition + sage: is_FSMTransition(FSMTransition('A', 'B')) True """ return isinstance(T, FSMTransition) @@ -2492,12 +2492,12 @@ def is_FiniteStateMachine(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import FiniteStateMachine - sage: isinstance(FiniteStateMachine(), FiniteStateMachine) + sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine + sage: is_FiniteStateMachine(FiniteStateMachine()) True - sage: isinstance(Automaton(), FiniteStateMachine) + sage: is_FiniteStateMachine(Automaton()) True - sage: isinstance(Transducer(), FiniteStateMachine) + sage: is_FiniteStateMachine(Transducer()) True """ return isinstance(FSM, FiniteStateMachine) @@ -10924,12 +10924,12 @@ def is_Automaton(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import FiniteStateMachine, is_Automaton - sage: isinstance(FiniteStateMachine(), Automaton) + sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Automaton + sage: is_Automaton(FiniteStateMachine()) False - sage: isinstance(Automaton(), Automaton) + sage: is_Automaton(Automaton()) True - sage: isinstance(Automaton(), FiniteStateMachine) + sage: is_FiniteStateMachine(Automaton()) True """ return isinstance(FSM, Automaton) @@ -12129,12 +12129,12 @@ def is_Transducer(FSM): TESTS:: - sage: from sage.combinat.finite_state_machine import FiniteStateMachine, is_Transducer - sage: isinstance(FiniteStateMachine(), Transducer) + sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Transducer + sage: is_Transducer(FiniteStateMachine()) False - sage: isinstance(Transducer(), Transducer) + sage: is_Transducer(Transducer()) True - sage: isinstance(Transducer(), FiniteStateMachine) + sage: is_FiniteStateMachine(Transducer()) True """ return isinstance(FSM, Transducer) @@ -13872,7 +13872,7 @@ def is_FSMProcessIterator(PI): TESTS:: - sage: from sage.combinat.finite_state_machine import FSMProcessIterator, FSMProcessIterator + sage: from sage.combinat.finite_state_machine import is_FSMProcessIterator, FSMProcessIterator sage: is_FSMProcessIterator(FSMProcessIterator(FiniteStateMachine([[0, 0, 0, 0]], initial_states=[0]), [])) True """ From 522a6544c4f76f1d3ad07e0ceb225a53c3dd7a83 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 19 May 2024 18:19:56 -0700 Subject: [PATCH 3/4] src/sage/combinat/finite_state_machine.py: Deprecate is_... functions --- src/sage/combinat/finite_state_machine.py | 38 ++++++++++++++++++++++- 1 file changed, 37 insertions(+), 1 deletion(-) diff --git a/src/sage/combinat/finite_state_machine.py b/src/sage/combinat/finite_state_machine.py index 4017d674de8..cc88db635d6 100644 --- a/src/sage/combinat/finite_state_machine.py +++ b/src/sage/combinat/finite_state_machine.py @@ -1168,8 +1168,13 @@ def is_FSMState(S): sage: from sage.combinat.finite_state_machine import is_FSMState, FSMState sage: is_FSMState(FSMState('A')) + doctest:warning... + DeprecationWarning: the function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead") return isinstance(S, FSMState) @@ -2177,8 +2182,13 @@ def is_FSMTransition(T): sage: from sage.combinat.finite_state_machine import is_FSMTransition, FSMTransition sage: is_FSMTransition(FSMTransition('A', 'B')) + doctest:warning... + DeprecationWarning: the function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead") return isinstance(T, FSMTransition) @@ -2494,12 +2504,17 @@ def is_FiniteStateMachine(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine sage: is_FiniteStateMachine(FiniteStateMachine()) + doctest:warning... + DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True sage: is_FiniteStateMachine(Automaton()) True sage: is_FiniteStateMachine(Transducer()) True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead") return isinstance(FSM, FiniteStateMachine) @@ -7353,7 +7368,7 @@ def concatenation(self, other): ....: if C(w)] [[0, 1]] sage: from sage.combinat.finite_state_machine import ( - ....: is_Automaton, is_Transducer) + ....: Automaton, Transducer) sage: isinstance(C, Automaton) True @@ -10926,12 +10941,20 @@ def is_Automaton(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Automaton sage: is_Automaton(FiniteStateMachine()) + doctest:warning... + DeprecationWarning: the function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead + See https://github.com/sagemath/sage/issues/38032 for details. False sage: is_Automaton(Automaton()) True sage: is_FiniteStateMachine(Automaton()) + doctest:warning... + DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead") return isinstance(FSM, Automaton) @@ -12131,12 +12154,20 @@ def is_Transducer(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Transducer sage: is_Transducer(FiniteStateMachine()) + doctest:warning... + DeprecationWarning: the function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead + See https://github.com/sagemath/sage/issues/38032 for details. False sage: is_Transducer(Transducer()) True sage: is_FiniteStateMachine(Transducer()) + doctest:warning... + DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead") return isinstance(FSM, Transducer) @@ -13874,8 +13905,13 @@ def is_FSMProcessIterator(PI): sage: from sage.combinat.finite_state_machine import is_FSMProcessIterator, FSMProcessIterator sage: is_FSMProcessIterator(FSMProcessIterator(FiniteStateMachine([[0, 0, 0, 0]], initial_states=[0]), [])) + doctest:warning... + DeprecationWarning: the function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead + See https://github.com/sagemath/sage/issues/38032 for details. True """ + from sage.misc.superseded import deprecation + deprecation(38032, "the function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead") return isinstance(PI, FSMProcessIterator) From 1db622b29fa479345b78fba18a51286df8a1bc1b Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Fri, 24 May 2024 09:51:04 -0700 Subject: [PATCH 4/4] git --no-pager grep -l 'deprecation(' src/sage/combinat/finite_state_machine.py | xargs sed -i.bak '/ is deprecated; use /s/the function /The function /;/ is deprecated; use /s/ instead/ instead./' --- src/sage/combinat/finite_state_machine.py | 28 +++++++++++------------ 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/src/sage/combinat/finite_state_machine.py b/src/sage/combinat/finite_state_machine.py index cc88db635d6..445822caa2b 100644 --- a/src/sage/combinat/finite_state_machine.py +++ b/src/sage/combinat/finite_state_machine.py @@ -1169,12 +1169,12 @@ def is_FSMState(S): sage: from sage.combinat.finite_state_machine import is_FSMState, FSMState sage: is_FSMState(FSMState('A')) doctest:warning... - DeprecationWarning: the function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead + DeprecationWarning: The function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead") + deprecation(38032, "The function is_FSMState is deprecated; use 'isinstance(..., FSMState)' instead.") return isinstance(S, FSMState) @@ -2183,12 +2183,12 @@ def is_FSMTransition(T): sage: from sage.combinat.finite_state_machine import is_FSMTransition, FSMTransition sage: is_FSMTransition(FSMTransition('A', 'B')) doctest:warning... - DeprecationWarning: the function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead + DeprecationWarning: The function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead") + deprecation(38032, "The function is_FSMTransition is deprecated; use 'isinstance(..., FSMTransition)' instead.") return isinstance(T, FSMTransition) @@ -2505,7 +2505,7 @@ def is_FiniteStateMachine(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine sage: is_FiniteStateMachine(FiniteStateMachine()) doctest:warning... - DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + DeprecationWarning: The function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True sage: is_FiniteStateMachine(Automaton()) @@ -2514,7 +2514,7 @@ def is_FiniteStateMachine(FSM): True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead") + deprecation(38032, "The function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead.") return isinstance(FSM, FiniteStateMachine) @@ -10942,19 +10942,19 @@ def is_Automaton(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Automaton sage: is_Automaton(FiniteStateMachine()) doctest:warning... - DeprecationWarning: the function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead + DeprecationWarning: The function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead. See https://github.com/sagemath/sage/issues/38032 for details. False sage: is_Automaton(Automaton()) True sage: is_FiniteStateMachine(Automaton()) doctest:warning... - DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + DeprecationWarning: The function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead") + deprecation(38032, "The function is_Automaton is deprecated; use 'isinstance(..., Automaton)' instead.") return isinstance(FSM, Automaton) @@ -12155,19 +12155,19 @@ def is_Transducer(FSM): sage: from sage.combinat.finite_state_machine import is_FiniteStateMachine, is_Transducer sage: is_Transducer(FiniteStateMachine()) doctest:warning... - DeprecationWarning: the function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead + DeprecationWarning: The function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead. See https://github.com/sagemath/sage/issues/38032 for details. False sage: is_Transducer(Transducer()) True sage: is_FiniteStateMachine(Transducer()) doctest:warning... - DeprecationWarning: the function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead + DeprecationWarning: The function is_FiniteStateMachine is deprecated; use 'isinstance(..., FiniteStateMachine)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead") + deprecation(38032, "The function is_Transducer is deprecated; use 'isinstance(..., Transducer)' instead.") return isinstance(FSM, Transducer) @@ -13906,12 +13906,12 @@ def is_FSMProcessIterator(PI): sage: from sage.combinat.finite_state_machine import is_FSMProcessIterator, FSMProcessIterator sage: is_FSMProcessIterator(FSMProcessIterator(FiniteStateMachine([[0, 0, 0, 0]], initial_states=[0]), [])) doctest:warning... - DeprecationWarning: the function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead + DeprecationWarning: The function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead. See https://github.com/sagemath/sage/issues/38032 for details. True """ from sage.misc.superseded import deprecation - deprecation(38032, "the function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead") + deprecation(38032, "The function is_FSMProcessIterator is deprecated; use 'isinstance(..., FSMProcessIterator)' instead.") return isinstance(PI, FSMProcessIterator)