Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 2033771928] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1895 geometric_solution 5.50975661 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 1 -1 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 1.823719727813 0.516726825953 0 2 3 0 0132 0132 0132 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 -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.549482242128 0.794846484877 4 1 5 3 0132 0132 0132 3201 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 -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.130584249964 1.095217032402 5 2 4 1 0132 2310 2310 0132 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 -1 0 1 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.130584249964 1.095217032402 2 3 6 6 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.180784499263 0.427810678159 3 5 5 2 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371493165473 0.751974275205 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 -1 0 1 -1 0 0 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 0 0 0 0 0 0 0 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.222955035425 0.810869378022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 566620328916041817624156562123884566145/110265678084579187733400887\ 614053674*c_0101_4^23 - 1171195479772075154839365945611680127508/55\ 132839042289593866700443807026837*c_0101_4^22 - 3742497139668125100881540526703849931981/11026567808457918773340088\ 7614053674*c_0101_4^21 - 2581852702351650132474754323201902441365/1\ 10265678084579187733400887614053674*c_0101_4^20 + 1822793685664777041740558382923251671913/11026567808457918773340088\ 7614053674*c_0101_4^19 + 8217634572848535458862582874314811892647/1\ 10265678084579187733400887614053674*c_0101_4^18 + 13155397281979598523543248876304101714873/1102656780845791877334008\ 87614053674*c_0101_4^17 + 13761148679647379568097696630043590113635\ /110265678084579187733400887614053674*c_0101_4^16 + 8205848014888971652791159552682911460067/11026567808457918773340088\ 7614053674*c_0101_4^15 - 4959723334974898294823902635973006015/5458\ 69693488015780858420235713137*c_0101_4^14 - 4041542485906024318068450600449159372990/55132839042289593866700443\ 807026837*c_0101_4^13 - 10015623449827184691078719520942637061195/1\ 10265678084579187733400887614053674*c_0101_4^12 - 3961249818394516986463892068626379092051/55132839042289593866700443\ 807026837*c_0101_4^11 - 5216778937495835950100311171229442871031/11\ 0265678084579187733400887614053674*c_0101_4^10 - 3359951508842006802917345741777380250679/11026567808457918773340088\ 7614053674*c_0101_4^9 - 2074908124348402346110238996671567347571/11\ 0265678084579187733400887614053674*c_0101_4^8 - 923075245941337553041361285984043652947/110265678084579187733400887\ 614053674*c_0101_4^7 - 77957453749950493149344411779602791578/55132\ 839042289593866700443807026837*c_0101_4^6 - 31427020719881683698566339200502963555/1102656780845791877334008876\ 14053674*c_0101_4^5 - 8978518569861804906891388706510599599/1102656\ 78084579187733400887614053674*c_0101_4^4 + 30713937861227584024136748538893960721/1102656780845791877334008876\ 14053674*c_0101_4^3 + 13154403809430597477278132517195816068/551328\ 39042289593866700443807026837*c_0101_4^2 + 4513558579387031121438499616279746378/55132839042289593866700443807\ 026837*c_0101_4 - 1785494036423947178268904439453461399/55132839042\ 289593866700443807026837, c_0011_0 - 1, c_0011_3 + 3376278818242857505931223831387733555/1901132380768606685058\ 635993345753*c_0101_4^23 + 26637493945773756236726369515893311853/3\ 802264761537213370117271986691506*c_0101_4^22 + 19987144703516276021246792408916569080/1901132380768606685058635993\ 345753*c_0101_4^21 + 12164469643831326938296792364345675250/1901132\ 380768606685058635993345753*c_0101_4^20 - 25485861324369702751350965944011507633/3802264761537213370117271986\ 691506*c_0101_4^19 - 46696167455002227050185129841056601519/1901132\ 380768606685058635993345753*c_0101_4^18 - 70597850666037739500363406670887537027/1901132380768606685058635993\ 345753*c_0101_4^17 - 70411632723074755675828177436880961332/1901132\ 380768606685058635993345753*c_0101_4^16 - 37314136520477896747607452889126034645/1901132380768606685058635993\ 345753*c_0101_4^15 + 118786402662587413746322766862511101/188230928\ 78897095891669663300453*c_0101_4^14 + 92945232942968172344049617029425547197/3802264761537213370117271986\ 691506*c_0101_4^13 + 104952371129607236530916301422228645305/380226\ 4761537213370117271986691506*c_0101_4^12 + 77844591227243203556257779730707061693/3802264761537213370117271986\ 691506*c_0101_4^11 + 24690598986729647653556459556656625780/1901132\ 380768606685058635993345753*c_0101_4^10 + 15659552533493883874301459283236993408/1901132380768606685058635993\ 345753*c_0101_4^9 + 18995689073612207408056381496335465327/38022647\ 61537213370117271986691506*c_0101_4^8 + 3650477812200668728705533991326968543/19011323807686066850586359933\ 45753*c_0101_4^7 + 147318842871431605982856019097326732/19011323807\ 68606685058635993345753*c_0101_4^6 - 43274594900723492723669292175224063/3802264761537213370117271986691\ 506*c_0101_4^5 - 23289939727949694534922335065519756/19011323807686\ 06685058635993345753*c_0101_4^4 - 382240173358029898590105821526923\ 075/3802264761537213370117271986691506*c_0101_4^3 - 142928337919152946091066043790069692/190113238076860668505863599334\ 5753*c_0101_4^2 - 61621675983573585386448534920393373/3802264761537\ 213370117271986691506*c_0101_4 + 5304295288752746294423154772381999\ 3/3802264761537213370117271986691506, c_0011_6 - 898621412594422839050417176395/696332178514028297855085817*c\ _0101_4^23 - 3550064891933543944668167028881/6963321785140282978550\ 85817*c_0101_4^22 - 5330060332935909945728897370838/696332178514028\ 297855085817*c_0101_4^21 - 3235842064578403657802519040687/69633217\ 8514028297855085817*c_0101_4^20 + 3414375344245712843101090793877/6\ 96332178514028297855085817*c_0101_4^19 + 12471364994214263552960683531388/696332178514028297855085817*c_0101\ _4^18 + 18823153681085617389228415679464/69633217851402829785508581\ 7*c_0101_4^17 + 18734239225625911472750927782826/696332178514028297\ 855085817*c_0101_4^16 + 9878501944853555774233810602937/69633217851\ 4028297855085817*c_0101_4^15 - 32545919189092322336149647893/689437\ 8005089389087674117*c_0101_4^14 - 12445204326089022165184015353544/\ 696332178514028297855085817*c_0101_4^13 - 13990495353203773220231101338443/696332178514028297855085817*c_0101\ _4^12 - 10317156757469322587429252608804/69633217851402829785508581\ 7*c_0101_4^11 - 6508013960306105571292656394450/6963321785140282978\ 55085817*c_0101_4^10 - 4126869208904242835758527207417/696332178514\ 028297855085817*c_0101_4^9 - 2512684208949163284072000792627/696332\ 178514028297855085817*c_0101_4^8 - 969190133542436420365593268255/696332178514028297855085817*c_0101_4\ ^7 - 31314806599945775586300995304/696332178514028297855085817*c_01\ 01_4^6 + 9815067443457434201432454553/696332178514028297855085817*c\ _0101_4^5 + 6560992147574943189761683495/69633217851402829785508581\ 7*c_0101_4^4 + 49453256587350977406412480313/6963321785140282978550\ 85817*c_0101_4^3 + 37748618436068728995770895602/696332178514028297\ 855085817*c_0101_4^2 + 8960663690837480404589505305/696332178514028\ 297855085817*c_0101_4 - 7402474925335452097012203230/69633217851402\ 8297855085817, c_0101_0 - 32546818786380221594439040858285/584909817791775123852763127\ 51*c_0101_4^23 - 252491676231779168934928097015441/1169819635583550\ 24770552625502*c_0101_4^22 - 362635385130687609515425704211529/1169\ 81963558355024770552625502*c_0101_4^21 - 189353112269666242924135281459465/116981963558355024770552625502*c_\ 0101_4^20 + 286568365160217269865636887915403/116981963558355024770\ 552625502*c_0101_4^19 + 897385692265154012411478618552263/116981963\ 558355024770552625502*c_0101_4^18 + 640838096972785331831733813860351/58490981779177512385276312751*c_0\ 101_4^17 + 1204868527283889130631451537791357/116981963558355024770\ 552625502*c_0101_4^16 + 269097788596595700931563154177231/584909817\ 79177512385276312751*c_0101_4^15 - 3666549736124330981797050435951/1158237262954010146243095302*c_0101\ _4^14 - 928255411595033433552095172423193/1169819635583550247705526\ 25502*c_0101_4^13 - 941969228896472612431500434408109/1169819635583\ 55024770552625502*c_0101_4^12 - 631946211703732739424734934287963/1\ 16981963558355024770552625502*c_0101_4^11 - 365305065796102485253433962422689/116981963558355024770552625502*c_\ 0101_4^10 - 218997124632433418857323912381623/116981963558355024770\ 552625502*c_0101_4^9 - 123996911720495870187125289411377/1169819635\ 58355024770552625502*c_0101_4^8 - 30830983456280906005226702630979/\ 116981963558355024770552625502*c_0101_4^7 + 9456083558861581349909792314383/58490981779177512385276312751*c_010\ 1_4^6 + 3857738107072508089185784097696/584909817791775123852763127\ 51*c_0101_4^5 + 3069436061579352382147388507873/1169819635583550247\ 70552625502*c_0101_4^4 + 5125638001575792799716121141217/1169819635\ 58355024770552625502*c_0101_4^3 + 2826554469733588562892026629723/1\ 16981963558355024770552625502*c_0101_4^2 + 282799801893649950222533295155/116981963558355024770552625502*c_010\ 1_4 - 657590758023125014115416670457/116981963558355024770552625502\ , c_0101_1 - 137794273686746032642355103806425/11698196355835502477055262\ 5502*c_0101_4^23 - 543707918158633897080486108412025/11698196355835\ 5024770552625502*c_0101_4^22 - 407415253635609076888329294806714/58\ 490981779177512385276312751*c_0101_4^21 - 246006950647477851514508503357841/58490981779177512385276312751*c_0\ 101_4^20 + 263207453505536572357809204162767/5849098177917751238527\ 6312751*c_0101_4^19 + 954447809660137412444077355604866/58490981779\ 177512385276312751*c_0101_4^18 + 2876078361502999715597251196870347\ /116981963558355024770552625502*c_0101_4^17 + 1428992412601345946981195749361325/58490981779177512385276312751*c_\ 0101_4^16 + 1501450120396360726462798215114555/11698196355835502477\ 0552625502*c_0101_4^15 - 5036055010671277514048485485339/1158237262\ 954010146243095302*c_0101_4^14 - 1902962521313696425980864006559925\ /116981963558355024770552625502*c_0101_4^13 - 1066276459792900711893635963884844/58490981779177512385276312751*c_\ 0101_4^12 - 1572150246363007667265390171345887/11698196355835502477\ 0552625502*c_0101_4^11 - 496919304600101546601829599264486/58490981\ 779177512385276312751*c_0101_4^10 - 316157552423111565063004493463853/58490981779177512385276312751*c_0\ 101_4^9 - 192523700916831740700090081998206/58490981779177512385276\ 312751*c_0101_4^8 - 73480729395924632833397583965672/58490981779177\ 512385276312751*c_0101_4^7 - 1720246047675876087985774354792/584909\ 81779177512385276312751*c_0101_4^6 + 2739633969329042686490056304157/116981963558355024770552625502*c_01\ 01_4^5 + 884413108890224992358306842609/584909817791775123852763127\ 51*c_0101_4^4 + 4137451091807540795817217042919/5849098177917751238\ 5276312751*c_0101_4^3 + 6036715241002268371636341552837/11698196355\ 8355024770552625502*c_0101_4^2 + 1351197053482209688503051182529/11\ 6981963558355024770552625502*c_0101_4 - 1025029978854524339141482398513/116981963558355024770552625502, c_0101_2 - 685465914867039566820969009730/696332178514028297855085817*c\ _0101_4^23 - 2705662109290351498203548908419/6963321785140282978550\ 85817*c_0101_4^22 - 4075165331585670722428928639062/696332178514028\ 297855085817*c_0101_4^21 - 2514866600576840280483019637322/69633217\ 8514028297855085817*c_0101_4^20 + 2546011610999415023698737828512/6\ 96332178514028297855085817*c_0101_4^19 + 9488859936436743445246429366399/696332178514028297855085817*c_0101_\ 4^18 + 14415115328883897369274594750654/696332178514028297855085817\ *c_0101_4^17 + 14442967540355602399080016831272/6963321785140282978\ 55085817*c_0101_4^16 + 7733079841504829206364679378243/696332178514\ 028297855085817*c_0101_4^15 - 23108106203342795696509822881/6894378\ 005089389087674117*c_0101_4^14 - 9447527050764597871095348092577/69\ 6332178514028297855085817*c_0101_4^13 - 10762982649691188855359707419365/696332178514028297855085817*c_0101\ _4^12 - 8023905110022603696973600493931/696332178514028297855085817\ *c_0101_4^11 - 5094370599170526216727353284888/69633217851402829785\ 5085817*c_0101_4^10 - 3220913937018050294388353515954/6963321785140\ 28297855085817*c_0101_4^9 - 1958431533921194315548197340064/6963321\ 78514028297855085817*c_0101_4^8 - 765739693005789828102134453964/69\ 6332178514028297855085817*c_0101_4^7 - 41279491208804748204747629553/696332178514028297855085817*c_0101_4^\ 6 + 8508964730388579902496676073/696332178514028297855085817*c_0101\ _4^5 + 10688212002330394899398041759/696332178514028297855085817*c_\ 0101_4^4 + 39354222285790985854851550928/69633217851402829785508581\ 7*c_0101_4^3 + 30061766624653616947610940612/6963321785140282978550\ 85817*c_0101_4^2 + 7604918990643955631615395360/6963321785140282978\ 55085817*c_0101_4 - 5183692270603638913968295563/696332178514028297\ 855085817, c_0101_4^24 + 739/155*c_0101_4^23 + 1421/155*c_0101_4^22 + 1314/155*c_0101_4^21 - 126/155*c_0101_4^20 - 2627/155*c_0101_4^19 - 5007/155*c_0101_4^18 - 1180/31*c_0101_4^17 - 141/5*c_0101_4^16 - 171/31*c_0101_4^15 + 2591/155*c_0101_4^14 + 4167/155*c_0101_4^13 + 3768/155*c_0101_4^12 + 2601/155*c_0101_4^11 + 330/31*c_0101_4^10 + 1028/155*c_0101_4^9 + 17/5*c_0101_4^8 + 144/155*c_0101_4^7 + 3/155*c_0101_4^6 - 3/155*c_0101_4^5 - 2/31*c_0101_4^4 - 14/155*c_0101_4^3 - 7/155*c_0101_4^2 + 1/155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB