@@ -196,6 +196,7 @@ document {
196
196
(symbol + , Number , Constant ),
197
197
(symbol + , Number , InfiniteNumber ),
198
198
(symbol + , Number , Matrix ),
199
+ (symbol + , Number , Vector ),
199
200
(symbol + , ProjectiveHilbertPolynomial , ProjectiveHilbertPolynomial ),
200
201
(symbol + , ProjectiveHilbertPolynomial , ZZ ),
201
202
(symbol + , QQ ),
@@ -219,7 +220,10 @@ document {
219
220
(symbol + , RingElement , GradedModuleMap ),
220
221
(symbol + , RingElement , Matrix ),
221
222
(symbol + , RingElement , RingElement ),
223
+ (symbol + , RingElement , Vector ),
222
224
(symbol + , Vector ),
225
+ (symbol + , Vector , Number )
226
+ (symbol + , Vector , RingElement ),
223
227
(symbol + , Vector , Vector ),
224
228
(symbol + , ZZ ),
225
229
(symbol + , ZZ , CC ),
@@ -287,6 +291,7 @@ document {
287
291
(symbol -, Number , Constant ),
288
292
(symbol -, Number , InfiniteNumber ),
289
293
(symbol -, Number , Matrix ),
294
+ (symbol -, Number , Vector ),
290
295
(symbol -, ProjectiveHilbertPolynomial ),
291
296
(symbol -, ProjectiveHilbertPolynomial , ProjectiveHilbertPolynomial ),
292
297
(symbol -, ProjectiveHilbertPolynomial , ZZ ),
@@ -312,6 +317,9 @@ document {
312
317
(symbol -, RingElement , GradedModuleMap ),
313
318
(symbol -, RingElement , Matrix ),
314
319
(symbol -, RingElement , RingElement ),
320
+ (symbol -, RingElement , Vector ),
321
+ (symbol -, Vector , Number ),
322
+ (symbol -, Vector , RingElement ),
315
323
(symbol -, Vector , Vector ),
316
324
(symbol -, ZZ ),
317
325
(symbol -, ZZ , CC ),
0 commit comments