Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3398129154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1566 geometric_solution 5.34965102 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 0 1 -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.390745156708 0.409447164470 0 3 4 2 0132 1230 3012 2103 0 0 0 0 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 -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.130681838750 0.759869991828 2 0 2 1 2310 0132 3201 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777995239931 0.520745196733 5 5 1 0 0132 2310 3012 0132 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 1 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 0 0 0 0 -1.085229837741 1.104239130367 6 1 0 6 0132 1230 0132 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 -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.646738212493 0.739630177195 3 5 5 3 0132 3201 2310 3201 0 0 0 0 0 1 -1 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 1 -1 0 1 0 -1 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.310772973925 0.741155891205 4 6 6 4 0132 3201 2310 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.377785900683 0.436438767207 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1942047809406793062599699460347833922701/19033935032963930299521155\ 169872871364*c_0101_6^23 - 3551035378944601478381512053317811506199\ /19033935032963930299521155169872871364*c_0101_6^22 + 19974731036235641716234971516856886591469/1903393503296393029952115\ 5169872871364*c_0101_6^21 + 407724358412230586256641675150378598651\ 9/9516967516481965149760577584936435682*c_0101_6^20 - 278522056257967830551407511237185044664505/190339350329639302995211\ 55169872871364*c_0101_6^19 + 44138014443889001134304555092968944105\ 1575/9516967516481965149760577584936435682*c_0101_6^18 - 43615213737231961965906927691927430405557/9516967516481965149760577\ 584936435682*c_0101_6^17 - 5411487020024129050703183841405053273411\ 6/4758483758240982574880288792468217841*c_0101_6^16 + 1880850240703323393382032921555535162889421/19033935032963930299521\ 155169872871364*c_0101_6^15 - 1991624181487542550862802322108862426\ 492159/19033935032963930299521155169872871364*c_0101_6^14 + 16780856792133694255505597696706233916903/1012443352817230335080912\ 50903579103*c_0101_6^13 - 20495256647796864329646566487233780867381\ 39/19033935032963930299521155169872871364*c_0101_6^12 + 681102293800504159382236700981220688821731/190339350329639302995211\ 55169872871364*c_0101_6^11 + 14034382083843880771122674697544887681\ 1775/19033935032963930299521155169872871364*c_0101_6^10 - 900535828293919852504833408026090655626047/190339350329639302995211\ 55169872871364*c_0101_6^9 + 350598501267596581873761092874900918464\ 153/9516967516481965149760577584936435682*c_0101_6^8 - 875645568347064563651073669371350413356453/190339350329639302995211\ 55169872871364*c_0101_6^7 + 126945218906442250912803444326603218176\ 967/9516967516481965149760577584936435682*c_0101_6^6 - 117501615420308977104789845792565790714657/190339350329639302995211\ 55169872871364*c_0101_6^5 + 499013571029257844395076225520769868505\ 8/4758483758240982574880288792468217841*c_0101_6^4 + 35086746261814728095432475293263901875935/4758483758240982574880288\ 792468217841*c_0101_6^3 - 40985746893171083675216766434533302464173\ /19033935032963930299521155169872871364*c_0101_6^2 + 41279289705195834341020337701806715040749/1903393503296393029952115\ 5169872871364*c_0101_6 - 3582209742566683273410528405574351837118/4\ 758483758240982574880288792468217841, c_0011_0 - 1, c_0011_3 - 17211559010913769954856830600662429/250446513591630661835804\ 673287800939*c_0101_6^23 - 12403930990262377975951148154447553/2504\ 46513591630661835804673287800939*c_0101_6^22 + 204997790398281988677375032497449926/250446513591630661835804673287\ 800939*c_0101_6^21 - 120172691549222286871445964163220784/250446513\ 591630661835804673287800939*c_0101_6^20 - 2447704969833703512053943167128643206/25044651359163066183580467328\ 7800939*c_0101_6^19 + 10428283429888400802203898764357557897/250446\ 513591630661835804673287800939*c_0101_6^18 - 10481867817467277785144139280749702798/2504465135916306618358046732\ 87800939*c_0101_6^17 + 4323610859235084036318120683872156683/250446\ 513591630661835804673287800939*c_0101_6^16 + 11056334993746574384110032310849209041/2504465135916306618358046732\ 87800939*c_0101_6^15 - 35011752076724969293739819940852964880/25044\ 6513591630661835804673287800939*c_0101_6^14 + 1112893580051222608276022549549835742/53286492253538438688469079422\ 93637*c_0101_6^13 - 71714768521966266411910306325762408924/25044651\ 3591630661835804673287800939*c_0101_6^12 + 53685363062054505689138879891832059776/2504465135916306618358046732\ 87800939*c_0101_6^11 - 46299516757966643707990913642244265743/25044\ 6513591630661835804673287800939*c_0101_6^10 + 16938687194415380856951048423387067939/2504465135916306618358046732\ 87800939*c_0101_6^9 - 5661894585287580721429845507045909730/2504465\ 13591630661835804673287800939*c_0101_6^8 - 8555220925469467283713917422954014018/25044651359163066183580467328\ 7800939*c_0101_6^7 + 11558290876694020806063818178719088995/2504465\ 13591630661835804673287800939*c_0101_6^6 - 8223588523830464262722239303034808736/25044651359163066183580467328\ 7800939*c_0101_6^5 + 7625622896527590491323921930795302911/25044651\ 3591630661835804673287800939*c_0101_6^4 - 2161182706343489631001538900312602334/25044651359163066183580467328\ 7800939*c_0101_6^3 + 2132778046442451529863720346942062488/25044651\ 3591630661835804673287800939*c_0101_6^2 - 162583762873217060140442037218325655/250446513591630661835804673287\ 800939*c_0101_6 - 92801729878919745442528686115963911/2504465135916\ 30661835804673287800939, c_0011_4 + 103458360891195819747859820830592349/25044651359163066183580\ 4673287800939*c_0101_6^23 + 107157729937455270494255926188402967/25\ 0446513591630661835804673287800939*c_0101_6^22 - 1176790304504406120157567073690423785/25044651359163066183580467328\ 7800939*c_0101_6^21 + 460415207780486943024692352278022307/25044651\ 3591630661835804673287800939*c_0101_6^20 + 14791317398300069864926069992154984689/2504465135916306618358046732\ 87800939*c_0101_6^19 - 58746666731459390356044487861436223290/25044\ 6513591630661835804673287800939*c_0101_6^18 + 47078400790756711719372320621220107360/2504465135916306618358046732\ 87800939*c_0101_6^17 - 11430393486912966732903871399174127627/25044\ 6513591630661835804673287800939*c_0101_6^16 - 96595841370392091255424943083534568939/2504465135916306618358046732\ 87800939*c_0101_6^15 + 175594484754649756692584094840811916851/2504\ 46513591630661835804673287800939*c_0101_6^14 - 5951089365082530781399218637360145057/53286492253538438688469079422\ 93637*c_0101_6^13 + 294111002755469290582909178606468997195/2504465\ 13591630661835804673287800939*c_0101_6^12 - 222639096189543584817852039964360992370/250446513591630661835804673\ 287800939*c_0101_6^11 + 128014761614738269976829149761657301427/250\ 446513591630661835804673287800939*c_0101_6^10 - 41371487868201628093400914509376605653/2504465135916306618358046732\ 87800939*c_0101_6^9 - 5777408375860843908109988388184782904/2504465\ 13591630661835804673287800939*c_0101_6^8 + 43676610848456905789349333596712967738/2504465135916306618358046732\ 87800939*c_0101_6^7 - 43219784458682288226383484394706215451/250446\ 513591630661835804673287800939*c_0101_6^6 + 31107475619743949849845673141251643447/2504465135916306618358046732\ 87800939*c_0101_6^5 - 21192115006101284379341462208558453819/250446\ 513591630661835804673287800939*c_0101_6^4 + 8201083684143416677744993112763127429/25044651359163066183580467328\ 7800939*c_0101_6^3 - 2879507392156435518932421354508931826/25044651\ 3591630661835804673287800939*c_0101_6^2 + 772056427808344508811638333582305334/250446513591630661835804673287\ 800939*c_0101_6 + 103109913029654580025581229877923077/250446513591\ 630661835804673287800939, c_0101_1 - 25592037008898368168931227493340274/250446513591630661835804\ 673287800939*c_0101_6^23 + 10527994875930803860154328501683121/2504\ 46513591630661835804673287800939*c_0101_6^22 + 367076560494214548222175882011977371/250446513591630661835804673287\ 800939*c_0101_6^21 - 475416130239609485262544164297447621/250446513\ 591630661835804673287800939*c_0101_6^20 - 3893093135470175622246543630306670103/25044651359163066183580467328\ 7800939*c_0101_6^19 + 19768842511885806933351854790736040976/250446\ 513591630661835804673287800939*c_0101_6^18 - 27280983870290725216575573391655866360/2504465135916306618358046732\ 87800939*c_0101_6^17 + 1289448961020695733011349605331829936/250446\ 513591630661835804673287800939*c_0101_6^16 + 26157154931650727226220699988972265200/2504465135916306618358046732\ 87800939*c_0101_6^15 - 76439739478150462327895617813305207676/25044\ 6513591630661835804673287800939*c_0101_6^14 + 2056226557210635132878636159888651775/53286492253538438688469079422\ 93637*c_0101_6^13 - 129452901973283889460990323436132989971/2504465\ 13591630661835804673287800939*c_0101_6^12 + 87048289711614614011927700865997844342/2504465135916306618358046732\ 87800939*c_0101_6^11 - 50726645292959249968435281233005938075/25044\ 6513591630661835804673287800939*c_0101_6^10 + 16194214139232003990422445429926942641/2504465135916306618358046732\ 87800939*c_0101_6^9 + 4317644511424136623425873743479352729/2504465\ 13591630661835804673287800939*c_0101_6^8 - 14975671007075674508390215428646004193/2504465135916306618358046732\ 87800939*c_0101_6^7 + 22373266849752086440562804140518218985/250446\ 513591630661835804673287800939*c_0101_6^6 - 9315649851711039780278854379607592797/25044651359163066183580467328\ 7800939*c_0101_6^5 + 8424477990148704956421346970098503134/25044651\ 3591630661835804673287800939*c_0101_6^4 - 3570175641574121585410606755566674944/25044651359163066183580467328\ 7800939*c_0101_6^3 + 353343954822600713890294590628421356/250446513\ 591630661835804673287800939*c_0101_6^2 - 695555912848516470331987703882747871/250446513591630661835804673287\ 800939*c_0101_6 - 8681145955121583480233485527432158/25044651359163\ 0661835804673287800939, c_0101_2 - 18283520108021455039152148263064327/250446513591630661835804\ 673287800939*c_0101_6^23 - 44934244907512395444736208857029210/2504\ 46513591630661835804673287800939*c_0101_6^22 + 181478216898295599701380785879805400/250446513591630661835804673287\ 800939*c_0101_6^21 + 213738080572298533817891783083003519/250446513\ 591630661835804673287800939*c_0101_6^20 - 2730794498041661561297913599036243333/25044651359163066183580467328\ 7800939*c_0101_6^19 + 6690339764995317427571988697813128593/2504465\ 13591630661835804673287800939*c_0101_6^18 + 6453420745978616245432125980854552096/25044651359163066183580467328\ 7800939*c_0101_6^17 - 10249588048134518204927595716374161762/250446\ 513591630661835804673287800939*c_0101_6^16 + 21445019656954469720765966138613318023/2504465135916306618358046732\ 87800939*c_0101_6^15 - 9239175377498341006882042040578468901/250446\ 513591630661835804673287800939*c_0101_6^14 + 90173819398377248851606976886514112/5328649225353843868846907942293\ 637*c_0101_6^13 + 20873344375120390155257524191358661650/2504465135\ 91630661835804673287800939*c_0101_6^12 - 42752501410085339470692229889264354529/2504465135916306618358046732\ 87800939*c_0101_6^11 + 39209970880021564092180603289242821002/25044\ 6513591630661835804673287800939*c_0101_6^10 - 34944804390996535112138837434722113977/2504465135916306618358046732\ 87800939*c_0101_6^9 + 14068902947901130429153796360906344269/250446\ 513591630661835804673287800939*c_0101_6^8 - 8171591482347080775354478867053221665/25044651359163066183580467328\ 7800939*c_0101_6^7 - 5598679303411219486872353891212027951/25044651\ 3591630661835804673287800939*c_0101_6^6 + 6216998669580029620274947978416301591/25044651359163066183580467328\ 7800939*c_0101_6^5 - 5095451040886527205439437644325450726/25044651\ 3591630661835804673287800939*c_0101_6^4 + 5261513275517083430595203030802252587/25044651359163066183580467328\ 7800939*c_0101_6^3 - 1347552007738961128896559017951138366/25044651\ 3591630661835804673287800939*c_0101_6^2 + 1087202237784040115199712457634833137/25044651359163066183580467328\ 7800939*c_0101_6 + 14711097166886549737795071797943042/250446513591\ 630661835804673287800939, c_0101_3 - 84321152397667648996856813344487585/250446513591630661835804\ 673287800939*c_0101_6^23 - 97058637410243097900516367677593733/2504\ 46513591630661835804673287800939*c_0101_6^22 + 948618991645960027796103018925366148/250446513591630661835804673287\ 800939*c_0101_6^21 - 246359372552084966339316120531113933/250446513\ 591630661835804673287800939*c_0101_6^20 - 12049724678211533607925214682472531594/2504465135916306618358046732\ 87800939*c_0101_6^19 + 46311780486629077160523420152993897464/25044\ 6513591630661835804673287800939*c_0101_6^18 - 33091116560538441479744522081998524753/2504465135916306618358046732\ 87800939*c_0101_6^17 + 7799202480502421698323778581684087819/250446\ 513591630661835804673287800939*c_0101_6^16 + 72497724072496282731711640738859054022/2504465135916306618358046732\ 87800939*c_0101_6^15 - 137815774376987786501485395431924471925/2504\ 46513591630661835804673287800939*c_0101_6^14 + 4575008860697919730710096471483848955/53286492253538438688469079422\ 93637*c_0101_6^13 - 230764820753598805610016535160474087675/2504465\ 13591630661835804673287800939*c_0101_6^12 + 162667494746414224530912531980960217482/250446513591630661835804673\ 287800939*c_0101_6^11 - 103973864600447986885947583548284590734/250\ 446513591630661835804673287800939*c_0101_6^10 + 25708688105926874888487935000385755538/2504465135916306618358046732\ 87800939*c_0101_6^9 + 9373630236461972976175251264990689842/2504465\ 13591630661835804673287800939*c_0101_6^8 - 38857357601742239951006465373252189625/2504465135916306618358046732\ 87800939*c_0101_6^7 + 33469519054657001851477834319780616736/250446\ 513591630661835804673287800939*c_0101_6^6 - 22205855449932241585998988528245097446/2504465135916306618358046732\ 87800939*c_0101_6^5 + 18440920895663880757399352547276221358/250446\ 513591630661835804673287800939*c_0101_6^4 - 4342941275146500344440157632767199874/25044651359163066183580467328\ 7800939*c_0101_6^3 + 1972396232000798395928870204533635975/25044651\ 3591630661835804673287800939*c_0101_6^2 - 345764140345461857595408216944412175/250446513591630661835804673287\ 800939*c_0101_6 - 335636542838914247233401453626360336/250446513591\ 630661835804673287800939, c_0101_6^24 + 2*c_0101_6^23 - 10*c_0101_6^22 - 6*c_0101_6^21 + 143*c_0101_6^20 - 430*c_0101_6^19 - 37*c_0101_6^18 + 134*c_0101_6^17 - 959*c_0101_6^16 + 864*c_0101_6^15 - 1425*c_0101_6^14 + 736*c_0101_6^13 - 98*c_0101_6^12 - 206*c_0101_6^11 + 511*c_0101_6^10 - 321*c_0101_6^9 + 404*c_0101_6^8 - 55*c_0101_6^7 + 27*c_0101_6^6 + 10*c_0101_6^5 - 83*c_0101_6^4 + 15*c_0101_6^3 - 20*c_0101_6^2 + 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB