Original-URLs

&cr;"> Ein lästiges Problem ist, dass xs:decimal nicht die Werte -INF und INF abbilden kann. Die aktuelle Implementierung (Revision 0.2.25) wirft in diesen Fällen ein Exception (Verarbeitung wird mit Fehler abgebrochen). Eine zukünftige Lösung könnte darin bestehen, das Ergebnis dynamisch auf xs:double oder xs:decimal zu casten."> Die Anzahl der Iterationen resp. Genauigkeit wird von $intern:max und $intern:iround beeinflusst."> ]> Tests für math.xsl Dieses Stylesheet testet math.xsl Autor: Stefan Krause Homepage: http://www.expedimentum.org/ Lizenz (duale Lizenzierung): Dieses Stylesheet und die dazugehörige Dokumentation sind unter einer Creative Commons-Lizenz (CC-BY 3.0) lizenziert. Die Weiternutzung ist bei Namensnennung erlaubt. Dieses Stylesheet und die dazugehörige Dokumentation sind unter der sogenannten Expat License (einer GPL-kompatiblen MIT License) lizensiert. Es darf – als Ganzes oder auszugweise – unter Beibehaltung der Copyright-Notiz kopiert, verändert, veröffentlicht und verbreitet werden. Die Copyright-Notiz steht im Quelltext des Stylesheets und auf der Startseite der Dokumentation. Original-URLs Stylesheet: &XSL-Base-Directory;/math.xsl Dokumentation: &doc-Base-Directory;/math.html Test-Stylesheet: &XSL-Base-Directory;/math_tests.xsl Test-Dokumentation: &doc-Base-Directory;/math_tests.html XSLT-SB: &XSL-Base-Directory;/ Google Code: http://code.google.com/p/xslt-sb/ 0.2.25 2011-05-29 Stf Status: alpha Ausgliederung aus math.xsl Dieses Template ist der Einstiegspunkt in die Selbst-Tests. Es loggt die Systemparameter und ruft die Test-Routinen der lokalen und eingebundenen Templates und Funktionen auf. 0.2.12 2011-05-21 Stf initiale Version Status: beta

ein Testknoten Name der getesteten Funktion. Der Funktionsname wird sowohl zur Ermittlung des Referenzwertes aus dem Testknoten als auch zur Ausgabe der Resultate an das Logging-System verwendet. aktuelles Ergebnis der getesteten Funktion. Im select-Attribut des <xsl:with-param/>-Elements sollte die getestete Funktion mit dem Inhalt des <value/>-Elements des Testknotens als Argument aufgerufen werden. abgewandelte Fassung von xsb:internals.test.function.withTestItem.NumericResult, um das Runden mit intern:round einfach berücksichtigen zu können 0.2.25 2011-05-25 Stf Status: beta initiale Version

( '' )

ein Testknoten Name der getesteten Funktion. Der Funktionsname wird sowohl zur Ermittlung des Referenzwertes aus dem Testknoten als auch zur Ausgabe der Resultate an das Logging-System verwendet. aktuelles Ergebnis der getesteten Funktion. Im select-Attribut des <xsl:with-param/>-Elements sollte die getestete Funktion mit dem Inhalt des <value/>-Elements des Testknotens als Argument aufgerufen werden. abgewandelte Fassung von xsb:internals.test.function.withTestItem.NumericResult, um das Runden mit intern:iround einfach berücksichtigen zu können 0.2.25 2011-05-25 Stf Status: beta initiale Version

( '' )

1 1 2 2.718281828459045235360287471352662497757247093699959574967 2.718281828459045235360287471352662497757247093699959574967

0.841470984807896507 0.54030230586813971740

0.0174532925199433

57.295779513082320876798154814105170332405472466564321549

1 1 2 2 0 0 1 10 1.557407724654902230506974807458360173087250772381520038384 0.642092615934330703006419986594265620230278113918171379101

0.785398163397448309615660845819875721049292349843776455244 0.463647609000806116214256231461214402028537054286120263811 1.570796326794896619231321691639751442098584699687552910487 0 1.570796326794896619231321691639751442098584699687552910487 1 2.970686423552019336197657011453594895503487279888690815736 4.810477380965351655473035666703833126390170874664534940021 4.810477380965351655473035666703833126390170874664534940021

