Timeline for How to convert input expression to FullForm String
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2017 at 14:45 | vote | accept | QuantumDot | ||
| Jul 27, 2017 at 20:05 | comment | added | QuantumDot |
Ah I see; that makes sense. I also notice FullForm doesn't disappear when converting to InputForm either. It's stripped only when converting to OutputForm. I wish I understood this part of the evaluation process better.
|
|
| Jul 27, 2017 at 19:57 | comment | added | Carl Woll |
FullForm doesn't have DownValues, so the Unevaluated never gets stripped. I think Unevaluated is slightly better as it avoids evaluating anything, while the HoldForm approach evaluates the HoldForm object, which is inert because of it's Hold attributes, and the HoldForm approach relies on correct formatting of HoldForm when converting to OutputForm. For example, HoldForm doesn't disappear when converting to InputForm.
|
|
| Jul 27, 2017 at 19:27 | comment | added | QuantumDot |
Oh that's very good. Do you know why Unevaluated is not stripped in FullForm? I thought Unevaluated simply sets the attributes of the outer function, rather than actually being processed by it. Also, would you have any recommendations about using your method vs @HenrikSchumacker's method (involving HoldForm)?
|
|
| Jul 27, 2017 at 16:52 | history | answered | Carl Woll | CC BY-SA 3.0 |