text{*\noindent In Example~\ref{eg:gap} of my thesis I'm describing a problem about

 text{*\noindent In Example~\ref{eg:gap} of my thesis I'm describing a problem about

       simplifications. The problem that we would like to have only a specific degree

       simplifications. The problem that we would like to have only a specific degree

       of simplification occurs right here, in the next step.*}

       of simplification occurs right here, in the next step.*}

 ML {*

 ML {*

   val SOME fract1 =

   val SOME fract1 =

     parseNEW ctxt "(z - 1/2)*(z - -1/4) * (A/(z - 1/2) + B/(z - -1/4))";

     parseNEW ctxt "(z - 1/2)*(z - -1/4) * (A/(z - 1/2) + B/(z - -1/4))";

   (*

   (*

    * A B !

    * A B !

    *)

    *)