1.570796326794896619231321691639751442098584699687552910487

1 0

0.0274155677808037739412069194441004198203158316867799739623

1.253314137315500251207882642405522626503493370304969158315 1.253314137315500251207882642405522626503493370304969158315 2 2 0.451582705289454864726195229894882143571794678555056317393 0.196119877030152659137529393566405846883488442918333904822 0 37.22171048416516670949576580503503341327551404091465815711 INF 0

1.00388482185388721414842394491713228829210446059487057473 0.665773750028353863590517708512175209194269875620066408542 2 2 4 7.389056098930650227230427460575007813180315570551847324087 7.389056098930650227230427460575007813180315570551847324087

0.909297426825681695 -0.4161468365471423869975682295007621897660007710755448908

0.03490658503988659

114.5915590261646417535963096282103406648109449331286430983

1.414213562373095048801688724209698078569671875376948073 1.414213562373095048801688724209698078569671875376948073 1.414213562373095048801688724209698078569671875376948073 1.414213562373095048801688724209698078569671875376948073 0.69314718055994530941723212145817656807550013436025525412 0.301029995663981195213738894724493026768189881462108541310 1 100 -2.18503986326151899164330610231368254343201774622766316456 -0.45765755436028576375027741043204727642848632923167432964

1.1071487177940905030170654601785370400700476454014326467 0.785398163397448309615660845819875721049292349843776455244 3 6 8 20.085536923187667740928529654581717896987907838554150144378934229698845878 20.085536923187667740928529654581717896987907838554150144378934229698845878

0.14112000805986722210074480280811 -0.98999249660044545727157279473126130239367909661558832881

0.05235987755982988730771072305465838140328615665625176368

171.887338539246962630394464442315510997216417399692964647

1.732050807568877293527446341505872366942805253810380628056 1.732050807568877293527446341505872366942805253810380628056 1.25992104989487316476721060727822835057025146470150798 1.25992104989487316476721060727822835057025146470150798 1.09861228866810969139524523692252570464749055782274945173 0.47712125471966243729502790325511530920012886419069586483 2 1000 -0.14254654307427780529563541053391349322609228490180464763 -7.01525255143453346942855137952647657829310335209635383816

1.249045772398254425829917077281090123077829404129896719055 0.982793723247329067985710611014666014496877453631628556761 3.1415926535897932384626433832795 8.824977827076287623856429604208001581704410815271484926669 23.1406926327792690057290863679485473802661062426002119934 23.1406926327792690057290863679485473802661062426002119934

3.1415926535897932384626433832795

0 -1

0.0548311355616075478824138388882

180

1.77245385090551602729816748334114518279754945612238712821 1.77245385090551602729816748334114518279754945612238712821 1.24686898890063830549737063612557700547254563439112570363 1.24686898890063830549737063612557700547254563439112570363 1.14472988584940017414342735135305871164729481291531157151 0.497149872694133854351268288290898873651678324380442446134 1385.455731367011089140919936879688065066565539444998214842 0 -INF

1.262627255678911683444322083605698343508947670424383596974 1.003884821853887214148423944917132288292104460594870574729 6.283185307179586476925286766559 77.8802336483881151070208347785976597963218987692005087464 535.4916555247647365030493295890471814778057976032949155072 535.4916555247647365030493295890471814778057976032949155072

6.283185307179586476925286766559

0 1

0.109662271123215095764827677776

360

2.50662827463100050241576528481104525300698674060993831663 2.50662827463100050241576528481104525300698674060993831663 1.11663288009114181981147814884648079442403971913807087138 1.11663288009114181981147814884648079442403971913807087138 1.837877066409345483560659472811235279722794947275566825634 0.798179868358115049565007183015391900419868205842550987444 1919487.5835776995947163759258766484544894578323133001 0 INF

1.412965136506737759063712949856932518493513459088501850072 1.262627255678911683444322083605698343508947670424383596974 10 3628800 1024 22026.465794806716516957900645312 22026.465794806716516957900645312

3.7168146928204135230747132334409942

-0.544021110889369813 -0.839071529076452452258863947824

0.17453292519943295

572.9577951308232087679815481410517033240547246656432154916

