Re: [sage-devel] Re: Vector weirdness: to be or not to be immutable

2015-05-28 Thread Johan S. R. Nielsen
Thanks for the clarifications, Vincent. On Wednesday, May 27, 2015 at 10:36:31 PM UTC+2, vdelecroix wrote: What I suggesteded is to modify the code of vector subspace in such way that the elements have parent the ambient space and not the subspace. Which is precisely related to the end of

Re: [sage-devel] Re: Vector weirdness: to be or not to be immutable

2015-05-27 Thread Vincent Delecroix
On 27/05/15 22:02, Volker Braun wrote: IMHO the bug here is a lack of validation. Its perfectly fine to have mutable elements of a vector subspace, but y.__setitem__ should then check that the vector really is in the subspace or raise a ValueError. Of course it would almost always raise, so its

Re: [sage-devel] Re: Vector weirdness: to be or not to be immutable

2015-05-27 Thread Vincent Delecroix
On 27/05/15 22:27, Johan S. R. Nielsen wrote: The behavior is bad but I would not call it a bug. You modified wrongly the vector. I disagree: from a user-point of view, a superficially perfectly reasonable sequence of steps were taken, at the end of which Sage prints a result which is