Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 425231648] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0125 geometric_solution 3.63720978 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.852660204919 0.223900560879 0 0 1 1 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.958384364425 0.086909443076 3 0 0 3 0132 0132 1023 3201 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 1 0 -1 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.352294472979 0.239207294040 2 2 4 5 0132 2310 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 1 -1 0 -1 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.497009318627 0.636827492974 5 6 6 3 1302 0132 3201 0132 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 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.748119272189 0.252768982085 6 4 3 6 2310 2031 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 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.748119272189 0.252768982085 4 4 5 5 2310 0132 3201 1023 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 1 -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.800273026323 0.405354837376 ==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' : negation(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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(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_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2519848734140892914255441287711970837/48323348619566790464535821105\ 18871552*c_0101_6^25 - 324078186806548013206120032838495890149/1932\ 9339447826716185814328442075486208*c_0101_6^23 + 1094116641840000118030477481086299980351/19329339447826716185814328\ 442075486208*c_0101_6^21 - 1393353170530434788452133291412608971968\ 5/9664669723913358092907164221037743104*c_0101_6^19 - 327364788461398210870321438884682812232049/193293394478267161858143\ 28442075486208*c_0101_6^17 - 13246194376646889869316436018505292016\ 10993/19329339447826716185814328442075486208*c_0101_6^15 - 2858646417777338500845559120895313742855979/19329339447826716185814\ 328442075486208*c_0101_6^13 - 1679567428248632994044822644834483471\ 80587/878606338537578008446105838276158464*c_0101_6^11 - 972860276631059404203186682533055070003197/644311314927557206193810\ 9480691828736*c_0101_6^9 - 4512779448421091180384214502458361136687\ 85/6443113149275572061938109480691828736*c_0101_6^7 - 165825859518057901616037468285672058072327/966466972391335809290716\ 4221037743104*c_0101_6^5 - 26552292722686759144307608835128654935/1\ 2584205369678851683472870079476228*c_0101_6^3 - 74216970061119200953404793839803002091/6040418577445848808066977638\ 14858944*c_0101_6, c_0011_0 - 1, c_0011_4 - 84111794599273398632683007055733/366085974390657503519210765\ 94839936*c_0101_6^24 + 11094444765372342894878052309366437/14643438\ 9756263001407684306379359744*c_0101_6^22 - 45732694530506587567125472030027191/1464343897562630014076843063793\ 59744*c_0101_6^20 + 485292457598465976720627387728700001/7321719487\ 8131500703842153189679872*c_0101_6^18 + 10117030801865523465349766788577965809/1464343897562630014076843063\ 79359744*c_0101_6^16 + 36134326362760438936392472686335034009/14643\ 4389756263001407684306379359744*c_0101_6^14 + 68160901959406403564178175564363848707/1464343897562630014076843063\ 79359744*c_0101_6^12 + 37945278622719361131229336994686000365/73217\ 194878131500703842153189679872*c_0101_6^10 + 50471083544144990376248480593129130647/1464343897562630014076843063\ 79359744*c_0101_6^8 + 19233723867444086160747032555625941483/146434\ 389756263001407684306379359744*c_0101_6^6 + 1995994866653717592282415175632828187/73217194878131500703842153189\ 679872*c_0101_6^4 + 23261055348818777432411670756440883/45760746798\ 83218793990134574354992*c_0101_6^2 + 1195347120418772878976601828824843/45760746798832187939901345743549\ 92, c_0101_0 + 2120873214785856033856432216042015/7321719487813150070384215\ 3189679872*c_0101_6^25 - 273835293048008139126682501091948783/29286\ 8779512526002815368612758719488*c_0101_6^23 + 955561892427699984212311236490992565/292868779512526002815368612758\ 719488*c_0101_6^21 - 11790078063522244883593769087306228603/1464343\ 89756263001407684306379359744*c_0101_6^19 - 272550847301131958195201432115560806195/292868779512526002815368612\ 758719488*c_0101_6^17 - 1080932950559109305036832557989371044859/29\ 2868779512526002815368612758719488*c_0101_6^15 - 2275772257832564620927615273252332265849/29286877951252600281536861\ 2758719488*c_0101_6^13 - 1425628846945759178986993340139125872207/1\ 46434389756263001407684306379359744*c_0101_6^11 - 2164313145307191702427742167546089119397/29286877951252600281536861\ 2758719488*c_0101_6^9 - 959230872654443104450806700705081121041/292\ 868779512526002815368612758719488*c_0101_6^7 - 115755460213790942199222594025774201561/146434389756263001407684306\ 379359744*c_0101_6^5 - 137260866925227152309092067969042771/1144018\ 669970804698497533643588748*c_0101_6^3 - 59978398741175105401069757418529133/9152149359766437587980269148709\ 984*c_0101_6, c_0101_1 - 181636938596937585536901655865271/91521493597664375879802691\ 48709984*c_0101_6^24 + 23516656521634027248020424103276247/36608597\ 439065750351921076594839936*c_0101_6^22 - 83925371862199659017835941068935601/3660859743906575035192107659483\ 9936*c_0101_6^20 + 1013372309766154224695764942317647305/1830429871\ 9532875175960538297419968*c_0101_6^18 + 23162232497999828210905752599929144851/3660859743906575035192107659\ 4839936*c_0101_6^16 + 90494047265218375211484449474480810799/366085\ 97439065750351921076594839936*c_0101_6^14 + 186664804249962152496479378137525791437/366085974390657503519210765\ 94839936*c_0101_6^12 + 113479705723738189870664972198616980841/1830\ 4298719532875175960538297419968*c_0101_6^10 + 164014415500906568516193732188404733525/366085974390657503519210765\ 94839936*c_0101_6^8 + 66129241695100775785926134305248431581/366085\ 97439065750351921076594839936*c_0101_6^6 + 6392536214211248234228651982517368291/18304298719532875175960538297\ 419968*c_0101_6^4 + 171343411378347420556840967363469991/4576074679\ 883218793990134574354992*c_0101_6^2 + 49484149591904597002930125732306/286004667492701174624383410897187, c_0101_2 + 36690730737396575003951746949523/366085974390657503519210765\ 94839936*c_0101_6^24 - 4746161397842188961409263301927651/146434389\ 756263001407684306379359744*c_0101_6^22 + 16704439813958513094574834885052513/1464343897562630014076843063793\ 59744*c_0101_6^20 - 202537167281532589761811891686765031/7321719487\ 8131500703842153189679872*c_0101_6^18 - 4710580354316931656598593467184879351/14643438975626300140768430637\ 9359744*c_0101_6^16 - 18068439884295987934556906877437690063/146434\ 389756263001407684306379359744*c_0101_6^14 - 35278446633408100994041090235435540597/1464343897562630014076843063\ 79359744*c_0101_6^12 - 19487417287959857220107217572293876219/73217\ 194878131500703842153189679872*c_0101_6^10 - 24297427166057925968633127452316618177/1464343897562630014076843063\ 79359744*c_0101_6^8 - 7758830352299070726455999661538104909/1464343\ 89756263001407684306379359744*c_0101_6^6 - 481555838544302314911301536945319549/732171948781315007038421531896\ 79872*c_0101_6^4 + 2207862416284249196000916505586479/4576074679883\ 218793990134574354992*c_0101_6^2 - 2229729831548257808733935181302045/45760746798832187939901345743549\ 92, c_0101_3 - 290084917583553164104873811883865/36608597439065750351921076\ 594839936*c_0101_6^25 + 37698541627971469413984341312386921/1464343\ 89756263001407684306379359744*c_0101_6^23 - 138788606602224399044115257710759051/146434389756263001407684306379\ 359744*c_0101_6^21 + 1629718864487480022098740056710879217/73217194\ 878131500703842153189679872*c_0101_6^19 + 36569925556228475483481370015770742549/1464343897562630014076843063\ 79359744*c_0101_6^17 + 140582095194978448411555045925997224421/1464\ 34389756263001407684306379359744*c_0101_6^15 + 286043193713748588484307268163224510711/146434389756263001407684306\ 379359744*c_0101_6^13 + 172134871289687131646605331051728688741/732\ 17194878131500703842153189679872*c_0101_6^11 + 248140791639433098741956883724084811827/146434389756263001407684306\ 379359744*c_0101_6^9 + 102501953291600468054533539890902741807/1464\ 34389756263001407684306379359744*c_0101_6^7 + 11360784499943881964374366023849362411/7321719487813150070384215318\ 9679872*c_0101_6^5 + 236344240564483100269502647104766993/915214935\ 9766437587980269148709984*c_0101_6^3 + 3277811145108509756309893114087077/45760746798832187939901345743549\ 92*c_0101_6, c_0101_6^26 - 129/4*c_0101_6^24 + 447/4*c_0101_6^22 - 5555/2*c_0101_6^20 - 128805/4*c_0101_6^18 - 513761/4*c_0101_6^16 - 1091651/4*c_0101_6^14 - 694123/2*c_0101_6^12 - 1080979/4*c_0101_6^10 - 502131/4*c_0101_6^8 - 66449/2*c_0101_6^6 - 5722*c_0101_6^4 - 536*c_0101_6^2 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB