[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.,

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

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*. 
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