Ticket #8487 (closed enhancement: fixed)

Opened 3 years ago

Last modified 3 years ago

Use use_grobner in to_poly_solve

Reported by: robert.marik Owned by: burcin
Priority: major Milestone: sage-4.4
Component: symbolics Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers: Alex Ghitza
Authors: Robert Mařík Merged in: sage-4.4.alpha0
Dependencies: Stopgaps:

Description

Sage returns no solution 

x,y=var('x y')
c1(x,y)=(x-5)^2+y^2-16; c2(x,y)=(y-3)^2+x^2-9
solve([c1(x,y),c2(x,y)],[x,y])

reported on  sage-support

Attachments

trac-8487.patch Download (1.5 KB) - added by robert.marik 3 years ago.

Change History

Changed 3 years ago by robert.marik

comment:1 Changed 3 years ago by robert.marik

  • Status changed from new to needs_review
  • Authors set to Robert Mařík

comment:2 Changed 3 years ago by AlexGhitza

  • Status changed from needs_review to positive_review
  • Reviewers set to Alex Ghitza
  • Milestone set to sage-4.4

The patch applies cleanly to sage-4.3.5 and passes long doctests.

comment:3 Changed 3 years ago by jhpalmieri

  • Status changed from positive_review to closed
  • Resolution set to fixed
  • Merged in set to sage-4.4.alpha0

Merged into 4.4.alpha0.

Note: See TracTickets for help on using tickets.