Bvars(a Beschreibungs- ForAll(, N), root(degree(n), A) = a^(1/n)) Beispiel Wurzel der Beschreibung nth von a < apply><root/> < < Ci > n/Ci > < < Ci > a/Ci > </treffen Sie > zu C.2.3.12 MMLdefinition: gcd Beschreibung dieses ist der n-ary Operator, der verwendet wird, um einen Ausdruck zu konstruieren, der das größte Common darstellt Divisor seiner Argumente. Wenn kein Argument zur Verfügung gestellt wird, ist das gcd 0. Wenn ein Argument zur Verfügung gestellt wird, das gcd ist dieses Argument. Sehen Sie auch Abschnitt 4,4,3,11 . Kation- Funktion Classi MMLattribute Name Wert Rückstellung de NitionURL URI, welches de Nition kennzeichnet APPENDIX_C kodierung CDATA MathML Art MathMLType Ganzzahl ->MathMLtype der Unterschrift [ type=MathMLtype](MathMLtype *) (Ganzzahl *) - > Ganzzahl (domainofapp, Funktion) - > algebraisch (bvar+, domainofapp, algebraisch) - > algebraisch Eigenschaft < apply><forall/> < bvar><ci>x</ci></bvar > < apply><eq/> < apply><gcd/> < ci>x</ci > < cn>1</cn > </treffen Sie > zu < cn>1</cn > </treffen Sie > zu </treffen Sie > zu Beispiel < apply><gcd/> < cn>12</cn > < cn>17</cn > </treffen Sie > zu Beispiel < apply><gcd/> < cn>3</cn > < cn>5</cn > < cn>7</cn > </treffen Sie > zu C.2.3.13 MMLdefinition: und Beschreibung dieses ist das n-ary logische "und" Operator. Sie wird verwendet, um den logischen Ausdruck zu konstruieren, die es waren ausgewertet zu werden würde einen Wert von "zutreffendem", wenn alle seine Rechengrößen einen Wahrheitswert von "zutreffendem" haben haben und 339