This is the expected behavior after trac #12406 <https://trac.sagemath.org/ticket/12406>. The OUTPUT section of the docstring of solve_right says "... If the system is not square or does not have full rank, then a solution is attempted via other means. For example, over "RDF" or "CDF" a least-squares solution is returned..."
This makes sense, since testing for the existence of a solution over inexact rings is problematic, but I do think it would be better if the method could have some some reasonable test available, even if it is not the default. On Thursday, May 21, 2020 at 6:44:09 PM UTC-6, AlexGhitza wrote: > > Hi, > > I'm observing the following with version 9.1 (but not with 9.0 where the > behavior is correct): > > sage: m = matrix(SR, [0]) > sage: b = vector([1]) > sage: m.solve_right(b) > (0) > > This should of course raise > > ValueError: matrix equation has no solutions > > > It seems to be specific to inexact coefficients (the same problem occurs > for RR and CC, but not for QQ). > > > Best, > Alex > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/97809a44-17eb-4f2f-ba87-ea055c6c13a2%40googlegroups.com.