compute-engine icon indicating copy to clipboard operation
compute-engine copied to clipboard

Fails to bring into canoical form

Open stefnotch opened this issue 4 years ago • 3 comments

The following test cases fail to be turned into a canoical form. Some of them are pretty silly, others are somewhat sensible and should probably work. To reproduce any of them, select the text and paste it into https://cortexjs.io/compute-engine/demo/

  • [ ] \displaystyle \left(\sin^{-1}\mleft(x\mright)\right)^{\prime} image turns into "" syntax-error, probably because of the \displaystyle

  • [ ] \begin{equation*} 1^{\sin(x)} \end{equation*} image turns into null

  • [ ] \begin{equation*} 3\text{hello}6 \end{equation*} image turns into [ "Multiply", 3, 6, ["\\text", ["Multiply", "ExponentialE", "h", "l", "l", "o"]]]

  • [ ] \color{red}3 image turns into ["\\textcolor", ["Multiply", "ExponentialE", "d", "r"], 3]

  • [ ] \begin{equation*} \ln(3) \end{equation*} image turns into ["Multiply", 3, "\\ln"]

  • [ ] \begin{equation*} f:[a,b]\to\R \end{equation*} image turns into "f" syntax-error

  • [ ] \begin{equation*} \lim_{n\to\infin}3 \end{equation*} image turns into ["Multiply", 3, ["Subscript", "\\lim", ["To", "n", "\\infin"]]]

  • [ ] \begin{cases} 3 & x < 5 \\ 7 & else \end{cases} image turns into [ "Piecewise", [ "list", ["list", 3, ["Less", "x", ["Multiply", 5, 7, "\\\\"]]] ]]

Tested with https://cortexjs.io/compute-engine/demo/

stefnotch avatar Jun 22 '21 14:06 stefnotch

Ah, nevermind, they do work. I tested them out on the compute engine demo page until I realized that the compute engine first tries to bring them into a canonical form

stefnotch avatar Jun 22 '21 14:06 stefnotch

Great examples! Thank you.

For some of them, I'm going to have to think a bit about what the proper MathJSON should be, unless you have some suggestions (f:[a,b]\to\R for example... would that be considered a function signature?)

arnog avatar Jun 22 '21 21:06 arnog

@arnog Yes, I think that f:[a,b]\to\R was a function signature. A function f that maps from a closed interval [a,b] to the real numbers

A little suggestion regarding cosmetic things \color{red}3 would be to have some (optional) canonical form where all the cosmetics get stripped out.

stefnotch avatar Jun 23 '21 05:06 stefnotch