"solving" equations that are always true

1 view
Skip to first unread message

Brandon...@gmail.com

unread,
Dec 19, 2007, 1:49:08 AM12/19/07
to sage-devel
Is this working as intended?

The first statement should return the same as the second, and the
third statemnt is ok.

sage: solve([3==3, 1.00000000000000*x^3 == 0], x)
[]
sage: solve([1.00000000000000*x^3 == 0], x)
[x == 0]
sage: solve([1==3, 1.00000000000000*x^3 == 0], x)
[]

Carl Witty

unread,
Dec 19, 2007, 1:48:16 PM12/19/07
to sage-devel
On Dec 18, 10:49 pm, "Brandon.Bar...@gmail.com"
In my opinion, this is a bug. Thanks for reporting this; it is now
tracked at http://sagetrac.org/sage_trac/ticket/1569

Carl Witty

William Stein

unread,
Dec 20, 2007, 3:17:05 PM12/20/07
to sage-...@googlegroups.com

I think I've fixed this and posted a patch at
http://sagetrac.org/sage_trac/ticket/1569

Refereeing is, of course, appreciated.

William

Reply all
Reply to author
Forward
0 new messages