Sorry for being interfering, but I suppose there is some
misunderstanding which also puzzles me by now. IMO both of you are right
depending on the view. I believe that one point of confusion stems from
the intepretation of x:T as x \in T (which I also find attractive by the
way). However, FriCAS se
On 4 December 2014 at 08:08, Waldek Hebisch wrote:
> Bill Page wrote:
>>
>> On 30 November 2014 at 20:58, Waldek Hebisch
>> wrote:
>> > Bill Page wrote:
>> > ...
>> > Depends on definition of 'conjugate'. One reasonable definition
>> > of 'conjugate' on _functions_ is:
>> >
>> > conjugate(f)(z)