Sam Ritchie
Sam Ritchie
The goal here is to get the bessel functions J0, Y0, J1 and Y1 into Clojure. Once we do this, we can use the recurrence relations in `bessel.scm` to implement...
The task here is to understand to what extent `assume!` is doing real work in scmutils, and then update https://github.com/sicmutils/sicmutils/blob/main/src/sicmutils/util/logic.cljc to include the extended behavior. This code exists in Scheme:...
This looks like it was actively developed from 2014 to 2016. Here are the files at play: - [ ] infix-parser.scm - [ ] mit-scheme.scm - [ ] parse-algebraic-expressions.scm -...
This is one thing I never got to when porting over code from the simplification namespace. I don't know what this adds to our rules system. Does it potentially let...
This code lives in https://github.com/Tipoca/scmutils/blob/master/src/calculus/so3.scm. Port these over to live as tests.
Most of this already works in `sicmutils.structure`, but vectors typically convert to `up` instances on anything like addition. It would be nice if vectors STAYED vectors unless they interacted with...
- `numerical-expression-canonicalizer` would enable some simplifications - this lives in `general/canonicalizer.scm`. Defined in numsymb: ```scm #| ;;; From general/canonicalizer.scm (define numerical-expression-canonicalizer (make-expression-canonicalizer)) |# (define numerical-expression-canonicalizer #f) (define (numerical-expression expr) (cond...
These are important and related to #399 . It should be fairly easy to get these in, since they are not well fleshed out in scmutils proper. Original scheme code:...
These are important and related to #399 . It should be fairly easy to get these in, since they are not well fleshed out in scmutils proper. Here is the...
`heuristic.scm` contains code for "heuristic" rounding of values. You can activate this in numsymb.scm by setting `heuristic-number-canonicalizer`, disabled by default. "Some processes, such as finding the roots of a polynomial,...