Unit Validation and Inspection with MTK - error in the documentation?

Specific Domains Modelling & Simulations
1

Hello!
This is my first post here, so please forgive me if I do not master all conventions yet.

I plan to add units verification of my model using the available tools from ModelingToolkit.

I was trying to reproduce the example given in ModelingToolkit documentation here :

And in particular the function ModelingToolkit.validate() .

To what I remember, the following example should return TRUE which is not the case, neither from my results nor from the automated REPL of the documentation.

using ModelingToolkit, DynamicQuantities
@parameters τ [unit = u"ms"]
@variables t [unit = u"ms"] E(t) [unit = u"kJ"] P(t) [unit = u"MW"]
D = Differential(t)
eqs = eqs = [D(E) ~ P - E / τ,
    0 ~ P]
ModelingToolkit.validate(eqs)

I also tried with a smaller example:

using ModelingToolkit, DynamicQuantities

@parameters τ [unit = u"ms"]
@variables t [unit = u"ms"] E(t) [unit = u"kJ"] P(t) [unit = u"MW"]
D = Differential(t)
eqs = eqs = [t ~ t]
ModelingToolkit.validate(eqs)

Which also returns FALSE.

Should I raise an issue, is it a known error or I am doing something wrong?

Thank you!

2

Seems odd. Definitely worth an issue and discussion.

3

It would seems that my second example is now working. The example of the documentation is not though.

Another thing unclear in the documentation is how to have dimensionless parameters or variables.
So, should I raise an issue?

4

Please do.