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 > [email protected] > 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 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
