id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
95	improvements to symbolic package	Stephen Siegel	ywei	"It is not clear what comprises the interface of the symbolic package.   There is a sub-package called ""IF"", but not everything the outside user needs is in that sub-package (for example, SymExpression---and there is no SymExpressionIF).  The interface and implementation need to be clearly separated.

Also, there needs to be a way to ""decompose"" a symbolic expression of array type.  For example, we need to be able to tell that an expression is an ""array write"" expression and then get the sub-expressions for the original array, index, and new value.   Or some other way needs to be provided to get the list of ""assignments"" made to an array.  This functionality must be included in the interface to the symbolic package.
"	enhancement	closed	major		symbolic	1.0	wontfix	array, symbolic