I am still working on this in FriCAS and currently have an operational version 0.2. Although this is the Sage list, I would be glad to continue the discussion and especially with someone willing to review what I have developed so far in FriCAS. I think I now understand all this a bit better than I did in December. From my point of view the issue really is: What is a "real variable" from an algebraic perspective? The usual treatment is more topological or at least geometric than it is algebraic. It seems to me that this is ultimately what has lead to radical differences and ad hoc solutions in most computer algebra systems to date. In short, to define what we mean by real algebraically I think it is first necessary to define conjugate, or more specifically involutive (star)-algebra.
On 24 March 2015 at 21:08, kcrisman <kcris...@gmail.com> wrote: > A related question just popped up on ask.sagemath: > > http://ask.sagemath.org/question/26279/complex-analysis-compute-bar-derivative > > Not exactly the same but I think it gets at the same underlying issues of > "is it a complex variable or isn't it". > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
