Matrix.cons_val_five

Stream: Is there code for X?

[Jeremy Avigad]

Maybe others already know about this, but I just hit the strange behavior where an expression ![a, b, c, d, e] 4 was simplifying to e but ![a, b, c, d, e, f] 5 failed to simplify to f. I was baffled until I discovered docs#Matrix.cons_val_four and realized that I need to add my own Matrix.cons_val_five.

[Mario Carneiro]

this looks like something we can finally solve properly with simprocs

[Eric Wieser]

I already wrote a dsimproc for this, and there's an open PR

[Ruben Van de Velde]

Can't say that without linking it :)

[Chris Henson]

I think the PR is #13578

[Eric Wieser]

Seems that the saying and linking can be a collaborative effort :)