m:lambda

Element information

Content

• Sequence [1..1]
  from group m:BvarQ
  m:bvar [0..*]    
  from group m:DomainQ
  Choice [0..*]
  • m:domainofapplication    
  • m:condition    
  • Sequence [1..1]
    1. m:lowlimit [1..1]    
    2. m:uplimit [0..1]    
  from group m:ContExp
  Choice [1..1]
  • m:apply    
  • m:bind    
  • m:ci    
  • m:cn    
  • m:csymbol    
  • m:cbytes    
  • m:cerror    
  • m:cs    
  • m:share    
  • m:piecewise    
  from subst. group m:DeprecatedContExp
  m:reln    
  m:fn    
  m:declare    
  from subst. group m:interval.class
  m:interval [1..1]    
  from subst. group m:unary-functional.class
  m:inverse    
  m:ident    
  m:domain    
  m:codomain    
  m:image    
  m:ln    
  m:log    
  m:moment    
  from subst. group m:lambda.class
  m:lambda [1..1]    
  from subst. group m:nary-functional.class
  m:compose [1..1]    
  from group m:binary-arith.class
  m:quotient    
  m:divide    
  m:minus    
  m:power    
  m:rem    
  m:root    
  from group m:unary-arith.class
  m:factorial    
  m:abs    
  m:conjugate    
  m:arg    
  m:real    
  m:imaginary    
  m:floor    
  m:ceiling    
  m:exp    
  from subst. group m:nary-minmax.class
  m:max    
  m:min    
  from subst. group m:nary-arith.class
  m:plus    
  m:times    
  m:gcd    
  m:lcm    
  from subst. group m:nary-logical.class
  m:and    
  m:or    
  m:xor    
  from subst. group m:unary-logical.class
  m:not [1..1]    
  from subst. group m:binary-logical.class
  m:implies    
  m:equivalent    
  from subst. group m:quantifier.class
  m:forall    
  m:exists    
  from subst. group m:nary-reln.class
  m:eq    
  m:gt    
  m:lt    
  m:geq    
  m:leq    
  from subst. group m:binary-reln.class
  m:neq    
  m:approx    
  m:factorof    
  m:tendsto    
  from subst. group m:int.class
  m:int [1..1]    
  from subst. group m:Differential-Operator.class
  m:diff [1..1]    
  from subst. group m:partialdiff.class
  m:partialdiff [1..1]    
  from subst. group m:unary-veccalc.class
  m:divergence    
  m:grad    
  m:curl    
  m:laplacian    
  from subst. group m:nary-setlist-constructor.class
  m:set    
  m:list    
  from subst. group m:nary-set.class
  m:union    
  m:intersect    
  m:cartesianproduct    
  from subst. group m:binary-set.class
  m:in    
  m:notin    
  m:notsubset    
  m:notprsubset    
  m:setdiff    
  from subst. group m:nary-set-reln.class
  m:subset    
  m:prsubset    
  from subst. group m:unary-set.class
  m:card [1..1]    
  from subst. group m:sum.class
  m:sum [1..1]    
  from subst. group m:product.class
  m:product [1..1]    
  from subst. group m:limit.class
  m:limit [1..1]    
  from subst. group m:unary-elementary.class
  m:sin    
  m:cos    
  m:tan    
  m:sec    
  m:csc    
  m:cot    
  m:sinh    
  m:cosh    
  m:tanh    
  m:sech    
  m:csch    
  m:coth    
  m:arcsin    
  m:arccos    
  m:arctan    
  m:arccosh    
  m:arccot    
  m:arccoth    
  m:arccsc    
  m:arccsch    
  m:arcsec    
  m:arcsech    
  m:arcsinh    
  m:arctanh    
  from subst. group m:nary-stats.class
  m:mean    
  m:sdev    
  m:variance    
  m:median    
  m:mode    
  from subst. group m:nary-constructor.class
  m:vector    
  m:matrix    
  m:matrixrow    
  from subst. group m:unary-linalg.class
  m:determinant    
  m:transpose    
  from subst. group m:nary-linalg.class
  m:selector [1..1]    
  from subst. group m:binary-linalg.class
  m:vectorproduct    
  m:scalarproduct    
  m:outerproduct    
  from subst. group m:constant-set.class
  m:integers    
  m:reals    
  m:rationals    
  m:naturalnumbers    
  m:complexes    
  m:primes    
  m:emptyset    
  from subst. group m:constant-arith.class
  m:exponentiale    
  m:imaginaryi    
  m:notanumber    
  m:true    
  m:false    
  m:pi    
  m:eulergamma    
  m:infinity    

Attributes

Used in

