On 7/1/22 05:29, Waldek Hebisch wrote:
p1 and p2 are different, but OutputForm is identical.  With
scope markers we should get something like

(SCOPE (SCOPE "?"))

for p1 and

(SCOPE "?")

for p2.  To make this useful we also need to change output.
One possibility is to have list of variables to substitute for
"?".  Assuming that the list is ['%a, '%b] we could transform
the first case to "%a" and the second case to "%b".

Drawback is that all users of OutputForm should be updated.
This could be simplifed by doing transformation above in
precondition (which IIUC is used by all our formatters).

Comments?  Aternative ideas?


This is useful to have, not sure if implementation will be tricky.
This can also be helpful for nested Union("failed",...).

- Qian

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/f81fd242-163d-72b9-a7e0-78baf1f12a67%40gmail.com.

Reply via email to