m:declare

Element information

Content

from group m:ContExp
Choice [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:DeprecatedContExp
  • can be substituted with m:declare

Sample instance

<m:declare>
   <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:declare>