Thanks for the kind words and encouragement. On Mon, Jul 6, 2020 at 1:05 AM William <wst...@gmail.com> wrote:
> Hi Rocky, > > I haven't followed every detail of this thread, but just wanted to > encourage you. The official and original mission statement of SageMath is > to "Create a viable free open source alternative to Magma, Maple, > Mathematica and Matlab." Clearly, adding the ability to parse some > Mathematica code fits well into that goal. If nothing else, it could be a > helpful step in converting existing Mathematica user code so that it can > work in Sage, and that's part of being a viable alternative. In my day > job lately, I often use https://decaffeinate-project.org/ to convert > CoffeeScript code to bad Javascript, which I then make a lot nicer -- it > would be very hard to do that same conversion without at least having > something that does the job badly. Also, many years ago, I wrote some > small crappy code for transforming Magma code to Sage code, which was very > helpful even when imperfect. > > So thanks! > > -- William (that guy who started SageMath 16 years ago...) > > > > On Sunday, July 5, 2020 at 3:44:17 PM UTC-7, Rocky Bernstein wrote: >> >> >> >> On Sun, Jul 5, 2020 at 3:14 PM rjf <fate...@gmail.com> wrote: >> >>> You could take a look at what Albert Rich has done for testing Rubi in >>> different systems. >>> Also, the theorem proving people using Coq want to match up with CAS. >>> Also, the history of formalizing mathematics (Frege, Russell, etc) may >>> influence your thinking. Maybe discourage you; see the history of >>> tarpits. >>> >> >> I looked at these, but I am not seeing much in the way how this is >> relevant. I probably didn't make it clear that I wasn't looking for >> absolute truth.... >> >> >>> My view is colored by the fact that different CAS do not even agree >>> on the semantics of sin(x) or Sin[x], e.g. how it simplifies. >>> MathML does not care, I suspect. OpenMath used to say something >>> like "the usual sine(x)" which is a cop-out. What is sin(2*x)? >>> >> >> doesn't seem all that relevant either. When I go to a CAS or a computer >> to seek answers I have some real question or problem that I want to >> understand, and hope that the computer will give me an answer that helps me >> understand whatever it is I am trying to accomplish and/or gives me some >> insight towards that problem. >> >> The answer doesn't have to be absolute or exact in some abstract sense, >> but rather an answer that is the best effort given the limitations of the >> systems in use >> >> I also care about transparency: how what I wrote was interpreted, and >> which system was used to produce the answer, and maybe why it gave that >> answer. It is assumed I will know or can look up that system's strengths >> and weaknesses, and how it interprets things. For a large number of the >> cases that come up, many systems will agree and, if not, give an answer >> that makes sense and more importantly addresses the underlying question I >> had. And if not, I am prepared to iterate over the question as long as I >> understand the process and reasoning used. >> >> >> >> >>> If you really want to make them all talk to each other, I think >>> >> >> Although I said that was a hand-wavy goal. This is throwing too much of a >> monkey wrench into things. To paraphrase a lesser-known line from an >> illiterate stage actor to the kid he's mentoring from Sholem Alechiem's >> Wandering Stars: >> >> I dictate; you (the computer) write down; I sign. >> >> Or in other words I express something (without having to understand too >> much of the syntax details of each CAS), the computer translates that >> using a transparent scheme (to its best effort which may be approximate or >> flawed), I look over the results, and sign off on. >> >> you have to pick one CAS, preferably the most full-featured >>> one available (maybe insist on it being free?) and then >>> translate everything to it. To compare an expression in >>> Maple and Mathematica, convert them both to the same >>> CAS. e.g. one , or the other, or both to (say) Maxima. >>> Even this is tough ... to translate maple sin(x) to Maxima, you >>> need to invent maple_sin_in_maxima(x). >>> etc >>> >>> I don't think openmath will suffice. >>> >>> >>> On Friday, July 3, 2020 at 6:42:42 PM UTC-7, Rocky Bernstein wrote: >>>> >>>> (I posted a much longer and more detailed version of this the other >>>> day, but I don't see it posted. So here is a shorter version) >>>> >>>> I'm curious of any consideration has been giving for transpiling from >>>> one CAS syntax to another instead of or right before sage.repl.preparse(). >>>> >>>> In particular, I was thinking about using Mathematica syntax. >>>> >>>> If this gets through and there's interest, I can fill in more details. >>>> >>> -- >>> You received this message because you are subscribed to a topic in the >>> Google Groups "sage-devel" group. >>> To unsubscribe from this topic, visit >>> https://groups.google.com/d/topic/sage-devel/z3XBhQOCh9E/unsubscribe. >>> To unsubscribe from this group and all its topics, send an email to >>> sage-devel+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sage-devel/9ce8d876-62b7-4beb-a6dd-71ea20d4ff37o%40googlegroups.com >>> <https://groups.google.com/d/msgid/sage-devel/9ce8d876-62b7-4beb-a6dd-71ea20d4ff37o%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/z3XBhQOCh9E/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/e1a8646f-7b8f-4ada-aa82-6df389996550o%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/e1a8646f-7b8f-4ada-aa82-6df389996550o%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CANCp2gZjUUc5SsO%2BM3WZim8ypZbv1R5UUyR4xRbjtg%2B6uv%2BSnw%40mail.gmail.com.
