Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2244221290] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1925 geometric_solution 5.52365612 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440755715870 0.296342444072 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996748643826 0.754202699704 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148276792064 0.941776437532 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148276792064 0.941776437532 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339586787374 0.320427835646 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.044204480670 0.737885835730 4 6 6 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.712174976726 1.031978420295 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 9140648213973829532088305408140307/29578431387770445132186498850330\ *c_0101_6^21 + 6557080384255327363256567333236455/59156862775540890\ 26437299770066*c_0101_6^20 - 145317582497929772565799032719924409/2\ 9578431387770445132186498850330*c_0101_6^19 - 50722460721897104014668926849220513/1739907728692379125422735226490\ *c_0101_6^18 + 501345627026864198851779842793990864/147892156938852\ 22566093249425165*c_0101_6^17 + 28727176924772355992821906034096811\ 89/14789215693885222566093249425165*c_0101_6^16 + 239086956285633794243718909515078238/147892156938852225660932494251\ 65*c_0101_6^15 - 15406236858581030433448013961158466869/29578431387\ 770445132186498850330*c_0101_6^14 - 7503181393933272664694176938399967344/14789215693885222566093249425\ 165*c_0101_6^13 + 4594315108582466793073117619839767832/14789215693\ 885222566093249425165*c_0101_6^12 + 12317635206283368517369492102080441806/1478921569388522256609324942\ 5165*c_0101_6^11 + 7851326370087059900887474452510774009/2957843138\ 7770445132186498850330*c_0101_6^10 - 9956179686637663851775850604650577323/14789215693885222566093249425\ 165*c_0101_6^9 - 3197041594522454620066620420004058707/591568627755\ 4089026437299770066*c_0101_6^8 + 1070486993617872114446878081300137\ 350/2957843138777044513218649885033*c_0101_6^7 + 7311402645185006379865674341744793668/14789215693885222566093249425\ 165*c_0101_6^6 - 1346429772968666778662108600758313912/147892156938\ 85222566093249425165*c_0101_6^5 - 758295306757164433568339898390664\ 6629/29578431387770445132186498850330*c_0101_6^4 - 295851879852776179043156661824481893/295784313877704451321864988503\ 30*c_0101_6^3 + 1058724209164076610230422790306456249/1478921569388\ 5222566093249425165*c_0101_6^2 + 2024411899995256723436497295407739\ 8/2957843138777044513218649885033*c_0101_6 - 267318932968395610028370830055283011/295784313877704451321864988503\ 30, c_0011_0 - 1, c_0011_1 + 23299269690574663160979152246/217760666920197637724998151*c_\ 0101_6^21 + 83373159493080067845155722410/2177606669201976377249981\ 51*c_0101_6^20 - 371165228114287573529219380577/2177606669201976377\ 24998151*c_0101_6^19 - 2195094617401621595041170635751/217760666920\ 197637724998151*c_0101_6^18 + 2574805326713784692152301708499/21776\ 0666920197637724998151*c_0101_6^17 + 14629716149008899188523417850972/217760666920197637724998151*c_0101\ _6^16 + 1098600787283290618707659842994/217760666920197637724998151\ *c_0101_6^15 - 39321288443241416123622830798333/2177606669201976377\ 24998151*c_0101_6^14 - 37977718328211706979642502475042/21776066692\ 0197637724998151*c_0101_6^13 + 23815238775933710168250347241901/217\ 760666920197637724998151*c_0101_6^12 + 62811320195758176651603114180901/217760666920197637724998151*c_0101\ _6^11 + 19595850718294258167265515155895/21776066692019763772499815\ 1*c_0101_6^10 - 51079212005322123327335129360657/217760666920197637\ 724998151*c_0101_6^9 - 40555295689153010754038407882173/21776066692\ 0197637724998151*c_0101_6^8 + 27615640953283956411451328048333/2177\ 60666920197637724998151*c_0101_6^7 + 37237178677227501992323507367715/217760666920197637724998151*c_0101\ _6^6 - 7099822807504566842375477439518/217760666920197637724998151*\ c_0101_6^5 - 19386242907457163734910467116047/217760666920197637724\ 998151*c_0101_6^4 - 678643181207153207178382547026/2177606669201976\ 37724998151*c_0101_6^3 + 5430910452460367186577844465180/2177606669\ 20197637724998151*c_0101_6^2 + 507249297951228493942126242126/21776\ 0666920197637724998151*c_0101_6 - 685189197570736254426226591995/21\ 7760666920197637724998151, c_0011_3 + 32141725751789613850145193417/217760666920197637724998151*c_\ 0101_6^21 + 115083162958681336434923422401/217760666920197637724998\ 151*c_0101_6^20 - 511736507868848286432971839709/217760666920197637\ 724998151*c_0101_6^19 - 3029061269765992108584575239460/21776066692\ 0197637724998151*c_0101_6^18 + 3544917569529373366301922192964/2177\ 60666920197637724998151*c_0101_6^17 + 20184669032570379352506561417207/217760666920197637724998151*c_0101\ _6^16 + 1560495260789107797040200714731/217760666920197637724998151\ *c_0101_6^15 - 54210206527494680935195969931141/2177606669201976377\ 24998151*c_0101_6^14 - 52483605240951530956415876013007/21776066692\ 0197637724998151*c_0101_6^13 + 32677075280149932633862234525042/217\ 760666920197637724998151*c_0101_6^12 + 86598964937180277254185954561997/217760666920197637724998151*c_0101\ _6^11 + 27186553463393792455751951395539/21776066692019763772499815\ 1*c_0101_6^10 - 70298580618812376573262793571741/217760666920197637\ 724998151*c_0101_6^9 - 55983989204020471297769590787061/21776066692\ 0197637724998151*c_0101_6^8 + 37947478208068922873940789926963/2177\ 60666920197637724998151*c_0101_6^7 + 51346579479694906895823989712486/217760666920197637724998151*c_0101\ _6^6 - 9697913749083109721160853961563/217760666920197637724998151*\ c_0101_6^5 - 26696491092109904854866270275941/217760666920197637724\ 998151*c_0101_6^4 - 961945141332249609131196666715/2177606669201976\ 37724998151*c_0101_6^3 + 7471032486616650285852138199186/2177606669\ 20197637724998151*c_0101_6^2 + 701021917177254341528851581290/21776\ 0666920197637724998151*c_0101_6 - 942369742712588429556888407345/21\ 7760666920197637724998151, c_0101_0 - 7883091024315074822971493570/217760666920197637724998151*c_0\ 101_6^21 - 27969868512420822048218897002/21776066692019763772499815\ 1*c_0101_6^20 + 126583743595723638818104990128/21776066692019763772\ 4998151*c_0101_6^19 + 739505804458427712363851178562/21776066692019\ 7637724998151*c_0101_6^18 - 895672286123016447562026962825/21776066\ 6920197637724998151*c_0101_6^17 - 4938626675661989783969582956659/2\ 17760666920197637724998151*c_0101_6^16 - 213957913716584653043006359367/217760666920197637724998151*c_0101_6\ ^15 + 13412571043132626819675904697322/217760666920197637724998151*\ c_0101_6^14 + 12509263592245771162459116897570/21776066692019763772\ 4998151*c_0101_6^13 - 8658337917952841486794766369892/2177606669201\ 97637724998151*c_0101_6^12 - 21370094612563407853490170029865/21776\ 0666920197637724998151*c_0101_6^11 - 6050393072579930789771669824361/217760666920197637724998151*c_0101_\ 6^10 + 17838498377523147256163350330566/217760666920197637724998151\ *c_0101_6^9 + 13529984870709624784926236395140/21776066692019763772\ 4998151*c_0101_6^8 - 9883077568985678593901431040462/21776066692019\ 7637724998151*c_0101_6^7 - 12640096656811973977237115409105/2177606\ 66920197637724998151*c_0101_6^6 + 2765003159198334126773866937155/2\ 17760666920197637724998151*c_0101_6^5 + 6705857975732023448727540627276/217760666920197637724998151*c_0101_\ 6^4 + 116563395182837771938726910499/217760666920197637724998151*c_\ 0101_6^3 - 1913361157313525048897216343666/217760666920197637724998\ 151*c_0101_6^2 - 161103711865427962175748891597/2177606669201976377\ 24998151*c_0101_6 + 243509481097114025110769931346/2177606669201976\ 37724998151, c_0101_1 + 24032849884628066218278579948/217760666920197637724998151*c_\ 0101_6^21 + 86321511806223010658385641744/2177606669201976377249981\ 51*c_0101_6^20 - 381512412335679316761242960539/2177606669201976377\ 24998151*c_0101_6^19 - 2268598677900591094410469977676/217760666920\ 197637724998151*c_0101_6^18 + 2622958338480886565258797058773/21776\ 0666920197637724998151*c_0101_6^17 + 15107440733963557117184728782884/217760666920197637724998151*c_0101\ _6^16 + 1345327599347996422553063469593/217760666920197637724998151\ *c_0101_6^15 - 40423848694661865127077571499933/2177606669201976377\ 24998151*c_0101_6^14 - 39639747299573313163949907225922/21776066692\ 0197637724998151*c_0101_6^13 + 23774928299295678577887984230581/217\ 760666920197637724998151*c_0101_6^12 + 64666698712929267130797686335499/217760666920197637724998151*c_0101\ _6^11 + 21009168952965729683469919915117/21776066692019763772499815\ 1*c_0101_6^10 - 51963031705369981164187369725863/217760666920197637\ 724998151*c_0101_6^9 - 42123115049880690341648808307276/21776066692\ 0197637724998151*c_0101_6^8 + 27761410428581991477607676526701/2177\ 60666920197637724998151*c_0101_6^7 + 38377356560397532003324088066877/217760666920197637724998151*c_0101\ _6^6 - 6829566673758002680028950309304/217760666920197637724998151*\ c_0101_6^5 - 19812696786735443036197302638652/217760666920197637724\ 998151*c_0101_6^4 - 861234458955582557130689459078/2177606669201976\ 37724998151*c_0101_6^3 + 5500489546162629280943202059917/2177606669\ 20197637724998151*c_0101_6^2 + 539859648610729361800578366097/21776\ 0666920197637724998151*c_0101_6 - 690145420053465026222865096815/21\ 7760666920197637724998151, c_0101_3 - 8336689079162343984367139267/217760666920197637724998151*c_0\ 101_6^21 - 30313269119473254183313783306/21776066692019763772499815\ 1*c_0101_6^20 + 130817183735122736973851720401/21776066692019763772\ 4998151*c_0101_6^19 + 792000771157942538058105713246/21776066692019\ 7637724998151*c_0101_6^18 - 872285192129674737124562459847/21776066\ 6920197637724998151*c_0101_6^17 - 5260862310113405039890023641686/2\ 17760666920197637724998151*c_0101_6^16 - 710031466872468992297821263353/217760666920197637724998151*c_0101_6\ ^15 + 13872401576369863480696399569539/217760666920197637724998151*\ c_0101_6^14 + 14293007789187200152594543487812/21776066692019763772\ 4998151*c_0101_6^13 - 7349382420882000018993625238223/2177606669201\ 97637724998151*c_0101_6^12 - 22320947836528566671222438679163/21776\ 0666920197637724998151*c_0101_6^11 - 8222808637163893322805305264953/217760666920197637724998151*c_0101_\ 6^10 + 17205568784316619482508206786483/217760666920197637724998151\ *c_0101_6^9 + 14974955304366521962018210324447/21776066692019763772\ 4998151*c_0101_6^8 - 8789917854627421446772389027550/21776066692019\ 7637724998151*c_0101_6^7 - 13293589172924754332028321321716/2177606\ 66920197637724998151*c_0101_6^6 + 1790526706821435437025137327679/2\ 17760666920197637724998151*c_0101_6^5 + 6670490766094092889654525961541/217760666920197637724998151*c_0101_\ 6^4 + 494888368346151101034139087697/217760666920197637724998151*c_\ 0101_6^3 - 1790866680439664436299869590461/217760666920197637724998\ 151*c_0101_6^2 - 208735916563803975346732769117/2177606669201976377\ 24998151*c_0101_6 + 219702637937453761889220953748/2177606669201976\ 37724998151, c_0101_6^22 + 3*c_0101_6^21 - 18*c_0101_6^20 - 85*c_0101_6^19 + 165*c_0101_6^18 + 564*c_0101_6^17 - 316*c_0101_6^16 - 1715*c_0101_6^15 - 654*c_0101_6^14 + 1965*c_0101_6^13 + 2105*c_0101_6^12 - 718*c_0101_6^11 - 2679*c_0101_6^10 - 473*c_0101_6^9 + 2192*c_0101_6^8 + 913*c_0101_6^7 - 1229*c_0101_6^6 - 656*c_0101_6^5 + 452*c_0101_6^4 + 250*c_0101_6^3 - 113*c_0101_6^2 - 42*c_0101_6 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB