Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 1511769753] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0489 geometric_solution 4.50883171 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 1.893761865665 0.139525822585 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 1 0 -1 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 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.113789077558 0.643566615818 1 1 3 3 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 -1 0 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 0 1 0 -1 -1 0 1 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.104076287472 0.131371162079 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 -1 0 1 0 0 -1 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.573284363070 2.815929047268 3 5 5 6 0132 3201 0213 0132 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 -1 1 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.209935017965 0.823670578009 6 4 4 3 3201 0213 2310 0132 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 -1 0 1 0 0 0 0 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.209935017965 0.823670578009 6 6 4 5 1302 2031 0132 2310 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 0.606512521193 0.632310670971 ==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' : negation(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' : 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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_5'], '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_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 39148526181951444241262389430789/3939244266876817459209520361691*c_\ 0101_5^17 + 288574203840267449787859872940931/393924426687681745920\ 9520361691*c_0101_5^16 - 1449174772142646580193416759208095/3939244\ 266876817459209520361691*c_0101_5^15 + 1015860987167697237285421484172901/3939244266876817459209520361691*\ c_0101_5^14 + 10957295108862682343777579436458740/39392442668768174\ 59209520361691*c_0101_5^13 + 41264669980293409678868668823570771/39\ 39244266876817459209520361691*c_0101_5^12 + 8056946812691347199590533373579527/1313081422292272486403173453897*\ c_0101_5^11 - 66738182368283190720088806070763623/39392442668768174\ 59209520361691*c_0101_5^10 - 27793941125334504070538490481043427/13\ 13081422292272486403173453897*c_0101_5^9 + 10937625033423287918111765784229713/1313081422292272486403173453897\ *c_0101_5^8 + 63268204727260602228158120777214592/39392442668768174\ 59209520361691*c_0101_5^7 - 35186798594293457278759970201314315/393\ 9244266876817459209520361691*c_0101_5^6 - 28423205956379469248799803046461101/3939244266876817459209520361691\ *c_0101_5^5 + 21630124116176376889011779082633152/39392442668768174\ 59209520361691*c_0101_5^4 + 9857429086293797607778178193396022/3939\ 244266876817459209520361691*c_0101_5^3 - 2010943227089695906676692709887925/3939244266876817459209520361691*\ c_0101_5^2 - 110723554699798119590078862318772/39392442668768174592\ 09520361691*c_0101_5 + 138018434258522098315913504449181/3939244266\ 876817459209520361691, c_0011_0 - 1, c_0011_3 + 47354513258070556937145481277/131308142229227248640317345389\ 7*c_0101_5^17 - 459536343711533318231810658074/13130814222922724864\ 03173453897*c_0101_5^16 + 2665258430696433184715519724108/131308142\ 2292272486403173453897*c_0101_5^15 - 6117508109482564687172896780328/1313081422292272486403173453897*c_0\ 101_5^14 - 6139491730969200420368117875337/131308142229227248640317\ 3453897*c_0101_5^13 - 24815994804285012389277759426816/131308142229\ 2272486403173453897*c_0101_5^12 + 64053408735328419955515882991051/\ 1313081422292272486403173453897*c_0101_5^11 + 64217363309486563645528679802628/1313081422292272486403173453897*c_\ 0101_5^10 - 79761927043159447858345484359218/1313081422292272486403\ 173453897*c_0101_5^9 - 107313762715487996435185144147998/1313081422\ 292272486403173453897*c_0101_5^8 + 94621331727460972711197739291922/1313081422292272486403173453897*c_\ 0101_5^7 + 68255233983699699800413886275999/13130814222922724864031\ 73453897*c_0101_5^6 - 109145283198842388829669059922532/13130814222\ 92272486403173453897*c_0101_5^5 + 24167412110599165866495864707572/\ 1313081422292272486403173453897*c_0101_5^4 + 19197836117056644533378100833636/1313081422292272486403173453897*c_\ 0101_5^3 - 8426230253052679850180853537416/131308142229227248640317\ 3453897*c_0101_5^2 + 2574146719937493124166145908876/13130814222922\ 72486403173453897*c_0101_5 + 455691692958492020470569119356/1313081\ 422292272486403173453897, c_0011_5 - 2212793994323185801486476993868/1313081422292272486403173453\ 897*c_0101_1*c_0101_5^17 + 18745184517947290724765627546055/1313081\ 422292272486403173453897*c_0101_1*c_0101_5^16 - 101712737614305754064094147826854/1313081422292272486403173453897*c\ _0101_1*c_0101_5^15 + 162517865810737216900722108361241/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^14 + 476967273966872791264171888818093/1313081422292272486403173453897*c\ _0101_1*c_0101_5^13 + 1754246480234154572443249689783623/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^12 - 749615499544201423359000105209770/1313081422292272486403173453897*c\ _0101_1*c_0101_5^11 - 3631320039632328580485576971038746/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^10 - 567671152149496497865081241069191/1313081422292272486403173453897*c\ _0101_1*c_0101_5^9 + 3844930445292186594616319400702910/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^8 - 197582562012611778674521628337268/1313081422292272486403173453897*c\ _0101_1*c_0101_5^7 - 3112870004860079225191709500695727/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^6 + 1650999818216977616921844459773994/1313081422292272486403173453897*\ c_0101_1*c_0101_5^5 + 538608611927128666326044069011270/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^4 - 434103092207893149430425829561938/1313081422292272486403173453897*c\ _0101_1*c_0101_5^3 + 84268277335949811436391752137787/1313081422292\ 272486403173453897*c_0101_1*c_0101_5^2 + 9204888920215593230078054594095/1313081422292272486403173453897*c_0\ 101_1*c_0101_5 - 4840706013160538500107175910110/131308142229227248\ 6403173453897*c_0101_1, c_0011_6 + 2698873118682979718641645451298/1313081422292272486403173453\ 897*c_0101_1*c_0101_5^17 - 22825233146205609785270085915569/1313081\ 422292272486403173453897*c_0101_1*c_0101_5^16 + 123749688625571260805538155444229/1313081422292272486403173453897*c\ _0101_1*c_0101_5^15 - 196600312502543302684546485925447/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^14 - 583883345738179985789387587330252/1313081422292272486403173453897*c\ _0101_1*c_0101_5^13 - 2148810923265656819673655446009642/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^12 + 881776372754816035666146399047119/1313081422292272486403173453897*c\ _0101_1*c_0101_5^11 + 4432239036906082907945240239769665/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^10 + 762421615507460068489629695777566/1313081422292272486403173453897*c\ _0101_1*c_0101_5^9 - 4655736000108136041671696743281791/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^8 + 177078242463303408088182374862691/1313081422292272486403173453897*c\ _0101_1*c_0101_5^7 + 3772598196660096545344969784483304/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^6 - 1961709000058217232582634059918189/1313081422292272486403173453897*\ c_0101_1*c_0101_5^5 - 665728971481916172823155335472496/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^4 + 508288991400897008295979877749782/1313081422292272486403173453897*c\ _0101_1*c_0101_5^3 - 99619030695515974081828329756298/1313081422292\ 272486403173453897*c_0101_1*c_0101_5^2 - 10485375553531467728367479121987/1313081422292272486403173453897*c_\ 0101_1*c_0101_5 + 6043406051760127285172788547598/13130814222922724\ 86403173453897*c_0101_1, c_0101_0 + 2394899250428509893305772040227/1313081422292272486403173453\ 897*c_0101_1*c_0101_5^17 - 20359892220876914554670318772154/1313081\ 422292272486403173453897*c_0101_1*c_0101_5^16 + 110619927328248929456769449315869/1313081422292272486403173453897*c\ _0101_1*c_0101_5^15 - 178581298453777409874152337504421/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^14 - 514301957653632778869146389560605/1313081422292272486403173453897*c\ _0101_1*c_0101_5^13 - 1877754146985098751131558924245075/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^12 + 884446713550807018074351072810209/1313081422292272486403173453897*c\ _0101_1*c_0101_5^11 + 3964677205731771726685193643257756/1313081422\ 292272486403173453897*c_0101_1*c_0101_5^10 + 472107770298340301249811045819952/1313081422292272486403173453897*c\ _0101_1*c_0101_5^9 - 4302822614016366364949216161834916/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^8 + 314600132364882512058602974959377/1313081422292272486403173453897*c\ _0101_1*c_0101_5^7 + 3492625362816908250168549724313285/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^6 - 1886496709545830769399213124545695/1313081422292272486403173453897*\ c_0101_1*c_0101_5^5 - 633589011764564686975773192438349/13130814222\ 92272486403173453897*c_0101_1*c_0101_5^4 + 533231003629426815927387427353868/1313081422292272486403173453897*c\ _0101_1*c_0101_5^3 - 85086611187025740799328771156275/1313081422292\ 272486403173453897*c_0101_1*c_0101_5^2 - 17010794491546595774398436325293/1313081422292272486403173453897*c_\ 0101_1*c_0101_5 + 6230056872678731815015021594890/13130814222922724\ 86403173453897*c_0101_1, c_0101_1^2 - 287373123562595033587454324237/131308142229227248640317345\ 3897*c_0101_5^17 + 2402767342961893765123714338346/1313081422292272\ 486403173453897*c_0101_5^16 - 12924107661817890464861745008195/1313\ 081422292272486403173453897*c_0101_5^15 + 19506920763868271486958613857580/1313081422292272486403173453897*c_\ 0101_5^14 + 65050661085069888922590466302722/1313081422292272486403\ 173453897*c_0101_5^13 + 233402421038241938428533755285380/131308142\ 2292272486403173453897*c_0101_5^12 - 75928304307572007567859875875603/1313081422292272486403173453897*c_\ 0101_5^11 - 496053407192056929638982740490243/131308142229227248640\ 3173453897*c_0101_5^10 - 120727896326812406458462276106707/13130814\ 22292272486403173453897*c_0101_5^9 + 517609644708240317585232925790622/1313081422292272486403173453897*c\ _0101_5^8 + 32857142283256054541611338827033/1313081422292272486403\ 173453897*c_0101_5^7 - 436551337904853636751801717160732/1313081422\ 292272486403173453897*c_0101_5^6 + 171692649310723675892099403744408/1313081422292272486403173453897*c\ _0101_5^5 + 117492210337587942476629782346000/131308142229227248640\ 3173453897*c_0101_5^4 - 59767507051897841614649839086858/1313081422\ 292272486403173453897*c_0101_5^3 + 1380234321263761968199005487091/1313081422292272486403173453897*c_0\ 101_5^2 + 4979754431770818753578882996423/1313081422292272486403173\ 453897*c_0101_5 - 2075126382835754282560407320795/13130814222922724\ 86403173453897, c_0101_5^18 - 8*c_0101_5^17 + 42*c_0101_5^16 - 52*c_0101_5^15 - 249*c_0101_5^14 - 896*c_0101_5^13 - 41*c_0101_5^12 + 1778*c_0101_5^11 + 1033*c_0101_5^10 - 1572*c_0101_5^9 - 710*c_0101_5^8 + 1408*c_0101_5^7 - 93*c_0101_5^6 - 561*c_0101_5^5 + 71*c_0101_5^4 + 45*c_0101_5^3 - 20*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB