How much about $\pi$ can we codify in Drasil?

[balacij]

$\pi$ means a lot more than what we capture about it:

https://github.com/JacquesCarette/Drasil/blob/9f6dd893f5989f75f620e495398bf2a101ce0156/code/drasil-data/lib/Data/Drasil/Concepts/Math.hs#L69

https://github.com/JacquesCarette/Drasil/blob/9f6dd893f5989f75f620e495398bf2a101ce0156/code/drasil-data/lib/Data/Drasil/Quantities/Math.hs#L31

https://github.com/JacquesCarette/Drasil/blob/9f6dd893f5989f75f620e495398bf2a101ce0156/code/drasil-data/lib/Data/Drasil/Quantities/Math.hs#L46-L49

Exercise: see how much about $\pi$ we can codify and how it can be done. What are the issues with how it was codified in Drasil? How should it have been? What nuances are missing?

[JacquesCarette]

Part of encoding knowledge in Drasil is to figure out what is needed now, and some of what is likely needed in the future. Being encyclopedic is most definitely not in scope. We want to be a tiny bit more than just just-in-time, but not a lot.

It doesn't really matter how much more can or cannot be codified -- it only matters if we have a need for that knowledge.

[smiths]

I agree with @JacquesCarette. I talked about something similar when this came up in #4376. We can't codify everything. We have to draw the line somewhere. Assuming we know what $\pi$ means is a reasonable assumption. @JacquesCarette is right that we don't need a deep understanding of $\pi$ right now, so it would be more work than it is worth to invest effort into this.