Shashi Gowda
Shashi Gowda
You can just use `repr` to get a string... but looks good.
I'm open to the `zero` and `one` change. Would you be willing to make a PR for this? I think my general answer is that the package defining `Bit` and...
I think `@rule` is also inadequate or annoying here... I've been thinking about this a bit and i think we need better predicates for AC operations.
stated a project for this https://github.com/JuliaSymbolics/SymbolicSAT.jl
That is a pretty big matrix... But it should be made to work without this problem. We use promote_type to infer the output type "at runtime" (hope is that it...
Yeah we can use loops for arrays longer than 15 elements or something.
> performance impact we can only call these rules if number of args to + have length >=3, for example. Or we can maybe build in that optimization into the...
I'm trying this out locally, tests don't seem to work. I'm concerned about this case: `a^2 + b^2 + 2a*b - 2a*b - a^2` These rules might make that expression...
scmutils does the opposite, ```julia 2 error> (* (+ 'a 'b) (- 'a 'b)) #| (+ (expt a 2) (* -1 (expt b 2))) |# 2 error> (* (+ 'a...
> I had hoped the plumbing let the shorter of these rules be applied without any possibility of running in circles or getting stuck in corners Yes currently we don't...