• Group m:ContExp
• Anonymous type of element m:TableCellExpression via reference to m:MathExpression
• Anonymous type of element m:annotation-xml via reference to m:MathExpression
• Anonymous type of element m:apply via reference to m:ContExp
• Anonymous type of element m:bind via reference to m:ContExp
• Anonymous type of element m:cerror via reference to m:ContExp
• Anonymous type of element m:condition via reference to m:ContExp
• Anonymous type of element m:declare via reference to m:ContExp
• Anonymous type of element m:degree via reference to m:ContExp
• Anonymous type of element m:domainofapplication via reference to m:ContExp
• Anonymous type of element m:fn via reference to m:ContExp
• Anonymous type of element m:interval via reference to m:ContExp
• Anonymous type of element m:interval.class via reference to m:ContExp
• Anonymous type of element m:lambda via reference to m:ContExp
• Anonymous type of element m:lambda.class via reference to m:ContExp
• Anonymous type of element m:list via reference to m:ContExp
• Anonymous type of element m:logbase via reference to m:ContExp
• Anonymous type of element m:lowlimit via reference to m:ContExp
• Anonymous type of element m:maction via reference to m:MathExpression
• Anonymous type of element m:math via reference to m:MathExpression
• Anonymous type of element m:matrix via reference to m:ContExp
• Anonymous type of element m:matrixrow via reference to m:ContExp
• Anonymous type of element m:menclose via reference to m:MathExpression
• Anonymous type of element m:merror via reference to m:MathExpression
• Anonymous type of element m:mfenced via reference to m:MathExpression
• Anonymous type of element m:mfrac via reference to m:MathExpression
• Anonymous type of element m:mlongdiv via reference to m:MstackExpression
• Anonymous type of element m:mmultiscripts via reference to m:MathExpression
• Anonymous type of element m:mmultiscripts via reference to m:MultiScriptExpression
• Anonymous type of element m:momentabout via reference to m:ContExp
• Anonymous type of element m:mover via reference to m:MathExpression
• Anonymous type of element m:mpadded via reference to m:MathExpression
• Anonymous type of element m:mphantom via reference to m:MathExpression
• Anonymous type of element m:mroot via reference to m:MathExpression
• Anonymous type of element m:mrow via reference to m:MathExpression
• Anonymous type of element m:mscarries via reference to m:MsrowExpression
• Anonymous type of element m:mscarry via reference to m:MsrowExpression
• Anonymous type of element m:msgroup via reference to m:MstackExpression
• Anonymous type of element m:msqrt via reference to m:MathExpression
• Anonymous type of element m:msrow via reference to m:MsrowExpression
• Anonymous type of element m:mstack via reference to m:MstackExpression
• Anonymous type of element m:mstyle via reference to m:MathExpression
• Anonymous type of element m:msub via reference to m:MathExpression
• Anonymous type of element m:msubsup via reference to m:MathExpression
• Anonymous type of element m:msup via reference to m:MathExpression
• Anonymous type of element m:mtd via reference to m:MathExpression
• Anonymous type of element m:munder via reference to m:MathExpression
• Anonymous type of element m:munderover via reference to m:MathExpression
• Anonymous type of element m:nary-constructor.class via reference to m:ContExp
• Anonymous type of element m:otherwise via reference to m:ContExp
• Anonymous type of element m:piece via reference to m:ContExp
• Anonymous type of element m:reln via reference to m:ContExp
• Anonymous type of element m:semantics via reference to m:ContExp
• Anonymous type of element m:semantics via reference to m:MathExpression
• Anonymous type of element m:set via reference to m:ContExp
• Anonymous type of element m:uplimit via reference to m:ContExp
• Anonymous type of element m:vector via reference to m:ContExp
• Group m:MathExpression via reference to m:ContExp
• Group m:MsrowExpression via reference to m:ContExp
• Group m:MstackExpression via reference to m:ContExp
• Group m:MultiScriptExpression via reference to m:ContExp
• Type m:ImpliedMrow via reference to m:MathExpression
• Type m:annotation-xml.model via reference to m:MathExpression
• Type m:apply.content via reference to m:ContExp
• Type m:bind.content via reference to m:ContExp

Substitution hierarchy

• m:lambda.class
  • can be substituted with m:lambda

Sample instance

<m:lambda>
   <m:bvar>
      <m:ci>
         <m:mglyph/>
      </m:ci>
   </m:bvar>
   <m:domainofapplication>
      <m:apply>
         <m:apply>...
         </m:apply>
         <m:bvar>...
         </m:bvar>
         <m:domainofapplication>...
         </m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:apply>
   </m:domainofapplication>
   <m:apply>
      <m:apply>
         <m:apply>...
         </m:apply>
         <m:bvar>...
         </m:bvar>
         <m:domainofapplication>...
         </m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:apply>
      <m:bvar>
         <m:ci>...
         </m:ci>
      </m:bvar>
      <m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:domainofapplication>
      <m:apply>
         <m:apply>...
         </m:apply>
         <m:bvar>...
         </m:bvar>
         <m:domainofapplication>...
         </m:domainofapplication>
         <m:apply>...
         </m:apply>
      </m:apply>
   </m:apply>
</m:lambda>