id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
215	Discrepency when simplifying using reals vs integers	dfix	zirkel	"Creating a simplifier with the assumption integer x=1 and then simplifying on the expression 0<x will correctly evaluate to true.

Creating a simplifier with the assumption real y=1 and then simplifying on the expression 0<y will evaluate to y>0."	defect	closed	major	Release 1.0	dynamic	1.0	fixed	simplifier