Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 2968595549] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0695 geometric_solution 4.65392345 oriented_manifold CS_known 0.0000000000000001 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.494755198567 0.082487196429 2 0 2 0 0132 2310 1023 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 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.538706366688 0.245380489694 1 3 1 4 0132 0132 1023 0132 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 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.816149978937 2.967042865361 5 2 5 4 0132 0132 1023 3120 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 -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.661215796139 0.978954374491 3 6 2 6 3120 0132 0132 1023 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 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.661215796139 0.978954374491 3 6 3 6 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615809602583 0.226505437253 5 4 5 4 3201 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615809602583 0.226505437253 ==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' : 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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_4']), '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), '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_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_3, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 840046627363481064841453677910833215346773177291513/165575614568282\ 58982006889981224215877965825423120*c_0110_6^23 + 150508256547993321428835070493693222407671881022266/103484759105176\ 6186375430623826513492372864088945*c_0110_6^22 - 4146528958898199680722350151634296694618896221104213/20696951821035\ 32372750861247653026984745728177890*c_0110_6^21 + 2090841620661672981719708107348392523449942110119061/11038374304552\ 17265467125998748281058531055028208*c_0110_6^20 - 45873222404618097772718672428052709636558240876607119/5519187152276\ 086327335629993741405292655275141040*c_0110_6^19 - 73331283449852563372618723278271753910940513697527403/5519187152276\ 086327335629993741405292655275141040*c_0110_6^18 - 971291257587272129520639304773990092328907656716032811/165575614568\ 28258982006889981224215877965825423120*c_0110_6^17 - 1165756841030494366466596374013109910648885466703104127/16557561456\ 828258982006889981224215877965825423120*c_0110_6^16 - 51738866203516004068134587040802436813867075590757/1379796788069021\ 581833907498435351323163818785260*c_0110_6^15 + 108724664959446189077852003331738541980995819251972051/275959357613\ 8043163667814996870702646327637570520*c_0110_6^14 + 4757747121799984122543159875357209930855191734155084309/16557561456\ 828258982006889981224215877965825423120*c_0110_6^13 + 244007918017347006504667451351137088160448257274392069/110383743045\ 5217265467125998748281058531055028208*c_0110_6^12 + 5370541314931344227098973530571748014647003286966224237/16557561456\ 828258982006889981224215877965825423120*c_0110_6^11 - 114510831553720277048761717422623731473930142002683899/827878072841\ 412949100344499061210793898291271156*c_0110_6^10 - 1926572537206771763969221496899252492823280836093782435/33115122913\ 65651796401377996244843175593165084624*c_0110_6^9 - 350796053338851684528980893438172486292393392946747589/165575614568\ 2825898200688998122421587796582542312*c_0110_6^8 + 865744146472539514629591958948670744232850152568479473/827878072841\ 4129491003444990612107938982912711560*c_0110_6^7 + 2312458173766421637782939259083480573926259177215128253/16557561456\ 828258982006889981224215877965825423120*c_0110_6^6 + 184639185684581541052931947912777091685482195719327777/413939036420\ 7064745501722495306053969491456355780*c_0110_6^5 - 7684565525124333185634956651651524902526371218152137/68989839403451\ 0790916953749217675661581909392630*c_0110_6^4 - 90054734896721669559759688506107026294587384586580647/1655756145682\ 8258982006889981224215877965825423120*c_0110_6^3 - 15329575804799190742528454685365529877828817811337117/1655756145682\ 8258982006889981224215877965825423120*c_0110_6^2 - 12179987150011765110517893801577791856106709585365561/1655756145682\ 8258982006889981224215877965825423120*c_0110_6 - 2081736705537238162866769701239604473200352215490957/16557561456828\ 258982006889981224215877965825423120, c_0011_0 - 1, c_0011_1 + 13533498825049911672446911803489982319205790393/344949197017\ 255395458476874608837830790954696315*c_0110_6^23 - 38223217155546825360998114213011849056845230229/3449491970172553954\ 58476874608837830790954696315*c_0110_6^22 + 528466869645214971903137863578065333240006373797/344949197017255395\ 458476874608837830790954696315*c_0110_6^21 - 465589338522695161124665514600389085623604752566/344949197017255395\ 458476874608837830790954696315*c_0110_6^20 + 2009518022846507082477546232320319218834290867626/34494919701725539\ 5458476874608837830790954696315*c_0110_6^19 + 3993971182474386375000155557159850382222407003016/34494919701725539\ 5458476874608837830790954696315*c_0110_6^18 + 14808888549763558750554540941557313400320012870749/3449491970172553\ 95458476874608837830790954696315*c_0110_6^17 + 19263741726646039604471186774174191778464441055199/3449491970172553\ 95458476874608837830790954696315*c_0110_6^16 - 3480589029469460404522467273504716067227029708911/34494919701725539\ 5458476874608837830790954696315*c_0110_6^15 - 2264539522673874182699862826384158375830110270289/68989839403451079\ 091695374921767566158190939263*c_0110_6^14 - 73183577503304633554263998651325929066471369397502/3449491970172553\ 95458476874608837830790954696315*c_0110_6^13 - 60181071932093867412661413280831100747295939601124/3449491970172553\ 95458476874608837830790954696315*c_0110_6^12 - 66468318525945679368916369083639614139691025694846/3449491970172553\ 95458476874608837830790954696315*c_0110_6^11 + 26728916548782185105440558121636147570286864431583/3449491970172553\ 95458476874608837830790954696315*c_0110_6^10 + 177274334235873947519784915544713329665448671989563/344949197017255\ 395458476874608837830790954696315*c_0110_6^9 + 21415847062684299441213514250699752036581507133123/3449491970172553\ 95458476874608837830790954696315*c_0110_6^8 - 49520281494018212810270805203943486477393598656543/3449491970172553\ 95458476874608837830790954696315*c_0110_6^7 - 21785608780160675692590267895513031188338780670334/3449491970172553\ 95458476874608837830790954696315*c_0110_6^6 - 3711017364720602651521949944327268755604883146356/34494919701725539\ 5458476874608837830790954696315*c_0110_6^5 + 10594606244971695757557466749345861185679389354808/3449491970172553\ 95458476874608837830790954696315*c_0110_6^4 - 1539179380993580190526383400561601494655319673641/34494919701725539\ 5458476874608837830790954696315*c_0110_6^3 - 288507083066913567171546546965635752564543987803/344949197017255395\ 458476874608837830790954696315*c_0110_6^2 - 66472491628609758513018984519943121041257890181/3449491970172553954\ 58476874608837830790954696315*c_0110_6 - 245224698152989306309589841598101095565931885151/344949197017255395\ 458476874608837830790954696315, c_0011_4 - 15673162452016015741856250663191590601797756846/689898394034\ 51079091695374921767566158190939263*c_0110_6^23 + 262016585334545398570370943494774672404477442658/344949197017255395\ 458476874608837830790954696315*c_0110_6^22 - 3220048049902025408337602717391823777451511127448/34494919701725539\ 5458476874608837830790954696315*c_0110_6^21 + 4461707269437254259007419977575121711373401973446/34494919701725539\ 5458476874608837830790954696315*c_0110_6^20 - 14984673744353640055904825751583492732962931630459/3449491970172553\ 95458476874608837830790954696315*c_0110_6^19 - 13399277498755740186920169597231860358174451851717/3449491970172553\ 95458476874608837830790954696315*c_0110_6^18 - 84274384004292109531897188538364206427975753439993/3449491970172553\ 95458476874608837830790954696315*c_0110_6^17 - 68904984819364169802160228997068843473902123594732/3449491970172553\ 95458476874608837830790954696315*c_0110_6^16 + 6375693852375086454060710144600622663533374588917/68989839403451079\ 091695374921767566158190939263*c_0110_6^15 + 43501192888507339124139437047061629466344373196974/3449491970172553\ 95458476874608837830790954696315*c_0110_6^14 + 421304060309943066742118786619024949758436879097178/344949197017255\ 395458476874608837830790954696315*c_0110_6^13 + 140080891461022337953366867585281672045742213372864/344949197017255\ 395458476874608837830790954696315*c_0110_6^12 + 437390209266676715174725308006859924725643484871934/344949197017255\ 395458476874608837830790954696315*c_0110_6^11 - 413676039551000824860279913910048428362288693561738/344949197017255\ 395458476874608837830790954696315*c_0110_6^10 - 692013000484501121067694783210265911505044483668688/344949197017255\ 395458476874608837830790954696315*c_0110_6^9 + 12088402425168124371087627871126522505591167103272/3449491970172553\ 95458476874608837830790954696315*c_0110_6^8 + 149750617440468827704555774840300589961414017855857/344949197017255\ 395458476874608837830790954696315*c_0110_6^7 + 133689606098758472143871807159845036020786505194981/344949197017255\ 395458476874608837830790954696315*c_0110_6^6 - 1367487150644427835399137386514886635355007353287/34494919701725539\ 5458476874608837830790954696315*c_0110_6^5 - 3841041905611428656323036829779830019791324983113/68989839403451079\ 091695374921767566158190939263*c_0110_6^4 + 1989734717770607324432084644220021142358612852353/34494919701725539\ 5458476874608837830790954696315*c_0110_6^3 - 210350830155209672086698157899338671820139859996/689898394034510790\ 91695374921767566158190939263*c_0110_6^2 + 106686641358789715078262608431897070936168082087/344949197017255395\ 458476874608837830790954696315*c_0110_6 - 51606556974849470706965721282831781177325537787/3449491970172553954\ 58476874608837830790954696315, c_0101_0 + 26031868855853172899611714898396738956174097184/344949197017\ 255395458476874608837830790954696315*c_0110_6^23 - 32949793176141886892264272704894745806635780213/6898983940345107909\ 1695374921767566158190939263*c_0110_6^22 + 1330778007244550793539051751704601355267574185904/34494919701725539\ 5458476874608837830790954696315*c_0110_6^21 - 4681118710830362756963986873622871204276140824159/34494919701725539\ 5458476874608837830790954696315*c_0110_6^20 + 9462775335072263281682865281201925717441185949342/34494919701725539\ 5458476874608837830790954696315*c_0110_6^19 - 2110309645529763612699142482121654089532489133321/68989839403451079\ 091695374921767566158190939263*c_0110_6^18 + 3026108047750327856011420276316170057197649943070/68989839403451079\ 091695374921767566158190939263*c_0110_6^17 - 60865920782546644568866107644595876532375060202951/3449491970172553\ 95458476874608837830790954696315*c_0110_6^16 - 77338757489527757524288159367118513381679864620358/3449491970172553\ 95458476874608837830790954696315*c_0110_6^15 + 17033153820474669697716094365229490393598496639681/3449491970172553\ 95458476874608837830790954696315*c_0110_6^14 - 96156392046685577261897320672595439341406074530539/3449491970172553\ 95458476874608837830790954696315*c_0110_6^13 + 373343058040297675652024400338198485850834437393934/344949197017255\ 395458476874608837830790954696315*c_0110_6^12 - 12269783619908288755532921579877578789429727495887/3449491970172553\ 95458476874608837830790954696315*c_0110_6^11 + 576568805196159260931789856842510345429213141053622/344949197017255\ 395458476874608837830790954696315*c_0110_6^10 - 196534066886430801830156901032190639173263670042238/344949197017255\ 395458476874608837830790954696315*c_0110_6^9 - 679844964082924645643330805005582221783818360979323/344949197017255\ 395458476874608837830790954696315*c_0110_6^8 - 51186152045786886158770167795128263005627974204996/3449491970172553\ 95458476874608837830790954696315*c_0110_6^7 + 99145630505213466147950882504159677732739933179592/3449491970172553\ 95458476874608837830790954696315*c_0110_6^6 + 144135908629176863077712246455588405978688079941484/344949197017255\ 395458476874608837830790954696315*c_0110_6^5 + 10354707418579241766489453337827801153143926714849/3449491970172553\ 95458476874608837830790954696315*c_0110_6^4 - 15397224421625663777830723314404901646302934814671/3449491970172553\ 95458476874608837830790954696315*c_0110_6^3 - 244364290652360338841593281298578723553865700904/344949197017255395\ 458476874608837830790954696315*c_0110_6^2 - 393306770324068422841610104313545759743671756942/689898394034510790\ 91695374921767566158190939263*c_0110_6 - 142387582424916484628774519066528291230832732556/344949197017255395\ 458476874608837830790954696315, c_0101_3 - c_0110_6, c_0101_5 + 25516028471900452483184147340731442131563714544/344949197017\ 255395458476874608837830790954696315*c_0110_6^23 - 82505636279703357226390305442868199277996673391/3449491970172553954\ 58476874608837830790954696315*c_0110_6^22 + 208027006605448489245852742739119665547416039824/689898394034510790\ 91695374921767566158190939263*c_0110_6^21 - 1341269435565131698028058660379439822192218285766/34494919701725539\ 5458476874608837830790954696315*c_0110_6^20 + 952788443787023448757599141995815730962009467493/689898394034510790\ 91695374921767566158190939263*c_0110_6^19 + 4826937936138954269123071262771861441261390635474/34494919701725539\ 5458476874608837830790954696315*c_0110_6^18 + 28132215051207159512708829217941896831698098618071/3449491970172553\ 95458476874608837830790954696315*c_0110_6^17 + 25599882632206531840096683002152335456181944700933/3449491970172553\ 95458476874608837830790954696315*c_0110_6^16 - 6873394343966913980783538201656525193343552741248/34494919701725539\ 5458476874608837830790954696315*c_0110_6^15 - 14690740595069837852224491806829066767784336632157/3449491970172553\ 95458476874608837830790954696315*c_0110_6^14 - 27930908587275810625140801986275233747810503934267/6898983940345107\ 9091695374921767566158190939263*c_0110_6^13 - 61138429302306104181355614067563510243256035734709/3449491970172553\ 95458476874608837830790954696315*c_0110_6^12 - 30567136590884535432289693470348748882718892660200/6898983940345107\ 9091695374921767566158190939263*c_0110_6^11 + 118686684009309649421446769420312879739522786527563/344949197017255\ 395458476874608837830790954696315*c_0110_6^10 + 235780182656942324148802631825041870621184715343413/344949197017255\ 395458476874608837830790954696315*c_0110_6^9 + 27473026413116120060635757951949352252725802121453/3449491970172553\ 95458476874608837830790954696315*c_0110_6^8 - 8004874567394583698217681593620881783099866399088/68989839403451079\ 091695374921767566158190939263*c_0110_6^7 - 10774522335183677322412613755678817619540726232714/6898983940345107\ 9091695374921767566158190939263*c_0110_6^6 - 6331431998504416095312116322758548977556483222342/34494919701725539\ 5458476874608837830790954696315*c_0110_6^5 + 6839896765869079924047294201909068482883434620534/34494919701725539\ 5458476874608837830790954696315*c_0110_6^4 - 27393752577539670114516428740237892863789406692/3449491970172553954\ 58476874608837830790954696315*c_0110_6^3 + 349376852171971278645272954666899634295501428971/344949197017255395\ 458476874608837830790954696315*c_0110_6^2 - 538443818787121254005465994550043757648823562079/344949197017255395\ 458476874608837830790954696315*c_0110_6 + 26291284534109845186683636627267477990898520098/3449491970172553954\ 58476874608837830790954696315, c_0110_6^24 - 3*c_0110_6^23 + 40*c_0110_6^22 - 43*c_0110_6^21 + 174*c_0110_6^20 + 234*c_0110_6^19 + 1144*c_0110_6^18 + 1262*c_0110_6^17 - 41*c_0110_6^16 - 630*c_0110_6^15 - 5591*c_0110_6^14 - 3692*c_0110_6^13 - 6524*c_0110_6^12 + 3179*c_0110_6^11 + 10355*c_0110_6^10 + 3165*c_0110_6^9 - 1272*c_0110_6^8 - 2239*c_0110_6^7 - 805*c_0110_6^6 + 52*c_0110_6^5 + 23*c_0110_6^4 + 40*c_0110_6^3 + 18*c_0110_6^2 + 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB