Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1882320022] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0761 geometric_solution 4.70217128 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.354787491479 0.201433655102 2 0 3 0 0132 2310 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 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.513712536611 1.008743818748 1 3 4 3 0132 3201 0132 2310 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 -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.292143226262 1.351804149692 2 4 2 1 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 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 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.292143226262 1.351804149692 3 5 5 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 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.352444931404 0.230158385895 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1.299808774496 0.784847153044 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.703397802770 0.241986554675 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], '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_3, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 718993231720999940498762083722096318398954/143287903775118713327066\ 12836524834907971*c_0101_6^21 + 37573984324034709610200428562789342\ 39926375/14328790377511871332706612836524834907971*c_0101_6^20 + 19615474891761593948462458876221405495855355/4776263459170623777568\ 870945508278302657*c_0101_6^19 + 1232020631191357719544534917331291\ 36552033706/14328790377511871332706612836524834907971*c_0101_6^18 - 440564159411721401503767301784396184466410188/143287903775118713327\ 06612836524834907971*c_0101_6^17 - 1507381068637805795093631980996167160714549069/14328790377511871332\ 706612836524834907971*c_0101_6^16 + 2297622760866380102558935462218327470442125590/14328790377511871332\ 706612836524834907971*c_0101_6^15 + 5645276530843546303880000319199922644038169682/14328790377511871332\ 706612836524834907971*c_0101_6^14 - 1195165888309673282363750117677111859151009344/15920878197235412591\ 89623648502759434219*c_0101_6^13 + 258988763783165075206637364485644787941683559/477626345917062377756\ 8870945508278302657*c_0101_6^12 + 841101293227342545758104928899837\ 5331502523094/14328790377511871332706612836524834907971*c_0101_6^11 - 6052843715207709881153630546367592501925009579/143287903775118713\ 32706612836524834907971*c_0101_6^10 + 597927282972311347477703338356728473847894606/477626345917062377756\ 8870945508278302657*c_0101_6^9 + 1984590082606579898440537623100430\ 87541156101/4776263459170623777568870945508278302657*c_0101_6^8 - 2083694510844791559907117102674466461329157557/14328790377511871332\ 706612836524834907971*c_0101_6^7 + 439457535724548677146448046901251156326439304/477626345917062377756\ 8870945508278302657*c_0101_6^6 - 4939007103817912590517007656885021\ 4216322097/4776263459170623777568870945508278302657*c_0101_6^5 - 15412377669815269284104950763076389813702816/4776263459170623777568\ 870945508278302657*c_0101_6^4 + 10765276606382640424331749136710741\ 8767500663/14328790377511871332706612836524834907971*c_0101_6^3 - 68996627019618788449979207867125701993337547/1432879037751187133270\ 6612836524834907971*c_0101_6^2 + 9219085610974855113736478683480291\ 63066423/4776263459170623777568870945508278302657*c_0101_6 + 158273753473151836325111737998979146385114/143287903775118713327066\ 12836524834907971, c_0011_0 - 1, c_0011_1 - 71379153093142722012465960047901927862/530695939907847086396\ 541216167586478073*c_0101_6^21 + 3432606403806843359886289463968122\ 34305/530695939907847086396541216167586478073*c_0101_6^20 + 6000711026991591155994029388318382871145/53069593990784708639654121\ 6167586478073*c_0101_6^19 + 146459586581283700990757474013625164611\ 43/530695939907847086396541216167586478073*c_0101_6^18 - 38878224178390740825666339949255477986809/5306959399078470863965412\ 16167586478073*c_0101_6^17 - 16799030002070693635842578024168728940\ 0657/530695939907847086396541216167586478073*c_0101_6^16 + 169192455837238077034642796870029434024982/530695939907847086396541\ 216167586478073*c_0101_6^15 + 6609810332642381387327438051447617192\ 48840/530695939907847086396541216167586478073*c_0101_6^14 - 859532236513175122186529280334438770706528/530695939907847086396541\ 216167586478073*c_0101_6^13 - 3988866482195432506463329650975535791\ 00361/530695939907847086396541216167586478073*c_0101_6^12 + 978137027437511487471155125312649521430978/530695939907847086396541\ 216167586478073*c_0101_6^11 - 2420347552922378504820145004611882020\ 64276/530695939907847086396541216167586478073*c_0101_6^10 - 238291858163423844055512876736435698058508/530695939907847086396541\ 216167586478073*c_0101_6^9 + 18384775730651175399103201050930663417\ 3874/530695939907847086396541216167586478073*c_0101_6^8 - 91267879844950554997266697987516826796738/5306959399078470863965412\ 16167586478073*c_0101_6^7 + 161460280808304301521921744407365824163\ 4/530695939907847086396541216167586478073*c_0101_6^6 + 31661763629633707679342700635795343392717/5306959399078470863965412\ 16167586478073*c_0101_6^5 - 657444594680662440720490577280186312664\ 0/530695939907847086396541216167586478073*c_0101_6^4 + 100268726784825396888910729631617221352/530695939907847086396541216\ 167586478073*c_0101_6^3 + 2289254840268220352523254232592613010699/\ 530695939907847086396541216167586478073*c_0101_6^2 + 506514095804085381753317760632270198169/530695939907847086396541216\ 167586478073*c_0101_6 - 401485787281800692930490097155139596467/530\ 695939907847086396541216167586478073, c_0011_3 - 24382834731791449850488275410749784506/530695939907847086396\ 541216167586478073*c_0101_6^21 + 9532031232630510138711517705055845\ 3481/530695939907847086396541216167586478073*c_0101_6^20 + 2152800986581290804039838373070070675432/53069593990784708639654121\ 6167586478073*c_0101_6^19 + 686384966018017222797811324254076434528\ 5/530695939907847086396541216167586478073*c_0101_6^18 - 8586318926681564368304128422784150152523/53069593990784708639654121\ 6167586478073*c_0101_6^17 - 692331243248427043848548678441927773530\ 20/530695939907847086396541216167586478073*c_0101_6^16 + 3440516945820871518884128937622154234115/53069593990784708639654121\ 6167586478073*c_0101_6^15 + 273468453167980014231816301094800277335\ 053/530695939907847086396541216167586478073*c_0101_6^14 - 70674431717489733657369563685341136448133/5306959399078470863965412\ 16167586478073*c_0101_6^13 - 37654324309087543565461537517126539405\ 9114/530695939907847086396541216167586478073*c_0101_6^12 + 124848565766984207902816211649248155171590/530695939907847086396541\ 216167586478073*c_0101_6^11 + 2108063312879193245276932336011720818\ 47939/530695939907847086396541216167586478073*c_0101_6^10 - 31246480484955932827405455081037059166911/5306959399078470863965412\ 16167586478073*c_0101_6^9 - 406641097394844119915086208837123634897\ 42/530695939907847086396541216167586478073*c_0101_6^8 - 46902999341469850159322591695071870079034/5306959399078470863965412\ 16167586478073*c_0101_6^7 - 354835256355619131995564086067199212292\ 2/530695939907847086396541216167586478073*c_0101_6^6 + 22265247855945367271289479631389551838412/5306959399078470863965412\ 16167586478073*c_0101_6^5 + 743062609996926418957893628980674056625\ 4/530695939907847086396541216167586478073*c_0101_6^4 + 2318073297120346300016320402099264246217/53069593990784708639654121\ 6167586478073*c_0101_6^3 - 2373669542139491142359777377777815433580\ /530695939907847086396541216167586478073*c_0101_6^2 - 1338309131891632225956612590399005623710/53069593990784708639654121\ 6167586478073*c_0101_6 - 161843327554299928324821412870162048983/53\ 0695939907847086396541216167586478073, c_0101_0 - 30143984467899695356690569782764126999/530695939907847086396\ 541216167586478073*c_0101_6^21 + 1555531967019641199793685193532321\ 86737/530695939907847086396541216167586478073*c_0101_6^20 + 2483599463416219397384419539291888448158/53069593990784708639654121\ 6167586478073*c_0101_6^19 + 528279358924771044454317585988797280343\ 7/530695939907847086396541216167586478073*c_0101_6^18 - 18580023391014136595855408979676103000341/5306959399078470863965412\ 16167586478073*c_0101_6^17 - 64392155996237691932117700032548621720\ 895/530695939907847086396541216167586478073*c_0101_6^16 + 99010514368604734736370027644900567533855/5306959399078470863965412\ 16167586478073*c_0101_6^15 + 25056086711353564324966610518774517128\ 7174/530695939907847086396541216167586478073*c_0101_6^14 - 487223800318029129442468232124425706411777/530695939907847086396541\ 216167586478073*c_0101_6^13 - 3179453734618151671849001157847620247\ 6471/530695939907847086396541216167586478073*c_0101_6^12 + 572642288748615437773760115043898837511334/530695939907847086396541\ 216167586478073*c_0101_6^11 - 3228018959165590529585582511057676545\ 52578/530695939907847086396541216167586478073*c_0101_6^10 - 148837962313929676662116394316515307090078/530695939907847086396541\ 216167586478073*c_0101_6^9 + 20013253032401591124605557220051607807\ 9287/530695939907847086396541216167586478073*c_0101_6^8 - 59313803052751086065678951271359226196020/5306959399078470863965412\ 16167586478073*c_0101_6^7 - 152866518172614785758941133057209716091\ 2/530695939907847086396541216167586478073*c_0101_6^6 + 19175867182096701918190095370138964184141/5306959399078470863965412\ 16167586478073*c_0101_6^5 - 195748169181791470329120795579950150845\ 45/530695939907847086396541216167586478073*c_0101_6^4 + 2264174451536946415293313259024647141043/53069593990784708639654121\ 6167586478073*c_0101_6^3 + 3358133229607826862246575565915869938927\ /530695939907847086396541216167586478073*c_0101_6^2 + 535348325409333485006793642669007093648/530695939907847086396541216\ 167586478073*c_0101_6 + 194323147644611346470304559540751040508/530\ 695939907847086396541216167586478073, c_0101_1 + 61274649633809286303344614072860439797/530695939907847086396\ 541216167586478073*c_0101_6^21 - 2984145872281394928214192619325909\ 45152/530695939907847086396541216167586478073*c_0101_6^20 - 5115388039925096025832896161008827766208/53069593990784708639654121\ 6167586478073*c_0101_6^19 - 123481936602857155545511294847917458093\ 27/530695939907847086396541216167586478073*c_0101_6^18 + 32667735998079018548266125485019047503497/5306959399078470863965412\ 16167586478073*c_0101_6^17 + 13889361991979889701900280501899518053\ 1880/530695939907847086396541216167586478073*c_0101_6^16 - 143535290378620654862758112142752152109762/530695939907847086396541\ 216167586478073*c_0101_6^15 - 5195507579500272199274336258631288554\ 02315/530695939907847086396541216167586478073*c_0101_6^14 + 719807741619259755430592464468339212529093/530695939907847086396541\ 216167586478073*c_0101_6^13 + 1471926390100927908064831677079966648\ 58895/530695939907847086396541216167586478073*c_0101_6^12 - 603598008557673332832732576541431249362979/530695939907847086396541\ 216167586478073*c_0101_6^11 + 2909710537761697655581391848901693386\ 53082/530695939907847086396541216167586478073*c_0101_6^10 - 67244735894602286385605791449668116417442/5306959399078470863965412\ 16167586478073*c_0101_6^9 - 519164897771090358108251431455170894562\ 35/530695939907847086396541216167586478073*c_0101_6^8 + 129039018001314703137685957728269935699688/530695939907847086396541\ 216167586478073*c_0101_6^7 - 52647003619032539870399924683651849812\ 414/530695939907847086396541216167586478073*c_0101_6^6 - 658840883148184553660511192247240735004/530695939907847086396541216\ 167586478073*c_0101_6^5 - 1265846635389182194743574898610989075610/\ 530695939907847086396541216167586478073*c_0101_6^4 - 7374640570808290023991004222902833508229/53069593990784708639654121\ 6167586478073*c_0101_6^3 + 1373021832321255024095091340544454468470\ /530695939907847086396541216167586478073*c_0101_6^2 + 830973844362493188776145865706313462425/530695939907847086396541216\ 167586478073*c_0101_6 + 37871991241689521341387938656493666862/5306\ 95939907847086396541216167586478073, c_0101_5 - 50734814886998292844628669095759374874/530695939907847086396\ 541216167586478073*c_0101_6^21 + 2268845784990872317738316500527358\ 82817/530695939907847086396541216167586478073*c_0101_6^20 + 4329746764257938077978957294747255549993/53069593990784708639654121\ 6167586478073*c_0101_6^19 + 119428423606992147544598257289548620345\ 71/530695939907847086396541216167586478073*c_0101_6^18 - 22687698518812757098026899587091315565081/5306959399078470863965412\ 16167586478073*c_0101_6^17 - 12599365938420488138424916032432494632\ 2529/530695939907847086396541216167586478073*c_0101_6^16 + 67904976708854705866508341683000978832202/5306959399078470863965412\ 16167586478073*c_0101_6^15 + 47356828056443065894569598485553204594\ 3848/530695939907847086396541216167586478073*c_0101_6^14 - 384007003977110576230115450852725458734157/530695939907847086396541\ 216167586478073*c_0101_6^13 - 3400115812687103373835045400188355880\ 13055/530695939907847086396541216167586478073*c_0101_6^12 + 283229032229483187744883399319291608949613/530695939907847086396541\ 216167586478073*c_0101_6^11 + 4368299452851384019664201639457284259\ 6033/530695939907847086396541216167586478073*c_0101_6^10 + 108605123923093230706660408892069718969755/530695939907847086396541\ 216167586478073*c_0101_6^9 - 67678081697400838663737632403605480695\ 248/530695939907847086396541216167586478073*c_0101_6^8 - 104795840614412909048341907254240408722780/530695939907847086396541\ 216167586478073*c_0101_6^7 + 35702482998270815448146208958682879713\ 177/530695939907847086396541216167586478073*c_0101_6^6 + 5568958606590924411341061524539481934419/53069593990784708639654121\ 6167586478073*c_0101_6^5 + 1419529525039198617234350666582129766922\ 7/530695939907847086396541216167586478073*c_0101_6^4 + 5958358020287266154148177654692228893290/53069593990784708639654121\ 6167586478073*c_0101_6^3 - 3404878880639159893792801776787055111891\ /530695939907847086396541216167586478073*c_0101_6^2 - 1124447174004913440104618688716689190467/53069593990784708639654121\ 6167586478073*c_0101_6 - 172871458530124479187900924774198396019/53\ 0695939907847086396541216167586478073, c_0101_6^22 - 5*c_0101_6^21 - 83*c_0101_6^20 - 190*c_0101_6^19 + 572*c_0101_6^18 + 2232*c_0101_6^17 - 2703*c_0101_6^16 - 8531*c_0101_6^15 + 13066*c_0101_6^14 + 2163*c_0101_6^13 - 11420*c_0101_6^12 + 5433*c_0101_6^11 - 790*c_0101_6^10 - 999*c_0101_6^9 + 2452*c_0101_6^8 - 1093*c_0101_6^7 - 159*c_0101_6^6 + 24*c_0101_6^5 - 89*c_0101_6^4 + 48*c_0101_6^3 + 20*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB