I'm writing a method that take an String and search it in a loaded Spec.
My problem is that the input String can be "equivalent" but not the same
that an string in the
2+3*5 and 2+(3*5)
The steps that I follow are:
Load the Spec
Use the method printTerm of ZLive to obtain some Terms in the Spec.
I use Strings for efficiency issues.
My question is: Have CZT a method that print a Term without
I mean...can CZT simplify expressions?
Are rewrite rules useful for this purpose?