Math :: Groep :: Thompson Math :: Group :: Thompson-module bevat OO-methoden die de kardinaliteit van de bal van Radius 'n' van Thompson Group F. berekent.
Download nu

Math :: Groep :: Thompson Rangschikking & Samenvatting

Math :: Groep :: Thompson Tags

Perl-module werkwijzen Oo OO methodes Cardinaliteit berekenen

Math :: Groep :: Thompson Beschrijving

Math :: Group :: Thompson-module bevat OO-methoden die de kardinaliteit van de bal van de straal van de straal 'n' van Thompson Group F. berekent. Math :: Group :: Thompson Perl-module bevat OO-methoden die de kardinaliteit van de bal van de straal van de straal berekent 'n' van Thompson Group F.Synopsis Gebruik Math :: Group :: Thompson; Mijn $ F = Math :: Groep :: Thompson-> Nieuw (uitgebreid => 0); mijn $ kaart = $ f-> cardbn (3, ''); Print "#b (3) = $ CARDN"; de Math :: Group :: Thompson-module biedt objetctgerichte methoden die de kardinaliteit van de bal van de straal van de straal 'n' van Thompson Group F.Deze module berekent, gebruikt de presentatie van FF = waarbij A, B formele symbolen zijn, is de gebruikelijke commutator en e is het identiteitselement van F. = xyx ^ (- 1) y ^ (- 1) Dit betekent dat voor elke g in f, g kan worden geschreven als woordg = a_ { 1} A_ {2} ... A_ {n} waar alle A_ {I} A, B, A ^ (- 1) of B ^ (- 1) voor alle I $ v) zijn; uitgebreid argument vertelt wiskunde: : Groep :: Thompson, ongeacht of elk woord wordt geproduceerd ($ v == 1) of niet ($ v == 0) of sla ze op in een bestand, waarbij $ v de naam is van het bestand (uiteraard anders dan 0 of 1 ). Als het uitgebreide bestand bestaat, wordt het vervangen, dus u moet controleren op zijn integriteit. Opmerking: het is niet aan te bevelen om de woorden op een bestand op te slaan omdat voor zeer kleine waarden van N, #b (n) of #GB (N) -B (N) erg groot zijn. Bijvoorbeeld voor n = 19, #b (n) ~ 3 ^ n = 1162261467 ~ 1.1 GIGA, maar de ruimte ocupte door het bestand is (in bytes): #b (1) + som (i = 2 tot 19) {i * (# b (i) - #b (I-1))} = Cardbnthis-methode berekent #b (n) of # (GB (N) - B (n)) afhankelijk van als het argument naar de eerste is gepasseerd Call of CardBn is '' of Not.usage: mijn $ C = $ f-> Cardbn ($ straal, $ g); waar $ straal een geheel getal is> = 0 en $ g is een element van F (woord geschreven met A, B, C of D). Als de eerste keer dat Cardbn $ G wordt genoemd, is CardBn dan de kardinaliteit van de SETGB (n) - b (n) = {w in f | w In GB (N) en W niet in b (n)} Als de FIRS Time Cardbn Callen $ G gelijk is aan '', keert CardBN terug #b (n). Dit algoritme loopt op exponentiële tijd omdat F van exponentiële tijd wordt uitgevoerd Groei (meer "Precies", dit algoritme is o (3 ^ n)) .Resetesets de teller die wordt gebruikt op CardBn-methode, stel de eigendom First_Element in op '' en de eerste_call-proporty tot 1.USAGE: $ F-> RESET; Vermenigvuldiging Tussen twee woorden van F. Deze methode beschouwt de inverse relaties die zijn opgeslagen in het attribuut inv.usage: mijn $ MUL = $ F-> vermenigvuldig ($ g, $ W); waar $ g en $ W elementen van F zijn, en $ MUL is het resultaat van $ G $ W.Rotatethis-module ontvangt als argument een woord in f en legt de laatste letter op het woord op zijn eerste plaats. Eerste: $ W = 'ABC'; $ W = $ self-> roteren ($ w); # $ W is nu gelijk aan 'CBA'Inversethis-methode ontvangt een woord in f en retourneert zijn inverse.usage: $ W =' ABC '; $ W = $ self-> inverse ($ w); # $ W == 'Adc'Dividetis-methode ontvangt een woord in f en retourneert een tweedimensionale reeks waarbij het eerste element de eerste helft van het woord is, en de tweede is de inverse van de tweede helft van het woord.usage: $ W = 'AABC'; ($ W1, $ W2) = $ self-> verdeling ($ W); # Nu $ W1 == 'AA' en $ W2 == 'Ad'get_invthis-methode retourneert de hash van inverse relaties tussen de generatorenelementen van F.Notethis-methode prints in Stderr de reeks ontvangen of plaatst het op het correspondent-bestand. $ F-> noot ('AA'); # Afdrukken AA. "N" of bewaar het op een bestand.Requirements: · PERL-VEREISTEN: · Perl

Math :: Groep :: Thompson Gerelateerde software