Given a stream of data and a Newton invariant, use the Pi product generation passes and then utilize the input data to start evaluating the groups. The identify which are converging to a constant value.
With that information we can try to solve the equations that seem to be true.
Given a stream of data and a Newton invariant, use the Pi product generation passes and then utilize the input data to start evaluating the groups. The identify which are converging to a constant value.
With that information we can try to solve the equations that seem to be true.
Potentially output a Newton description that the Data Checker would "accept" for the data (see https://github.com/phillipstanleymarbell/Noisy-lang-compiler/issues/620).