Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 3903419429] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0361 geometric_solution 4.40173068 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835506828929 0.800578392118 3 2 2 0 0132 3012 1230 0132 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 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 1.135558697460 0.747589403619 1 3 0 1 1230 3201 0132 3012 0 0 0 0 0 -1 0 1 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 -1 1 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 1.135558697460 0.747589403619 1 4 2 4 0132 0132 2310 1023 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 -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 1.163692950778 0.437946966141 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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.883804000707 0.215622848780 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 -1 1 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.881726582157 0.100259897737 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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.894152783058 0.065805983781 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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_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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 25924281043069451867673300/1243410815413267898169377*c_0101_6^17 - 22353395686642647459256280/113037346855751627106307*c_0101_6^16 - 967642734209359791539921160/1243410815413267898169377*c_0101_6^15 + 128063016182633310007738279/113037346855751627106307*c_0101_6^14 + 5993417102028816508661163228/1243410815413267898169377*c_0101_6^13 + 16477436960706980337069375464/1243410815413267898169377*c_0101_6^12 - 13128589284897675818981082021/1243410815413267898169377*c_0101_6^\ 11 - 34118418692715501585015805712/1243410815413267898169377*c_0101\ _6^10 - 22200983367796757951793483065/1243410815413267898169377*c_0\ 101_6^9 - 24825364007171662978085673955/1243410815413267898169377*c\ _0101_6^8 - 12494669707921726122867456426/1243410815413267898169377\ *c_0101_6^7 - 4620606408057949485335795127/124341081541326789816937\ 7*c_0101_6^6 - 4717573818007961960821843275/12434108154132678981693\ 77*c_0101_6^5 - 432209118087685366806154369/12434108154132678981693\ 77*c_0101_6^4 - 701380486223494950532767088/12434108154132678981693\ 77*c_0101_6^3 - 227817265224680299837893139/12434108154132678981693\ 77*c_0101_6^2 + 51755041087595927861299743/124341081541326789816937\ 7*c_0101_6 - 11930718842634546299095141/1243410815413267898169377, c_0011_0 - 1, c_0011_1 - 48387866472381773013932/565186734278758135531535*c_0101_6^17 + 96223487829363488098271/113037346855751627106307*c_0101_6^16 + 1611727804012686142013809/565186734278758135531535*c_0101_6^15 - 155337137584286422141426/24573336272989484153545*c_0101_6^14 - 10922296428184703142746467/565186734278758135531535*c_0101_6^13 - 25841082059714144171640927/565186734278758135531535*c_0101_6^12 + 8961459168113167016178613/113037346855751627106307*c_0101_6^11 + 13801576360454716406764126/113037346855751627106307*c_0101_6^10 + 22063936089320964380709868/565186734278758135531535*c_0101_6^9 - 22512805251271094113614439/565186734278758135531535*c_0101_6^8 - 39895056289338415565632171/565186734278758135531535*c_0101_6^7 - 28712804916843580532089243/565186734278758135531535*c_0101_6^6 - 24092531682507561963683372/565186734278758135531535*c_0101_6^5 - 10758306233484738347634976/565186734278758135531535*c_0101_6^4 - 5084528645557030569507526/565186734278758135531535*c_0101_6^3 - 2427469023879533859752607/565186734278758135531535*c_0101_6^2 - 361307294419286301136467/565186734278758135531535*c_0101_6 - 422802568641093685150863/565186734278758135531535, c_0101_0 + 9348331505388870474001/565186734278758135531535*c_0101_6^17 - 33089422478661724666794/113037346855751627106307*c_0101_6^16 + 401898765709913898446363/565186734278758135531535*c_0101_6^15 + 3156012240740820857941649/565186734278758135531535*c_0101_6^14 - 2816419217556800842528889/565186734278758135531535*c_0101_6^13 - 10478827687823287400124564/565186734278758135531535*c_0101_6^12 - 9736345595193896170549903/113037346855751627106307*c_0101_6^11 + 8018087935283396462489813/113037346855751627106307*c_0101_6^10 + 80294921798557968193655766/565186734278758135531535*c_0101_6^9 + 32774002172439004246538597/565186734278758135531535*c_0101_6^8 + 56037067500527187753611168/565186734278758135531535*c_0101_6^7 + 11761466531894324218342599/565186734278758135531535*c_0101_6^6 - 11082337104627285611479264/565186734278758135531535*c_0101_6^5 + 2712132948275288430658748/565186734278758135531535*c_0101_6^4 - 6957761236047132178045632/565186734278758135531535*c_0101_6^3 - 1359933257998648907519804/565186734278758135531535*c_0101_6^2 + 332975322166972509771176/565186734278758135531535*c_0101_6 - 991060298566484700887626/565186734278758135531535, c_0101_1 + 169745358767549855847728/565186734278758135531535*c_0101_6^1\ 7 - 310376607332774843686034/113037346855751627106307*c_0101_6^16 - 6863194566896171041012491/565186734278758135531535*c_0101_6^15 + 6821709713290241507050567/565186734278758135531535*c_0101_6^14 + 41558561169449053379255833/565186734278758135531535*c_0101_6^13 + 122821648087502194049564798/565186734278758135531535*c_0101_6^12 - 8751966221604104389787640/113037346855751627106307*c_0101_6^11 - 47754077246487505733812817/113037346855751627106307*c_0101_6^10 - 237560714716863637751158537/565186734278758135531535*c_0101_6^9 - 241090905825555029717945914/565186734278758135531535*c_0101_6^8 - 152046021104584380716526251/565186734278758135531535*c_0101_6^7 - 73411907762623895560998178/565186734278758135531535*c_0101_6^6 - 48771872808132340637470067/565186734278758135531535*c_0101_6^5 - 15477207255409386806051496/565186734278758135531535*c_0101_6^4 - 10229831855801945737150016/565186734278758135531535*c_0101_6^3 - 5777470886885650979260087/565186734278758135531535*c_0101_6^2 - 199142571034979150994262/565186734278758135531535*c_0101_6 - 667042760701247219569188/565186734278758135531535, c_0101_4 + 109302098444649254632778/565186734278758135531535*c_0101_6^1\ 7 - 194658221168745698002862/113037346855751627106307*c_0101_6^16 - 4721405723390107146176091/565186734278758135531535*c_0101_6^15 + 172351936307346504470794/24573336272989484153545*c_0101_6^14 + 30092903588385998560830013/565186734278758135531535*c_0101_6^13 + 81610723163377489866351728/565186734278758135531535*c_0101_6^12 - 4702084957901201817112660/113037346855751627106307*c_0101_6^11 - 39914384858678624672095809/113037346855751627106307*c_0101_6^10 - 150100473417568945821171892/565186734278758135531535*c_0101_6^9 - 115152492304698997973406844/565186734278758135531535*c_0101_6^8 - 83971539499059755593758996/565186734278758135531535*c_0101_6^7 - 24474178795734359591288033/565186734278758135531535*c_0101_6^6 - 23308954018309094095217162/565186734278758135531535*c_0101_6^5 - 6193448762504237994689016/565186734278758135531535*c_0101_6^4 - 1175700289944738170110721/565186734278758135531535*c_0101_6^3 - 1848048974761187716627582/565186734278758135531535*c_0101_6^2 + 1097305058629598445270658/565186734278758135531535*c_0101_6 - 27905263703801174621493/565186734278758135531535, c_0101_5 + 192264036983755119301592/565186734278758135531535*c_0101_6^1\ 7 - 339246200772152743838755/113037346855751627106307*c_0101_6^16 - 8435081666907653221856234/565186734278758135531535*c_0101_6^15 + 6188194067796743396837483/565186734278758135531535*c_0101_6^14 + 53123108327423627418502612/565186734278758135531535*c_0101_6^13 + 148470446405393529284079327/565186734278758135531535*c_0101_6^12 - 5445390938494253212923718/113037346855751627106307*c_0101_6^11 - 69478320689272321128934968/113037346855751627106307*c_0101_6^10 - 298503056793619177534045848/565186734278758135531535*c_0101_6^9 - 236555170811372175766807286/565186734278758135531535*c_0101_6^8 - 179018779165387584942124599/565186734278758135531535*c_0101_6^7 - 63183222697560891618236652/565186734278758135531535*c_0101_6^6 - 45205001599246212759448083/565186734278758135531535*c_0101_6^5 - 15652736329567585104641814/565186734278758135531535*c_0101_6^4 - 141735100960454976557103/24573336272989484153545*c_0101_6^3 - 4846291836203941421187078/565186734278758135531535*c_0101_6^2 + 436120617657232056487192/565186734278758135531535*c_0101_6 - 123066719347520550959232/565186734278758135531535, c_0101_6^18 - 9*c_0101_6^17 - 42*c_0101_6^16 + 37*c_0101_6^15 + 260*c_0101_6^14 + 742*c_0101_6^13 - 214*c_0101_6^12 - 1600*c_0101_6^11 - 1429*c_0101_6^10 - 1287*c_0101_6^9 - 940*c_0101_6^8 - 383*c_0101_6^7 - 275*c_0101_6^6 - 121*c_0101_6^5 - 34*c_0101_6^4 - 31*c_0101_6^3 - 3*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB