Closed
Description
In Sage 7.6 and 8.0.beta2, we have
sage: a, b = var('a b', domain='positive')
sage: bool((a-b)*b == 0)
;;;
;;; Detected access to protected memory, also kwown as 'bus or segmentation fault'.
;;; Jumping to the outermost toplevel prompt
;;;
Erreur de segmentation (core dumped)
This was reported on this ask question.
CC: @rwst @sagetrac-tmonteil @slel
Component: symbolics
Author: Dave Morris
Branch/Commit: 4cbf230
Reviewer: Eric Gourgoulhon, Thierry Monteil
Issue created by migration from https://trac.sagemath.org/ticket/22857