Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Trac #17222: remove comparison with old code
Browse files Browse the repository at this point in the history
  • Loading branch information
cheuberg committed Feb 7, 2015
1 parent 9af5402 commit 5189968
Showing 1 changed file with 0 additions and 32 deletions.
32 changes: 0 additions & 32 deletions src/sage/combinat/fsm_fourier.pyx
Expand Up @@ -1264,18 +1264,6 @@ class FSMFourier(SageObject):
- Artificial example, period 3::
sage: F = FSMFourier(transducers.Recursion([ # optional - arb
....: f(8*n) == f(4*n+3)+3,
....: f(8*n+4) == f(4*n+3)+1,
....: f(8*n+2) == f(4*n+3)+2,
....: f(8*n+6) == f(4*n+3)-1,
....: f(8*n+1) == f(4*n)+5,
....: f(8*n+5) == f(4*n+2)+1,
....: f(8*n+3) == f(4*n+1)+2,
....: f(8*n+7) == f(4*n+1),
....: f(0) == 0],
....: f, n, 2))
sage: Told = F.transducer.relabeled()
sage: T = Transducer([
....: (0, 1, 0, []), (0, 2, 1, []), (1, 3, 0, []),
....: (1, 4, 1, []), (2, 5, 0, []), (2, 6, 1, []),
Expand All @@ -1291,8 +1279,6 @@ class FSMFourier(SageObject):
sage: T.state(4).final_word_out = [2, 2, 5, 0]
sage: T.state(5).final_word_out = [5, 0]
sage: T.state(6).final_word_out = [2, 5, 0]
sage: T == Told
True
sage: F = FSMFourier(T) # optional - arb
sage: [FC] = F.components # optional - arb
sage: F.common_period # optional - arb
Expand All @@ -1316,14 +1302,6 @@ class FSMFourier(SageObject):
- Artificial example, period 2, vanishing `\mathbf{w}`-vector::
sage: F = FSMFourier(transducers.Recursion([ # optional - arb
....: f(4*n) == f(2*n+1)+1,
....: f(4*n+1) == f(2*n)+2,
....: f(4*n+2) == f(2*n+1)+3,
....: f(4*n+3) == f(2*n)-1,
....: f(0) == 0],
....: f, n, 2))
sage: Told = F.transducer.relabeled()
sage: T = Transducer(
....: [(0, 1, 0, []), (0, 2, 1, []), (1, 2, 0, 1),
....: (1, 2, 1, 3), (2, 1, 0, 2), (2, 1, 1, -1)],
Expand All @@ -1332,8 +1310,6 @@ class FSMFourier(SageObject):
sage: T.state(0).final_word_out = 0
sage: T.state(1).final_word_out = 0
sage: T.state(2).final_word_out = [2, 0]
sage: Told == T
True
sage: F = FSMFourier(T) # optional - arb
sage: [FC] = F.components # optional - arb
sage: F.common_period # optional - arb
Expand Down Expand Up @@ -1687,17 +1663,9 @@ class FSMFourier(SageObject):
matter, as the difference is analytic and thus does not
contribute to the residue. ::
sage: F = FSMFourier(transducers.Recursion([ # optional - arb
....: f(2*n + 1) == f(n) + 1,
....: f(2*n) == f(n) + 1,
....: f(0) == -1],
....: f, n, 2))
sage: Told = F.transducer.relabeled()
sage: T = Transducer([(0, 0, 0, 1), (0, 0, 1, 1)],
....: initial_states=[0], final_states=[0])
sage: T.state(0).final_word_out = -1
sage: T == Told
True
sage: F = FSMFourier(T) # optional - arb
We check that the result agrees with the known values::
Expand Down

0 comments on commit 5189968

Please sign in to comment.