Colin Smith

This happened a while ago (we support the forms that actually appear in SICM; but not some forms that are described in the refman but not used there. I guess...

See "function-signature-conversion" in functIon_test.clj

That's pretty interesting. We don't seem terribly far from there as it is! On Mon, Nov 16, 2020 at 5:31 AM Sam Ritchie wrote: > We have univariate power series....

This sounds promising and I would love to move to a situation where things were less entangled. I don't know what the best practices are in CLJS but I hear...

Sam's recent introduction of a metadata slot for expressions might be useful here: could we include a slot in the metadata for units? We can use the simplifier we have...

I have Zippel; it's very hard to implement (as GJS himself notices, having inferred a simpler version of the algorithm in Scmutils that avoids doing the work in Z_p). I...

At this point `compile-fn` and `compile-state-fn` are built on the same foundation, so this is easy. All that is required is for the customer to supply a dummy argument list...

One last unification we could do would be to remove the `arity` argument from compile-fn: instead, force everyone to provide an application model. Maybe that seems lame for plain functions....

I have Zippel; it's very hard to implement (as GJS himself notices, having inferred a simpler version of the algorithm in Scmutils that avoids doing the work in Z_p). I...

I found this on Google Scholar and it looks very promising: [Speeding up polynomial GCD, a crucial operation in Maple](https://mapletransactions.org/index.php/maple/article/download/14452/11895)