3.16227766016837933199889354443271853371955513932521682686 3.16227766016837933199889354443271853371955513932521682686 1.07177346253629316421300632502334202290638460497755678348 1.07177346253629316421300632502334202290638460497755678348 1.07177346253629316421300632502334202290638460497755678348 2.302585092994045684017991454684364207601101488628772976033 1 55 10000000000 0.648360827459086671259124933009808676816874342983724975634 1.542351045356920048277469355682429311320667206401962490919

1.471127674303734591852875571761730851855306377183238262472 1.373400766945015860861271926444961148650999595899700808970 100 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000 1267650600228229401496703205376 26881171418161354484126255515800135873611118.773741922415191608615280287034909564914 26881171418161354484126255515800135873611118.773741922415191608615280287034909564914

5.7522203923062028461206985016149135

-0.5063656411097588 0.86231887228768393

1.7453292519943295769

5729.577951308232087679815481410517033240547246656432154916

10 10 1.0069555500567188088326982141132397854535407405341259051 1.0069555500567188088326982141132397854535407405341259051 4.605170185988091368035982909368728415202202977257545952067 2 354224848179261915075 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -0.58721391515692907667780963564458789425876598687291954413 -1.70295691942646921609873145955728386284991896360177739850

1.56079666010823138102498157543047189353721534714317627086 1.550798992821746086170568494738154954149351501001044426582 0 1 1 1 1

0 1

0 0 0 0 -INF -INF 0 1 0 INF 0 0 0 1.570796326794896619231321691639751442098584699687552910487 -42 0.0000000000002273736754432320594787597656 0.000000000000000000574952226429355980666438088057342342494755797432374 0.000000000000000000574952226429355980666438088057342342494755797432374

-4.30088815692248113844827940064596538963396720749873014830

0.916521547915633785898989158069671501748146718165188808928 -0.39998531498835129395470733717720202838042287914241906062

-0.73303828583761842230795012276521733964600619318752469156

-2406.42273954945747682552250219241715396102984359570150506

0.000000000000000000000000000000000000000001 -2.29138799243748608885455387439788153851442850194729645344 -0.43641670607527289605711673823895793299115845885203998977 -1.54699130060982667577745363628196067741930455660382242403 -1.52321322351791322342928897562326592463202570509422094488 -5 0.03125 0.006737946999085467096636048423148424248849585027355085430 0.006737946999085467096636048423148424248849585027355085430

-5

0.95892427466313846889315440615599397335246154396460177813 0.283662185463226264466639171513557308334422592252215944930

-0.08726646259971647884618453842443063567214359442708627280

-286.478897565411604383990774070525851662027362332821607746

0.00001 3.380515006246585636982705879447343908709569208285459877177 0.295812915532745540427767168082485286068234795481534895337 -1.37340076694501586086127192644496114865099959589970080897 -1.19028994968253173292773377482931833760117898602945207291 -3.1415926535897932384626433832795 0.113314732296760873020282172213329377896121456442127822633 0.043213918263772249774417737171728011275728109810633082981 0.04321391826377224977441773717172801127572810981063308298

-3.1415926535897932384626433832795

0 -1

-0.05483113556160754788241383888820083964063166337355994792

-180

0.000721784159074727743612993983349810056457751540559222952 0 -INF -1.26262725567891168344432208360569834350894767042438359697 -1.00388482185388721414842394491713228829210446059487057473 -1.570796326794896619231321691639751442098584699687552910487 0.336622536822419055662852396037963825078978448456553529606 0.207879576350761908546955619834978770033877841631769608075 0.207879576350761908546955619834978770033877841631769608075

-1.570796326794896619231321691639751442098584699687552910487

-1 0

-0.0274155677808037739412069194441004198203158316867799739623

-90

2 0.026866041001136132108405983359849317421437525218955605181 -INF 0 -1.00388482185388721414842394491713228829210446059487057473 -0.66577375002835386359051770851217520919426987562006640854 -1 0.5 0.367879441171442321595523770161460867445811131031767834508 0.367879441171442321595523770161460867445811131031767834508

-1

-0.841470984807896507 0.54030230586813971740

-0.0174532925199433

-57.295779513082320876798154814105170332405472466564321549

0.1 -1.55740772465490223050697480745836017308725077238152003838 -0.64209261593433070300641998659426562023027811391817137910 -0.78539816339744830961566084581987572104929234984377645524 -0.46364760900080611621425623146121440202853705428612026381 0 0 0 0 -1.57079632679489661923132169163975144209858469968755291049 1 1 1 1 -0.78539816339744830961566084581987572104929234984377645524 2 16 1.14869835499703500679862694677792758944385088909779750551 1.14869835499703500679862694677792758944385088909779750551 -0.46364760900080611621425623146121440202853705428612026381 3 81 1.245730939615517325966680336640305080939309993068779811046 1.245730939615517325966680336640305080939309993068779811046 -0.32175055439664219340140461435866131902075529555765619143 10 10000 1.584893192461113485202101373391507013269442133825039068316 1.584893192461113485202101373391507013269442133825039068316 -0.09966865249116202737844611987802059024327832250431464802 100 100000000 2.511886431509580111085032067799327394158518100782475428679 2.511886431509580111085032067799327394158518100782475428679 -0.00999966668666523820634011620927954856136935254437663963 Dieses Template führt die lokalen Selbst-Tests aus. 0.2.12 2011-05-21 Stf initiale Version Status: beta

xs:double(18446744073709551615 div 16)

xs:decimal(18446744073709551615 div 16)

floor(xs:decimal(4294967295.999999999999) )

floor(xs:decimal(1152921504606846975.9375) )

DEBUG

xsb:fact

DEBUG

xsb:pow

intern:normalize-rad

xsb:sin

xsb:cos

INFO

xsb:tan

xsb:tan(xs:double(-0.0e0) )

xsb:tan(xs:double(+0.0e0) )

INFO

xsb:cot

xsb:cot(xs:double(-0.0e0) )

xsb:cot(xs:double(0) )

xsb:deg-to-rad

xsb:rad-to-deg

xsb:sqrt

intern:sqrt

DEBUG

xsb:nroot

INFO

xsb:nroot

INFO

xsb:log

xsb:log(xs:double(0) )

INFO

xsb:log10

xsb:log10(xs:double(0) )

DEBUG

xsb:fibonacci

xsb:fibonacci-sequence(0)

xsb:fibonacci-sequence(1)

xsb:fibonacci-sequence(2)

xsb:fibonacci-sequence(10)

xsb:exp

intern:log-m-iterator

xsb:exp10

xsb:atan

xsb:atan(xs:double(-0.0e0))

xsb:atan(xs:double('NaN'))

xsb:atan(xs:double('INF'))

xsb:atan(xs:double('-INF'))

xsb:atan2

xsb:atan2(+0.0e0, +0.0e0)

xsb:atan2(-0.0e0, +0.0e0)

xsb:atan2(number(+0.0e0), number(-0.0e0) )

xsb:atan2(-0.0e0, -0.0e0)

xsb:atan2(xs:decimal(-1), +0.0e0)

xsb:atan2(xs:double(+1), +0.0e0)

xsb:atan2(-0.0e0, -1)

xsb:atan2(+0.0e0, -1)

xsb:atan2(-0.0e0, 1)

xsb:atan2(+0.0e0, 1)

xsb:atan2(-0.5, +0.0e0)

xsb:atan2(+0.5, +0.0e0)

xsb:atan2(-0.0e0, -0.5)

xsb:atan2(+0.0e0, -0.5)

xsb:atan2(-0.0e0, 0.5)

xsb:atan2(+0.0e0, 0.5)

xsb:atan2(xs:double('NaN'), 0.5)

xsb:atan2(+0.0e0, xs:double('NaN'))

xsb:sgn(xs:double('NaN'))

xsb:sgn(xs:double('-INF'))

xsb:sgn(xs:integer(-10))

xsb:sgn(xs:double('-0.0e0'))

xsb:sgn(xs:double('+0.0e0'))

xsb:sgn(xs:integer(0))

xsb:sgn(xs:double(10))

xsb:sgn(xs:double('INF'))

intern:sgn(xs:double('NaN'))

intern:sgn(xs:double('-INF'))

intern:sgn(xs:decimal(-10))

intern:sgn(xs:double('-0.0e0'))

intern:sgn(xs:double('+0.0e0'))

intern:sgn(xs:float(0))

intern:sgn(xs:integer(10))

