Magma V2.19-8 Tue Aug 20 2013 16:14:41 on localhost [Seed = 2631729283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s672 geometric_solution 5.17027115 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247881188170 0.220665032380 2 0 3 0 0132 2310 0132 0132 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 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.501479857406 1.782864648184 1 4 3 5 0132 0132 0213 0132 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 0 0 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.313951697669 0.611397105164 5 2 4 1 3201 0213 3201 0132 0 0 0 0 0 1 0 -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 0 0 1 0 0 -1 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.313951697669 0.611397105164 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.335372039970 1.294312513008 5 5 2 3 1230 3012 0132 2310 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 0 0 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.621367207392 0.906818157404 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_5'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 896784820055616714129472351170406047691460479363787/134056651161220\ 2995561713035455352451853290506979360*c_0101_4^22 - 173408069601274268710445641242074020080172558438255/134056651161220\ 299556171303545535245185329050697936*c_0101_4^21 + 6317523312512149262929581205189515755887050222844629/13405665116122\ 02995561713035455352451853290506979360*c_0101_4^20 + 9290763696076848611604130934220335934103753228645809/13405665116122\ 02995561713035455352451853290506979360*c_0101_4^19 + 27693183622364795963286658629611762559519383734321149/1340566511612\ 202995561713035455352451853290506979360*c_0101_4^18 - 96208019744857369247116680160747439194653286850981/1340566511612202\ 995561713035455352451853290506979360*c_0101_4^17 - 50965186281794753452264277134642274224951337726555/3269674418566348\ 769662714720622810858178757334096*c_0101_4^16 - 181204020295452030452359542232378578152366774733534881/670283255806\ 101497780856517727676225926645253489680*c_0101_4^15 - 693081111041344685688216805860840840165764094977063/335141627903050\ 748890428258863838112963322626744840*c_0101_4^14 + 1122069075055377914559084695454023381403387782488708199/13405665116\ 12202995561713035455352451853290506979360*c_0101_4^13 + 136783370508153423555581266240308002233808305064144303/837854069757\ 62687222607064715959528240830656686210*c_0101_4^12 + 339206635474472933752129526657605148588918079336877161/670283255806\ 101497780856517727676225926645253489680*c_0101_4^11 - 2898438236771131309275031326934552128092822665710317877/13405665116\ 12202995561713035455352451853290506979360*c_0101_4^10 + 294455881915542883881268454249479391546289330268656979/134056651161\ 2202995561713035455352451853290506979360*c_0101_4^9 - 1442730268640103112808883905521654481386675405665057/12186968287383\ 6635960155730495941131986662773361760*c_0101_4^8 + 3658721600604875677131388216902915114909474150151033237/13405665116\ 12202995561713035455352451853290506979360*c_0101_4^7 - 793074365256664859691637144820001450771848525675617443/670283255806\ 101497780856517727676225926645253489680*c_0101_4^6 + 280029947772650864077846646874223777984787264379940181/335141627903\ 050748890428258863838112963322626744840*c_0101_4^5 + 116143584364355544646027187911934199873140551866960981/134056651161\ 2202995561713035455352451853290506979360*c_0101_4^4 - 20935321418932421097966253891997471930217071480068578/4189270348788\ 1343611303532357979764120415328343105*c_0101_4^3 - 208050257711461473668511261403037265050615782238869519/335141627903\ 050748890428258863838112963322626744840*c_0101_4^2 - 32670387629963237015678559866896304205271566912359657/1675708139515\ 25374445214129431919056481661313372420*c_0101_4 + 4443567802554101861428262770202325694425399442525877/83785406975762\ 687222607064715959528240830656686210, c_0011_0 - 1, c_0011_1 + 562855231851257528236544452836915031636497975/29724312896057\ 7160878428610965710078016250666736*c_0101_4^22 + 494437584384002714722987164546799543351451417/148621564480288580439\ 214305482855039008125333368*c_0101_4^21 - 4200156028417607233826854807035750780031500969/29724312896057716087\ 8428610965710078016250666736*c_0101_4^20 - 5253045651468131751191613079831285064252840425/29724312896057716087\ 8428610965710078016250666736*c_0101_4^19 - 16199244585947034619058922498097063074359415029/2972431289605771608\ 78428610965710078016250666736*c_0101_4^18 + 3716121475498917493437049897018988160033013341/29724312896057716087\ 8428610965710078016250666736*c_0101_4^17 + 7653843473221220154945219877121410316295272657/14862156448028858043\ 9214305482855039008125333368*c_0101_4^16 + 113536153973992079405413347928633496295402958017/148621564480288580\ 439214305482855039008125333368*c_0101_4^15 - 9284304149870998865305974100831672330036349533/74310782240144290219\ 607152741427519504062666684*c_0101_4^14 - 722159104612534641740061234311814080877694863795/297243128960577160\ 878428610965710078016250666736*c_0101_4^13 - 316460660482516095729605551692528064221391249921/743107822401442902\ 19607152741427519504062666684*c_0101_4^12 - 78897276611958904501205606259059906040782660321/1486215644802885804\ 39214305482855039008125333368*c_0101_4^11 + 2047806360521630029094031629350976272248511587017/29724312896057716\ 0878428610965710078016250666736*c_0101_4^10 - 297229671213257765510424242016417644995061680291/297243128960577160\ 878428610965710078016250666736*c_0101_4^9 + 103243909368294045856920718313558026774538528651/297243128960577160\ 878428610965710078016250666736*c_0101_4^8 - 2335362580039524524030921802089997566594346129509/29724312896057716\ 0878428610965710078016250666736*c_0101_4^7 + 648892634773742819943777136055932870825485783105/148621564480288580\ 439214305482855039008125333368*c_0101_4^6 - 149421285565096405659822046610162267388519203575/743107822401442902\ 19607152741427519504062666684*c_0101_4^5 + 122331467248615296282817444045716039975292480255/297243128960577160\ 878428610965710078016250666736*c_0101_4^4 + 178605126051915901750144073707171406491347103901/743107822401442902\ 19607152741427519504062666684*c_0101_4^3 + 125169178389080084851572024134299379680567736805/743107822401442902\ 19607152741427519504062666684*c_0101_4^2 + 11871494285996351308073807947614763265904788537/1857769556003607255\ 4901788185356879876015666671*c_0101_4 - 17124443331685172174479716882086964100344232648/1857769556003607255\ 4901788185356879876015666671, c_0011_3 - 16826472617787250384322938263458751850333302/185776955600360\ 72554901788185356879876015666671*c_0101_4^22 - 53525210017067019420732000714807701277990101/1857769556003607255490\ 1788185356879876015666671*c_0101_4^21 + 272598886179952172992041418240456857070537427/743107822401442902196\ 07152741427519504062666684*c_0101_4^20 + 308374670930452665642412453210262873361186626/185776955600360725549\ 01788185356879876015666671*c_0101_4^19 + 3239969996768726683255092054567455206889546575/74310782240144290219\ 607152741427519504062666684*c_0101_4^18 + 2790747258651649068801138005404415245593805133/74310782240144290219\ 607152741427519504062666684*c_0101_4^17 - 421828457890416684263933922490800869298876747/743107822401442902196\ 07152741427519504062666684*c_0101_4^16 - 29478440579759675391005947403036844848461172417/7431078224014429021\ 9607152741427519504062666684*c_0101_4^15 - 8560486830483963802584107846738640182723254805/18577695560036072554\ 901788185356879876015666671*c_0101_4^14 + 34418324915419393578940652652147603368363997489/3715539112007214510\ 9803576370713759752031333342*c_0101_4^13 + 69207369662070592302455111006572195437516078838/1857769556003607255\ 4901788185356879876015666671*c_0101_4^12 + 295011386136633233834542286806636138691017823781/743107822401442902\ 19607152741427519504062666684*c_0101_4^11 - 43752242006657553334974329253229595375720859975/3715539112007214510\ 9803576370713759752031333342*c_0101_4^10 - 119011572376964468002097231279547503156987686237/371553911200721451\ 09803576370713759752031333342*c_0101_4^9 - 46021764940232797155058976138260437538243479543/7431078224014429021\ 9607152741427519504062666684*c_0101_4^8 + 386632852384329963492870626639679816246246616939/743107822401442902\ 19607152741427519504062666684*c_0101_4^7 + 138978720166166422858365031906158202322352778125/743107822401442902\ 19607152741427519504062666684*c_0101_4^6 + 77667772855924828284233577442938257647440988197/7431078224014429021\ 9607152741427519504062666684*c_0101_4^5 - 3426769646224002171682731593173905764829301683/18577695560036072554\ 901788185356879876015666671*c_0101_4^4 + 32804447412181908442390969999065119227290053987/1857769556003607255\ 4901788185356879876015666671*c_0101_4^3 - 130764275023888597529337559783274241743236933165/743107822401442902\ 19607152741427519504062666684*c_0101_4^2 - 44739133629341896159829971323914219083169276903/3715539112007214510\ 9803576370713759752031333342*c_0101_4 - 4247607183090420892832622416018483363451660757/18577695560036072554\ 901788185356879876015666671, c_0011_5 + 1850936856678095091541437242859508451965618767/2972431289605\ 77160878428610965710078016250666736*c_0101_4^22 + 1719964985352745913558994254466586971327345765/14862156448028858043\ 9214305482855039008125333368*c_0101_4^21 - 13418601948021381964479663788762910425004445633/2972431289605771608\ 78428610965710078016250666736*c_0101_4^20 - 18371116676430708981802868656488927676534664873/2972431289605771608\ 78428610965710078016250666736*c_0101_4^19 - 54836196344914184511665270355406996225169378517/2972431289605771608\ 78428610965710078016250666736*c_0101_4^18 + 5471189909773831835900476980393966667321635965/29724312896057716087\ 8428610965710078016250666736*c_0101_4^17 + 23000850138284049508409030383272280134745087205/1486215644802885804\ 39214305482855039008125333368*c_0101_4^16 + 371483142315198020184795369825725343242614535321/148621564480288580\ 439214305482855039008125333368*c_0101_4^15 - 13599949054714979511236177528030706948771507841/7431078224014429021\ 9607152741427519504062666684*c_0101_4^14 - 2361035459073591623934546240557956605175584676827/29724312896057716\ 0878428610965710078016250666736*c_0101_4^13 - 1081989297552430123993223468584870932012018548879/74310782240144290\ 219607152741427519504062666684*c_0101_4^12 - 454748173888409054388499784999279993383435404425/148621564480288580\ 439214305482855039008125333368*c_0101_4^11 + 6324424751988148780047013045706247399722049075745/29724312896057716\ 0878428610965710078016250666736*c_0101_4^10 - 1101578817881929756109677964054927804589844778403/29724312896057716\ 0878428610965710078016250666736*c_0101_4^9 - 434945037630416221678572566142077423355733784037/297243128960577160\ 878428610965710078016250666736*c_0101_4^8 - 7486559298163072277810718472572911641864155900981/29724312896057716\ 0878428610965710078016250666736*c_0101_4^7 + 1951278417965630159750085113305250385727441278101/14862156448028858\ 0439214305482855039008125333368*c_0101_4^6 - 518335206011344990235077147904041497783771906327/743107822401442902\ 19607152741427519504062666684*c_0101_4^5 - 544219541728114374949867970648000424255983447049/297243128960577160\ 878428610965710078016250666736*c_0101_4^4 + 370583116746282303249696772916924138648873611527/743107822401442902\ 19607152741427519504062666684*c_0101_4^3 + 442264068932259726925869176261921073000472030989/743107822401442902\ 19607152741427519504062666684*c_0101_4^2 + 18008777090827537723709455835801077468376961017/1857769556003607255\ 4901788185356879876015666671*c_0101_4 - 18672830929788802421915893533331828850524455232/1857769556003607255\ 4901788185356879876015666671, c_0101_1 + 1589299408982598771458040889230450570852296613/2972431289605\ 77160878428610965710078016250666736*c_0101_4^22 + 183927702440088826250762136951567448586660848/185776955600360725549\ 01788185356879876015666671*c_0101_4^21 - 11471959974427729282614769113644589265828230711/2972431289605771608\ 78428610965710078016250666736*c_0101_4^20 - 15619506004287654888548899791460665590311007569/2972431289605771608\ 78428610965710078016250666736*c_0101_4^19 - 47701012100710053833113763809091479721814605549/2972431289605771608\ 78428610965710078016250666736*c_0101_4^18 + 4513455150067479279340808051176766147334059217/29724312896057716087\ 8428610965710078016250666736*c_0101_4^17 + 9690591008411247120140237921500013620408124207/74310782240144290219\ 607152741427519504062666684*c_0101_4^16 + 320219655382032804346737612093538357045718333797/148621564480288580\ 439214305482855039008125333368*c_0101_4^15 - 2876239662211579732899578295840669987385368606/18577695560036072554\ 901788185356879876015666671*c_0101_4^14 - 2000469891435187071687026636767321029077251789761/29724312896057716\ 0878428610965710078016250666736*c_0101_4^13 - 1863795953697255090100984747621380724060914782111/14862156448028858\ 0439214305482855039008125333368*c_0101_4^12 - 444347110562090859711481090176153049095113745611/148621564480288580\ 439214305482855039008125333368*c_0101_4^11 + 5350335366559227319127983675807932849597093574351/29724312896057716\ 0878428610965710078016250666736*c_0101_4^10 - 757596068647531497412507661701809935776647905459/297243128960577160\ 878428610965710078016250666736*c_0101_4^9 + 140636226832814405450797129707058662112239486839/297243128960577160\ 878428610965710078016250666736*c_0101_4^8 - 6590838376313651196865802898845682626986442703685/29724312896057716\ 0878428610965710078016250666736*c_0101_4^7 + 194392051861598674994099762590881070565740913137/185776955600360725\ 54901788185356879876015666671*c_0101_4^6 - 116501643963280187834845857536678866333510205124/185776955600360725\ 54901788185356879876015666671*c_0101_4^5 - 104237595186530221554519253971756362900933915259/297243128960577160\ 878428610965710078016250666736*c_0101_4^4 + 820945649311635600448181965867483900743343074323/148621564480288580\ 439214305482855039008125333368*c_0101_4^3 + 315211558078649862600353670743215579045460257239/743107822401442902\ 19607152741427519504062666684*c_0101_4^2 + 58138730935570637853113678564970119453306413437/3715539112007214510\ 9803576370713759752031333342*c_0101_4 - 15028821869722171773166174817309779088366182851/1857769556003607255\ 4901788185356879876015666671, c_0101_4^23 + 2*c_0101_4^22 - 7*c_0101_4^21 - 11*c_0101_4^20 - 31*c_0101_4^19 - c_0101_4^18 + 26*c_0101_4^17 + 406*c_0101_4^16 + 28*c_0101_4^15 - 1285*c_0101_4^14 - 2528*c_0101_4^13 - 814*c_0101_4^12 + 3399*c_0101_4^11 - 25*c_0101_4^10 - 263*c_0101_4^9 - 4079*c_0101_4^8 + 1506*c_0101_4^7 - 796*c_0101_4^6 - 327*c_0101_4^5 + 832*c_0101_4^4 + 1004*c_0101_4^3 + 304*c_0101_4^2 - 160*c_0101_4 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB