Shashi Gowda

z3 integration

1

@HarrisonGrodin suggested integrating with z3 for constraint solving. This could be a great way to do #67 !

Interface with Mjolnir

4

Mjolnir's IR (and generally SSA IR) is a super set of `Term`s in SymbolicUtils. It could be pretty nice to use Mjolnir and SymbolicUtils together to represent and optimize code...

Supertype of Symbolic expressions

10

We really want ```julia Variable{T}

What should be `zero` and `one`

2

I can see why Chris went with `identity(0)` in MTK, But I really just want to use `0` or `1` ```julia Base.zero(::Type{

Allow a default value?

3

Missing indices now return a `KeyError`. Let's track the arguments for and against allowing a default value (such as 0) in NDSparse, so that it can behave something like an...

It's missing an implementation

terrible compilation overhead

1

``` julia> using JuliaDB julia> @time x=TextParse.readcsv("fail.csv"); # CSV parsing is not the problem 0.626648 seconds (365.80 k allocations: 20.111 MiB, 9.01% gc time) julia> @time x=load_table("fail.csv"); # This constructs...

discussion [here](https://discourse.julialang.org/t/how-is-the-data-ecosystem-right-now-for-large-datasets/4281/24?u=shashi). Operations that will benefit from allowing adding / removing / changing columns are: - `map` - `broadcast` - `aggregate_vec`, `reducedim_vec`, `convertdim_vec` (scalar aggregate cannot do this) - `innerjoin`...

Error when creating an array with Monomial and other objects

3

```julia using SymbolicUtils julia> @syms(a); b = SymbolicUtils.to_mpoly(a^2) (a², OrderedCollections.OrderedDict{Sym, Any}(a => a)) julia> c = b[1] a² julia> typeof(c) DynamicPolynomials.Monomial{true} julia> [c, a] ERROR: MethodError: no method matching one(::Type{Any})...

3D

6

I think https://github.com/dcjones/Gadfly.jl/issues/520 should start off with a 3D Compose API. Rough plan could be: 1. Extend (and [possibly simplify](https://gist.github.com/shashi/e712bc4776a6abf5ff32)) measures.jl to support 3D 2. 4x4 MatrixTransforms (It's probably also...