Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 509575886] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1423 geometric_solution 5.25717856 oriented_manifold CS_known 0.0000000000000001 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.553380298915 0.799863082975 3 4 4 0 0132 0132 3201 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 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.731205048018 0.607191987168 4 3 0 4 2310 3201 0132 1023 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 0 1 -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.731205048018 0.607191987168 1 5 2 5 0132 0132 2310 2310 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 0 0 0 0 0 0 0 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.000114316874 0.581605327320 1 1 2 2 2310 0132 3201 1023 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 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190556517909 0.672161109558 3 3 6 6 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450290891659 0.225457920513 5 6 5 6 2310 2310 0132 3201 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 0 0 0 0 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.371390414201 0.324143154787 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), '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' : negation(d['c_0101_1']), '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' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_4']), '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' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 7019168805150732203006393300818229539091278068010284/29939224272987\ 8006975239923310450775947366601515195*c_0101_6^20 - 14744819928176388198778501693449271102944219528623579/1197568970919\ 51202790095969324180310378946640606078*c_0101_6^19 + 187314055926732489328601026560064545463555592998113977/299392242729\ 878006975239923310450775947366601515195*c_0101_6^18 - 578961203034662880413856712991591606722293935764603779/598784485459\ 756013950479846620901551894733203030390*c_0101_6^17 + 244925789618863144975132576549073442023788284617000999/598784485459\ 756013950479846620901551894733203030390*c_0101_6^16 + 19886827126101750308446679355660358072302385233249591381/5987844854\ 59756013950479846620901551894733203030390*c_0101_6^15 - 4373959362745072031528017338505434748894073434336958969/59878448545\ 9756013950479846620901551894733203030390*c_0101_6^14 - 15762403218328200004524081751125993871376525633578660767/1197568970\ 91951202790095969324180310378946640606078*c_0101_6^13 - 8411459518123567464861663891517362406147471543694899959/59878448545\ 9756013950479846620901551894733203030390*c_0101_6^12 + 21946507597539089513410325752864646375805509810879904451/5987844854\ 5975601395047984662090155189473320303039*c_0101_6^11 + 77076107047785763530063220568774955901479040090559382853/2993922427\ 29878006975239923310450775947366601515195*c_0101_6^10 - 410815249013708913213643629865112298766249706541500970399/598784485\ 459756013950479846620901551894733203030390*c_0101_6^9 - 202831545483313504896387655260382649871553669983702907709/598784485\ 459756013950479846620901551894733203030390*c_0101_6^8 + 219333567916050562273588080732813379741443810034132806997/299392242\ 729878006975239923310450775947366601515195*c_0101_6^7 - 5616094686764347522348197001072925210266568135155616376/29939224272\ 9878006975239923310450775947366601515195*c_0101_6^6 - 101208713281953485272648842370974599137541590541886913321/299392242\ 729878006975239923310450775947366601515195*c_0101_6^5 + 47357288159390141341912263034872829044839632329413563766/2993922427\ 29878006975239923310450775947366601515195*c_0101_6^4 + 7421007344767410542240628292734373068620725434334278289/29939224272\ 9878006975239923310450775947366601515195*c_0101_6^3 - 23424470913915688022803216236960538364210220352232198499/5987844854\ 59756013950479846620901551894733203030390*c_0101_6^2 + 4285514400398503591013150653281771507398999670372686373/29939224272\ 9878006975239923310450775947366601515195*c_0101_6 - 2853451555505799663676326568700652272696170223608174383/59878448545\ 9756013950479846620901551894733203030390, c_0011_0 - 1, c_0011_1 + 27293093708417753282521254541659583963907708033/132768178594\ 180934357090875082239811950051707989*c_0101_6^20 + 157999534422122891119985731165038396842680935322/132768178594180934\ 357090875082239811950051707989*c_0101_6^19 - 640507769503219166003757588580424790634126629712/132768178594180934\ 357090875082239811950051707989*c_0101_6^18 + 799929613667718179193574512094304926933809083626/132768178594180934\ 357090875082239811950051707989*c_0101_6^17 - 106590657757089167181239372070249635683499390347/132768178594180934\ 357090875082239811950051707989*c_0101_6^16 - 38671767617773946287842490133949993908301899119402/1327681785941809\ 34357090875082239811950051707989*c_0101_6^15 - 12236061901966951981076061769307440928151386144783/1327681785941809\ 34357090875082239811950051707989*c_0101_6^14 + 142468452581420945674068540279191989326231219223969/132768178594180\ 934357090875082239811950051707989*c_0101_6^13 + 89454045879554355328705068584345121492739312676486/1327681785941809\ 34357090875082239811950051707989*c_0101_6^12 - 363644942732613066765778867599148255511677044545430/132768178594180\ 934357090875082239811950051707989*c_0101_6^11 - 477968081911491960004776536515284484372687040184358/132768178594180\ 934357090875082239811950051707989*c_0101_6^10 + 506705974275246655869304918787299338154866957477763/132768178594180\ 934357090875082239811950051707989*c_0101_6^9 + 596005929647566197578140792356906804873078051596850/132768178594180\ 934357090875082239811950051707989*c_0101_6^8 - 501618194125639442004017713950872473377485345741061/132768178594180\ 934357090875082239811950051707989*c_0101_6^7 - 156203714197533079429702067679880495176873848003830/132768178594180\ 934357090875082239811950051707989*c_0101_6^6 + 281248796054999125663511946031442576084744907664821/132768178594180\ 934357090875082239811950051707989*c_0101_6^5 - 73583232913518955522828284302121404608931074754441/1327681785941809\ 34357090875082239811950051707989*c_0101_6^4 - 40652884744493640934424849599317651970707363578213/1327681785941809\ 34357090875082239811950051707989*c_0101_6^3 + 24706737560497235307073456289262659255688997690641/1327681785941809\ 34357090875082239811950051707989*c_0101_6^2 - 10836867961559683331286261961851794984465563165367/1327681785941809\ 34357090875082239811950051707989*c_0101_6 + 1956597588506979153103623002879543374774219522872/13276817859418093\ 4357090875082239811950051707989, c_0011_6 + 39712881225936981397484912184974795044586075809/132768178594\ 180934357090875082239811950051707989*c_0101_6^20 + 228792471314050969843237745729111076706135450892/132768178594180934\ 357090875082239811950051707989*c_0101_6^19 - 938151077148847191253073920135926969829198004288/132768178594180934\ 357090875082239811950051707989*c_0101_6^18 + 1190540595877400394712044880470767430458133932306/13276817859418093\ 4357090875082239811950051707989*c_0101_6^17 - 195937954085402879831005366570360311403589388007/132768178594180934\ 357090875082239811950051707989*c_0101_6^16 - 56244026608048809266174939717343258870037056493336/1327681785941809\ 34357090875082239811950051707989*c_0101_6^15 - 16262338788355295643913195874067031826325455730159/1327681785941809\ 34357090875082239811950051707989*c_0101_6^14 + 207500257798017767026156263305081498886700432404631/132768178594180\ 934357090875082239811950051707989*c_0101_6^13 + 125129218988678437340391142142472674572219500917227/132768178594180\ 934357090875082239811950051707989*c_0101_6^12 - 531549861813228759942408855838588619809067066529919/132768178594180\ 934357090875082239811950051707989*c_0101_6^11 - 682758462902418763285407440560840149840002725241665/132768178594180\ 934357090875082239811950051707989*c_0101_6^10 + 752535943822307741705272646198131173983868325286937/132768178594180\ 934357090875082239811950051707989*c_0101_6^9 + 849838825901659530262905374955030698476791700199770/132768178594180\ 934357090875082239811950051707989*c_0101_6^8 - 741967390487231655847320103162420642039029254225210/132768178594180\ 934357090875082239811950051707989*c_0101_6^7 - 212053572350544236399212433421396353038763382983057/132768178594180\ 934357090875082239811950051707989*c_0101_6^6 + 405201133706771114726817689387631543966693009716117/132768178594180\ 934357090875082239811950051707989*c_0101_6^5 - 111635819794459051661051328810866343991079744680427/132768178594180\ 934357090875082239811950051707989*c_0101_6^4 - 55930458787401080354466280238769477120586016550607/1327681785941809\ 34357090875082239811950051707989*c_0101_6^3 + 35333231810383362267920449137248632157709767232519/1327681785941809\ 34357090875082239811950051707989*c_0101_6^2 - 15739242681017534195188038810861375866329562187502/1327681785941809\ 34357090875082239811950051707989*c_0101_6 + 2954198193637784128987754131264511827855718973242/13276817859418093\ 4357090875082239811950051707989, c_0101_0 - 9090468402466648590995598765811635654576061569/1327681785941\ 80934357090875082239811950051707989*c_0101_6^20 - 52223902653384232507863311066563417711117403437/1327681785941809343\ 57090875082239811950051707989*c_0101_6^19 + 215889118458146783236124680770731318278342797868/132768178594180934\ 357090875082239811950051707989*c_0101_6^18 - 274604171091149001130677101795803923024962894923/132768178594180934\ 357090875082239811950051707989*c_0101_6^17 + 40930117965036053280393045184216612539502867550/1327681785941809343\ 57090875082239811950051707989*c_0101_6^16 + 12888802053627993159582688168105232969728246660960/1327681785941809\ 34357090875082239811950051707989*c_0101_6^15 + 3501711828770977980640393220750663162288918282184/13276817859418093\ 4357090875082239811950051707989*c_0101_6^14 - 47962363499158671837341562972049108731880015076528/1327681785941809\ 34357090875082239811950051707989*c_0101_6^13 - 27620441127607205983106415275502435481205128675334/1327681785941809\ 34357090875082239811950051707989*c_0101_6^12 + 123714396506719197046977315755286915622351224279711/132768178594180\ 934357090875082239811950051707989*c_0101_6^11 + 154105609298285297772331789355908961462897305267169/132768178594180\ 934357090875082239811950051707989*c_0101_6^10 - 179240949598500104269978439664305168519615938620150/132768178594180\ 934357090875082239811950051707989*c_0101_6^9 - 193943118527890705399584979311075115595916966287700/132768178594180\ 934357090875082239811950051707989*c_0101_6^8 + 181964405535828728397107740463126110188320171163921/132768178594180\ 934357090875082239811950051707989*c_0101_6^7 + 48487595465397932193127262978168114549602255155449/1327681785941809\ 34357090875082239811950051707989*c_0101_6^6 - 100778895022760390158099806358024471410513344718048/132768178594180\ 934357090875082239811950051707989*c_0101_6^5 + 28721273301811631814359351327602470007846462775668/1327681785941809\ 34357090875082239811950051707989*c_0101_6^4 + 13566250100236711793312300978281890473404414642181/1327681785941809\ 34357090875082239811950051707989*c_0101_6^3 - 9881692593915716524843947115800748355140390966986/13276817859418093\ 4357090875082239811950051707989*c_0101_6^2 + 4114441276705522937663593499587477641575745940347/13276817859418093\ 4357090875082239811950051707989*c_0101_6 - 798344066180640195027946521887162021275490464318/132768178594180934\ 357090875082239811950051707989, c_0101_1 + 41649772642592632735464539258633209207417302385/132768178594\ 180934357090875082239811950051707989*c_0101_6^20 + 239886024775933774087150622629871790784173234940/132768178594180934\ 357090875082239811950051707989*c_0101_6^19 - 984285246133252043901532560916276993596733118002/132768178594180934\ 357090875082239811950051707989*c_0101_6^18 + 1249994898246143567727020753918015491581385526131/13276817859418093\ 4357090875082239811950051707989*c_0101_6^17 - 208158525068028625079252073508300711421927980477/132768178594180934\ 357090875082239811950051707989*c_0101_6^16 - 58983689483080864028910595641151727963577637449570/1327681785941809\ 34357090875082239811950051707989*c_0101_6^15 - 16967498269974287361023286561729610052712149828732/1327681785941809\ 34357090875082239811950051707989*c_0101_6^14 + 217652223922419247793367437554961083782454694683130/132768178594180\ 934357090875082239811950051707989*c_0101_6^13 + 131084767349417321141706279997438063898559960081894/132768178594180\ 934357090875082239811950051707989*c_0101_6^12 - 557652607132254019671227510354724617354766793632281/132768178594180\ 934357090875082239811950051707989*c_0101_6^11 - 715890377617525615945212884270630286382129445048926/132768178594180\ 934357090875082239811950051707989*c_0101_6^10 + 790028629469395460643159409425762967694044897562204/132768178594180\ 934357090875082239811950051707989*c_0101_6^9 + 891871502244170602259769918954290594709397277385932/132768178594180\ 934357090875082239811950051707989*c_0101_6^8 - 777393092701166107188669762615493589159748917322768/132768178594180\ 934357090875082239811950051707989*c_0101_6^7 - 223776869163330264711799226029059971222572270459965/132768178594180\ 934357090875082239811950051707989*c_0101_6^6 + 422783087556958214285578536399432434021847038990157/132768178594180\ 934357090875082239811950051707989*c_0101_6^5 - 115318453128992792111735561409116071912654657753232/132768178594180\ 934357090875082239811950051707989*c_0101_6^4 - 58097939018065563886554239400601322123605814169117/1327681785941809\ 34357090875082239811950051707989*c_0101_6^3 + 36473235778961375360031070426589372394883386123801/1327681785941809\ 34357090875082239811950051707989*c_0101_6^2 - 16258970973780007362632525392943085556588460606989/1327681785941809\ 34357090875082239811950051707989*c_0101_6 + 3026536197367700529231207035136317832722529459548/13276817859418093\ 4357090875082239811950051707989, c_0101_4 + 36250354485240343868772481534813846691879684611/132768178594\ 180934357090875082239811950051707989*c_0101_6^20 + 207627874084253884032324459986353654937510929717/132768178594180934\ 357090875082239811950051707989*c_0101_6^19 - 862477251479683413307276131150922121728519186738/132768178594180934\ 357090875082239811950051707989*c_0101_6^18 + 1119801357032425853730123188195248118844910151670/13276817859418093\ 4357090875082239811950051707989*c_0101_6^17 - 240100243523018971249427080767256407553006235814/132768178594180934\ 357090875082239811950051707989*c_0101_6^16 - 51286374666084988368721301367408493426898212690064/1327681785941809\ 34357090875082239811950051707989*c_0101_6^15 - 13165091264267041669808321824219104645393102411391/1327681785941809\ 34357090875082239811950051707989*c_0101_6^14 + 188685647389949502066175689563851852289677777552201/132768178594180\ 934357090875082239811950051707989*c_0101_6^13 + 108571388379535645307177515826596682967929465855695/132768178594180\ 934357090875082239811950051707989*c_0101_6^12 - 484908965740619588518746013002316896280183513686929/132768178594180\ 934357090875082239811950051707989*c_0101_6^11 - 607881059720795394711726363708009803157345391575718/132768178594180\ 934357090875082239811950051707989*c_0101_6^10 + 696290144423601648706819631062384261619207322312851/132768178594180\ 934357090875082239811950051707989*c_0101_6^9 + 747737377660986265791193235515802945818208327111604/132768178594180\ 934357090875082239811950051707989*c_0101_6^8 - 680666713374807672144676042388818154805938507423091/132768178594180\ 934357090875082239811950051707989*c_0101_6^7 - 171218164634450508735886123767816001798482326175177/132768178594180\ 934357090875082239811950051707989*c_0101_6^6 + 356757112751280985167134448941092992848082838578719/132768178594180\ 934357090875082239811950051707989*c_0101_6^5 - 102824492493770698145399718639190057646892699428955/132768178594180\ 934357090875082239811950051707989*c_0101_6^4 - 45824522764293930189126824902854134139528705553045/1327681785941809\ 34357090875082239811950051707989*c_0101_6^3 + 29798860666722922378510240929241799325578179222672/1327681785941809\ 34357090875082239811950051707989*c_0101_6^2 - 13319818009859759883990259528652789771244119390502/1327681785941809\ 34357090875082239811950051707989*c_0101_6 + 2535679110660221528440857927886405206153079677354/13276817859418093\ 4357090875082239811950051707989, c_0101_6^21 + 5*c_0101_6^20 - 28*c_0101_6^19 + 48*c_0101_6^18 - 28*c_0101_6^17 - 1412*c_0101_6^16 + 668*c_0101_6^15 + 5525*c_0101_6^14 - 817*c_0101_6^13 - 15745*c_0101_6^12 - 7022*c_0101_6^11 + 31928*c_0101_6^10 + 6953*c_0101_6^9 - 34748*c_0101_6^8 + 8824*c_0101_6^7 + 14084*c_0101_6^6 - 10409*c_0101_6^5 + 719*c_0101_6^4 + 1908*c_0101_6^3 - 1042*c_0101_6^2 + 366*c_0101_6 - 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB