Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 357861878] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0581 geometric_solution 4.60020592 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 0 -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 1.288172915017 1.835881585522 0 2 4 2 0132 3012 0132 1302 0 0 0 0 0 0 0 0 -1 0 1 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.617447158250 0.762788114448 1 0 1 4 1230 0132 2031 0132 0 0 0 0 0 0 -1 1 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 -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.617447158250 0.762788114448 0 5 5 0 3201 0132 3201 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208115489005 0.167305173473 6 6 2 1 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -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 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.498502502946 0.568494887210 3 3 5 5 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.771162295627 2.407972491620 4 6 6 4 0132 3201 2310 3201 0 0 0 0 0 0 -1 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 0 -1 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.474654157320 1.047509052444 ==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' : d['c_0101_5'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_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' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 7376016740086527139149/603730347558208368569*c_0101_5^21 - 7110249043966418319241/603730347558208368569*c_0101_5^20 + 22816171691603555481050/26249145546009059503*c_0101_5^19 + 1212983805989691982728042/603730347558208368569*c_0101_5^18 - 6681663839777728230267257/603730347558208368569*c_0101_5^17 - 627120052141535704899482/26249145546009059503*c_0101_5^16 + 31429828034144250636682043/603730347558208368569*c_0101_5^15 + 76372314715727254863027404/603730347558208368569*c_0101_5^14 - 77581051545617808002350595/603730347558208368569*c_0101_5^13 - 211611745082365493261118770/603730347558208368569*c_0101_5^12 + 133843438029319029150000493/603730347558208368569*c_0101_5^11 + 305767708368263526409373756/603730347558208368569*c_0101_5^10 - 170896458015598717238629420/603730347558208368569*c_0101_5^9 - 9446093092669575771605433/26249145546009059503*c_0101_5^8 + 5751226550159675670211688/26249145546009059503*c_0101_5^7 + 64892475150794809545949248/603730347558208368569*c_0101_5^6 - 50427050236720726393420356/603730347558208368569*c_0101_5^5 - 3307797008101502329627572/603730347558208368569*c_0101_5^4 + 7410643027707715425923608/603730347558208368569*c_0101_5^3 - 871213488412151576946471/603730347558208368569*c_0101_5^2 - 460615177246668042001526/603730347558208368569*c_0101_5 + 112053828599992932843714/603730347558208368569, c_0011_0 - 1, c_0011_3 + 34791790574680430997/603730347558208368569*c_0101_5^21 - 5039109134658889222951/603730347558208368569*c_0101_5^20 - 2103211549690686468241/26249145546009059503*c_0101_5^19 - 22232127294126072946560/603730347558208368569*c_0101_5^18 + 683159376843783027982085/603730347558208368569*c_0101_5^17 + 34442775652834595937167/26249145546009059503*c_0101_5^16 - 3403880916265246069201411/603730347558208368569*c_0101_5^15 - 5225083775229099967860502/603730347558208368569*c_0101_5^14 + 8794829949978194641283871/603730347558208368569*c_0101_5^13 + 15292647960384580968200084/603730347558208368569*c_0101_5^12 - 14741533207955904121710890/603730347558208368569*c_0101_5^11 - 21415679595864827558414154/603730347558208368569*c_0101_5^10 + 16432949702966307433829905/603730347558208368569*c_0101_5^9 + 596141997204665354245743/26249145546009059503*c_0101_5^8 - 453458235750782312168059/26249145546009059503*c_0101_5^7 - 3437032477645947019599577/603730347558208368569*c_0101_5^6 + 3245510177811382532802702/603730347558208368569*c_0101_5^5 + 112551847780926490864888/603730347558208368569*c_0101_5^4 - 446435159648460289052521/603730347558208368569*c_0101_5^3 + 58856966165958662022416/603730347558208368569*c_0101_5^2 + 28005806346545310189314/603730347558208368569*c_0101_5 - 6305023312828309484218/603730347558208368569, c_0011_4 - 1354595243266999702577/603730347558208368569*c_0101_5^21 - 8038573182146201041338/603730347558208368569*c_0101_5^20 + 1451818169781515240195/26249145546009059503*c_0101_5^19 + 184160858307996157272591/603730347558208368569*c_0101_5^18 - 352180797178408520101408/603730347558208368569*c_0101_5^17 - 61995024804895981464831/26249145546009059503*c_0101_5^16 + 1494200227541596354268053/603730347558208368569*c_0101_5^15 + 6104988493788317306640684/603730347558208368569*c_0101_5^14 - 3699770691768238404867718/603730347558208368569*c_0101_5^13 - 15319140105860631201036439/603730347558208368569*c_0101_5^12 + 7791719138219854557475454/603730347558208368569*c_0101_5^11 + 20510563605535444429786671/603730347558208368569*c_0101_5^10 - 11575313947609577312703221/603730347558208368569*c_0101_5^9 - 565016567464001540343694/26249145546009059503*c_0101_5^8 + 380493033429428917286569/26249145546009059503*c_0101_5^7 + 3229362446999050492667983/603730347558208368569*c_0101_5^6 - 2973867339759261167630681/603730347558208368569*c_0101_5^5 - 82098355453659941628886/603730347558208368569*c_0101_5^4 + 424483105005311745286609/603730347558208368569*c_0101_5^3 - 61868219811282912611839/603730347558208368569*c_0101_5^2 - 25252367819875078598209/603730347558208368569*c_0101_5 + 6899684253755291135642/603730347558208368569, c_0101_0 - 2394556713665595684929/603730347558208368569*c_0101_5^21 - 12957504650790826411713/603730347558208368569*c_0101_5^20 + 3087475656370796810759/26249145546009059503*c_0101_5^19 + 335817668011700349049608/603730347558208368569*c_0101_5^18 - 778518742001291620565240/603730347558208368569*c_0101_5^17 - 120919832569149979937710/26249145546009059503*c_0101_5^16 + 3314615513840075286979387/603730347558208368569*c_0101_5^15 + 12357290706433008167585580/603730347558208368569*c_0101_5^14 - 7826954513569412216187971/603730347558208368569*c_0101_5^13 - 31362979209474364308213344/603730347558208368569*c_0101_5^12 + 15052424764531450668999421/603730347558208368569*c_0101_5^11 + 42104638835492471170922237/603730347558208368569*c_0101_5^10 - 21252887969424452749691128/603730347558208368569*c_0101_5^9 - 1171134502351635897344968/26249145546009059503*c_0101_5^8 + 686003698766291078331912/26249145546009059503*c_0101_5^7 + 7027270020776970277072862/603730347558208368569*c_0101_5^6 - 5322236423775281208134765/603730347558208368569*c_0101_5^5 - 371450221737803864721430/603730347558208368569*c_0101_5^4 + 764424468906487489357214/603730347558208368569*c_0101_5^3 - 86962385347922095207797/603730347558208368569*c_0101_5^2 - 47866741560836264679798/603730347558208368569*c_0101_5 + 10284741633737158697910/603730347558208368569, c_0101_1 + 9359510117163784430276/603730347558208368569*c_0101_5^21 + 74010564606855174758604/603730347558208368569*c_0101_5^20 - 2879388044813254125761/26249145546009059503*c_0101_5^19 - 1237660567616790187421609/603730347558208368569*c_0101_5^18 + 36961111102767997712911/603730347558208368569*c_0101_5^17 + 327949114750987448169394/26249145546009059503*c_0101_5^16 + 2111211473257877573547853/603730347558208368569*c_0101_5^15 - 25875114896126172547465514/603730347558208368569*c_0101_5^14 - 8600994865577405310469042/603730347558208368569*c_0101_5^13 + 56444729919417816103810162/603730347558208368569*c_0101_5^12 + 7128471889891231753949890/603730347558208368569*c_0101_5^11 - 71594573310059296782257000/603730347558208368569*c_0101_5^10 + 9541740660741705070317911/603730347558208368569*c_0101_5^9 + 1983640405738297631210279/26249145546009059503*c_0101_5^8 - 652868962041838087333770/26249145546009059503*c_0101_5^7 - 12543207416889485831487667/603730347558208368569*c_0101_5^6 + 6246266687790980454032294/603730347558208368569*c_0101_5^5 + 1026465851963250209740612/603730347558208368569*c_0101_5^4 - 972251513681596149793276/603730347558208368569*c_0101_5^3 + 63179164156805348785788/603730347558208368569*c_0101_5^2 + 63437644921907593976637/603730347558208368569*c_0101_5 - 12061574869587447842354/603730347558208368569, c_0101_2 + 5659269158187604799309/603730347558208368569*c_0101_5^21 + 48881215327564868983405/603730347558208368569*c_0101_5^20 - 112380639918207383337/26249145546009059503*c_0101_5^19 - 734296620512222066036467/603730347558208368569*c_0101_5^18 - 509511685875884123291920/603730347558208368569*c_0101_5^17 + 172124648759999936205557/26249145546009059503*c_0101_5^16 + 3934885071380322205664656/603730347558208368569*c_0101_5^15 - 11598164684655319345720382/603730347558208368569*c_0101_5^14 - 12064094181663703734367277/603730347558208368569*c_0101_5^13 + 22169801691099807164138145/603730347558208368569*c_0101_5^12 + 15714925728347669999437364/603730347558208368569*c_0101_5^11 - 26338659410839737238873105/603730347558208368569*c_0101_5^10 - 6799331870615105644857393/603730347558208368569*c_0101_5^9 + 716102594135036718859170/26249145546009059503*c_0101_5^8 - 49718950254369831733580/26249145546009059503*c_0101_5^7 - 4628653576099175450187627/603730347558208368569*c_0101_5^6 + 1286575233499832223721844/603730347558208368569*c_0101_5^5 + 472253021584241735604580/603730347558208368569*c_0101_5^4 - 231229597385748986764178/603730347558208368569*c_0101_5^3 - 6877625236413421749596/603730347558208368569*c_0101_5^2 + 15056277961527503211989/603730347558208368569*c_0101_5 - 2217129283322177443453/603730347558208368569, c_0101_5^22 + 9*c_0101_5^21 + 2*c_0101_5^20 - 136*c_0101_5^19 - 139*c_0101_5^18 + 754*c_0101_5^17 + 1042*c_0101_5^16 - 2238*c_0101_5^15 - 3510*c_0101_5^14 + 4307*c_0101_5^13 + 6085*c_0101_5^12 - 5629*c_0101_5^11 - 5550*c_0101_5^10 + 4689*c_0101_5^9 + 2553*c_0101_5^8 - 2283*c_0101_5^7 - 484*c_0101_5^6 + 591*c_0101_5^5 - 4*c_0101_5^4 - 73*c_0101_5^3 + 11*c_0101_5^2 + 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB