vectors and matrices should support the whole division operation // by a scalar when their base rings do

[maxale]

Problem Description

sage: v = vector(ZZ,[1,2,3])
sage: v // 2
[...]
TypeError: unsupported operand parent(s) for //: 'Ambient free module of rank 3 over the principal ideal domain Integer Ring' and 'Integer Ring'

Proposed Solution

Vectors / matrices should rely on support of that operation in the base ring. That is, v // 2 should be equivalent to

sage: v.apply_map(lambda t: t // 2)
(0, 1, 1)

Alternatives Considered

N/A

Additional Information

No response

Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.

[samkitshah1262]

@mkoeppe @maxale Is this issue up for the taking?

[maxale]

@samkitshah1262 yes, you are welcome to step in.

[samkitshah1262]

@maxale @mkoeppe I have set up sage , but since this is my first time contributing , can you please guide me on how to tackle this issue , or what could be a good starting point? Thank you!

[maxale]

@samkitshah1262 Check out this FAQ: https://doc.sagemath.org/html/en/faq/faq-contribute.html