intern:sgn(xs:double('INF'))

xsb:is-NaN(xs:double('NaN'))

xsb:is-NaN(xs:float('NaN'))

xsb:is-NaN(xs:float('3'))

xsb:is-NaN(xs:float('INF'))

xsb:is-NaN(xs:float('-INF'))

xsb:is-INF(xs:double('INF'))

xsb:is-INF(xs:float('INF'))

xsb:is-INF(xs:float('3'))

xsb:is-INF(xs:float('NaN'))

xsb:is-negative-INF(xs:double('-INF'))

xsb:is-negative-INF(xs:float('-INF'))

xsb:is-negative-INF(xs:float('3'))

xsb:is-negative-INF(xs:float('NaN'))

xsb:is-negative-0(xs:double('-0.0e0'))

xsb:is-negative-0(xs:float('-0.0e0'))

xsb:is-negative-0(xs:decimal(xs:float('-0.0e0')))

xsb:is-negative-0(xs:float('-INF'))

xsb:is-negative-0(xs:float('3'))

xsb:is-negative-0(xs:float('NaN'))

intern:cast-negative-INF(xs:double('-1'))

intern:cast-negative-INF(xs:double('INF'))

intern:cast-negative-INF(xs:double('NaN'))

intern:cast-negative-INF(xs:float('11'))

intern:cast-INF(xs:double('-1'))

intern:cast-INF(xs:double('INF'))

intern:cast-INF(xs:double('NaN'))

intern:cast-INF(xs:float('11'))

intern:cast-NaN(xs:double('-1'))

intern:cast-NaN(xs:double('INF'))

intern:cast-NaN(xs:double('NaN'))

intern:cast-NaN(xs:float('11'))

intern:cast-negative-0(xs:double('-1'))

intern:cast-negative-0(xs:double('INF'))

intern:cast-negative-0(xs:double('NaN'))

intern:cast-negative-0(xs:float('11'))

intern:cast-negative-0(xs:decimal('11'))

xsb:asin(xs:decimal(0.5))

xsb:asin(xs:decimal(-0.2))

xsb:asin(0.0e0)

xsb:asin(xs:decimal(1))

xsb:asin(xs:decimal(-1))

xsb:asin(-0.0e0)

xsb:asin(2.0e0)

xsb:asin(xs:double('NaN'))

xsb:asin(xs:double('INF'))

xsb:asin(xs:double('-INF'))

xsb:acos(xs:decimal(-0.5))

xsb:acos(xs:decimal(0.2))

xsb:acos(xs:decimal(1))

xsb:acos(xs:decimal(-1))

xsb:acos(-0.0e0)

xsb:acos(2.0e0)

xsb:acos(xs:double('NaN'))

xsb:acos(xs:double('INF'))

xsb:acos(xs:double('-INF'))

intern:round(xs:double(-0.5) )

intern:round(xs:double('NaN') )

intern:round(xs:double('INF') )

intern:round(xs:double('-INF') )

xsb:is-in-range((), 0, 1)

xsb:is-in-range('0', 0, 1)

xsb:is-in-range('xslt', 0, 1)

xsb:is-in-range(xs:double('NaN'), 0, 1)

xsb:is-in-range(0, 1, 1)

xsb:is-in-range(0.5, 0, 1)

xsb:is-in-range(0, 1.5, 1)

xsb:is-in-range(0.5, 1, 0)

intern:variance(number('NaN'))

intern:variance($seq1)

intern:round(intern:variance($seq2))

intern:variance($seq3)

intern:variance($seq4)

xsb:variance(number('NaN'))

xsb:variance($seq1)

xsb:variance($seq2)

xsb:variance($seq3)

xsb:variance($seq4)

intern:standard-deviation(number('NaN'))

intern:standard-deviation($seq1)

intern:round(intern:standard-deviation($seq2))

intern:round(intern:standard-deviation($seq3))

intern:round(intern:standard-deviation($seq4))

xsb:standard-deviation(number('NaN'))

xsb:standard-deviation($seq1)

xsb:standard-deviation($seq2)

xsb:standard-deviation($seq3)

xsb:standard-deviation($seq4)

intern:linear-congruential-generator(1, 0)

intern:linear-congruential-generator(5, 0)

