On October 4, 2019 3:05:55 PM PDT, "David A. Wheeler" <[email protected]>
wrote:
>I see the advantages of tau, but I think I'll avoid claiming that as a
>key event :-).
Drat! I'll need to keep searching for converts elsewhere.
As for the idea of using the introduction of cosine (given the somewhat
complicated history around pi), that seems good.
Oh and at the risk of making more work for you, any plans to do a similar
visualization for iset.mm? It might be a bit hard to do it solely off
"Contributed by" dates, though (given that the relevant date might be the date
of a copy-paste from set.mm to iset.mm). On the plus side, the git history goes
back pretty darn close to the beginning (I think it was when I wanted to start
contributing that we put it in the main set.mm repo, there might have been some
kind of branch or something before that but I'm not sure it led to a useful git
history). Hmm, maybe the date from git and the authorship from the Contributed
by line? I suppose these issues are reason enough to focus on set.mm for this
for now.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/7A58345D-C8B1-46CC-8415-9C710224974D%40panix.com.
