Ticket #7491 (closed defect: fixed)

Opened 4 years ago

Last modified 3 years ago

solve(x==x,x) fails

Reported by: robert.marik Owned by: burcin
Priority: major Milestone: sage-4.3
Component: symbolics Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers: Karl-Dieter Crisman
Authors: Robert Marik Merged in: sage-4.3.rc1
Dependencies: Stopgaps:

Description 

sage: solve([x==x],x)

gives an exception.

Maxima says this: 

$ maxima -q
(%i1) solve([x=x],x);
(%o1)                                 all
(%i2)

There is a short  discussion about this topic.

Attachments

trac-7491-initial.patch Download (2.1 KB) - added by robert.marik 4 years ago.

Change History

Changed 4 years ago by robert.marik

comment:1 Changed 4 years ago by robert.marik

  • Status changed from new to needs_review

attached patch does the following 

[marik@um-bc107 /opt/sage]$ ./sage
----------------------------------------------------------------------
| Sage Version 4.2.1, Release Date: 2009-11-14                       |
| Type notebook() for the GUI, and license() for information.        |
----------------------------------------------------------------------
Loading Sage library. Current Mercurial branch is: solve
sage: y=var('y');solve(SR(0),y,solution_dict=True)
{y: r1}
sage: y=var('y');solve(SR(0),y,solution_dict=True,multiplicities=True)
({y: r1}, [])
sage: solve(x==x,x,multiplicities=True)
([x == r1], [])

All tests in symbolic and calculus passed.

comment:2 Changed 3 years ago by kcrisman

  • Status changed from needs_review to positive_review
  • Report Upstream set to N/A

Positive review. I'm not sure what the changes in relation.py bring to the game, but they don't hurt either.

comment:3 Changed 3 years ago by mhansen

  • Status changed from positive_review to closed
  • Authors set to Robert Marik
  • Milestone changed from sage-4.3.1 to sage-4.3
  • Reviewers set to Karl-Dieter Crisman
  • Resolution set to fixed
  • Merged in set to sage-4.3.rc1
Note: See TracTickets for help on using tickets.