Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-28 Thread Jori Mäntysalo
On Thu, 27 Oct 2016, Travis Scrimshaw wrote: 1 - the definition (as even given in the docstring) still makes full sense if the matrices are not the same size or if they are not square. There does not exist such a matrix P. To compare: (meet-)pseudocomplemet is defined for (meet-)semilattices,

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Justin C. Walker
> On Oct 27, 2016, at 10:47, William Stein wrote: > > Just curious: what choice does magma (or maple or Mathematica etc) make > regarding this? Magma acts as follows, when the matrices are square, but different sizes, or when one or both are non-square: > M1:=Matrix(ZZ,2,2,[1,2,3,4]); > M2:

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread John Cremona
On 27 October 2016 at 18:47, William Stein wrote: > Just curious: what choice does magma (or maple or Mathematica etc) make > regarding this? Using Magma V2.22-3 I am not impressed: > A:=Matrix([[1,2],[3,4]]); > B:=Matrix([[1,2],[3,4]]); > Parent(A); Full Matrix Algebra of degree 2 over Integer

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Travis Scrimshaw
Mathematica doesn't seem to have such a function for checking similarity. Maple returns false. I don't know for magma. Best, Travis On Thursday, October 27, 2016 at 12:47:29 PM UTC-5, William wrote: > > Just curious: what choice does magma (or maple or Mathematica etc) make > regarding this?

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Michael Orlitzky
On 10/27/2016 12:21 PM, Travis Scrimshaw wrote: > I am for BB because: > Both options have merit. If most people think we should have a user-friendly error for a common mistake (mismatched dimensions), then maybe it makes sense to add an ignore_dims (default: False) parameter for the people who e

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread William Stein
Just curious: what choice does magma (or maple or Mathematica etc) make regarding this? On Thursday, October 27, 2016, Dima Pasechnik wrote: > AA > (but make sure docs make sense after the change) > > On Thursday, October 27, 2016 at 4:21:02 PM UTC, Travis Scrimshaw wrote: >> >> I am for BB bec

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Dima Pasechnik
AA (but make sure docs make sense after the change) On Thursday, October 27, 2016 at 4:21:02 PM UTC, Travis Scrimshaw wrote: > > I am for BB because: > > 1 - the definition (as even given in the docstring) still makes full sense > if the matrices are not the same size or if they are not square. T

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Travis Scrimshaw
I am for BB because: 1 - the definition (as even given in the docstring) still makes full sense if the matrices are not the same size or if they are not square. There does not exist such a matrix P. 2 - It puts an unnecessary burden on the average user. They have to deal with errors on a true/f

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Florent Hivert
+1 on AA. Florent -- 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 post to this group, send email to sage-devel@googleg

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread David Joyner
On Thu, Oct 27, 2016 at 4:48 AM, Frédéric Chapoton wrote: > Hello, > > on https://trac.sagemath.org/ticket/18505, we are trying to enhance the > is_similar method of matrices. > > Because we cannot agree, we require your vote on the following matter: > > 1) When M.is_similar(N) is called and eithe

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread David Roe
Agreed: AA. On Oct 27, 2016 04:53, "Vincent Delecroix" <20100.delecr...@gmail.com> wrote: > me too: AA > > -- > 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 sa

Re: [sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Vincent Delecroix
me too: AA -- 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 post to this group, send email to sage-devel@googlegroups.co

[sage-devel] vote on behaviour of is_similar for matrices

2016-10-27 Thread Frédéric Chapoton
Hello, on https://trac.sagemath.org/ticket/18505, we are trying to enhance the *is_similar* method of matrices. Because we cannot agree, we require your vote on the following matter: 1) When M.is_similar(N) is called and either M or N is not square: A) raise an helpful specific error message B