cauchypv http://www.openmath.org/cd/cauchypv.ocd 2002-09-01 experimental 2001-09-23 1 0 alg1 arith1 expint fns1 interval1 list1 nums1 transc1 relation1 quant1 logic1 This CD extends calculus1 (compatible with the calculus operations in Content MathML) with a Cauchy principal value definite integral. defint This symbol is used to represent definite (Cauchy principal value) integration of unary functions. It takes two arguments; the first being the range (e.g. a set) of integration, and the second the function. for all a,b | integral from a to b = -integral from b to a An example: the definition of the exponential integral. $$Ei(x)=\int_{-\infty}^x\frac{e^t}t dt\qquad(x>0)$$