Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Broken comparison of symbolic matrix with assumptions #27629

Closed
jdemeyer opened this issue Apr 9, 2019 · 9 comments
Closed

Broken comparison of symbolic matrix with assumptions #27629

jdemeyer opened this issue Apr 9, 2019 · 9 comments
Labels
c: symbolics p: major / 3 t: bug
Milestone
sage-8.8

Comments

@jdemeyer
Copy link

jdemeyer commented Apr 9, 2019 

sage: assume(x,'real')
sage: e1 = matrix([[0,-x],[x,0]])
sage: e1.transpose() == e1
True

Clearly, the matrix should not be equal to its transpose!

CC: @sagetrac-bpage

Component: symbolics

Author: Jeroen Demeyer

Branch/Commit: 66a8a4c

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/27629
@jdemeyer jdemeyer added this to the sage-8.8 milestone Apr 9, 2019
@jdemeyer

This comment has been minimized.

Sign in to view
@jdemeyer
Copy link
Author

jdemeyer commented Apr 9, 2019

Branch: u/jdemeyer/broken_comparison_of_symbolic_matrix_with_assumptions

@jdemeyer
Copy link
Author

jdemeyer commented Apr 9, 2019

Commit: 66a8a4c

@jdemeyer
Copy link
Author

jdemeyer commented Apr 9, 2019

New commits:

66a8a4cUse richcmp_item() to implement comparisons of matrices

@jdemeyer
Copy link
Author

jdemeyer commented Apr 9, 2019

Author: Jeroen Demeyer

@fchapoton
Copy link
Contributor

comment:5

looks good, but not clear why it was failing before..

@fchapoton
Copy link
Contributor

Reviewer: Frédéric Chapoton

@fchapoton
Copy link
Contributor

comment:6

ok, well..

@vbraun
Copy link
Member

vbraun commented Apr 11, 2019

Changed branch from u/jdemeyer/broken_comparison_of_symbolic_matrix_with_assumptions to 66a8a4c

@vbraun vbraun closed this as completed in 36d3053 Apr 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: symbolics p: major / 3 t: bug
Projects
None yet
Milestone
sage-8.8
Development

No branches or pull requests
3 participants
@vbraun @jdemeyer @fchapoton