Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 3667609505] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3290 geometric_solution 6.42051776 oriented_manifold CS_known -0.0000000000000003 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 1 0 -1 0 0 1 -1 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.346989876975 0.453498496898 2 0 3 0 0132 2310 0132 0132 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 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.588829199528 0.937332997785 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 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.530240233684 0.654609487916 6 5 4 1 0132 0132 1023 0132 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 1 0 0 -1 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.530240233684 0.654609487916 4 2 3 4 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260605570518 0.810708170990 5 3 5 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441289971974 0.803945127970 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 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 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.978650537531 0.826126349429 ==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' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_1'], 'c_0011_6' : negation(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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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 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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 3777144737116735745178476539780635409/86884296024452687964901358061\ 84209*c_0101_4^25 + 6335554750814106866502445784393110355/868842960\ 2445268796490135806184209*c_0101_4^24 - 43613211055608484065156303782931615785/8688429602445268796490135806\ 184209*c_0101_4^23 - 99261962923626697622646650069775034834/8688429\ 602445268796490135806184209*c_0101_4^22 + 43610704314990819875478504740433519667/8688429602445268796490135806\ 184209*c_0101_4^21 + 10747235276929661199313272292805414064/5110840\ 94261486399793537400363777*c_0101_4^20 + 170942064351022230789346337781157480942/868842960244526879649013580\ 6184209*c_0101_4^19 + 639154435207338770563287779296062438746/86884\ 29602445268796490135806184209*c_0101_4^18 + 590313798727121073083135578671850439511/868842960244526879649013580\ 6184209*c_0101_4^17 - 1073583454077317278417783342316769190814/8688\ 429602445268796490135806184209*c_0101_4^16 - 11178401247929227086036640402198600431/1424332721712339146965596033\ 80069*c_0101_4^15 + 978486278977271741110438199306610780243/8688429\ 602445268796490135806184209*c_0101_4^14 - 1192770290074886105632975611497458355261/86884296024452687964901358\ 06184209*c_0101_4^13 - 727166166212362766027169670507050204528/8688\ 429602445268796490135806184209*c_0101_4^12 + 1184587241393139169582194541115887189471/86884296024452687964901358\ 06184209*c_0101_4^11 - 804218558245841937825970834372411966149/8688\ 429602445268796490135806184209*c_0101_4^10 - 232851454901770632615771868472001735410/868842960244526879649013580\ 6184209*c_0101_4^9 + 332088776542840063164681878394885834432/868842\ 9602445268796490135806184209*c_0101_4^8 - 276916011844904224585477655677536677674/868842960244526879649013580\ 6184209*c_0101_4^7 - 238423898874280595929316547646227782951/868842\ 9602445268796490135806184209*c_0101_4^6 + 259483370934209021655310453245478600070/868842960244526879649013580\ 6184209*c_0101_4^5 + 1230557914619386768047916708696515211/39314161\ 097037415368733646181829*c_0101_4^4 - 115907518985236884419081330049383599130/868842960244526879649013580\ 6184209*c_0101_4^3 - 57357771586930990518934139627586908794/8688429\ 602445268796490135806184209*c_0101_4^2 + 45894876296799206591452451251821120266/8688429602445268796490135806\ 184209*c_0101_4 + 11479382888266520512160767517749807391/8688429602\ 445268796490135806184209, c_0011_0 - 1, c_0011_1 - 128231436449137499073580244159365/21559378666117292298982967\ 261003*c_0101_4^25 - 182056805212053419203096872708587/215593786661\ 17292298982967261003*c_0101_4^24 + 1514278246718060647738738742749619/21559378666117292298982967261003\ *c_0101_4^23 + 2966361939843317838899834693241280/21559378666117292\ 298982967261003*c_0101_4^22 - 2082522148488118643017207717675998/21\ 559378666117292298982967261003*c_0101_4^21 - 319124040112023192510002398512777/1268198745065723076410762780059*c\ _0101_4^20 - 4720828849428309523345087078160133/2155937866611729229\ 8982967261003*c_0101_4^19 - 20918531948204153733623679290315326/215\ 59378666117292298982967261003*c_0101_4^18 - 14958088949309045281955667176008389/2155937866611729229898296726100\ 3*c_0101_4^17 + 38269947741055737155602870588360947/215593786661172\ 92298982967261003*c_0101_4^16 + 206078792402751086743169447756840/3\ 53432437149463808180048643623*c_0101_4^15 - 32192633701226124142506833480357465/2155937866611729229898296726100\ 3*c_0101_4^14 + 48347419780635120847139290302837121/215593786661172\ 92298982967261003*c_0101_4^13 + 9000391208169702508303904092002666/\ 21559378666117292298982967261003*c_0101_4^12 - 36243985239822786191059515548826756/2155937866611729229898296726100\ 3*c_0101_4^11 + 35067647450407972750685721553476762/215593786661172\ 92298982967261003*c_0101_4^10 - 4290721767309340735585141570109181/\ 21559378666117292298982967261003*c_0101_4^9 - 5216863373492954911154576625636630/21559378666117292298982967261003\ *c_0101_4^8 + 8350850727687494149656348372706327/215593786661172922\ 98982967261003*c_0101_4^7 + 6314417826172336351414342370782315/2155\ 9378666117292298982967261003*c_0101_4^6 - 9666830810989719926664470444248071/21559378666117292298982967261003\ *c_0101_4^5 - 376280634011139744794448617867348/1268198745065723076\ 410762780059*c_0101_4^4 + 4435256768299196714984719882059317/215593\ 78666117292298982967261003*c_0101_4^3 + 619525127482710227866837106686330/21559378666117292298982967261003*\ c_0101_4^2 - 1155549246369878094099205388817476/2155937866611729229\ 8982967261003*c_0101_4 - 240229224501149777560344349623088/21559378\ 666117292298982967261003, c_0011_3 + 130730585085277349829262811379991/21559378666117292298982967\ 261003*c_0101_4^25 + 192212200187977559303527533451525/215593786661\ 17292298982967261003*c_0101_4^24 - 1536254250192510963667737096616534/21559378666117292298982967261003\ *c_0101_4^23 - 3103945220400223352493545585560272/21559378666117292\ 298982967261003*c_0101_4^22 + 1992642629678852633466916005705165/21\ 559378666117292298982967261003*c_0101_4^21 + 333510676455983837242608093678201/1268198745065723076410762780059*c\ _0101_4^20 + 5049629753109462820172161819074262/2155937866611729229\ 8982967261003*c_0101_4^19 + 21519083744971563176263554771234685/215\ 59378666117292298982967261003*c_0101_4^18 + 16287417632728387181642599087780597/2155937866611729229898296726100\ 3*c_0101_4^17 - 38533419717376897113556309012974584/215593786661172\ 92298982967261003*c_0101_4^16 - 243998871440778863255078177378495/3\ 53432437149463808180048643623*c_0101_4^15 + 32713136550948814638450883595101325/2155937866611729229898296726100\ 3*c_0101_4^14 - 47785082582457004872250912809979430/215593786661172\ 92298982967261003*c_0101_4^13 - 12060860321508621176682957121826636\ /21559378666117292298982967261003*c_0101_4^12 + 37407707149826194008723706333239732/2155937866611729229898296726100\ 3*c_0101_4^11 - 34190347995646154528780785870149363/215593786661172\ 92298982967261003*c_0101_4^10 + 2264000821266076714545382125595905/\ 21559378666117292298982967261003*c_0101_4^9 + 6262091013106440815228746156115948/21559378666117292298982967261003\ *c_0101_4^8 - 8664233681897372133300704038052758/215593786661172922\ 98982967261003*c_0101_4^7 - 6716291778383239886320705152577212/2155\ 9378666117292298982967261003*c_0101_4^6 + 9644560666979264798159056645561606/21559378666117292298982967261003\ *c_0101_4^5 + 414873298223777262446368908167439/1268198745065723076\ 410762780059*c_0101_4^4 - 4337756403487504857602954104508405/215593\ 78666117292298982967261003*c_0101_4^3 - 841176789451413100022257989399760/21559378666117292298982967261003*\ c_0101_4^2 + 1220824040291255352153375432627895/2155937866611729229\ 8982967261003*c_0101_4 + 279694214894102196295415616769325/21559378\ 666117292298982967261003, c_0101_0 - 98899944465559581257316926389216/215593786661172922989829672\ 61003*c_0101_4^25 - 131230635136925145185093313128300/2155937866611\ 7292298982967261003*c_0101_4^24 + 117920825458329087182587756824499\ 4/21559378666117292298982967261003*c_0101_4^23 + 2177163606345887956360284363210993/21559378666117292298982967261003\ *c_0101_4^22 - 1797959928098673369823832214957541/21559378666117292\ 298982967261003*c_0101_4^21 - 235174616928955354032167530841734/126\ 8198745065723076410762780059*c_0101_4^20 - 3284188554431399185618938779278247/21559378666117292298982967261003\ *c_0101_4^19 - 15859705761480695579994428841188137/2155937866611729\ 2298982967261003*c_0101_4^18 - 10092228272725824485006281597385271/\ 21559378666117292298982967261003*c_0101_4^17 + 30302525852075575021800955802854151/2155937866611729229898296726100\ 3*c_0101_4^16 + 111105152583180271085637614739541/35343243714946380\ 8180048643623*c_0101_4^15 - 25215702563950599088972288154512058/215\ 59378666117292298982967261003*c_0101_4^14 + 39652963206369624432655237905089286/2155937866611729229898296726100\ 3*c_0101_4^13 + 3056336988850757889825362572866577/2155937866611729\ 2298982967261003*c_0101_4^12 - 27820474153557928374089679275080349/\ 21559378666117292298982967261003*c_0101_4^11 + 29646985766541954592303485934215493/2155937866611729229898296726100\ 3*c_0101_4^10 - 6297268697023192749142667252373009/2155937866611729\ 2298982967261003*c_0101_4^9 - 3087958086572105171171414413713559/21\ 559378666117292298982967261003*c_0101_4^8 + 6651205112845312225338450490015735/21559378666117292298982967261003\ *c_0101_4^7 + 4219038383830344957814069296152128/215593786661172922\ 98982967261003*c_0101_4^6 - 7772562272436203432575421143929388/2155\ 9378666117292298982967261003*c_0101_4^5 - 246598843073147018271684228396227/1268198745065723076410762780059*c\ _0101_4^4 + 3767637231028335859143984554539943/21559378666117292298\ 982967261003*c_0101_4^3 + 78217319942210633405308533813249/21559378\ 666117292298982967261003*c_0101_4^2 - 865365465126311527402394432792378/21559378666117292298982967261003*\ c_0101_4 - 124034058204797531875939109117536/2155937866611729229898\ 2967261003, c_0101_1 + 329485090817818254467313700957383/21559378666117292298982967\ 261003*c_0101_4^25 + 458851639762217241014354547811454/215593786661\ 17292298982967261003*c_0101_4^24 - 3900904135560332208781702223606347/21559378666117292298982967261003\ *c_0101_4^23 - 7513069572488150854603917621558826/21559378666117292\ 298982967261003*c_0101_4^22 + 5525711015012626663374825367357868/21\ 559378666117292298982967261003*c_0101_4^21 + 808126641775422383072207194747963/1268198745065723076410762780059*c\ _0101_4^20 + 11804737307533197079169859575327110/215593786661172922\ 98982967261003*c_0101_4^19 + 53523893656041939304469030966669342/21\ 559378666117292298982967261003*c_0101_4^18 + 37055810201076328890980749162352425/2155937866611729229898296726100\ 3*c_0101_4^17 - 98951775254855275116671085689155895/215593786661172\ 92298982967261003*c_0101_4^16 - 481801480317822210650706392873026/3\ 53432437149463808180048643623*c_0101_4^15 + 82753593955364304756566059912852879/2155937866611729229898296726100\ 3*c_0101_4^14 - 126591280706392397606879377907588142/21559378666117\ 292298982967261003*c_0101_4^13 - 1906979827967408856953720170469996\ 5/21559378666117292298982967261003*c_0101_4^12 + 92597160904374527911779338328888827/2155937866611729229898296726100\ 3*c_0101_4^11 - 92626489751342208899241065605222024/215593786661172\ 92298982967261003*c_0101_4^10 + 14259504050279457105343007730839571\ /21559378666117292298982967261003*c_0101_4^9 + 12208019185437555592467711794834294/2155937866611729229898296726100\ 3*c_0101_4^8 - 21557594846047972201569425747240173/2155937866611729\ 2298982967261003*c_0101_4^7 - 15602970553316292413160421447342427/2\ 1559378666117292298982967261003*c_0101_4^6 + 25118399930080515532282644591059607/2155937866611729229898296726100\ 3*c_0101_4^5 + 921212093454950397111705535084082/126819874506572307\ 6410762780059*c_0101_4^4 - 11633050391642077773142138671136737/2155\ 9378666117292298982967261003*c_0101_4^3 - 1184319401162347666000294638348947/21559378666117292298982967261003\ *c_0101_4^2 + 2906444357067943571333722941138841/215593786661172922\ 98982967261003*c_0101_4 + 584330899314043864595144848416231/2155937\ 8666117292298982967261003, c_0101_3 - 322542296146776794735817531532140/21559378666117292298982967\ 261003*c_0101_4^25 - 443830937924872834077901606266262/215593786661\ 17292298982967261003*c_0101_4^24 + 3824760092164708563905250521956407/21559378666117292298982967261003\ *c_0101_4^23 + 7289642995561032281031562465107472/21559378666117292\ 298982967261003*c_0101_4^22 - 5514334521085163399911535522913966/21\ 559378666117292298982967261003*c_0101_4^21 - 784059443123993253288523175881730/1268198745065723076410762780059*c\ _0101_4^20 - 11362035836675598239327387887462378/215593786661172922\ 98982967261003*c_0101_4^19 - 52263874032902042675565653304746783/21\ 559378666117292298982967261003*c_0101_4^18 - 35451062779132118118412147476927524/2155937866611729229898296726100\ 3*c_0101_4^17 + 97250076253966276782470566833332656/215593786661172\ 92298982967261003*c_0101_4^16 + 443437328493831970607773007802412/3\ 53432437149463808180048643623*c_0101_4^15 - 81005000896027920710787442426983206/2155937866611729229898296726100\ 3*c_0101_4^14 + 125390772960190396992768893747951894/21559378666117\ 292298982967261003*c_0101_4^13 + 1626103184524832409785444913416599\ 9/21559378666117292298982967261003*c_0101_4^12 - 90382438812051807950451862964200159/2155937866611729229898296726100\ 3*c_0101_4^11 + 92155370536843965936395568780129611/215593786661172\ 92298982967261003*c_0101_4^10 - 15950886098000029627634882484099202\ /21559378666117292298982967261003*c_0101_4^9 - 11319009262717152082806090920390850/2155937866611729229898296726100\ 3*c_0101_4^8 + 21183016842402779649689106556611824/2155937866611729\ 2298982967261003*c_0101_4^7 + 14854435646409103090103047868762334/2\ 1559378666117292298982967261003*c_0101_4^6 - 24770582942189242209065320590102832/2155937866611729229898296726100\ 3*c_0101_4^5 - 874553336394483711738157283365272/126819874506572307\ 6410762780059*c_0101_4^4 + 11521630883572218652544090313409458/2155\ 9378666117292298982967261003*c_0101_4^3 + 865763780326538810238019499226080/21559378666117292298982967261003*\ c_0101_4^2 - 2801030968040957708985197285126594/2155937866611729229\ 8982967261003*c_0101_4 - 506900962329372085916205168403615/21559378\ 666117292298982967261003, c_0101_4^26 + 2*c_0101_4^25 - 11*c_0101_4^24 - 30*c_0101_4^23 + 3*c_0101_4^22 + 52*c_0101_4^21 + 61*c_0101_4^20 + 184*c_0101_4^19 + 211*c_0101_4^18 - 233*c_0101_4^17 - 272*c_0101_4^16 + 199*c_0101_4^15 - 232*c_0101_4^14 - 293*c_0101_4^13 + 249*c_0101_4^12 - 111*c_0101_4^11 - 129*c_0101_4^10 + 66*c_0101_4^9 - 44*c_0101_4^8 - 87*c_0101_4^7 + 48*c_0101_4^6 + 94*c_0101_4^5 - 7*c_0101_4^4 - 25*c_0101_4^3 + 7*c_0101_4^2 + 7*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB