Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 105356005] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0583 geometric_solution 4.60066502 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.402219939612 0.179983823861 0 2 2 0 3201 0132 1023 0132 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 0 0 0 0 0 0 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.117703369992 0.185878145547 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.968437559414 0.363130833808 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 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.604592149009 0.166724360996 5 3 5 6 2103 0132 3201 0132 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 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.690252483609 1.198903760070 4 6 4 3 2310 0132 2103 0132 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 0 0 0 0 0 0 0 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 0.690252483609 1.198903760070 6 5 4 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.031122046189 0.481871112594 ==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_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), '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' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 518464610833433166954768873366973916368043018475422185/252556843403\ 293533111179109244910542905590281353545451*c_1001_3^20 + 14730887682784452569963265232879574541242535246028795225/5051136868\ 06587066222358218489821085811180562707090902*c_1001_3^19 + 27974543563386908205923744289885269533816241430921193643/1683712289\ 35529022074119406163273695270393520902363634*c_1001_3^18 + 103048877190265552234501518346655852643693785708178401339/252556843\ 403293533111179109244910542905590281353545451*c_1001_3^17 - 161393259437943805538423165443277251250826507853484538799/505113686\ 806587066222358218489821085811180562707090902*c_1001_3^16 - 1200376904870863829734850321629561348484980356417890274535/25255684\ 3403293533111179109244910542905590281353545451*c_1001_3^15 - 3912712217273503747075213935225886205540697568166627774777/50511368\ 6806587066222358218489821085811180562707090902*c_1001_3^14 + 3902182074815696727837188333359727681648171950566449286755/25255684\ 3403293533111179109244910542905590281353545451*c_1001_3^13 + 10522292380566728282934368787166735595680769811857760469703/2525568\ 43403293533111179109244910542905590281353545451*c_1001_3^12 - 2582270765586157636595017713878371486845798879379244529215/84185614\ 467764511037059703081636847635196760451181817*c_1001_3^11 - 16303929592061565001000897120407455866645357553073538963589/2525568\ 43403293533111179109244910542905590281353545451*c_1001_3^10 + 17106603171646755968700567589502012441365085671113541240859/2525568\ 43403293533111179109244910542905590281353545451*c_1001_3^9 - 23513352709321313159187008031582423139267654442682785658973/5051136\ 86806587066222358218489821085811180562707090902*c_1001_3^8 - 3047920328633968576024583998093802590925928747277425255746/84185614\ 467764511037059703081636847635196760451181817*c_1001_3^7 + 21632351832131552023966767144736254996251218870715467134040/2525568\ 43403293533111179109244910542905590281353545451*c_1001_3^6 + 8569919981318355108336382677372753075528408117773429326063/25255684\ 3403293533111179109244910542905590281353545451*c_1001_3^5 - 6552367847869597429112256613145836927007821082418083924279/25255684\ 3403293533111179109244910542905590281353545451*c_1001_3^4 - 21789833115354508626587450456073657628095850333688565937475/5051136\ 86806587066222358218489821085811180562707090902*c_1001_3^3 + 7120895013991767345489039066388029832785623647126651085039/50511368\ 6806587066222358218489821085811180562707090902*c_1001_3^2 + 855000370357880180119276026954234438183648687006019802477/168371228\ 935529022074119406163273695270393520902363634*c_1001_3 - 585409798736209548385919054580500271680731865152942849387/505113686\ 806587066222358218489821085811180562707090902, c_0011_0 - 1, c_0011_1 + 3518135331200267074246660764721820812213277968071/4562905933\ 21216861989483485537327087453640978055186*c_1001_3^20 + 24763389255907969601012971592044185002151657477771/2281452966606084\ 30994741742768663543726820489027593*c_1001_3^19 + 278039090161503421464902909226838104794503410239567/456290593321216\ 861989483485537327087453640978055186*c_1001_3^18 + 658613338075800368608198508587717096622260397466633/456290593321216\ 861989483485537327087453640978055186*c_1001_3^17 - 662125576956599123677960928302532588069435874600237/456290593321216\ 861989483485537327087453640978055186*c_1001_3^16 - 8146052764866318395194738900895911702231804652444095/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^15 - 12239263956980471097677110031127275591113329804873871/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^14 + 14392598840991982438456733284837215162572088406241220/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^13 + 34703836701523041688325729341766819107204896749247412/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^12 - 31357074017991245824537554829264431235309922688354719/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^11 - 54852631586769139641241525702984657654231183182272566/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^10 + 130385110381421830027988209582867787643721831127966785/456290593321\ 216861989483485537327087453640978055186*c_1001_3^9 - 86948104039251071750772485188298472073643485704621887/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^8 - 27962726416414468569909178753776219445215624224235693/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^7 + 79236722821795103450159126933778287974396180396401972/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^6 + 23192838688045250706136917806829569927135934372316249/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^5 - 58130644881605615047595650955161361567106173998776769/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^4 - 37566516192392544543708126042529510682181242088874850/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^3 + 16220810373193135365846198433852768950492888077860302/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^2 + 4873384000255132228615997222372582153347663752714320/22814529666060\ 8430994741742768663543726820489027593*c_1001_3 - 2625057967353604267125429832176404056849080214045291/45629059332121\ 6861989483485537327087453640978055186, c_0011_5 + 414934800603074499766001528134541267037606865639/22814529666\ 0608430994741742768663543726820489027593*c_1001_3^20 + 12240046667060472843865948832120205967114309876747/4562905933212168\ 61989483485537327087453640978055186*c_1001_3^19 + 73791046048835443448439742179517258749021734844023/4562905933212168\ 61989483485537327087453640978055186*c_1001_3^18 + 102371903664951744434404784349993572139946609346001/228145296660608\ 430994741742768663543726820489027593*c_1001_3^17 - 19161588876219808312392103774046087937253522356481/4562905933212168\ 61989483485537327087453640978055186*c_1001_3^16 - 966033869690895133146476168316938663470372338547144/228145296660608\ 430994741742768663543726820489027593*c_1001_3^15 - 4162444812618366603753871522134355688312202562953289/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^14 + 2028307066183957186395120837917484997943172857288230/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^13 + 9535237292284566313265573653344868994514793593564389/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^12 - 1243247461074216859740938600107404319411626065519256/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^11 - 14061397486960187080808410840569434002187143443996424/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^10 + 6523505791931316182819295577023547200401968061118636/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^9 - 10115945166085165302134625257522355083884149146999489/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^8 - 10539538993342799682113763804435749745629400679936368/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^7 + 11783712880693980034886950291205731817566406314502460/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^6 + 13405632279031277671350331108393029244622484068338834/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^5 + 926551485547240457476986282796911605306793508715452/228145296660608\ 430994741742768663543726820489027593*c_1001_3^4 - 17618661890419524147960297788268309632843456820758247/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^3 - 3252775123732566639163155638165284813420703675935665/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^2 + 1475693263999138408446985482432687462134088633952315/45629059332121\ 6861989483485537327087453640978055186*c_1001_3 + 163194944372834562057287409011667066379127472014237/456290593321216\ 861989483485537327087453640978055186, c_0101_0 + 4969471061023344970698123345708989506049197622353/2281452966\ 60608430994741742768663543726820489027593*c_1001_3^20 + 141342162860101712217413469837277219766211945619919/456290593321216\ 861989483485537327087453640978055186*c_1001_3^19 + 806531630828868294722619183264043534416349431809349/456290593321216\ 861989483485537327087453640978055186*c_1001_3^18 + 993908298703075614574332982524204054742990829165132/228145296660608\ 430994741742768663543726820489027593*c_1001_3^17 - 1515594201390940291271401753955704828890180458315977/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^16 - 11516346904147675322430597762629061767917498971394727/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^15 - 37870683051116074776880642319672036564838341750197797/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^14 + 37069586239011669828909124502981230973113130446581771/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^13 + 101390189549504382828054269343759944087589511633598566/228145296660\ 608430994741742768663543726820489027593*c_1001_3^12 - 72418407679126711583669778346246045341749680427765794/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^11 - 156897135912316080612242089755022153286500192374034824/228145296660\ 608430994741742768663543726820489027593*c_1001_3^10 + 160851815456089456057290483582084550920200582912026107/228145296660\ 608430994741742768663543726820489027593*c_1001_3^9 - 222648679897737917146706553295796757726147433192892521/456290593321\ 216861989483485537327087453640978055186*c_1001_3^8 - 88387492228463804892291354251302513290221994152511360/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^7 + 205377922173011593719424812576303442264925346447876360/228145296660\ 608430994741742768663543726820489027593*c_1001_3^6 + 85266123687186775292606769586326286559255282917277365/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^5 - 59689352598088590151365628155635665086803831640833674/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^4 - 209641018197581573163877866537532444292854768521515317/456290593321\ 216861989483485537327087453640978055186*c_1001_3^3 + 64011669189773639274043619507020766126296218658525719/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^2 + 24055003482114607102663028245304517968899661673820049/4562905933212\ 16861989483485537327087453640978055186*c_1001_3 - 5478330389875962625169318446034129910952121772354483/45629059332121\ 6861989483485537327087453640978055186, c_0101_2 + 6944943052149125370437689561869305413838434474725/4562905933\ 21216861989483485537327087453640978055186*c_1001_3^20 + 49119236385322239481010776173120993015955375420063/2281452966606084\ 30994741742768663543726820489027593*c_1001_3^19 + 555883394025939800888134754359812738462275062885151/456290593321216\ 861989483485537327087453640978055186*c_1001_3^18 + 1343269562241422053211240407698363826035064741049301/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^17 - 1182279651886740423951916617684214661259840860199883/45629059332121\ 6861989483485537327087453640978055186*c_1001_3^16 - 16061749759061852504732301050870571348292091003829145/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^15 - 25224490920396052152086138768862948542121958103160935/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^14 + 27156661346712556854166422730322074359433280355696399/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^13 + 69375156133775046206175572538509038367068553557529981/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^12 - 56615290782805227160601551966656171247551386516995851/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^11 - 108247904042973862271478364562162915227712817410532507/228145296660\ 608430994741742768663543726820489027593*c_1001_3^10 + 242772926105088746355648973337501810987199846280575149/456290593321\ 216861989483485537327087453640978055186*c_1001_3^9 - 165112307405790387394440106191442805731629943794813599/456290593321\ 216861989483485537327087453640978055186*c_1001_3^8 - 57861912732669585819643344214062303885496247908103293/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^7 + 149852228539199109134744094377120796961911957838845622/228145296660\ 608430994741742768663543726820489027593*c_1001_3^6 + 51278366924608452813080651133238756138500642836528562/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^5 - 99825632532097026665949629377822111129889333376132471/4562905933212\ 16861989483485537327087453640978055186*c_1001_3^4 - 73453148638257022490556081869199988828730051489646805/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^3 + 27808205686884190502408572952857504156310997913091809/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^2 + 8924893063568714839508608609811168767944865500561334/22814529666060\ 8430994741742768663543726820489027593*c_1001_3 - 4620908433860955078832496048041263433280021632036605/45629059332121\ 6861989483485537327087453640978055186, c_0101_3 - 377333722025047690804682022908247153374668069332/22814529666\ 0608430994741742768663543726820489027593*c_1001_3^20 - 5144055944946436933489484962553693150501475861109/22814529666060843\ 0994741742768663543726820489027593*c_1001_3^19 - 27341684667567275320467017409836475221828940476885/2281452966606084\ 30994741742768663543726820489027593*c_1001_3^18 - 55674566407992115226217430712847499465789434199950/2281452966606084\ 30994741742768663543726820489027593*c_1001_3^17 + 112583859715451990307481236393434249726371953378431/228145296660608\ 430994741742768663543726820489027593*c_1001_3^16 + 869737997342356621972766722622332431930885743437669/228145296660608\ 430994741742768663543726820489027593*c_1001_3^15 + 918589789251861000827672452778489391373421269463526/228145296660608\ 430994741742768663543726820489027593*c_1001_3^14 - 3942317077489635224772860301475745980965549494503273/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^13 - 6634636431373281798854618904432749635821230898582987/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^12 + 10642573532320209357844342948556373236398460346847991/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^11 + 11401985058258675438691524130408196202640678112625395/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^10 - 19677592112986486713459192446655217224809122545790526/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^9 + 11788363246654971294609955648670560785397007115029350/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^8 + 3836244512335550567468424638029907953192714025191202/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^7 - 21570729909373271039994226753284512696472813309467945/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^6 - 288187307304143082405558505754840240276868952115986/228145296660608\ 430994741742768663543726820489027593*c_1001_3^5 + 11843976438269730837075438074518137662972782510965954/2281452966606\ 08430994741742768663543726820489027593*c_1001_3^4 + 8768707648095357100948609731547830248731989012435356/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^3 - 6833605219942734102440677693007269104896958059627148/22814529666060\ 8430994741742768663543726820489027593*c_1001_3^2 - 1588537123865579522596025503159242299336906200627844/22814529666060\ 8430994741742768663543726820489027593*c_1001_3 + 618481380153938054322094667092144946163203132138353/228145296660608\ 430994741742768663543726820489027593, c_1001_3^21 + 14*c_1001_3^20 + 78*c_1001_3^19 + 182*c_1001_3^18 - 197*c_1001_3^17 - 2284*c_1001_3^16 - 3295*c_1001_3^15 + 8315*c_1001_3^14 + 18758*c_1001_3^13 - 19164*c_1001_3^12 - 28448*c_1001_3^11 + 39563*c_1001_3^10 - 29363*c_1001_3^9 - 13131*c_1001_3^8 + 45508*c_1001_3^7 + 7966*c_1001_3^6 - 16235*c_1001_3^5 - 18436*c_1001_3^4 + 11251*c_1001_3^3 + 1143*c_1001_3^2 - 1130*c_1001_3 + 123 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB