Trac #21318: recognizable series: basic arithmetic

- Make recognizable series space a module (addition, scalar multiplication) - Hadamard product See also meta ticket #21202 URL: https://trac.sagemath.org/21318 Reported by: dkrenn Ticket author(s): Daniel Krenn Reviewer(s): Clemens Heuberger
sagemath · Jul 17, 2021 · a33399f · a33399f
2 parents 3dadb86 + 14291eb
commit a33399f
Show file tree

Hide file tree

Showing 2 changed files with 435 additions and 18 deletions.
diff --git a/src/sage/combinat/k_regular_sequence.py b/src/sage/combinat/k_regular_sequence.py
@@ -283,7 +283,7 @@ def __normalize__(cls, k, coefficient_ring, **kwds):
 
             sage: Seq2 = kRegularSequenceSpace(2, ZZ)
             sage: Seq2.category()
-            Category of sets
+            Category of modules over Integer Ring
             sage: Seq2.alphabet()
             {0, 1}
         """