Usage of <limit>

Hi www-math,

The signature of <limit> (section C.2.7.3) is 

    (bvar*, ( (lowlimit, uplimit) |condition ), algebraic) -> real

and the examples in this section are:

<apply><limit/>
  <apply>
    <tendsto type="above"/>
    <ci>x</ci><cn>0</cn>
  </apply>
  <apply><sin/><ci>x</ci></apply>
</apply>

<apply><limit/>
  <apply><tendsto/><ci>x</ci><cn>0</cn></apply>J
  <apply><sin/><ci>x</ci></apply>
</apply>

Should the first <apply> child be <condition>?


Clare So
4th Year Undergraduate Student
Ontario Research Centre for Computer Algebra (ORCCA)
University of Western Ontario
CANADA

Received on Tuesday, 10 June 2003 14:16:54 UTC