Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 442205996] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2606 geometric_solution 5.88996702 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.725933342759 0.481281855495 0 2 3 0 0132 0132 0132 3201 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 1 0 -1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715530985326 0.709544054044 4 1 5 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048621087271 0.901646472869 5 6 4 1 1023 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.048621087271 0.901646472869 2 3 4 4 0132 3201 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104599679597 0.665941596357 5 3 5 2 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552087670408 1.459518905049 6 6 2 3 1302 2031 0132 3201 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 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.339556825887 0.372035396894 ==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_3']), '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' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_6']), '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' : 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_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_6']), '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' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), '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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1050725123682130665724342308378851920/46367101809567392902527181769\ 501923*c_0110_6^23 + 18330363779673304783603848551905699543/4636710\ 1809567392902527181769501923*c_0110_6^22 + 47836931094742634673471781637045877301/4636710180956739290252718176\ 9501923*c_0110_6^21 - 73066648960864264178140350460045060041/463671\ 01809567392902527181769501923*c_0110_6^20 - 339903132416515107094945393012041308304/463671018095673929025271817\ 69501923*c_0110_6^19 - 72581231365166672866146698878583298517/46367\ 101809567392902527181769501923*c_0110_6^18 + 740425166388882819897806270810128637948/463671018095673929025271817\ 69501923*c_0110_6^17 + 696956867655971798770780574251638002599/4636\ 7101809567392902527181769501923*c_0110_6^16 - 448373042603520294455045976046478139154/463671018095673929025271817\ 69501923*c_0110_6^15 - 1134883885484072381123984679078067583885/463\ 67101809567392902527181769501923*c_0110_6^14 - 380858114056464271183735384024525442544/463671018095673929025271817\ 69501923*c_0110_6^13 + 39353044921311683396189475376470210587/24403\ 73779450915415922483251026417*c_0110_6^12 + 681309551144039396238259562699141670179/463671018095673929025271817\ 69501923*c_0110_6^11 - 169761003842402550973503896494005447957/4636\ 7101809567392902527181769501923*c_0110_6^10 - 22864855002503549824073050529672500636/2440373779450915415922483251\ 026417*c_0110_6^9 - 110954233965948326172480086070769414038/4636710\ 1809567392902527181769501923*c_0110_6^8 + 45368611188712984530441925482680678747/4636710180956739290252718176\ 9501923*c_0110_6^7 + 14921686291679210322857868385157383941/4636710\ 1809567392902527181769501923*c_0110_6^6 + 7321731519759459062889226298902055503/46367101809567392902527181769\ 501923*c_0110_6^5 + 20052139590800032271831605293795550535/46367101\ 809567392902527181769501923*c_0110_6^4 + 4526020137762130688554017609851239565/46367101809567392902527181769\ 501923*c_0110_6^3 - 10992361358759060844729968830514519179/46367101\ 809567392902527181769501923*c_0110_6^2 + 465981116484808006335546676887826413/463671018095673929025271817695\ 01923*c_0110_6 + 965132659766595272519809676463566386/4636710180956\ 7392902527181769501923, c_0011_0 - 1, c_0011_3 + 19217234125506968621451382882788515/244037377945091541592248\ 3251026417*c_0110_6^23 + 376044969950107986737792000686700321/24403\ 73779450915415922483251026417*c_0110_6^22 + 1651895542706994121024275355631274433/24403737794509154159224832510\ 26417*c_0110_6^21 + 1768872314842865734505889033894728763/244037377\ 9450915415922483251026417*c_0110_6^20 - 4016947210280004481753714313837729272/24403737794509154159224832510\ 26417*c_0110_6^19 - 10775214278244244625507354710702252561/24403737\ 79450915415922483251026417*c_0110_6^18 - 4361000527586690700865912473635960618/24403737794509154159224832510\ 26417*c_0110_6^17 + 11878918364885035063412683793433319781/24403737\ 79450915415922483251026417*c_0110_6^16 + 16253567470403492268707493675900131527/2440373779450915415922483251\ 026417*c_0110_6^15 + 1787354009466732295070287815749694179/24403737\ 79450915415922483251026417*c_0110_6^14 - 12334942922422677618958429613709185188/2440373779450915415922483251\ 026417*c_0110_6^13 - 8510685750245988545124818818757521584/24403737\ 79450915415922483251026417*c_0110_6^12 + 4110122896294543785158599636449469207/24403737794509154159224832510\ 26417*c_0110_6^11 + 7461968975863139803287395946350614288/244037377\ 9450915415922483251026417*c_0110_6^10 + 2347078624137658208493869539845008520/24403737794509154159224832510\ 26417*c_0110_6^9 - 577703358872596712671120973366575042/24403737794\ 50915415922483251026417*c_0110_6^8 - 146683608472726077119647612596461680/244037377945091541592248325102\ 6417*c_0110_6^7 + 45577787011296451524771551569331589/2440373779450\ 915415922483251026417*c_0110_6^6 - 248035170557360358066779243307937365/244037377945091541592248325102\ 6417*c_0110_6^5 - 137677104429937937124603960156564722/244037377945\ 0915415922483251026417*c_0110_6^4 + 89800469969933669400551270828850756/2440373779450915415922483251026\ 417*c_0110_6^3 + 35633411630849934303545494926325748/24403737794509\ 15415922483251026417*c_0110_6^2 - 193407412918789359193575247473975\ 04/2440373779450915415922483251026417*c_0110_6 + 406939464957863219085288528377006/244037377945091541592248325102641\ 7, c_0011_6 + 8996460591574735358854928899127380/2440373779450915415922483\ 251026417*c_0110_6^23 + 181373847387894403159269750344357007/244037\ 3779450915415922483251026417*c_0110_6^22 + 874041158347517811393510166581022301/244037377945091541592248325102\ 6417*c_0110_6^21 + 1218813592158238608790987620773321377/2440373779\ 450915415922483251026417*c_0110_6^20 - 1646787888459250457499665859383766309/24403737794509154159224832510\ 26417*c_0110_6^19 - 6292495746318088527645588521586598427/244037377\ 9450915415922483251026417*c_0110_6^18 - 4176729003030590519538447055393805586/24403737794509154159224832510\ 26417*c_0110_6^17 + 5713937024028726663498845919383341783/244037377\ 9450915415922483251026417*c_0110_6^16 + 10677830939831604211838974145452534186/2440373779450915415922483251\ 026417*c_0110_6^15 + 3294797798620559829061618727185085804/24403737\ 79450915415922483251026417*c_0110_6^14 - 6757028139830073049458806570760431994/24403737794509154159224832510\ 26417*c_0110_6^13 - 6617344104345799271115155015656477323/244037377\ 9450915415922483251026417*c_0110_6^12 + 1268408326641926604796525907321465874/24403737794509154159224832510\ 26417*c_0110_6^11 + 4932379671337989999945046819946910889/244037377\ 9450915415922483251026417*c_0110_6^10 + 2185103531453667793109804740433327519/24403737794509154159224832510\ 26417*c_0110_6^9 - 258864134890707059775807599212787506/24403737794\ 50915415922483251026417*c_0110_6^8 - 186951247484348383369782993680708170/244037377945091541592248325102\ 6417*c_0110_6^7 + 46293022308501290117443978524475068/2440373779450\ 915415922483251026417*c_0110_6^6 - 128464873583621754747710943246395742/244037377945091541592248325102\ 6417*c_0110_6^5 - 116456380477839862394092978200258243/244037377945\ 0915415922483251026417*c_0110_6^4 + 45493120520609776819333949299241018/2440373779450915415922483251026\ 417*c_0110_6^3 + 40942879808331576819946914867843851/24403737794509\ 15415922483251026417*c_0110_6^2 - 161010281527881883728526938409691\ 78/2440373779450915415922483251026417*c_0110_6 + 89324558356208740593131051468366/2440373779450915415922483251026417\ , c_0101_0 + 45413027616235354114082107610/19508475929515763599262015069*\ c_0110_6^23 + 964451249938211567863497998404/1950847592951576359926\ 2015069*c_0110_6^22 + 5349918398442101572361027236527/1950847592951\ 5763599262015069*c_0110_6^21 + 9982176376045408702507472445647/1950\ 8475929515763599262015069*c_0110_6^20 - 5488676692562847475247680909024/19508475929515763599262015069*c_011\ 0_6^19 - 44004364208459193215253190824083/1950847592951576359926201\ 5069*c_0110_6^18 - 45134313513415607109216265970047/195084759295157\ 63599262015069*c_0110_6^17 + 28390260770745798238414272528874/19508\ 475929515763599262015069*c_0110_6^16 + 90551776850830105794846069663854/19508475929515763599262015069*c_01\ 10_6^15 + 49285482252014695784879914572998/195084759295157635992620\ 15069*c_0110_6^14 - 45747959469429606925384399257720/19508475929515\ 763599262015069*c_0110_6^13 - 70895009375547645326449376869715/1950\ 8475929515763599262015069*c_0110_6^12 - 7067249638430580789257307744513/19508475929515763599262015069*c_011\ 0_6^11 + 44380511870407640405728389194979/1950847592951576359926201\ 5069*c_0110_6^10 + 29386599437449265013060498671440/195084759295157\ 63599262015069*c_0110_6^9 - 1192622492900457056203795397896/1950847\ 5929515763599262015069*c_0110_6^8 - 6211160682712670161805910121016/19508475929515763599262015069*c_011\ 0_6^7 - 1386962398477057699165167857660/195084759295157635992620150\ 69*c_0110_6^6 - 974370557250088638564583961753/19508475929515763599\ 262015069*c_0110_6^5 - 1309208011362514107531647793110/195084759295\ 15763599262015069*c_0110_6^4 + 60643339015567614227122391097/195084\ 75929515763599262015069*c_0110_6^3 + 593123845566555204006266600604/19508475929515763599262015069*c_0110\ _6^2 + 3510900011206230019582457114/19508475929515763599262015069*c\ _0110_6 - 68726686078089788043495046310/195084759295157635992620150\ 69, c_0101_1 - 9558364359594358701620847480/19508475929515763599262015069*c\ _0110_6^23 - 148830532796271511259722751177/19508475929515763599262\ 015069*c_0110_6^22 - 101964670838040675970234421263/195084759295157\ 63599262015069*c_0110_6^21 + 1876484441635600518594907783967/195084\ 75929515763599262015069*c_0110_6^20 + 3480232926041699620576907148919/19508475929515763599262015069*c_011\ 0_6^19 - 3824481745916629067842615185557/19508475929515763599262015\ 069*c_0110_6^18 - 12841782033370323863215211808872/1950847592951576\ 3599262015069*c_0110_6^17 - 3737166473413981130769469836934/1950847\ 5929515763599262015069*c_0110_6^16 + 14874356104400501652893105424914/19508475929515763599262015069*c_01\ 10_6^15 + 16356810838728363089777963251872/195084759295157635992620\ 15069*c_0110_6^14 - 2540534664881527342097472994580/195084759295157\ 63599262015069*c_0110_6^13 - 15912760814514453264610291588221/19508\ 475929515763599262015069*c_0110_6^12 - 6621485157333632231900629424051/19508475929515763599262015069*c_011\ 0_6^11 + 7429457580808143757200445055166/19508475929515763599262015\ 069*c_0110_6^10 + 7029453457075446545145082021973/19508475929515763\ 599262015069*c_0110_6^9 + 146035115940041886683064374920/1950847592\ 9515763599262015069*c_0110_6^8 - 1233796010022527288928780522971/19\ 508475929515763599262015069*c_0110_6^7 - 218763351763018034358543718060/19508475929515763599262015069*c_0110\ _6^6 - 219745636761589230007491352261/19508475929515763599262015069\ *c_0110_6^5 - 425294754306547811602465920848/1950847592951576359926\ 2015069*c_0110_6^4 + 12973050623770179663402636006/1950847592951576\ 3599262015069*c_0110_6^3 + 203942462942244998697631183518/195084759\ 29515763599262015069*c_0110_6^2 - 23557274890864945032246833241/195\ 08475929515763599262015069*c_0110_6 + 3785830019953234014993783026/19508475929515763599262015069, c_0101_2 + 12103405453909421940949274513533255/244037377945091541592248\ 3251026417*c_0110_6^23 + 242100071939274621478724385035117347/24403\ 73779450915415922483251026417*c_0110_6^22 + 1140358313008265861900164362454775767/24403737794509154159224832510\ 26417*c_0110_6^21 + 1510253986098723888049647623841886762/244037377\ 9450915415922483251026417*c_0110_6^20 - 2264053774043045259346510648981013383/24403737794509154159224832510\ 26417*c_0110_6^19 - 8020534441327597690245859138175603754/244037377\ 9450915415922483251026417*c_0110_6^18 - 5001202402682202609750404097081825119/24403737794509154159224832510\ 26417*c_0110_6^17 + 7499286440127590403738259031690101178/244037377\ 9450915415922483251026417*c_0110_6^16 + 13422625557336064448827836864549856813/2440373779450915415922483251\ 026417*c_0110_6^15 + 3830955612491827399000433591917945331/24403737\ 79450915415922483251026417*c_0110_6^14 - 8705266422909121513510238745025396173/24403737794509154159224832510\ 26417*c_0110_6^13 - 8190618972400612302097036175478490054/244037377\ 9450915415922483251026417*c_0110_6^12 + 1784413305693019278527898010698312809/24403737794509154159224832510\ 26417*c_0110_6^11 + 6234037686301121184018222886344798107/244037377\ 9450915415922483251026417*c_0110_6^10 + 2701081227672827009140136449346200932/24403737794509154159224832510\ 26417*c_0110_6^9 - 362884140304277464705498697386622195/24403737794\ 50915415922483251026417*c_0110_6^8 - 264373599376243440513265223627471009/244037377945091541592248325102\ 6417*c_0110_6^7 + 66457555326268695898440234661738785/2440373779450\ 915415922483251026417*c_0110_6^6 - 151710403391933498754636398020226900/244037377945091541592248325102\ 6417*c_0110_6^5 - 145324973900586685714432426963975404/244037377945\ 0915415922483251026417*c_0110_6^4 + 54478829371414103482323136435357915/2440373779450915415922483251026\ 417*c_0110_6^3 + 46073887545178273374106836281396409/24403737794509\ 15415922483251026417*c_0110_6^2 - 169403674665036748768683408275059\ 64/2440373779450915415922483251026417*c_0110_6 - 1596980282828581246396825048276700/24403737794509154159224832510264\ 17, c_0110_6^24 + 97/5*c_0110_6^23 + 412/5*c_0110_6^22 + 362/5*c_0110_6^21 - 1231/5*c_0110_6^20 - 2723/5*c_0110_6^19 - 362/5*c_0110_6^18 + 3951/5*c_0110_6^17 + 3856/5*c_0110_6^16 - 1089/5*c_0110_6^15 - 4221/5*c_0110_6^14 - 321*c_0110_6^13 + 2271/5*c_0110_6^12 + 2182/5*c_0110_6^11 - 14*c_0110_6^10 - 694/5*c_0110_6^9 - 99/5*c_0110_6^8 + 73/5*c_0110_6^7 - 56/5*c_0110_6^6 - 24/5*c_0110_6^5 + 47/5*c_0110_6^4 + 2*c_0110_6^3 - 14/5*c_0110_6^2 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB