, die Rückstellungssemantik für dieses Element überzulaufen, oder mehr Speci c de Nition zu verbinden, verwenden de NitionURL und kodierenattribute Sehen Sie auch Abschnitt 4,4,8,1 . Kation- Erbauer Classi MMLattribute Name Wert Rückstellung de NitionURL ein URI, welches de Nition kennzeichnet APPENDIX_C kodierung CDATA MathML Unterschrift (algebraisch) - > anders (alles) - > anders Beispiel < stückweise > < piece><cn > 0</cn><apply><lt/><ci > x</ci > < cn > 0</cn></apply></piece > < otherwise><ci>x</ci></otherwise > </stückweise > C.2.3 Arithmetische Algebra und Logik C.2.3.1 MMLdefinition: Quotient Beschreibungs- Quotient ist die binäre Funktion, die verwendet wird, um den Betrieb der Ganzzahlenabteilung darzustellen. quotient(a, B) De merkt q so daß a = b*q+r, mit|r|kleiner als|b|und a*r nichtnegativ. Sehen Sie auch Abschnitt 4,4,3,1 . Kation- Funktion Classi MMLattribute Name Wert Rückstellung de NitionURL URI, welches de Nition kennzeichnet APPENDIX_C kodierung CDATA MathML Art MathMLType Ganzzahl Unterschrift (Ganzzahl, Ganzzahl) - > Ganzzahl Eigenschaft Beschreibung ForAll([ a,b ], b! = 0, a = b*quotient(a, B) + rem(a, B)) < apply><forall/> < bvar><ci>a</ci></bvar > < bvar><ci>b</ci></bvar > < condition><apply><neq/><ci>b</ci><cn>0</cn></apply></condition > < apply><eq/> < ci>a</ci > < apply><plus/> < apply><times/> < ci>b</ci > < apply><quotient/><ci>a</ci><ci>b</ci></apply > </treffen Sie > zu < apply><rem/><ci>a</ci><ci>b</ci></apply > </treffen Sie > zu </treffen Sie > zu </treffen Sie > zu Beispiel < apply><quotient/> < < Ci > a/Ci > < < Ci > b/Ci > </treffen Sie > zu 329