cas-expr

Expression arena, hash-consing, canonical form construction, and ordering for symcas.

Provides the Context and Expr handles, on-the-fly normalization, differentiation, series expansion, cancellation, substitution, and assumption tracking.

License

Licensed under either of Apache-2.0 or MIT at your option.