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 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/CANCp2gbCfZYHKqV64UDuvVKnY%2BygPwg4f5oyP0rMtD308bW%2Bqw%40mail.gmail.com.
