Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 3532869182] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1932 geometric_solution 5.52484808 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 -1 1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374753200519 0.904656386117 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.982527087596 1.111176493146 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 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 0 0 0 0 0.982527087596 1.111176493146 1 5 5 2 0132 0132 1023 3201 0 0 0 0 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 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.844712140089 0.422263117280 2 6 6 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161809301266 0.303417611176 5 3 3 5 3012 0132 1023 1230 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.514422155681 0.460197477352 6 4 4 6 3201 0132 1023 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.606869575252 1.159133351354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 18219235425307287683721624353166106/6962367434369793050270150572779\ 459*c_0101_6^20 + 90819834028173017139526601950811093/6962367434369\ 793050270150572779459*c_0101_6^19 + 149778885005965223380624709242548392/696236743436979305027015057277\ 9459*c_0101_6^18 + 396133384069537605619547235159389144/69623674343\ 69793050270150572779459*c_0101_6^17 - 132395981275110426763297127606539144/696236743436979305027015057277\ 9459*c_0101_6^16 - 384237028305234894148776407045712538/69623674343\ 69793050270150572779459*c_0101_6^15 - 1142684917119657654645941048101041758/69623674343697930502701505727\ 79459*c_0101_6^14 - 1088832814437820857718159538604064856/232078914\ 4789931016756716857593153*c_0101_6^13 + 11334649580193388473689614183191752/7486416596096551666957151153526\ 3*c_0101_6^12 - 6556528679212138769059927930096557850/6962367434369\ 793050270150572779459*c_0101_6^11 + 1771996143199144033427918817438001252/23207891447899310167567168575\ 93153*c_0101_6^10 - 414986972600509585086488663869735682/2320789144\ 789931016756716857593153*c_0101_6^9 + 804068579292502255762621751054783720/696236743436979305027015057277\ 9459*c_0101_6^8 + 9256425613775396834130843366203487337/69623674343\ 69793050270150572779459*c_0101_6^7 - 15618892733439094036232790059397993448/6962367434369793050270150572\ 779459*c_0101_6^6 + 11771055941266122629701399449840745897/69623674\ 34369793050270150572779459*c_0101_6^5 - 2961769527714474914419508758098792635/69623674343697930502701505727\ 79459*c_0101_6^4 - 47929274582779552873585817237282000/773596381596\ 643672252238952531051*c_0101_6^3 - 65935858849867642420645623180866555/2320789144789931016756716857593\ 153*c_0101_6^2 - 35816751503993705569896723098676158/69623674343697\ 93050270150572779459*c_0101_6 - 84133472730358472475693613590671056\ /6962367434369793050270150572779459, c_0011_0 - 1, c_0011_1 + 1002616402484169027247046773624/2495472198698850555652383717\ 8421*c_0101_6^20 + 8652739498228100977129539702464/2495472198698850\ 5556523837178421*c_0101_6^19 + 28761637537140796539488877006344/249\ 54721986988505556523837178421*c_0101_6^18 + 63198163397136200032677440395055/24954721986988505556523837178421*c\ _0101_6^17 + 88985186527437638157317367452024/249547219869885055565\ 23837178421*c_0101_6^16 - 7868008976652215585468809753087/249547219\ 86988505556523837178421*c_0101_6^15 - 180296368331932668517007352949733/24954721986988505556523837178421*\ c_0101_6^14 - 168616536718814392367482956110333/8318240662329501852\ 174612392807*c_0101_6^13 - 255159976406457011814845895156593/831824\ 0662329501852174612392807*c_0101_6^12 - 518536285210251182573741875388719/24954721986988505556523837178421*\ c_0101_6^11 - 240370403471619875483912126362537/8318240662329501852\ 174612392807*c_0101_6^10 + 188765175997824688957873305248129/831824\ 0662329501852174612392807*c_0101_6^9 + 743102363782195396017628325479598/24954721986988505556523837178421*\ c_0101_6^8 + 1020443481367254997894756077305923/2495472198698850555\ 6523837178421*c_0101_6^7 + 1083026690631739429801627874389961/24954\ 721986988505556523837178421*c_0101_6^6 - 1578952845264027957520754415245183/24954721986988505556523837178421\ *c_0101_6^5 - 144735344325173137144104862051577/2495472198698850555\ 6523837178421*c_0101_6^4 + 17964724561320558953334800983441/8318240\ 662329501852174612392807*c_0101_6^3 - 7918658890949800153508638884927/8318240662329501852174612392807*c_0\ 101_6^2 + 60034968967148707201989910496791/249547219869885055565238\ 37178421*c_0101_6 + 4135182399193901172711496440392/249547219869885\ 05556523837178421, c_0011_4 - 1126602834733199944013434143214/2495472198698850555652383717\ 8421*c_0101_6^20 - 4461523104433413998523436296419/2495472198698850\ 5556523837178421*c_0101_6^19 - 2573234633258348032596349519724/2495\ 4721986988505556523837178421*c_0101_6^18 - 9869944101199103616548011689875/24954721986988505556523837178421*c_\ 0101_6^17 + 43525370809112244961237793106883/2495472198698850555652\ 3837178421*c_0101_6^16 + 40371004611539994134470607364205/249547219\ 86988505556523837178421*c_0101_6^15 + 50600751461469165553434976239554/24954721986988505556523837178421*c\ _0101_6^14 + 35943590448595787522584368544022/831824066232950185217\ 4612392807*c_0101_6^13 - 115788727936881468319441854726891/83182406\ 62329501852174612392807*c_0101_6^12 + 264716378835995320216999159929838/24954721986988505556523837178421*\ c_0101_6^11 - 262414120574039620915757236320479/8318240662329501852\ 174612392807*c_0101_6^10 + 29268159517256719571519551636982/8318240\ 662329501852174612392807*c_0101_6^9 + 20491256491694150144275441653595/24954721986988505556523837178421*c\ _0101_6^8 - 455575159431860237020939885565983/249547219869885055565\ 23837178421*c_0101_6^7 + 1672597167535667939326540531505941/2495472\ 1986988505556523837178421*c_0101_6^6 - 1186773781368297112886344600762996/24954721986988505556523837178421\ *c_0101_6^5 + 366855025044491071895402293735028/2495472198698850555\ 6523837178421*c_0101_6^4 + 27088192196467809576655934752031/8318240\ 662329501852174612392807*c_0101_6^3 - 32848299328578011044419814649743/8318240662329501852174612392807*c_\ 0101_6^2 - 13275674006164128616535406085336/24954721986988505556523\ 837178421*c_0101_6 - 4374653534091815634858707143328/24954721986988\ 505556523837178421, c_0101_0 + 5523688737152187260429909372588/2495472198698850555652383717\ 8421*c_0101_6^20 + 30426226994183114371135778860030/249547219869885\ 05556523837178421*c_0101_6^19 + 59947914145778796921868079846392/24\ 954721986988505556523837178421*c_0101_6^18 + 142718739813704903543460917895394/24954721986988505556523837178421*\ c_0101_6^17 + 12873600982784536584676508508328/24954721986988505556\ 523837178421*c_0101_6^16 - 160682194759393637566959607153073/249547\ 21986988505556523837178421*c_0101_6^15 - 469146768499040086251926365938451/24954721986988505556523837178421*\ c_0101_6^14 - 404783355643504729516182176215141/8318240662329501852\ 174612392807*c_0101_6^13 - 58025211057304027529201795105207/8318240\ 662329501852174612392807*c_0101_6^12 - 1670847765598273685687769926545469/24954721986988505556523837178421\ *c_0101_6^11 + 356484974360794805714258432938754/831824066232950185\ 2174612392807*c_0101_6^10 + 255737583597760345401181741394580/83182\ 40662329501852174612392807*c_0101_6^9 + 780590358055452243005141818678576/24954721986988505556523837178421*\ c_0101_6^8 + 3014186188577429761285920382278599/2495472198698850555\ 6523837178421*c_0101_6^7 - 3521741732769724419367240319754227/24954\ 721986988505556523837178421*c_0101_6^6 + 788311188805943190754453230677324/24954721986988505556523837178421*\ c_0101_6^5 - 289842530428086457031064574584829/24954721986988505556\ 523837178421*c_0101_6^4 - 25534632903548504000073272378603/83182406\ 62329501852174612392807*c_0101_6^3 + 5371566585835963313533485206050/8318240662329501852174612392807*c_0\ 101_6^2 + 17067299754069945113967453628727/249547219869885055565238\ 37178421*c_0101_6 + 26584574751643434645121073723092/24954721986988\ 505556523837178421, c_0101_1 + 1830338392417486867074244417538/8318240662329501852174612392\ 807*c_0101_6^20 + 8537029260426936162753418733667/83182406623295018\ 52174612392807*c_0101_6^19 + 11148072367114052473869911012289/83182\ 40662329501852174612392807*c_0101_6^18 + 29909719705583158915779784994908/8318240662329501852174612392807*c_\ 0101_6^17 - 34813493569994445374618886506231/8318240662329501852174\ 612392807*c_0101_6^16 - 55312072018630319630309062303244/8318240662\ 329501852174612392807*c_0101_6^15 - 94979566992559005123140993031547/8318240662329501852174612392807*c_\ 0101_6^14 - 257760781108370922382848100131378/831824066232950185217\ 4612392807*c_0101_6^13 + 286398691069264966566749836260608/83182406\ 62329501852174612392807*c_0101_6^12 - 509036418491488169135718358524559/8318240662329501852174612392807*c\ _0101_6^11 + 694602820798154687714229638384897/83182406623295018521\ 74612392807*c_0101_6^10 - 51034276343677117722588787335779/83182406\ 62329501852174612392807*c_0101_6^9 - 171185885197221100408502028237371/8318240662329501852174612392807*c\ _0101_6^8 + 780121930675185156053349714808445/831824066232950185217\ 4612392807*c_0101_6^7 - 1941745852753240517930056244426862/83182406\ 62329501852174612392807*c_0101_6^6 + 1235440205105393991861919396995263/8318240662329501852174612392807*\ c_0101_6^5 + 132903724282039193054638705566126/83182406623295018521\ 74612392807*c_0101_6^4 - 178534150671545790655002252085251/83182406\ 62329501852174612392807*c_0101_6^3 + 2604548327927675953297016997255/8318240662329501852174612392807*c_0\ 101_6^2 - 22206448732071865245378533226617/831824066232950185217461\ 2392807*c_0101_6 - 2644938612989182963723158886949/8318240662329501\ 852174612392807, c_0101_5 - 4023390436998694452847416964100/8318240662329501852174612392\ 807*c_0101_6^20 - 22095416239961246738281128051012/8318240662329501\ 852174612392807*c_0101_6^19 - 41854325914772436616035593961575/8318\ 240662329501852174612392807*c_0101_6^18 - 94920929257585384905555075365709/8318240662329501852174612392807*c_\ 0101_6^17 + 9920139973399807518336544896895/83182406623295018521746\ 12392807*c_0101_6^16 + 157963323440141067664132389358036/8318240662\ 329501852174612392807*c_0101_6^15 + 351318011209991259896692828529014/8318240662329501852174612392807*c\ _0101_6^14 + 835183046758996594302312971615525/83182406623295018521\ 74612392807*c_0101_6^13 - 22689271820321117762974781128496/83182406\ 62329501852174612392807*c_0101_6^12 + 868778019119943939666258312543423/8318240662329501852174612392807*c\ _0101_6^11 - 914394872838696909773502159390995/83182406623295018521\ 74612392807*c_0101_6^10 - 971986345394635787057073432538669/8318240\ 662329501852174612392807*c_0101_6^9 - 372038413879840611992054062711951/8318240662329501852174612392807*c\ _0101_6^8 - 1893586124113375354927117118503215/83182406623295018521\ 74612392807*c_0101_6^7 + 2850519075547331950341598265145953/8318240\ 662329501852174612392807*c_0101_6^6 + 201151209980439477635540116140433/8318240662329501852174612392807*c\ _0101_6^5 - 538318893830225393209739360595746/831824066232950185217\ 4612392807*c_0101_6^4 - 21632280464764719209827145552996/8318240662\ 329501852174612392807*c_0101_6^3 - 31716273707720031080695225085853/8318240662329501852174612392807*c_\ 0101_6^2 - 7879530133647606433072897883218/831824066232950185217461\ 2392807*c_0101_6 - 4792334762437542165391440077771/8318240662329501\ 852174612392807, c_0101_6^21 + 11/2*c_0101_6^20 + 21/2*c_0101_6^19 + 24*c_0101_6^18 - 3/2*c_0101_6^17 - 75/2*c_0101_6^16 - 173/2*c_0101_6^15 - 419/2*c_0101_6^14 - 3/2*c_0101_6^13 - 461/2*c_0101_6^12 + 431/2*c_0101_6^11 + 225*c_0101_6^10 + 187/2*c_0101_6^9 + 482*c_0101_6^8 - 692*c_0101_6^7 - 47/2*c_0101_6^6 + 237/2*c_0101_6^5 - 11/2*c_0101_6^4 + 3*c_0101_6^3 + 11/2*c_0101_6^2 + c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB