&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.xslDieses Stylesheet testet math.xslAutor: StefanKrauseHomepage: 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-URLsStylesheet: &XSL-Base-Directory;/math.xslDokumentation: &doc-Base-Directory;/math.htmlTest-Stylesheet: &XSL-Base-Directory;/math_tests.xslTest-Dokumentation: &doc-Base-Directory;/math_tests.htmlXSLT-SB: &XSL-Base-Directory;/Google Code: http://code.google.com/p/xslt-sb/0.2.252011-05-29StfStatus: alphaAusgliederung aus math.xslDieses 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.122011-05-21Stfinitiale VersionStatus: betaein TestknotenName 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önnen0.2.252011-05-25StfStatus: betainitiale Version( '' )( '' )ein TestknotenName 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önnen0.2.252011-05-25StfStatus: betainitiale Version( '' )( '' )1122.7182818284590452353602874713526624977572470936999595749672.71828182845904523536028747135266249775724709369995957496710.8414709848078965070.540302305868139717400.017453292519943357.2957795130823208767981548141051703324054724665643215491122001101.5574077246549022305069748074583601730872507723815200383840.64209261593433070300641998659426562023027811391817137910100.7853981633974483096156608458198757210492923498437764552440.4636476090008061162142562314612144020285370542861202638111.57079632679489661923132169163975144209858469968755291048701.57079632679489661923132169163975144209858469968755291048712.9706864235520193361976570114535948955034872798886908157364.8104773809653516554730356667038331263901708746645349400214.8104773809653516554730356667038331263901708746645349400211.570796326794896619231321691639751442098584699687552910487100.0274155677808037739412069194441004198203158316867799739623901.2533141373155002512078826424055226265034933703049691583151.253314137315500251207882642405522626503493370304969158315220.4515827052894548647261952298948821435717946785550563173930.196119877030152659137529393566405846883488442918333904822037.22171048416516670949576580503503341327551404091465815711INF011.003884821853887214148423944917132288292104460594870574730.6657737500283538635905177085121752091942698756200664085422247.3890560989306502272304274605750078131803155705518473240877.38905609893065022723042746057500781318031557055184732408720.909297426825681695-0.41614683654714238699756822950076218976600077107554489080.03490658503988659114.59155902616464175359630962821034066481094493312864309831.4142135623730950488016887242096980785696718753769480731.4142135623730950488016887242096980785696718753769480731.4142135623730950488016887242096980785696718753769480731.4142135623730950488016887242096980785696718753769480730.693147180559945309417232121458176568075500134360255254120.3010299956639811952137388947244930267681898814621085413101100-2.18503986326151899164330610231368254343201774622766316456-0.4576575543602857637502774104320472764284863292316743296411.10714871779409050301706546017853704007004764540143264670.78539816339744830961566084581987572104929234984377645524436820.08553692318766774092852965458171789698790783855415014437893422969884587820.08553692318766774092852965458171789698790783855415014437893422969884587830.14112000805986722210074480280811-0.989992496600445457271572794731261302393679096615588328810.05235987755982988730771072305465838140328615665625176368171.8873385392469626303944644423155109972164173996929646471.7320508075688772935274463415058723669428052538103806280561.7320508075688772935274463415058723669428052538103806280561.259921049894873164767210607278228350570251464701507981.259921049894873164767210607278228350570251464701507981.098612288668109691395245236922525704647490557822749451730.4771212547196624372950279032551153092001288641906958648321000-0.14254654307427780529563541053391349322609228490180464763-7.0152525514345334694285513795264765782931033520963538381621.2490457723982544258299170772810901230778294041298967190550.9827937232473290679857106110146660144968774536316285567613.14159265358979323846264338327958.82497782707628762385642960420800158170441081527148492666923.140692632779269005729086367948547380266106242600211993423.14069263277926900572908636794854738026610624260021199343.14159265358979323846264338327950-10.05483113556160754788241383888821801.772453850905516027298167483341145182797549456122387128211.772453850905516027298167483341145182797549456122387128211.246868988900638305497370636125577005472545634391125703631.246868988900638305497370636125577005472545634391125703631.144729885849400174143427351353058711647294812915311571510.4971498726941338543512682882908988736516783243804424461341385.4557313670110891409199368796880650665655394449982148420-INF21.2626272556789116834443220836056983435089476704243835969741.0038848218538872141484239449171322882921044605948705747296.28318530717958647692528676655977.8802336483881151070208347785976597963218987692005087464535.4916555247647365030493295890471814778057976032949155072535.49165552476473650304932958904718147780579760329491550726.283185307179586476925286766559010.1096622711232150957648276777763602.506628274631000502415765284811045253006986740609938316632.506628274631000502415765284811045253006986740609938316631.116632880091141819811478148846480794424039719138070871381.116632880091141819811478148846480794424039719138070871381.8378770664093454835606594728112352797227949472755668256340.7981798683581150495650071830153919004198682058425509874441919487.58357769959471637592587664845448945783231330010INF31.4129651365067377590637129498569325184935134590885018500721.262627255678911683444322083605698343508947670424383596974103628800102422026.46579480671651695790064531222026.4657948067165169579006453123.7168146928204135230747132334409942-0.544021110889369813-0.8390715290764524522588639478240.17453292519943295572.95779513082320876798154814105170332405472466564321549163.162277660168379331998893544432718533719555139325216826863.162277660168379331998893544432718533719555139325216826861.071773462536293164213006325023342022906384604977556783481.071773462536293164213006325023342022906384604977556783481.071773462536293164213006325023342022906384604977556783482.302585092994045684017991454684364207601101488628772976033155100000000000.6483608274590866712591249330098086768168743429837249756341.54235104535692004827746935568242931132066720640196249091931.4711276743037345918528755717617308518553063771832382624721.37340076694501586086127192644496114865099959589970080897010093326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000126765060022822940149670320537626881171418161354484126255515800135873611118.77374192241519160861528028703490956491426881171418161354484126255515800135873611118.7737419224151916086152802870349095649145.7522203923062028461206985016149135-0.50636564110975880.862318872287683931.74532925199432957695729.57795130823208767981548141051703324054724665643215491610101.00695555005671880883269821411323978545354074053412590511.00695555005671880883269821411323978545354074053412590514.605170185988091368035982909368728415202202977257545952067235422484817926191507510000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000-0.58721391515692907667780963564458789425876598687291954413-1.7029569194264692160987314595572838628499189636017773985071.560796660108231381024981575430471893537215347143176270861.55079899282174608617056849473815495414935150100104442658201111001000000-INF-INF010INF0001.570796326794896619231321691639751442098584699687552910487-420.00000000000022737367544323205947875976560.0000000000000000005749522264293559806664380880573423424947557974323740.000000000000000000574952226429355980666438088057342342494755797432374-4.300888156922481138448279400645965389633967207498730148300.916521547915633785898989158069671501748146718165188808928-0.39998531498835129395470733717720202838042287914241906062-0.73303828583761842230795012276521733964600619318752469156-2406.422739549457476825522502192417153961029843595701505060.000000000000000000000000000000000000000001-2.29138799243748608885455387439788153851442850194729645344-0.43641670607527289605711673823895793299115845885203998977-1.54699130060982667577745363628196067741930455660382242403-1.52321322351791322342928897562326592463202570509422094488-50.031250.0067379469990854670966360484231484242488495850273550854300.006737946999085467096636048423148424248849585027355085430-50.958924274663138468893154406155993973352461543964601778130.283662185463226264466639171513557308334422592252215944930-0.08726646259971647884618453842443063567214359442708627280-286.4788975654116043839907740705258516620273623328216077460.000013.3805150062465856369827058794473439087095692082854598771770.295812915532745540427767168082485286068234795481534895337-1.37340076694501586086127192644496114865099959589970080897-1.19028994968253173292773377482931833760117898602945207291-3.14159265358979323846264338327950.1133147322967608730202821722133293778961214564421278226330.0432139182637722497744177371717280112757281098106330829810.04321391826377224977441773717172801127572810981063308298-3.14159265358979323846264338327950-1-0.05483113556160754788241383888820083964063166337355994792-1800.0007217841590747277436129939833498100564577515405592229520-INF-1.26262725567891168344432208360569834350894767042438359697-1.00388482185388721414842394491713228829210446059487057473-1.5707963267948966192313216916397514420985846996875529104870.3366225368224190556628523960379638250789784484565535296060.2078795763507619085469556198349787700338778416317696080750.207879576350761908546955619834978770033877841631769608075-1.570796326794896619231321691639751442098584699687552910487-10-0.0274155677808037739412069194441004198203158316867799739623-9020.026866041001136132108405983359849317421437525218955605181-INF0-1.00388482185388721414842394491713228829210446059487057473-0.66577375002835386359051770851217520919426987562006640854-10.50.3678794411714423215955237701614608674458111310317678345080.367879441171442321595523770161460867445811131031767834508-1-0.8414709848078965070.54030230586813971740-0.0174532925199433-57.2957795130823208767981548141051703324054724665643215490.1-1.55740772465490223050697480745836017308725077238152003838-0.64209261593433070300641998659426562023027811391817137910-0.78539816339744830961566084581987572104929234984377645524-0.463647609000806116214256231461214402028537054286120263810000-1.570796326794896619231321691639751442098584699687552910491111-0.785398163397448309615660845819875721049292349843776455242161.148698354997035006798626946777927589443850889097797505511.14869835499703500679862694677792758944385088909779750551-0.463647609000806116214256231461214402028537054286120263813811.2457309396155173259666803366403050809393099930687798110461.245730939615517325966680336640305080939309993068779811046-0.3217505543966421934014046143586613190207552955576561914310100001.5848931924611134852021013733915070132694421338250390683161.584893192461113485202101373391507013269442133825039068316-0.099668652491162027378446119878020590243278322504314648021001000000002.5118864315095801110850320677993273941585181007824754286792.511886431509580111085032067799327394158518100782475428679-0.00999966668666523820634011620927954856136935254437663963Dieses Template führt die lokalen Selbst-Tests aus.0.2.122011-05-21Stfinitiale VersionStatus: betaxs:double(18446744073709551615 div 16)xs:decimal(18446744073709551615 div 16)floor(xs:decimal(4294967295.999999999999) )floor(xs:decimal(4294967295.999999999999) )floor(xs:decimal(1152921504606846975.9375) )floor(xs:decimal(1152921504606846975.9375) )DEBUGxsb:factDEBUGxsb:powxsb:powintern:normalize-radxsb:sinxsb:cosINFOxsb:tanxsb:tan(xs:double(-0.0e0) )xsb:tan(xs:double(+0.0e0) )INFOxsb:cotxsb:cot(xs:double(-0.0e0) )xsb:cot(xs:double(0) )xsb:deg-to-radxsb:rad-to-degxsb:sqrtintern:sqrtDEBUGxsb:nrootINFOxsb:nrootINFOxsb:logxsb:log(xs:double(0) )INFOxsb:log10xsb:log10(xs:double(0) )DEBUGxsb:fibonaccixsb:fibonacci-sequence(0)xsb:fibonacci-sequence(1)xsb:fibonacci-sequence(2)xsb:fibonacci-sequence(10)xsb:expintern:log-m-iteratorxsb:exp10xsb:atanxsb:atan(xs:double(-0.0e0))xsb:atan(xs:double('NaN'))xsb:atan(xs:double('INF'))xsb:atan(xs:double('-INF'))xsb:atan2xsb:atan2xsb: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-2TRACELänge der Zufalls-Sequenzen: TRACEIntervall (Breite) und min-Grenze: /normalisiert TRACEmax-Grenze: /normalisiert TRACEDurchschnitt (Erwartungswert): /normalisiert TRACEmin-max-Durchschnitt: - /normalisiert - TRACEStandardabweichung (Erwartungswert): /normalisiert TRACEmin-max-Standardabweichung: - /normalisiert - deep-equal($random-sequence-1, $random-sequence-2)count(distinct-values($random-sequence-1)) eq $laengecount(distinct-values($random-sequence-2)) eq $laengexsb: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 $laengecount(distinct-values($random-seq-2)) eq $laengexsb: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 $laengecount(distinct-values($random-sequenz-2)) eq $laengexsb: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)