Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 4004475861] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2359 geometric_solution 5.73134314 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 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 1 1 -2 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 2.292618558309 1.429470137626 0 3 3 0 0132 0132 3201 3201 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 0 0 0 0 0 0 -1 0 1 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.311916605481 0.714076333830 0 4 5 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 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 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.010883727353 0.608941980548 1 1 5 4 2310 0132 1302 1302 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 0 0 0 0 0 0 1 0 -1 0 0 -1 1 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.114886370971 0.598646742550 5 2 3 6 2310 0132 2031 0132 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 1 -1 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.291988575290 0.955294869636 3 6 4 2 2031 1023 3201 0132 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 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291988575290 0.955294869636 5 6 4 6 1023 1302 0132 2031 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 0 0 0 0 0 0 -1 0 1 0 -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.569129142425 0.433051188269 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1882554020498730672369354783016928958310/98691741038219947667114507\ 814429762207*c_0110_6^17 + 2537946835249244687722713872296699356632\ 5/65794494025479965111409671876286508138*c_0110_6^16 - 401469335972512501478286450871057937896225/197383482076439895334229\ 015628859524414*c_0110_6^15 + 2134852628750324315251958017883968456\ 39629/65794494025479965111409671876286508138*c_0110_6^14 + 1132881165585237657799479074641323186766759/19738348207643989533422\ 9015628859524414*c_0110_6^13 - 238201135874131352239919544852609409\ 2124085/197383482076439895334229015628859524414*c_0110_6^12 - 511923562552536905638003004849320392580823/197383482076439895334229\ 015628859524414*c_0110_6^11 + 1681140932879060809262705878579917387\ 604973/65794494025479965111409671876286508138*c_0110_6^10 - 62252694083302279457327916944458145052895/9869174103821994766711450\ 7814429762207*c_0110_6^9 - 1720864317217922029868550338035041964962\ 613/65794494025479965111409671876286508138*c_0110_6^8 - 434669272100359705158347453900049084367429/197383482076439895334229\ 015628859524414*c_0110_6^7 + 29377307961781558945357711458980084614\ 79681/197383482076439895334229015628859524414*c_0110_6^6 + 451961030873706143846483367202009083131471/986917410382199476671145\ 07814429762207*c_0110_6^5 - 116932677422172658478595457598672836879\ 5871/197383482076439895334229015628859524414*c_0110_6^4 - 474396959178661273444294633472217578396597/197383482076439895334229\ 015628859524414*c_0110_6^3 + 10800369586339986778608348240368909061\ 6085/65794494025479965111409671876286508138*c_0110_6^2 + 32897613611709028543349565645889094486468/9869174103821994766711450\ 7814429762207*c_0110_6 - 6395503205057027165228925282662843828356/3\ 2897247012739982555704835938143254069, c_0011_0 - 1, c_0011_2 + 250997153079096173786748736527813865/34149391362705864244676\ 3002818096063*c_0110_6^17 - 5025976271216780507480131944030279230/3\ 41493913627058642446763002818096063*c_0110_6^16 + 8605618076121300179493811102434797070/11383130454235288081558766760\ 6032021*c_0110_6^15 - 38588507329421356743574985215064423039/341493\ 913627058642446763002818096063*c_0110_6^14 - 77535124907740941790379271075183526595/3414939136270586424467630028\ 18096063*c_0110_6^13 + 132547327997899500065205702700171851545/3414\ 93913627058642446763002818096063*c_0110_6^12 + 17221983728482117916405027539552426416/1138313045423528808155876676\ 06032021*c_0110_6^11 - 294269141954582149942081919575389332309/3414\ 93913627058642446763002818096063*c_0110_6^10 - 58911438601636200317691672912209966533/3414939136270586424467630028\ 18096063*c_0110_6^9 + 92889272367239216189329338847606150374/113831\ 304542352880815587667606032021*c_0110_6^8 + 105814392308016153354455683993722300385/341493913627058642446763002\ 818096063*c_0110_6^7 - 130540363238924710506399749890836311785/3414\ 93913627058642446763002818096063*c_0110_6^6 - 94331722780311877901732312807992959272/3414939136270586424467630028\ 18096063*c_0110_6^5 + 34557142244751783170295331725258437296/341493\ 913627058642446763002818096063*c_0110_6^4 + 11726356245963731928929889339842112363/1138313045423528808155876676\ 06032021*c_0110_6^3 - 1176371838702787220984874096630630311/1138313\ 04542352880815587667606032021*c_0110_6^2 - 1406898052890050307401476806623883127/11383130454235288081558766760\ 6032021*c_0110_6 + 74504902912439830994143607489476484/341493913627\ 058642446763002818096063, c_0011_5 - 50004872961491789882812878165051335/341493913627058642446763\ 002818096063*c_0110_6^17 + 959952569299997109631420860214572325/341\ 493913627058642446763002818096063*c_0110_6^16 - 1434106839044910505654102704066915945/11383130454235288081558766760\ 6032021*c_0110_6^15 + 3167842206472688065333646245060497256/3414939\ 13627058642446763002818096063*c_0110_6^14 + 23247409844523782227968864983426425627/3414939136270586424467630028\ 18096063*c_0110_6^13 - 16174965509717085374837883108767443039/34149\ 3913627058642446763002818096063*c_0110_6^12 - 11737930739161486212468193631942764161/1138313045423528808155876676\ 06032021*c_0110_6^11 + 58045715660759679179499742717972174228/34149\ 3913627058642446763002818096063*c_0110_6^10 + 59949412504829302579648455254527295879/3414939136270586424467630028\ 18096063*c_0110_6^9 - 20319287986099256951255118183121774731/113831\ 304542352880815587667606032021*c_0110_6^8 - 64757869528522192400307386930411470817/3414939136270586424467630028\ 18096063*c_0110_6^7 + 21944981255298190533480573394481449079/341493\ 913627058642446763002818096063*c_0110_6^6 + 40781846215364714132117357524876196356/3414939136270586424467630028\ 18096063*c_0110_6^5 + 1267977429462537312825655387402573513/3414939\ 13627058642446763002818096063*c_0110_6^4 - 5008797460816184970243803483873023872/11383130454235288081558766760\ 6032021*c_0110_6^3 - 825746459642774127463251943210180237/113831304\ 542352880815587667606032021*c_0110_6^2 + 729040544219259330822444342520828130/113831304542352880815587667606\ 032021*c_0110_6 + 243629412597637576893863842216403360/341493913627\ 058642446763002818096063, c_0101_0 + 43307098995807463154560745023110215/341493913627058642446763\ 002818096063*c_0110_6^17 - 973507515761366642290989942142061800/341\ 493913627058642446763002818096063*c_0110_6^16 + 2200725677309110454462964626460054335/11383130454235288081558766760\ 6032021*c_0110_6^15 - 17979666032651109380371572554963682289/341493\ 913627058642446763002818096063*c_0110_6^14 + 5113053617946551221062276175260082652/34149391362705864244676300281\ 8096063*c_0110_6^13 + 51723079192109184178886958012484152697/341493\ 913627058642446763002818096063*c_0110_6^12 - 17149348072369633836207515034393670009/1138313045423528808155876676\ 06032021*c_0110_6^11 - 59087745402709966346282939763491668285/34149\ 3913627058642446763002818096063*c_0110_6^10 + 112754314720828772681099511042440203006/341493913627058642446763002\ 818096063*c_0110_6^9 + 16249314676382243108210925399368554777/11383\ 1304542352880815587667606032021*c_0110_6^8 - 91065633155089184511469811638347842548/3414939136270586424467630028\ 18096063*c_0110_6^7 - 43486224240713753587681695457376065271/341493\ 913627058642446763002818096063*c_0110_6^6 + 35745920568149633028489150596504981936/3414939136270586424467630028\ 18096063*c_0110_6^5 + 32675954789776899818363364911126263727/341493\ 913627058642446763002818096063*c_0110_6^4 - 3554949506522573576260470101869110233/11383130454235288081558766760\ 6032021*c_0110_6^3 - 3314412343148638892255795250178105711/11383130\ 4542352880815587667606032021*c_0110_6^2 + 551520324911252133521398666633538941/113831304542352880815587667606\ 032021*c_0110_6 + 493028524137993573318481875679780321/341493913627\ 058642446763002818096063, c_0101_1 - 36016550518518651641266912202354990/341493913627058642446763\ 002818096063*c_0110_6^17 + 751296163064822219588815476099849730/341\ 493913627058642446763002818096063*c_0110_6^16 - 1453636813699900795050646063810887295/11383130454235288081558766760\ 6032021*c_0110_6^15 + 9717197775742333275664330201976102254/3414939\ 13627058642446763002818096063*c_0110_6^14 + 766014274897144191855587518004603620/341493913627058642446763002818\ 096063*c_0110_6^13 - 18736127431352276434446011786480632930/3414939\ 13627058642446763002818096063*c_0110_6^12 + 7295631648771701846936296983185936726/11383130454235288081558766760\ 6032021*c_0110_6^11 + 19730249120078945077175549514941893846/341493\ 913627058642446763002818096063*c_0110_6^10 - 28793775245475641958045246153601922023/3414939136270586424467630028\ 18096063*c_0110_6^9 + 3272928648799244463222399269488840160/1138313\ 04542352880815587667606032021*c_0110_6^8 + 18318782309832940930039894172539581451/3414939136270586424467630028\ 18096063*c_0110_6^7 - 14358650469991052445840951308135485573/341493\ 913627058642446763002818096063*c_0110_6^6 - 13252176828656857574243164503570972470/3414939136270586424467630028\ 18096063*c_0110_6^5 + 2606946354259236416775918784400689147/3414939\ 13627058642446763002818096063*c_0110_6^4 + 3383547111651879466393962314245210710/11383130454235288081558766760\ 6032021*c_0110_6^3 - 331816148483437779020580923518912098/113831304\ 542352880815587667606032021*c_0110_6^2 - 750991627538868935106542972075271537/113831304542352880815587667606\ 032021*c_0110_6 + 147876786645590966897345696753716427/341493913627\ 058642446763002818096063, c_0101_4 + 13725809476040838294141063856988215/341493913627058642446763\ 002818096063*c_0110_6^17 - 324373193527868328376049155151144795/341\ 493913627058642446763002818096063*c_0110_6^16 + 805276678036833177766296714978287115/113831304542352880815587667606\ 032021*c_0110_6^15 - 7464782101977991080403186767523785269/34149391\ 3627058642446763002818096063*c_0110_6^14 + 4921094893273506724196752080745227094/34149391362705864244676300281\ 8096063*c_0110_6^13 + 19202741386845787019612793114509641517/341493\ 913627058642446763002818096063*c_0110_6^12 - 8291897400262750022467258116102664514/11383130454235288081558766760\ 6032021*c_0110_6^11 - 15808108245232180886369294883249887030/341493\ 913627058642446763002818096063*c_0110_6^10 + 50251671764762212209281667348273512249/3414939136270586424467630028\ 18096063*c_0110_6^9 + 3639957726560992002341520868257074128/1138313\ 04542352880815587667606032021*c_0110_6^8 - 36984780946578496282162760199155195693/3414939136270586424467630028\ 18096063*c_0110_6^7 - 12627632158771979865080801482227325474/341493\ 913627058642446763002818096063*c_0110_6^6 + 13947528230855964681688910247287487073/3414939136270586424467630028\ 18096063*c_0110_6^5 + 10256143343997716373913238517566039239/341493\ 913627058642446763002818096063*c_0110_6^4 - 1813198505298743504385664950723327568/11383130454235288081558766760\ 6032021*c_0110_6^3 - 810952127497742910503732026866298887/113831304\ 542352880815587667606032021*c_0110_6^2 + 349356693914440795088027441516615533/113831304542352880815587667606\ 032021*c_0110_6 + 188061747270095145998032942334743784/341493913627\ 058642446763002818096063, c_0110_6^18 - 20*c_0110_6^17 + 102*c_0110_6^16 - 718/5*c_0110_6^15 - 1771/5*c_0110_6^14 + 2974/5*c_0110_6^13 + 1518/5*c_0110_6^12 - 1394*c_0110_6^11 - 1229/5*c_0110_6^10 + 1527*c_0110_6^9 + 1862/5*c_0110_6^8 - 871*c_0110_6^7 - 1999/5*c_0110_6^6 + 1562/5*c_0110_6^5 + 204*c_0110_6^4 - 408/5*c_0110_6^3 - 183/5*c_0110_6^2 + 11*c_0110_6 + 3/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB