OpenMath Content Dictionary: logic1p

Canonical URL:

CD File:

logic1p.ocd

CD as XML Encoded OpenMath:

logic1p.omcd

Defines:

where

Date:

2002-10-04

Version:

0 (Revision 1)

Review Date:

2017-12-31

Status:

experimental

---

  Author: Nobuki Takayama

---

where

Description:

The word "where" is often used in mathematical expressions to set variables or to say side conditions. CDname logic1.implies can be used for these purposes, but "where" will be more intuitive and more friendly expression for formula book writers.

Commented Mathematical property (CMP):

$ x^n \mbox{where} n=10

Formal Mathematical property (FMP):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA><OMS cd="logic1p" name="where"/>
    <OMBIND>
      <OMS cd="fns1" name="lambda"/>
      <OMBVAR>
        <OMV name="n"/>
      </OMBVAR>
      <OMA><OMS cd="arith1" name="power"/>
        <OMV name="x"/>
        <OMV name="n"/>
      </OMA>
    </OMBIND>
    <OMA><OMS cd="relation1" name="eq"/>
      <OMV name="n"/>
      <OMI> 10 </OMI>
    </OMA>
  </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="logic1p">where</csymbol>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>n</ci></bvar>
   <apply><csymbol cd="arith1">power</csymbol><ci>x</ci><ci>n</ci></apply>
  </bind>
  <apply><csymbol cd="relation1">eq</csymbol><ci>n</ci><cn type="integer">10</cn></apply>
 </apply>
</math>

Prefix

where (lambda [ n ] . (power ( x, n) ) , eq ( n, 10 ) )

Popcorn

logic1p.where(fns1.lambda[$n -> $x ^ $n], $n = 10)

Rendered Presentation MathML

$$\mathrm{where}(\lambda \hspace{0.17em}n.x^n,n=10)$$

Signatures:

sts

---

[First: where] [Last: where] [Top]