Adding an Alias table to Decapode ACSet Schema

[jpfairbanks]

When you have a decapode with equations like this:

dexp = parse_decapode(quote
  A::Form0{X}
  B::Form1{X}
  C::Form0{X}
  D::Form0{X}

  B == grad(A)
  C == f(A,B)
  ∂ₜ(A) == C
  ∂ₜ(D) == C + D
end)

Our current code will eliminate the variable C and by renaming it to A\dot. We probably need another table of aliases that is just a binary relation on Var for tracking equations between variables.

@olynch, does the GATLab approach solve this problem in a more general way?

[lukem12345]

Did we not fix this in #136 ?

Not at a REPL now, so I cannot check this.

[lukem12345]

This is the test I am referring to:

Decapodes.jl/test/diag2dwd.jl

Line 225 in c204376

@test pt5[:name] == [:X, :V, :k, :mult_1, Symbol('V'*'\U0307'), Symbol("-1")]

[jpfairbanks]

I ran into this problem when building the DecaExpr outside of parse_decapode or @decapode. There might be something about how I am generating the DecaExpr.

[lukem12345]

I see. I will check in the morning on where dot_rename! may be erroneously getting called.