Ping.
On Mon, Sep 3, 2018 at 4:11 PM, Giuliano Augusto Faulin Belinassi <giuliano.belina...@usp.br> wrote: > Fixed the issues pointed by the previous discussions. Closes PR86829. > > Adds substitution rules for sin(atan(x)) and cos(atan(x)), being > careful with overflow issues by constructing a assumed convergence > constant (see comment in real.c). > > 2018-09-03 Giuliano Belinassi <giuliano.belina...@usp.br> > > * match.pd: add simplification rules to sin(atan(x)) and cos(atan(x)). > * real.c: add code for assumed convergence constant to sin(atan(x)). > * real.h: allows the added code from real.c to be called externally. > * tree.c: add code for bulding nodes with the convergence constant. > * tree.h: allows the added code from tree.c to be called externally. > * sinatan-1.c: tests assumed convergence constant. > * sinatan-2.c: tests simplification rule. > * sinatan-3.c: likewise. > > There seems to be no broken tests in trunk that are related to this > modification.
