concatenation of homogeneous matrices with degrees

[DanGrayson]

Do it better:

i1 : R=QQ[x];

i2 : f = matrix {{x}}; g = x * id_(R^1);

             1       1
o2 : Matrix R  <--- R

             1       1
o3 : Matrix R  <--- R

i4 : isHomogeneous f, isHomogeneous g

o4 = (true, true)

o4 : Sequence

i5 : f|g

o5 = | x x |

             1       2
o5 : Matrix R  <--- R

i6 : isHomogeneous oo

o6 = false

[rz137]

For isHomogeneous to return true, what should the degree of f|g be? Since concatenation already twists the target of the second operand, would twisting its source so that the degree matches the degree of the first operand be a solution?

[DanGrayson]

That would be one solution. Another idea would be to make the result of degree 0. It's not clear what choice is the best, except that a homogeneous result is better than an inhomogeneous result.

[mahrud]

I ran into this again, which seems to be a duplicate of #607 and #1031.

ps: could we just do away with milestones if they're not really used? It's really unhelpful to see an issue with a long list of "snooze milestone" messages.