On 30.06.22 23:29, Waldek Hebisch wrote:
I mentioned that some time ago. I would like to add indication of
scope to OutputForm. Main reason is SparseUnivariatePolynomial. In
SparseUnivariatePolynomial variable is effectively anonymous and for
output uses '?'.
Is this the only reason?
In case it is, my first feeling is. No bug, don't fix it. If a user
wants a proper variable name, he should use UnivariatePolynomial,
because that explicitly requires a variable name for the output.
My understanding is that SUP is for internal purposes where the name of
the variable is irrelevant. And I do not see that in our algebra library
the use of SUP causes any problem.
If you do not accept that position, then another simple idea is that
for the variable name is only really a problem, if we have SUP(A) and
SUP(B) with different coefficient rings A and B. That, however, leads to
two instantiations of SUP, right? What about simply generating a new
lisp symbol with every instance of SUP and store it as a domain
variable/constant. That symbol would then be used for output. No need to
change OutputForm.
Ralf
--
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/8bed6a83-7fe0-25ea-7537-14ef7eb1cf74%40hemmecke.org.
