Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 3751691248] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s191 geometric_solution 4.30375940 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0.546373662448 0.097055683319 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.679363193515 0.218117491502 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -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 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.759249609555 1.351348961694 5 2 4 4 0132 0132 2310 3120 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 -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.148551127845 0.815823347232 3 3 2 5 3120 3201 0132 3201 0 0 0 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 -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.148551127845 0.815823347232 3 4 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.783968106915 1.186418875993 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_1_0' : 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_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 154105316187222109352177811680738672819107429874655492294447/298922\ 9838302197814557039275169464257579282339012476658144*c_0101_5^23 + 586849576606810952694764532561705980861224300151871448310309/149461\ 4919151098907278519637584732128789641169506238329072*c_0101_5^22 - 349613401418485346896992587591285337813007136655511084692571/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^21 - 1001722274284088207938596385573198270816168367107579951681849/29892\ 29838302197814557039275169464257579282339012476658144*c_0101_5^20 + 40764575949975561415303087691700919527594465402838337475134463/2989\ 229838302197814557039275169464257579282339012476658144*c_0101_5^19 + 391047689494085577585306044865336287649110360235785908071873/298922\ 9838302197814557039275169464257579282339012476658144*c_0101_5^18 - 83624201187840317998627702490337533283757181710595384732083483/2989\ 229838302197814557039275169464257579282339012476658144*c_0101_5^17 + 117709160011026437044879563859578436763845154035745941631543769/149\ 4614919151098907278519637584732128789641169506238329072*c_0101_5^16 + 1164806714213386668787693544216929326867367496338760457545366173/\ 2989229838302197814557039275169464257579282339012476658144*c_0101_5\ ^15 + 1121337521564510699068003053132217258592918884933309434430395\ 843/2989229838302197814557039275169464257579282339012476658144*c_01\ 01_5^14 - 187032430641458376531443857956006532530916750566397130264\ 55165/80789995629789130123163223653228763718358982135472342112*c_01\ 01_5^13 - 363056912905920158201680595276372772121143877279466445626\ 6383/40394997814894565061581611826614381859179491067736171056*c_010\ 1_5^12 + 4177683531690170919110045902329993318890382301878008864171\ 3699/80789995629789130123163223653228763718358982135472342112*c_010\ 1_5^11 + 2829445634393998424097845047474469376972203789451996846096\ 133083/2989229838302197814557039275169464257579282339012476658144*c\ _0101_5^10 - 309025369589906565224287921486667792483377850876696735\ 2542626137/29892298383021978145570392751694642575792823390124766581\ 44*c_0101_5^9 - 498823367387474495371755876749334185971806485219752\ 6182484110183/29892298383021978145570392751694642575792823390124766\ 58144*c_0101_5^8 - 191260941003752967361266188393744022465213156357\ 8726238632539103/29892298383021978145570392751694642575792823390124\ 76658144*c_0101_5^7 + 289977404521318285120983928695030828801812382\ 4013963603370767317/29892298383021978145570392751694642575792823390\ 12476658144*c_0101_5^6 + 268358312090756688724495903127003032359262\ 9816237095273521476089/29892298383021978145570392751694642575792823\ 39012476658144*c_0101_5^5 - 706170444942871662192049510757920263751\ 035548794129479990494269/298922983830219781455703927516946425757928\ 2339012476658144*c_0101_5^4 - 1032873836338161990112056589464961581\ 9532539620403917626464112/93413432446943681704907477349045758049352\ 573094139895567*c_0101_5^3 - 30876395673948192863403156209818822869\ 144581135634589546601059/747307459575549453639259818792366064394820\ 584753119164536*c_0101_5^2 + 31546407725448490435685935134869137780\ 95596490162789115229019/9341343244694368170490747734904575804935257\ 3094139895567*c_0101_5 - 392567829286178576926131203725736580212895\ 640704492385271812/934134324469436817049074773490457580493525730941\ 39895567, c_0011_0 - 1, c_0011_1 + 112510423020309143534393504758835025281451762316151720105/37\ 3653729787774726819629909396183032197410292376559582268*c_0101_5^23 - 1739830315263656816388398738697655309406425644691211145285/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^22 + 1117277446309458508863320331410601572661918616354982993683/37365372\ 9787774726819629909396183032197410292376559582268*c_0101_5^21 + 634070332117017017539654585046684140645040498449418313571/373653729\ 787774726819629909396183032197410292376559582268*c_0101_5^20 - 59734121800663503682105313963463405945925921013639259126293/7473074\ 59575549453639259818792366064394820584753119164536*c_0101_5^19 + 6266322175007725287472759848969802574722589158551390821783/74730745\ 9575549453639259818792366064394820584753119164536*c_0101_5^18 + 123651386700105899647951320939703565403418511991594247261697/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^17 - 357519057143566625594353621547776817116314776174857020392645/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^16 - 208006963940804647725394437951733602404853498268065372185720/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^15 - 1432742052963475853663426485199762456354016870680363972995019/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^14 + 33628271269146359072302808270110542833627140375878670791363/2019749\ 8907447282530790805913307190929589745533868085528*c_0101_5^13 + 8825389800809374900311309272602019288300249601977783888697/20197498\ 907447282530790805913307190929589745533868085528*c_0101_5^12 - 7825734800797591419486214303489416780009750419826546953819/25246873\ 63430910316348850739163398866198718191733510691*c_0101_5^11 - 3883956149906669674425138290369442016074170849811978738474761/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^10 + 5043716202621536148830182402021519105557644366900458731425387/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^9 + 6877690764447673257098925220454538207234079084891705773703311/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^8 + 1863199821526940441758971583368058511401145421729031974398809/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^7 - 4760243699942656261267279963682220851659874657290786441961331/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^6 - 3544277202175039598795795014845301359375015354225547322889699/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^5 + 1565594488712254317775075265199879161980984837678974725675393/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^4 + 480969452166770343408502938509744818865478428918964554571029/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^3 + 31279556959909477704213265031715554478702847966074872125321/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5^2 - 45115751949042935875940037969761357513712775453477700074255/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5 + 3480280298653670497096512675527811022937527189813764196551/93413432\ 446943681704907477349045758049352573094139895567, c_0011_4 + 27233517959706522132422056659616171958208863151348194909/934\ 13432446943681704907477349045758049352573094139895567*c_0101_5^23 - 208901451418460641617973564364105056845968167477280999221/934134324\ 46943681704907477349045758049352573094139895567*c_0101_5^22 + 516002810022460658701914422184119191617341474425280360273/186826864\ 893887363409814954698091516098705146188279791134*c_0101_5^21 + 333599559310225319201802716444467648778776308523681267463/186826864\ 893887363409814954698091516098705146188279791134*c_0101_5^20 - 7216620139729425121541878162241189934411592120339491225126/93413432\ 446943681704907477349045758049352573094139895567*c_0101_5^19 + 639730247801655779368915262236048547102756789321397666899/186826864\ 893887363409814954698091516098705146188279791134*c_0101_5^18 + 14898414231974238770885765190613728242395635406904612890059/9341343\ 2446943681704907477349045758049352573094139895567*c_0101_5^17 - 42372714562279220232867475938805093050980448431031460987598/9341343\ 2446943681704907477349045758049352573094139895567*c_0101_5^16 - 203808853360811664668260106763493933166030437450677222335250/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^15 - 372655399409797779693673845129417620374186918757147146647959/186826\ 864893887363409814954698091516098705146188279791134*c_0101_5^14 + 7386474864474760427532669647593668699372681192080450235481/50493747\ 26861820632697701478326797732397436383467021382*c_0101_5^13 + 1218912875395037975134279750538903860972777320232442513538/25246873\ 63430910316348850739163398866198718191733510691*c_0101_5^12 - 7473409210817119092970129428991841676068957314788782787387/25246873\ 63430910316348850739163398866198718191733510691*c_0101_5^11 - 972350178235604429059133354315860116605557284995346790425157/186826\ 864893887363409814954698091516098705146188279791134*c_0101_5^10 + 1155100277363156986676894038350400827766677557989205786966455/18682\ 6864893887363409814954698091516098705146188279791134*c_0101_5^9 + 861117055551053013439571810908580300919435564055103976740092/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^8 + 283747691626656467191284303612635264460485209391324711777385/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^7 - 547253157771759148642104199486566301351769785865118195612261/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^6 - 456589149216794844575804124583760380964122179467314276650618/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^5 + 156050613898760156210419983644144594084762412754420203917230/934134\ 32446943681704907477349045758049352573094139895567*c_0101_5^4 + 61094042396088090911678807944354655939061868141875536796083/9341343\ 2446943681704907477349045758049352573094139895567*c_0101_5^3 + 19409501414789455307147635950218539713188754026099650860282/9341343\ 2446943681704907477349045758049352573094139895567*c_0101_5^2 - 39576284093403310181984115042719853095581708861191934961363/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5 + 2640256713443139002050608348142868423620839628204490107046/93413432\ 446943681704907477349045758049352573094139895567, c_0101_0 - 402671494874646351387524870891905053455239663263064740045/14\ 94614919151098907278519637584732128789641169506238329072*c_0101_5^2\ 3 + 1520673433462235114678391645614647674518035919243304711095/7473\ 07459575549453639259818792366064394820584753119164536*c_0101_5^22 - 866230972270791077995044433079559166108025533825321708675/373653729\ 787774726819629909396183032197410292376559582268*c_0101_5^21 - 2811910202211371395039796130968317596032123727109478104111/14946149\ 19151098907278519637584732128789641169506238329072*c_0101_5^20 + 106311129210483238506566238125234525259999223006096717822849/149461\ 4919151098907278519637584732128789641169506238329072*c_0101_5^19 + 7724258339593015963992102925016623385751045072792087324535/14946149\ 19151098907278519637584732128789641169506238329072*c_0101_5^18 - 217143994577529003224887756464977198208716215635243692753841/149461\ 4919151098907278519637584732128789641169506238329072*c_0101_5^17 + 300747339497464737792866157108134260523377873869122035982177/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^16 + 3079815926465349971765693643046614216446831391784932086428031/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^15 + 3129784580612042687306645344661183429095195697585210314797901/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^14 - 42825597483825537370041010383097849886158035001100393734707/4039499\ 7814894565061581611826614381859179491067736171056*c_0101_5^13 - 10486448461193977311351581066089305377568808077298709159457/2019749\ 8907447282530790805913307190929589745533868085528*c_0101_5^12 + 107452356003849097595988990197929904112431755818531658717117/403949\ 97814894565061581611826614381859179491067736171056*c_0101_5^11 + 7635026947107170876181062934664168974187794506041171883318609/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^10 - 7560095351742573288695668322526075444111804243958072399532627/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^9 - 13449853539152191803808635146371211156045824979136127598541513/1494\ 614919151098907278519637584732128789641169506238329072*c_0101_5^8 - 5911902720588998338501995925305158694239360851034740525827293/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^7 + 7083282738399750751831049568033812574130553656517944500120731/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^6 + 7408419315159230766423608202476222307992075454663931782123267/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^5 - 1313618442419629711523316236225248211342075339555668630100347/14946\ 14919151098907278519637584732128789641169506238329072*c_0101_5^4 - 109714360695249308283923973763167564835884148903059304338937/186826\ 864893887363409814954698091516098705146188279791134*c_0101_5^3 - 48186648966751775929486545068038057185398703954936089083645/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5^2 + 28768668207277583164492778441187179971084815115147765370377/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5 - 1356087923306482956544525030501049619355423406404745562527/93413432\ 446943681704907477349045758049352573094139895567, c_0101_3 + 94006049948444762446426203310080282916300575102288316087/186\ 826864893887363409814954698091516098705146188279791134*c_0101_5^23 - 2901786073683631524818737608924612966552624883243325446333/74730745\ 9575549453639259818792366064394820584753119164536*c_0101_5^22 + 1845819174738442222739443864638262088481578360002581362047/37365372\ 9787774726819629909396183032197410292376559582268*c_0101_5^21 + 542245565118871637877013991294503178068721830847124898633/186826864\ 893887363409814954698091516098705146188279791134*c_0101_5^20 - 99780394040308364215167390531465608878838869737370946837603/7473074\ 59575549453639259818792366064394820584753119164536*c_0101_5^19 + 8993744755401214434263686426305036343767289329835186770253/74730745\ 9575549453639259818792366064394820584753119164536*c_0101_5^18 + 206595798684366008920128913830849391910806993858893128278375/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^17 - 594325874563146194545952691168489525340317837604525037007701/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^16 - 1394592591840111857965887724378683897640888624052754094486799/37365\ 3729787774726819629909396183032197410292376559582268*c_0101_5^15 - 2436614661177453038363895704542136654990507835628002154818137/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^14 + 55094693481051836235588706744851739270394603202861358604389/2019749\ 8907447282530790805913307190929589745533868085528*c_0101_5^13 + 15483864306513206974042579394079907564308574241019825254201/2019749\ 8907447282530790805913307190929589745533868085528*c_0101_5^12 - 52118087335754236980160329387947968657755938036771577351521/1009874\ 9453723641265395402956653595464794872766934042764*c_0101_5^11 - 6544970832257543578687167595562475897983463448856229375121015/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^10 + 8324964290015043751189466842563882197320868983932717938947469/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^9 + 11606125400342016334967322469952676317239196387472716011880365/7473\ 07459575549453639259818792366064394820584753119164536*c_0101_5^8 + 3303901180432774904982115269595311360619186585116873774576399/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^7 - 7884581071284755459069449163401179630522810986599868395513837/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^6 - 6039556914996055288449923628940586059833256008287173325913253/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^5 + 2504814482453509694241369707141607302244434999878234471449667/74730\ 7459575549453639259818792366064394820584753119164536*c_0101_5^4 + 826939317449920158919945402144081017967582081536722452509817/747307\ 459575549453639259818792366064394820584753119164536*c_0101_5^3 + 57131570492076504516214173218012059961765937663179699598769/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5^2 - 73796230458528122322115709124392345969077174250449338789759/1868268\ 64893887363409814954698091516098705146188279791134*c_0101_5 + 5446467533595125204922662097273666351601277524962058005087/93413432\ 446943681704907477349045758049352573094139895567, c_0101_5^24 - 8*c_0101_5^23 + 12*c_0101_5^22 + 3*c_0101_5^21 - 267*c_0101_5^20 + 99*c_0101_5^19 + 543*c_0101_5^18 - 1736*c_0101_5^17 - 6971*c_0101_5^16 - 4379*c_0101_5^15 + 7265*c_0101_5^14 - 10693*c_0101_5^12 - 14507*c_0101_5^11 + 27077*c_0101_5^10 + 24627*c_0101_5^9 + 27*c_0101_5^8 - 23501*c_0101_5^7 - 10149*c_0101_5^6 + 11233*c_0101_5^5 + 342*c_0101_5^4 - 20*c_0101_5^3 - 960*c_0101_5^2 + 336*c_0101_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB