[om] Incorporating Pre-conditions within Expression

Muthukkaruppan Annamalai mkppan at hotmail.com
Mon Nov 18 04:42:01 CET 2002


Does anyone know how to attach a precondition to the specification of a 
mathematical expression.

For example,  I only want to sum up the  positive members in a list P, i.e.,


<OMOBJ>
     <OMA>
          <OMS  cd="fns2"  name="apply_to_list"/>
          <OMS  cd="arith1"  name="plus"/>
          <OMV  name="P"/>
     </OMA>
</OMOBJ>

where P_i > 0




Muthukkaruppan Annamalai
mkppan at cs.mu.oz.au





_________________________________________________________________
Add photos to your e-mail with MSN 8. Get 2 months FREE*. 
http://join.msn.com/?page=features/featuredemail
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems



More information about the Om mailing list