intern:linear-congruential-generator(3, (12345, 3554416254) )

$random-value-1 ne 0

$random-value-2 ne 0

$random-value-1 ne 1

$random-value-2 ne 1

$random-value-1 ne $random-value-2

TRACE

Länge der Zufalls-Sequenzen:

TRACE

Intervall (Breite) und min-Grenze: /normalisiert

TRACE

max-Grenze: /normalisiert

TRACE

Durchschnitt (Erwartungswert): /normalisiert

TRACE

min-max-Durchschnitt: - /normalisiert -

TRACE

Standardabweichung (Erwartungswert): /normalisiert

TRACE

min-max-Standardabweichung: - /normalisiert -

deep-equal($random-sequence-1, $random-sequence-2)

count(distinct-values($random-sequence-1)) eq $laenge

count(distinct-values($random-sequence-2)) eq $laenge

xsb:is-in-range($random-sequence-1-min, 0, $breite)

xsb:is-in-range($random-sequence-2-min, 0, $breite)

xsb:is-in-range($random-sequence-1-max, ($intern:random-max - $breite), $intern:random-max)

xsb:is-in-range($random-sequence-2-max, ($intern:random-max - $breite), $intern:random-max)

TRACE

$random-sequence-1-avg:

xsb:is-in-range($random-sequence-1-avg, ($kalkulatorischer_durchschnitt - 2 * $breite), ($kalkulatorischer_durchschnitt + 2 * $breite))

TRACE

$random-sequence-2-avg:

xsb:is-in-range($random-sequence-2-avg, ($kalkulatorischer_durchschnitt - 2 * $breite), ($kalkulatorischer_durchschnitt + 2 * $breite))

TRACE

$random-sequence-1-stddev:

xsb:is-in-range($random-sequence-1-stddev, ($kalkulatorische_standardabweichung - $breite), ($kalkulatorische_standardabweichung + $breite))

TRACE

$random-sequence-2-stddev:

xsb:is-in-range($random-sequence-2-stddev, ($kalkulatorische_standardabweichung - $breite), ($kalkulatorische_standardabweichung + $breite))

deep-equal($random-seq-1, $random-seq-2)

count(distinct-values($random-seq-1)) eq $laenge

count(distinct-values($random-seq-2)) eq $laenge

xsb:is-in-range($random-seq-1-min, 0, $breite div $intern:random-max)

xsb:is-in-range($random-seq-2-min, 0, $breite div $intern:random-max)

xsb:is-in-range($random-seq-1-max, ($intern:random-max - $breite) div $intern:random-max, 1)

xsb:is-in-range($random-seq-2-max, ($intern:random-max - $breite) div $intern:random-max, 1)

TRACE

$random-seq-1-avg:

xsb:is-in-range($random-seq-1-avg, ($kalkulatorischer_durchschnitt - 2 * $breite) div $intern:random-max, ($kalkulatorischer_durchschnitt + 2 * $breite) div $intern:random-max)

TRACE

$random-seq-2-avg:

xsb:is-in-range($random-seq-2-avg, ($kalkulatorischer_durchschnitt - 2 * $breite) div $intern:random-max, ($kalkulatorischer_durchschnitt + 2 * $breite) div $intern:random-max)

TRACE

$random-seq-1-stddev:

xsb:is-in-range($random-seq-1-stddev, ($kalkulatorische_standardabweichung - $breite) div $intern:random-max, ($kalkulatorische_standardabweichung + $breite) div $intern:random-max)

TRACE

$random-seq-2-stddev:

xsb:is-in-range($random-seq-2-stddev, ($kalkulatorische_standardabweichung - $breite) div $intern:random-max, ($kalkulatorische_standardabweichung + $breite) div $intern:random-max)

deep-equal($random-sequenz-1, $random-sequenz-2)

count(distinct-values($random-sequenz-1)) eq $laenge

count(distinct-values($random-sequenz-2)) eq $laenge

xsb:is-in-range($random-sequenz-1-min, 0, $breite div $intern:random-max)

xsb:is-in-range($random-sequenz-2-min, 0, $breite div $intern:random-max)

xsb:is-in-range($random-sequenz-1-max, ($intern:random-max - $breite) div $intern:random-max, 1)

