Luca Fascione <l.fasci...@gmail.com> writes: > On Sat, Jun 4, 2022 at 12:47 PM David Kastrup <d...@gnu.org> wrote: > >> LilyPond uses precise arithmetic. >> > > Thanks David, just out of curiosity, where's a reference to the specific > implementation we're using? > > Further, besides the floating point math segment, does the rest feel like > it's on target to you?
It's computer gibberish. We don't require a degree in group theory to be allowed to use LilyPond. That's the reason LilyPond uses exact arithmetic and did so even before Guile supported it. If we provide functionality under the names of + and - (or call something add and subtract), it is a disservice if the semantics are not that of + and - . LilyPond is a music typesetter, not a graduate math teaching tool. And Guile automatically converts (+ a b c ...) into (+ (+ ... a b) c) ...) and similarly for * - / . Regardless of how they are defined. I don't want to explain why (+ a b c) might work while (+ a c b) doesn't. When the answer to "why doesn't this work?" is exclusively "because we do not want you to do that out of philosophical reasons beyond your comprehension" we are putting up artificial hurdles to using LilyPond. There are enough natural hurdles as it is. -- David Kastrup