balacij / Drasil

Generate all the things (focusing on research software)
https://balacij.github.io/Drasil
BSD 2-Clause "Simplified" License
1 stars 0 forks source link

SRS Review: Assumptions section #15

Closed samm82 closed 1 year ago

samm82 commented 1 year ago

TODO

Any point that requires more discussion should be pulled out to a different issue; I grouped these all here since they are related and small.

balacij commented 1 year ago

Regarding A9 and A10, I think they are the now A15 and A16. I'm not quite sure what's confusing about it, can you elaborate please?

Screenshot from 2023-03-16 16-41-58

balacij commented 1 year ago

Assumptions are underused, but necessary. I need Drasil's help to annotate it everywhere. I'll work on that with the Drasil code instead of the POC.

samm82 commented 1 year ago

For A15 and A16, why not just say "The deflection function (y_B(x)) is continuously differentiable 4 times on [0,L]"? The current text seems too wordy.

balacij commented 1 year ago

Sure, that's fine too. I was initially thinking about $C^n$ (as in "the classes" in the standard sense) which is why it ended up like this.

samm82 commented 1 year ago

Not sure I fully understand that notation but it's up to you ¯\_(ツ)_/¯

balacij commented 1 year ago

Oh, I changed it. Writing out the classes textually is definitely suboptimal, lol.