xsb:is-in-range($random-sequenz-2-max, ($intern:random-max - $breite) div $intern:random-max, 1)

xsb:is-in-range($random-sequenz-1-avg, ($kalkulatorischer_durchschnitt - 2 * $breite) div $intern:random-max, ($kalkulatorischer_durchschnitt + 2 * $breite) div $intern:random-max)

xsb:is-in-range($random-sequenz-2-avg, ($kalkulatorischer_durchschnitt - 2 * $breite) div $intern:random-max, ($kalkulatorischer_durchschnitt + 2 * $breite) div $intern:random-max)

TRACE

$random-sequenz-1-stddev:

xsb:is-in-range($random-sequenz-1-stddev, ($kalkulatorische_standardabweichung - $breite) div $intern:random-max, ($kalkulatorische_standardabweichung + $breite) div $intern:random-max)

TRACE

$random-sequenz-2-stddev:

xsb:is-in-range($random-sequenz-2-stddev, ($kalkulatorische_standardabweichung - $breite) div $intern:random-max, ($kalkulatorische_standardabweichung + $breite) div $intern:random-max)

xsb:type-annotation(xsb:pow(xs:integer(3), xs:integer(3) ) )

xsb:type-annotation(xsb:pow(xs:integer(3), xs:decimal(3) ) )

xsb:type-annotation(xsb:pow(xs:decimal(3), xs:decimal(3) ) )

xsb:type-annotation(xsb:pow(xs:double(3), xs:decimal(3) ) )

xsb:type-annotation(xsb:log(xs:double(3) ) )

xsb:type-annotation(xsb:log(xs:decimal(3) ) )

xsb:type-annotation(xsb:log(xs:float(3) ) )

xsb:type-annotation(intern:root-iterator(xs:integer(2), xs:decimal(4), 0, xs:decimal(4), 0) )

xsb:type-annotation(intern:root-iterator(xs:integer(2), xs:double(4), 0, xs:double(4), 0) )

xsb:type-annotation(xsb:nroot(xs:double(3), xs:integer(3) ) )

xsb:type-annotation(xsb:nroot(xs:decimal(3), xs:integer(3) ) )

xsb:type-annotation(xsb:sqrt(xs:double(3) ) )

xsb:type-annotation(xsb:sqrt(xs:decimal(3) ) )

xsb:type-annotation(intern:sqrt(xs:double(3) ) )

xsb:type-annotation(intern:sqrt(xs:decimal(3) ) )

xsb:type-annotation(intern:exp(xs:double(3) ) )

xsb:type-annotation(intern:exp(xs:decimal(3) ) )

xsb:type-annotation(xsb:exp(xs:double(3) ) )

xsb:type-annotation(xsb:exp(xs:decimal(3) ) )

xsb:type-annotation(xsb:fact(xs:double(3) ) )

xsb:type-annotation(xsb:fact(xs:decimal(3) ) )

xsb:type-annotation(xsb:fact(xs:integer(3) ) )

xsb:type-annotation(xsb:sin(xs:double(3) ) )

xsb:type-annotation(xsb:sin(xs:decimal(3) ) )

xsb:type-annotation(xsb:cos(xs:double(3) ) )

xsb:type-annotation(xsb:cos(xs:decimal(3) ) )

xsb:type-annotation(xsb:cos(xs:double(3) ) )

xsb:type-annotation(xsb:tan(xs:decimal(3) ) )

xsb:type-annotation(xsb:tan(xs:double(3) ) )

xsb:type-annotation(xsb:cot(xs:decimal(intern:half-pi() ) ) )

xsb:type-annotation(xsb:cot(xs:double(intern:half-pi() ) ) )

xsb:type-annotation(xsb:cot(xs:double(3) ) )

xsb:type-annotation(xsb:cot(xs:decimal(3) ) )

xsb:type-annotation(xsb:cot(xs:double(xsb:tau() ) ) )

xsb:type-annotation(xsb:atan(xs:double(3) ) )

xsb:type-annotation(xsb:atan(xs:decimal(3) ) )

xsb:type-annotation(xsb:atan2(xs:double(3), xs:double(1) ) )

xsb:type-annotation(xsb:atan2(xs:decimal(3), xs:decimal(2) ) )

