@@ -1117,13 +1117,17 @@ def partial_sums(self, include_n=False):
1117
1117
sage: G = Seq2.guess(lambda n: L[n])
1118
1118
sage: G
1119
1119
2-regular sequence 1, 4, 10, 19, 31, 49, 67, 94, 118, 154, ...
1120
- sage: G.mu[0], G.mu[1], G.left, G.right
1121
- (
1122
- [ 0 1 0 0] [ 0 0 1 0]
1123
- [ 0 0 0 1] [ -5 3 3 0]
1124
- [ -5 5 1 0] [ -5 0 6 0]
1125
- [ 10 -17 0 8], [-30 21 10 0], (1, 0, 0, 0), (1, 1, 4, 1)
1126
- )
1120
+ sage: G.linear_representation()
1121
+ ((1, 0, 0, 0),
1122
+ Finite family {0: [ 0 1 0 0]
1123
+ [ 0 0 0 1]
1124
+ [ -5 5 1 0]
1125
+ [ 10 -17 0 8],
1126
+ 1: [ 0 0 1 0]
1127
+ [ -5 3 3 0]
1128
+ [ -5 0 6 0]
1129
+ [-30 21 10 0]},
1130
+ (1, 1, 4, 1))
1127
1131
sage: G.minimized().dimension() == G.dimension()
1128
1132
True
1129
1133
@@ -1546,11 +1550,13 @@ def guess(self, f, n_verify=100, max_exponent=10, sequence=None):
1546
1550
sage: G = Seq2.guess(lambda n: S[n])
1547
1551
sage: G
1548
1552
2-regular sequence 1, 3, 6, 9, 12, 18, 18, 27, 24, 36, ...
1549
- sage: G.mu[0], G.mu[1], G.left, G.right
1550
- (
1551
- [ 0 1] [3 0]
1552
- [-2 3], [6 0], (1, 0), (1, 1)
1553
- )
1553
+ sage: G.linear_representation()
1554
+ ((1, 0),
1555
+ Finite family {0: [ 0 1]
1556
+ [-2 3],
1557
+ 1: [3 0]
1558
+ [6 0]},
1559
+ (1, 1))
1554
1560
1555
1561
sage: G == S.regenerated()
1556
1562
True
0 commit comments