@@ -122,7 +122,7 @@ def submodule(self, gens, check=True, already_echelonized=False,
122
122
Join of
123
123
Category of graded vector spaces with basis over Rational Field and
124
124
Category of subobjects of filtered modules with basis over Rational Field and
125
- Category of finite dimensional vector spaces with basis over Rational Field
125
+ Category of finite dimensional filtered modules with basis over Rational Field
126
126
sage: S.basis()[0].degree()
127
127
1
128
128
sage: S.basis()[1].degree()
@@ -135,7 +135,7 @@ def submodule(self, gens, check=True, already_echelonized=False,
135
135
Join of
136
136
Category of graded vector spaces with basis over Rational Field and
137
137
Category of subobjects of filtered modules with basis over Rational Field and
138
- Category of finite dimensional vector spaces with basis over Rational Field
138
+ Category of finite dimensional filtered modules with basis over Rational Field
139
139
140
140
If it is generated by inhomogeneous elements, then it is
141
141
filtered by default::
@@ -144,8 +144,8 @@ def submodule(self, gens, check=True, already_echelonized=False,
144
144
sage: F.category() # needs sage.combinat sage.modules
145
145
Join of
146
146
Category of subobjects of filtered modules with basis over Rational Field and
147
- Category of filtered vector spaces with basis over Rational Field and
148
- Category of finite dimensional vector spaces with basis over Rational Field
147
+ Category of finite dimensional filtered modules with basis over Rational Field and
148
+ Category of filtered vector spaces with basis over Rational Field
149
149
150
150
If ``category`` is specified, then it does not give any extra
151
151
structure to the submodule (we can think of this as applying
@@ -233,7 +233,7 @@ def quotient_module(self, submodule, check=True, already_echelonized=False, cate
233
233
Join of
234
234
Category of quotients of graded modules with basis over Rational Field and
235
235
Category of graded vector spaces with basis over Rational Field and
236
- Category of finite dimensional vector spaces with basis over Rational Field
236
+ Category of finite dimensional filtered modules with basis over Rational Field
237
237
238
238
.. SEEALSO::
239
239
0 commit comments