xsb:type-annotation(xsb:atan2(xs:double(3), xs:decimal(1) ) )

xsb:type-annotation(xsb:atan2(xs:decimal(3), xs:double(2) ) )

xsb:type-annotation(intern:sgn(xs:double(3) ) )

xsb:type-annotation(intern:sgn(xs:decimal(3) ) )

xsb:type-annotation(xsb:sgn(xs:double(3) ) )

xsb:type-annotation(xsb:sgn(xs:decimal(3) ) )

xsb:type-annotation(xsb:asin(xs:double(0.5) ) )

xsb:type-annotation(xsb:asin(xs:decimal(0.5) ) )

xsb:type-annotation(xsb:asin(xs:float(0.5) ) )

xsb:type-annotation(xsb:asin(xs:integer(0.5) ) )

xsb:type-annotation(xsb:acos(xs:double(-0.5) ) )

xsb:type-annotation(xsb:acos(xs:decimal(-0.5) ) )

xsb:type-annotation(intern:round(xs:double(-0.5) ) )

xsb:type-annotation(intern:round(xs:double('NaN') ) )

xsb:type-annotation(intern:round(xs:decimal(-0.5) ) )

xsb:type-annotation(intern:round(xs:integer(-0.5) ) )

xsb:type-annotation(xsb:variance( (xs:double(-0.5), xs:double(-0.5) ) ) )

xsb:type-annotation(xsb:variance( (xs:decimal(-0.5), xs:decimal(-0.5) ) ) )

xsb:type-annotation(xsb:standard-deviation( (xs:double(-0.5), xs:double(-0.5) ) ) )

xsb:type-annotation(xsb:standard-deviation( (xs:decimal(-0.5), xs:decimal(-0.5) ) ) )

xsb:integer-to-hex(0)

xsb:integer-to-hex(-0)

xsb:integer-to-hex(9)

xsb:integer-to-hex(10)

xsb:integer-to-hex(-10)

xsb:integer-to-hex(15)

xsb:integer-to-hex(255)

xsb:integer-to-hex(-65535)

xsb:integer-to-hex(18446744073709551615)

xsb:integer-to-hex(0, 8)

xsb:integer-to-hex(10, 8)

xsb:integer-to-hex(-24, 8)

xsb:integer-to-hex(-1, 64)

xsb:integer-to-hex(0, 3)

xsb:integer-to-hex(0, 4)

xsb:integer-to-hex(0, 5)

xsb:integer-to-hex(10, 5)

xsb:integer-to-hex(-10, 5)

xsb:integer-to-hex(18446744073709551615, 65)

xsb:integer-to-hex(-18446744073709551616, 65)

xsb:twos-complement(0, 2)

xsb:twos-complement(0, 8)

xsb:twos-complement(127, 8)

xsb:twos-complement(-128, 8)

xsb:twos-complement(-1, 8)

xsb:twos-complement(-64, 8)

xsb:twos-complement(-2567447, 32)

xsb:twos-complement(2567447, 32)

xsb:twos-complement(-64, 64)

xsb:reverse-twos-complement(0, 2)

xsb:reverse-twos-complement(0, 8)

xsb:reverse-twos-complement(127, 8)

xsb:reverse-twos-complement(255, 8)

xsb:reverse-twos-complement(128, 8)

xsb:reverse-twos-complement(192, 8)

xsb:reverse-twos-complement(4292399849, 32)

xsb:reverse-twos-complement(2567447, 32)

xsb:reverse-twos-complement(18446744073709551552, 64)

xsb:reverse-twos-complement(xsb:twos-complement(0, 8), 8)

xsb:reverse-twos-complement(xsb:twos-complement(127, 8), 8)

xsb:reverse-twos-complement(xsb:twos-complement(12345, 32), 32)

xsb:reverse-twos-complement(xsb:twos-complement(-12345, 32), 32)

xsb:hex-to-integer('0', 8)

xsb:hex-to-integer('00', 8)

xsb:hex-to-integer('1', 8)

xsb:hex-to-integer('A', 8)

xsb:hex-to-integer('7F', 8)

xsb:hex-to-integer('FF', 8)

xsb:hex-to-integer('80', 8)

xsb:hex-to-integer('E8', 8)

xsb:hex-to-integer('FFFFFFFF', 32)