Fails to bring into canoical form

[stefnotch]

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}
  
  turns into "" syntax-error, probably because of the \displaystyle

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

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

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

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

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

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

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

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

[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

[arnog]

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?)

[stefnotch]

@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.