Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 223121901] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1988 geometric_solution 5.55380935 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.317870526610 0.244150863959 2 0 3 0 0132 2310 0132 0132 0 0 0 0 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 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.703493167088 1.275605524897 1 3 4 5 0132 3201 0132 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.190392091035 1.067452159011 5 4 2 1 3201 3201 2310 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 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.190392091035 1.067452159011 6 6 3 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062400984864 0.578101038112 5 5 2 3 1302 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355498549457 1.418938469508 4 6 4 6 0132 2310 2310 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 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.975801718870 0.876140630161 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(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_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_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_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 28331284243624001117921684484333029375354592/1116926621549092716109\ 466276092127820084299*c_0101_3^25 + 132772972564452678490041875513132489360782867/111692662154909271610\ 9466276092127820084299*c_0101_3^24 + 286736575198014171826323312079196797481540586/111692662154909271610\ 9466276092127820084299*c_0101_3^23 - 573639555177085430161057764737755367537524760/111692662154909271610\ 9466276092127820084299*c_0101_3^22 + 1766326804388238328375781785804582184597193306/11169266215490927161\ 09466276092127820084299*c_0101_3^21 - 299564419917251044649500014162620464562138607/111692662154909271610\ 9466276092127820084299*c_0101_3^20 + 3240794123363269093468973901265635472027815382/11169266215490927161\ 09466276092127820084299*c_0101_3^19 + 8114166642374992323987971481270569402760731236/11169266215490927161\ 09466276092127820084299*c_0101_3^18 - 1970302949696221827052082647498469083944192406/11169266215490927161\ 09466276092127820084299*c_0101_3^17 + 13074872930700866385233583292443931415087580471/1116926621549092716\ 109466276092127820084299*c_0101_3^16 - 6436095142186815965484778677288455240087749847/11169266215490927161\ 09466276092127820084299*c_0101_3^15 - 361071219693151363194860237109943939270432077/115147074386504403722\ 62538928784822887467*c_0101_3^14 - 15147162384927778303961664039891431674041473358/1116926621549092716\ 109466276092127820084299*c_0101_3^13 - 22212501049621540830666350283654583860968586897/1116926621549092716\ 109466276092127820084299*c_0101_3^12 + 3417673836206900026830869036340315811109872433/85917432426853285854\ 574328930163678468023*c_0101_3^11 + 73338724072072112557254203139513743797660500557/1116926621549092716\ 109466276092127820084299*c_0101_3^10 - 42007808081786912739526918870374692082748868844/1116926621549092716\ 109466276092127820084299*c_0101_3^9 - 47460855953276533254103797908868466500029143270/1116926621549092716\ 109466276092127820084299*c_0101_3^8 + 20156988260704313167618420019924674883430271878/1116926621549092716\ 109466276092127820084299*c_0101_3^7 + 12871285796075893153474593052190761645045838414/1116926621549092716\ 109466276092127820084299*c_0101_3^6 - 491973539695019962709098485243581847024229333/859174324268532858545\ 74328930163678468023*c_0101_3^5 - 243148673262065038966698612012534\ 3131251017355/1116926621549092716109466276092127820084299*c_0101_3^\ 4 + 2401505364627471199500287782791304323494913010/1116926621549092\ 716109466276092127820084299*c_0101_3^3 + 158368729321617801354343136533822453084873079/111692662154909271610\ 9466276092127820084299*c_0101_3^2 - 543176144602683498151268650876626365528428366/111692662154909271610\ 9466276092127820084299*c_0101_3 + 126473708716771337229728689543343\ 271716802777/1116926621549092716109466276092127820084299, c_0011_0 - 1, c_0011_1 - 5312628710403586671214399569916570980/6813436354231029806072\ 5082418845105843*c_0101_3^25 + 146838256660403706677255139865246067\ 45/68134363542310298060725082418845105843*c_0101_3^24 + 100363601720464986527812861642863146922/681343635423102980607250824\ 18845105843*c_0101_3^23 - 2516602376972345362400073948746276141/681\ 34363542310298060725082418845105843*c_0101_3^22 + 157004082082414033442663355688559994781/681343635423102980607250824\ 18845105843*c_0101_3^21 + 596507130263270104037140190034756110492/6\ 8134363542310298060725082418845105843*c_0101_3^20 + 508031666413968069325284538507447015878/681343635423102980607250824\ 18845105843*c_0101_3^19 + 2966401650095119692379940121220877608757/\ 68134363542310298060725082418845105843*c_0101_3^18 + 2629033836979278177054057706937211379068/68134363542310298060725082\ 418845105843*c_0101_3^17 + 2779591456953545570134520097222478653168\ /68134363542310298060725082418845105843*c_0101_3^16 + 4645991614851558216207330912449516495075/68134363542310298060725082\ 418845105843*c_0101_3^15 - 8073549731025113593107197827047061772874\ /68134363542310298060725082418845105843*c_0101_3^14 - 12925845201172314256791890609015922500996/6813436354231029806072508\ 2418845105843*c_0101_3^13 - 117873810795419113740008073054294544306\ 26/68134363542310298060725082418845105843*c_0101_3^12 - 3755265550008874354778901790111577432628/68134363542310298060725082\ 418845105843*c_0101_3^11 + 2598036097090781133245044296830903731414\ 3/68134363542310298060725082418845105843*c_0101_3^10 + 14758747020506209178088768805925363139674/6813436354231029806072508\ 2418845105843*c_0101_3^9 - 1641045772887923744568594101551514624484\ 5/68134363542310298060725082418845105843*c_0101_3^8 - 7996155595338761894263765640529306152661/68134363542310298060725082\ 418845105843*c_0101_3^7 + 4300540509150007921634568895591097367915/\ 68134363542310298060725082418845105843*c_0101_3^6 + 1868228000079835105929953783238985033133/68134363542310298060725082\ 418845105843*c_0101_3^5 - 1083197735931828277183136935991508444320/\ 68134363542310298060725082418845105843*c_0101_3^4 - 119407793255288889250458285077802732825/681343635423102980607250824\ 18845105843*c_0101_3^3 + 409241853873400850633581109392437842059/68\ 134363542310298060725082418845105843*c_0101_3^2 - 26251011148465737580565977174689530449/6813436354231029806072508241\ 8845105843*c_0101_3 + 4197080566930507870273027532415366846/6813436\ 3542310298060725082418845105843, c_0011_3 + 24607063287598136913739492336640683220/681343635423102980607\ 25082418845105843*c_0101_3^25 - 10324708453057534059113886715921618\ 4885/68134363542310298060725082418845105843*c_0101_3^24 - 297939286330957773886240667689005420457/681343635423102980607250824\ 18845105843*c_0101_3^23 + 340348875461757919217246493121502759271/6\ 8134363542310298060725082418845105843*c_0101_3^22 - 1367065373520882760209536972229706518884/68134363542310298060725082\ 418845105843*c_0101_3^21 - 348528872036557125739819430075515740956/\ 68134363542310298060725082418845105843*c_0101_3^20 - 3177419107842156692773934630218654413943/68134363542310298060725082\ 418845105843*c_0101_3^19 - 8330343239011036101134937383417593796806\ /68134363542310298060725082418845105843*c_0101_3^18 - 2742168417835933193295648548992938517402/68134363542310298060725082\ 418845105843*c_0101_3^17 - 1271929107366829047627568644746928490962\ 6/68134363542310298060725082418845105843*c_0101_3^16 + 240865760758214290787521103608718353424/681343635423102980607250824\ 18845105843*c_0101_3^15 + 29102407015100719571513566553948510261400\ /68134363542310298060725082418845105843*c_0101_3^14 + 29845636015544227156571526094254506165326/6813436354231029806072508\ 2418845105843*c_0101_3^13 + 342320428351461269343847167939469618908\ 00/68134363542310298060725082418845105843*c_0101_3^12 - 24082023569021969471864887769779808880412/6813436354231029806072508\ 2418845105843*c_0101_3^11 - 744991434433421643729707728066272433765\ 25/68134363542310298060725082418845105843*c_0101_3^10 - 5733156545016791622293026315670497121910/68134363542310298060725082\ 418845105843*c_0101_3^9 + 41001303923426218139490265550708245270078\ /68134363542310298060725082418845105843*c_0101_3^8 + 10497185524549912144546943979794723435303/6813436354231029806072508\ 2418845105843*c_0101_3^7 - 1016595110711064084090361163746967932996\ 2/68134363542310298060725082418845105843*c_0101_3^6 - 2716094889562594571563326043943226352349/68134363542310298060725082\ 418845105843*c_0101_3^5 + 2385153211030637299357373284106527597907/\ 68134363542310298060725082418845105843*c_0101_3^4 - 186832569739595567977636555000637973303/681343635423102980607250824\ 18845105843*c_0101_3^3 - 726692459870872473037428349224617095215/68\ 134363542310298060725082418845105843*c_0101_3^2 + 54296075109626698463041822089626018226/6813436354231029806072508241\ 8845105843*c_0101_3 + 87740044996819940435954132130216694964/681343\ 63542310298060725082418845105843, c_0011_4 + 2600955335758958891473423745688479599/6813436354231029806072\ 5082418845105843*c_0101_3^25 - 237007045444561953211739763219507230\ 08/68134363542310298060725082418845105843*c_0101_3^24 + 22769572515654928584848618269233597309/6813436354231029806072508241\ 8845105843*c_0101_3^23 + 182866143342821449733958055293439697120/68\ 134363542310298060725082418845105843*c_0101_3^22 - 306564117059719392056597144590637562429/681343635423102980607250824\ 18845105843*c_0101_3^21 + 746328705710419220848048721715390683959/6\ 8134363542310298060725082418845105843*c_0101_3^20 - 245697119140146779244476501814376482852/681343635423102980607250824\ 18845105843*c_0101_3^19 + 1088654195248853662573262727480093781773/\ 68134363542310298060725082418845105843*c_0101_3^18 + 4035460020956787283369437745846035925169/68134363542310298060725082\ 418845105843*c_0101_3^17 + 755411439907910536893226803537695445919/\ 68134363542310298060725082418845105843*c_0101_3^16 + 8481256883709731796305027215957247254175/68134363542310298060725082\ 418845105843*c_0101_3^15 + 3906771274923597019028062466346713473858\ /68134363542310298060725082418845105843*c_0101_3^14 - 8142113290994489985549738719636203494474/68134363542310298060725082\ 418845105843*c_0101_3^13 - 1018465191596665290579727394849350584948\ 5/68134363542310298060725082418845105843*c_0101_3^12 - 23847609603142985143504998791128814199497/6813436354231029806072508\ 2418845105843*c_0101_3^11 - 100394450417977578714375680874437468806\ 5/68134363542310298060725082418845105843*c_0101_3^10 + 27591631739956624783687720291789880353986/6813436354231029806072508\ 2418845105843*c_0101_3^9 + 6465686538582738078308344785921773674633\ /68134363542310298060725082418845105843*c_0101_3^8 - 9070899263716898300770009065207122266946/68134363542310298060725082\ 418845105843*c_0101_3^7 - 2884453292739006959735777234824566047745/\ 68134363542310298060725082418845105843*c_0101_3^6 + 1712167597096099364325030223671540792082/68134363542310298060725082\ 418845105843*c_0101_3^5 + 381990249096919956976667794075562015600/6\ 8134363542310298060725082418845105843*c_0101_3^4 - 533681391529557106229163090461522853645/681343635423102980607250824\ 18845105843*c_0101_3^3 + 162564429251859656942730644938157316344/68\ 134363542310298060725082418845105843*c_0101_3^2 + 48343907695105571372772234160791158209/6813436354231029806072508241\ 8845105843*c_0101_3 + 17966656825249636258977172725713758407/681343\ 63542310298060725082418845105843, c_0011_5 - 28767911277688833110323963521797581076/681343635423102980607\ 25082418845105843*c_0101_3^25 + 13017990010224108804000719434558538\ 8409/68134363542310298060725082418845105843*c_0101_3^24 + 305623109126341163901063216160685374554/681343635423102980607250824\ 18845105843*c_0101_3^23 - 498456358339992393389491649877297551415/6\ 8134363542310298060725082418845105843*c_0101_3^22 + 1755967915970084839750731897184333988497/68134363542310298060725082\ 418845105843*c_0101_3^21 - 174499886572339229692789798141479195950/\ 68134363542310298060725082418845105843*c_0101_3^20 + 3775172372092676350698351957672077782034/68134363542310298060725082\ 418845105843*c_0101_3^19 + 8429649452505932874843672875611374075793\ /68134363542310298060725082418845105843*c_0101_3^18 + 463823468262099032929400410033004598464/681343635423102980607250824\ 18845105843*c_0101_3^17 + 14454669505994659197287178828673010322841\ /68134363542310298060725082418845105843*c_0101_3^16 - 5145513206384183395995535844171320055580/68134363542310298060725082\ 418845105843*c_0101_3^15 - 3253775810942213090485441142138900350224\ 8/68134363542310298060725082418845105843*c_0101_3^14 - 24604991333512803944005140516703340151759/6813436354231029806072508\ 2418845105843*c_0101_3^13 - 311754611914804034557431183394160507677\ 15/68134363542310298060725082418845105843*c_0101_3^12 + 39130054793845433259953558811565550248726/6813436354231029806072508\ 2418845105843*c_0101_3^11 + 757890372958953000744389926623336930682\ 55/68134363542310298060725082418845105843*c_0101_3^10 - 17152025444461197281941484534135204537973/6813436354231029806072508\ 2418845105843*c_0101_3^9 - 4389403573715073306136542292043366577492\ 4/68134363542310298060725082418845105843*c_0101_3^8 + 732787210975669832831698184002990868747/681343635423102980607250824\ 18845105843*c_0101_3^7 + 10742472962581774310709975101184680828135/\ 68134363542310298060725082418845105843*c_0101_3^6 - 595058994322546444256504788189271662373/681343635423102980607250824\ 18845105843*c_0101_3^5 - 1911299870947602547531400562742078881607/6\ 8134363542310298060725082418845105843*c_0101_3^4 + 1140620516002361795385986379966893058538/68134363542310298060725082\ 418845105843*c_0101_3^3 + 410865005929681855283408745532122579089/6\ 8134363542310298060725082418845105843*c_0101_3^2 - 168656473299508225980593893012008998707/681343635423102980607250824\ 18845105843*c_0101_3 - 34615369902463172635612259784111868926/68134\ 363542310298060725082418845105843, c_0101_0 + 7490400307053674082521651133882270171/6813436354231029806072\ 5082418845105843*c_0101_3^25 - 413962656515020618800758453097358913\ 61/68134363542310298060725082418845105843*c_0101_3^24 - 50263417712782336229036459076610984500/6813436354231029806072508241\ 8845105843*c_0101_3^23 + 226963230836274770661190981173729919042/68\ 134363542310298060725082418845105843*c_0101_3^22 - 524314272591439744398520235162489891706/681343635423102980607250824\ 18845105843*c_0101_3^21 + 466632054026960646593239168780593349083/6\ 8134363542310298060725082418845105843*c_0101_3^20 - 775391809676100241594303514927887842125/681343635423102980607250824\ 18845105843*c_0101_3^19 - 1036110007330242692319373535200579652949/\ 68134363542310298060725082418845105843*c_0101_3^18 + 2757468786936704744558570644467833988366/68134363542310298060725082\ 418845105843*c_0101_3^17 - 1711918046803529405580104755368517892486\ /68134363542310298060725082418845105843*c_0101_3^16 + 6475983464065845679560312749249018602592/68134363542310298060725082\ 418845105843*c_0101_3^15 + 1041978904769003678988156445023863809479\ 4/68134363542310298060725082418845105843*c_0101_3^14 - 380571655097409844955362836880506821793/681343635423102980607250824\ 18845105843*c_0101_3^13 - 2852375361728082219681801199081032469158/\ 68134363542310298060725082418845105843*c_0101_3^12 - 25128506100279648199270230034243030962165/6813436354231029806072508\ 2418845105843*c_0101_3^11 - 198252464096498204505265265652375238772\ 80/68134363542310298060725082418845105843*c_0101_3^10 + 22890215083753261124262854767621336199530/6813436354231029806072508\ 2418845105843*c_0101_3^9 + 1893279396245362381772492330119834352395\ 0/68134363542310298060725082418845105843*c_0101_3^8 - 6635021901160790753708236688049603311979/68134363542310298060725082\ 418845105843*c_0101_3^7 - 5135660742123434531855190908957997470761/\ 68134363542310298060725082418845105843*c_0101_3^6 + 1940978002150010967402753214437441091338/68134363542310298060725082\ 418845105843*c_0101_3^5 + 464080174556943765542850228776320284220/6\ 8134363542310298060725082418845105843*c_0101_3^4 - 865668782470204555778197414832352862983/681343635423102980607250824\ 18845105843*c_0101_3^3 - 128207128571909440255311143221284372875/68\ 134363542310298060725082418845105843*c_0101_3^2 + 191918117933614460411042306420581739470/681343635423102980607250824\ 18845105843*c_0101_3 + 13582722994777827871274218100376026624/68134\ 363542310298060725082418845105843, c_0101_3^26 - 4*c_0101_3^25 - 13*c_0101_3^24 + 12*c_0101_3^23 - 53*c_0101_3^22 - 29*c_0101_3^21 - 125*c_0101_3^20 - 377*c_0101_3^19 - 173*c_0101_3^18 - 549*c_0101_3^17 - 173*c_0101_3^16 + 1181*c_0101_3^15 + 1287*c_0101_3^14 + 1516*c_0101_3^13 - 545*c_0101_3^12 - 3038*c_0101_3^11 - 338*c_0101_3^10 + 1715*c_0101_3^9 + 156*c_0101_3^8 - 513*c_0101_3^7 + 17*c_0101_3^6 + 137*c_0101_3^5 - 29*c_0101_3^4 - 32*c_0101_3^3 + 11*c_0101_3^2 + 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB