> I like the idea of using some faster linear algebra as a preprocessor
> to reduce the size of the problem to be solved. You could then take
> the reduced problem and solve it with exact symbolic arithmetic. The
> worst that can happen is you might drop an ansatz that shouldn't have
> been dropped
On Sat, Aug 26, 2023 at 10:26:02AM +0100, Oscar Benjamin wrote:
>
> It is all in a bit of a state of flux at the moment but if interested
> in further reading then see e.g.:
[...]
>
> Also I wrote the first of several blog posts here:
> https://oscarbenjamin.github.io/blog/czi/post1.html
>
> A
On Sun, 3 Sept 2023 at 21:08, Aaron Meurer wrote:
>
> On Sun, Sep 3, 2023 at 11:43 AM emanuel.c...@gmail.com
> wrote:
> >
> > I wonder if this problem could be handled with a auto_evaluate context
> > handler, signalling to the symbolic expression system that the automatic
> > evaluation is not
