m:uplimit

Element information

Content

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

None

Used in

• Group m:DomainQ
• Anonymous type of element m:apply via reference to m:Qualifier
• Anonymous type of element m:bind via reference to m:Qualifier
• Anonymous type of element m:lambda via reference to m:DomainQ
• Anonymous type of element m:lambda.class via reference to m:DomainQ
• Anonymous type of element m:list via reference to m:DomainQ
• Anonymous type of element m:matrix via reference to m:DomainQ
• Anonymous type of element m:matrixrow via reference to m:DomainQ
• Anonymous type of element m:nary-constructor.class via reference to m:DomainQ
• Anonymous type of element m:set via reference to m:DomainQ
• Anonymous type of element m:vector via reference to m:DomainQ
• Group m:Qualifier via reference to m:DomainQ
• Type m:apply.content via reference to m:Qualifier
• Type m:bind.content via reference to m:Qualifier

Sample instance

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