Re: [sympy] Many-Typed Term System

2023-01-17 Thread Aaron Meurer
On Tue, Jan 17, 2023 at 2:33 AM S.Y. Lee wrote: > Sympy runs on the uni-typed system of Basic, and I previously thought that > it was fallen from sky, and I also seen coworkers in my work following that > practice naively, > But now I concluded that the recursive data structure with only one

[sympy] Many-Typed Term System

2023-01-17 Thread S.Y. Lee
Sympy runs on the uni-typed system of Basic, and I previously thought that it was fallen from sky, and I also seen coworkers in my work following that practice naively, But now I concluded that the recursive data structure with only one base type (like Basic) is incomplete and leads to very