[Om3] CD-review little report

[Michael Kohlhase]

David Carlisle wrote:
>   
>> I personally would like there to be a unary integration, as the inverse of
>> unary differentiation, and would find it hard to argue for the existence
>> of one and not the other.
>>     
>
> I'm confused by this thread. I tried to trace it back but I couldn't
> find the origin of this issue. For indefinite integration OM has
> only had unary integratikn operator taking a function.  There've been
> some proposals to add a form that takes a term and a variable, but
> not to remove the existing symbols, has there?
>   
yes, the latest proposal I made in the note I circulated on sunday night
(which subsumes all my other proposals, including the early ones that
still are in chapter 4) was to _add_ a content dictionary calculus3 with
term+variable versions of the symbols and _keeping_ the calculus1 CD.
The pragmatic-to-strict translation would then pick the appropriate
symbol depending on the content, just as in s_dist and s_data.

Michael
> David
>
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs. 
> ________________________________________________________________________
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------