Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2530675380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s374 geometric_solution 4.59383957 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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.360427484452 0.190215939953 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.469500139645 0.955041773610 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.312747319840 1.438324633499 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.312747319840 1.438324633499 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 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 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.350106098055 0.262261171855 5 4 4 5 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173964127876 1.016779886924 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], '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_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_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_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' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_0'], '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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 16245941760934174907879593937194522508850747/1240571765013935805748\ 08845486748544428365*c_0101_5^17 + 229300595706442103414863854036559862258217491/248114353002787161149\ 617690973497088856730*c_0101_5^16 + 545887241587581053185047662350586671685208417/124057176501393580574\ 808845486748544428365*c_0101_5^15 + 2730065655832059047578614479273165126777170651/12405717650139358057\ 4808845486748544428365*c_0101_5^14 + 10664517667235057734540840477657172898018142013/2481143530027871611\ 49617690973497088856730*c_0101_5^13 + 26265546964222274559482619858866081603557670711/2481143530027871611\ 49617690973497088856730*c_0101_5^12 + 38794132884380415426515212983173946396335996351/2481143530027871611\ 49617690973497088856730*c_0101_5^11 - 2821355003858857928758205824704686137545805813/12405717650139358057\ 4808845486748544428365*c_0101_5^10 + 50556898315108745419331573776226307863963472484/1240571765013935805\ 74808845486748544428365*c_0101_5^9 - 2583330249799993327616090707506515866211032051/21026640084981962809\ 28963482826246515735*c_0101_5^8 - 647759723044670429841358695457662\ 23017063557721/49622870600557432229923538194699417771346*c_0101_5^7 + 70561439311398753662653324442288777788727401505/24811435300278716\ 114961769097349708885673*c_0101_5^6 - 339954285526135678524654596678520479552372995419/248114353002787161\ 149617690973497088856730*c_0101_5^5 - 104835952642862115761101798152635660160000401973/248114353002787161\ 149617690973497088856730*c_0101_5^4 + 28314553363574968565221346545448351592459024183/4962287060055743222\ 9923538194699417771346*c_0101_5^3 - 13450686703909414396620798778752645640718917344/1240571765013935805\ 74808845486748544428365*c_0101_5^2 - 3115317120466216726268364193929524087849595541/24811435300278716114\ 9617690973497088856730*c_0101_5 + 413226473313966992786110724138005\ 042424648686/124057176501393580574808845486748544428365, c_0011_0 - 1, c_0011_1 + 441404644264522122377175628338568479683/14594961941340421244\ 09515829255865228569*c_0101_5^17 - 3020523923171666946588943284613377677294/14594961941340421244095158\ 29255865228569*c_0101_5^16 - 15474539662823713960845840531186080088\ 925/1459496194134042124409515829255865228569*c_0101_5^15 - 77520653013085231333925041052355236783827/1459496194134042124409515\ 829255865228569*c_0101_5^14 - 1616241827421289341003056448180151596\ 93106/1459496194134042124409515829255865228569*c_0101_5^13 - 392150925921848991081288372682775069635122/145949619413404212440951\ 5829255865228569*c_0101_5^12 - 612410560919281886605911227676559115\ 073883/1459496194134042124409515829255865228569*c_0101_5^11 - 57972244776983933940581626277495355229252/1459496194134042124409515\ 829255865228569*c_0101_5^10 - 1391169571144424785768891128459889929\ 068705/1459496194134042124409515829255865228569*c_0101_5^9 + 65149469540608698350830747921503498033889/2473722362939054448151721\ 7445014664891*c_0101_5^8 + 5209822197880378096666517609510293362140\ 084/1459496194134042124409515829255865228569*c_0101_5^7 - 8429885761111981186344102059596310734872500/14594961941340421244095\ 15829255865228569*c_0101_5^6 + 285440299242261353610037335323384740\ 4200898/1459496194134042124409515829255865228569*c_0101_5^5 + 1945845766357760389633155616769732253892526/14594961941340421244095\ 15829255865228569*c_0101_5^4 - 145985817888707857797980246775803662\ 7906230/1459496194134042124409515829255865228569*c_0101_5^3 + 61626544138321320133974670973968050984198/1459496194134042124409515\ 829255865228569*c_0101_5^2 + 39194208767035036553534286649815086265\ 189/1459496194134042124409515829255865228569*c_0101_5 + 400658616428493699816535797647956675980/145949619413404212440951582\ 9255865228569, c_0011_3 + 236463197237763690411483156378515056949/14594961941340421244\ 09515829255865228569*c_0101_5^17 - 1603198891606242907119436597791150842467/14594961941340421244095158\ 29255865228569*c_0101_5^16 - 83906931801242341430903288732791658003\ 50/1459496194134042124409515829255865228569*c_0101_5^15 - 42058007810752302562768370390130188454403/1459496194134042124409515\ 829255865228569*c_0101_5^14 - 8925109700080049336964184180764822362\ 4959/1459496194134042124409515829255865228569*c_0101_5^13 - 215788379206972408265564814155230791631063/145949619413404212440951\ 5829255865228569*c_0101_5^12 - 341975790210775491461780861687518851\ 406476/1459496194134042124409515829255865228569*c_0101_5^11 - 53311866764297657576021676681494531822276/1459496194134042124409515\ 829255865228569*c_0101_5^10 - 7501254595366096114129660523229159825\ 95523/1459496194134042124409515829255865228569*c_0101_5^9 + 34064357756173349837017644450991568018121/2473722362939054448151721\ 7445014664891*c_0101_5^8 + 2915890065662238608563553839600894613842\ 161/1459496194134042124409515829255865228569*c_0101_5^7 - 4334276184288317002485191113758400158531670/14594961941340421244095\ 15829255865228569*c_0101_5^6 + 126643924546354217580290559493679482\ 8933619/1459496194134042124409515829255865228569*c_0101_5^5 + 1132161063498065910823147921915730927799666/14594961941340421244095\ 15829255865228569*c_0101_5^4 - 723314495142357511864906073193578880\ 528584/1459496194134042124409515829255865228569*c_0101_5^3 - 7273002658666873673343352465973773358730/14594961941340421244095158\ 29255865228569*c_0101_5^2 + 226940793067396324750974926755765838040\ 12/1459496194134042124409515829255865228569*c_0101_5 + 763136144695584217335685340073271660579/145949619413404212440951582\ 9255865228569, c_0101_0 - 165062864238999667254208134738597134532/14594961941340421244\ 09515829255865228569*c_0101_5^17 + 1120344797050644951810209260054561267813/14594961941340421244095158\ 29255865228569*c_0101_5^16 + 58552220968495966625024426940005977096\ 43/1459496194134042124409515829255865228569*c_0101_5^15 + 29271946162642543455962916755404092417316/1459496194134042124409515\ 829255865228569*c_0101_5^14 + 6184592820413425239623055440280937127\ 4856/1459496194134042124409515829255865228569*c_0101_5^13 + 148972887590957703361016535305432686616463/145949619413404212440951\ 5829255865228569*c_0101_5^12 + 234937080435401615852441233456069216\ 685120/1459496194134042124409515829255865228569*c_0101_5^11 + 29014984150678249107439807474716378881320/1459496194134042124409515\ 829255865228569*c_0101_5^10 + 5127602888301623774971037777667822696\ 19138/1459496194134042124409515829255865228569*c_0101_5^9 - 23906005190582411199418515773955086218327/2473722362939054448151721\ 7445014664891*c_0101_5^8 - 2046786435180365887545132471979731895517\ 047/1459496194134042124409515829255865228569*c_0101_5^7 + 3091886288034086335674514728773112117586363/14594961941340421244095\ 15829255865228569*c_0101_5^6 - 819764534669803218674536399716115455\ 685509/1459496194134042124409515829255865228569*c_0101_5^5 - 885387274149116702071746599683305740113194/145949619413404212440951\ 5829255865228569*c_0101_5^4 + 5351185597237588235703843983685901373\ 85752/1459496194134042124409515829255865228569*c_0101_5^3 + 30109914414857243696018682715302437938152/1459496194134042124409515\ 829255865228569*c_0101_5^2 - 30108459483642501593313174870330752978\ 590/1459496194134042124409515829255865228569*c_0101_5 - 461353166490625007853810962143965715933/145949619413404212440951582\ 9255865228569, c_0101_1 - 27264801854796103728091039271801283170/145949619413404212440\ 9515829255865228569*c_0101_5^17 + 187007394513183067489144801664319\ 367950/1459496194134042124409515829255865228569*c_0101_5^16 + 954715448923630305638148184279679551703/145949619413404212440951582\ 9255865228569*c_0101_5^15 + 476041559745325302947825540007382893328\ 7/1459496194134042124409515829255865228569*c_0101_5^14 + 9841437797950255902780016303863774240243/14594961941340421244095158\ 29255865228569*c_0101_5^13 + 23736625394360077006558869682225330267\ 702/1459496194134042124409515829255865228569*c_0101_5^12 + 36758214288046567791719458150588691604550/1459496194134042124409515\ 829255865228569*c_0101_5^11 + 1332270094145501664388134662894377494\ 245/1459496194134042124409515829255865228569*c_0101_5^10 + 83300789993948345544060145117747173341485/1459496194134042124409515\ 829255865228569*c_0101_5^9 - 40509381448271511891863597922334687857\ 05/24737223629390544481517217445014664891*c_0101_5^8 - 323728538680625211395570868639182766534728/145949619413404212440951\ 5829255865228569*c_0101_5^7 + 5418564459895412030037455546692639959\ 06407/1459496194134042124409515829255865228569*c_0101_5^6 - 162125167687882752177236812507250684763827/145949619413404212440951\ 5829255865228569*c_0101_5^5 - 1532909661972902712512982063228716051\ 04240/1459496194134042124409515829255865228569*c_0101_5^4 + 101615428378878546518864122002615663565800/145949619413404212440951\ 5829255865228569*c_0101_5^3 + 5150321988360906059236157870760615823\ 614/1459496194134042124409515829255865228569*c_0101_5^2 - 8647847943423979856759181228858485908892/14594961941340421244095158\ 29255865228569*c_0101_5 - 99744223277903789806225779878161365847/14\ 59496194134042124409515829255865228569, c_0101_5^18 - 7*c_0101_5^17 - 34*c_0101_5^16 - 170*c_0101_5^15 - 338*c_0101_5^14 - 828*c_0101_5^13 - 1242*c_0101_5^12 + 101*c_0101_5^11 - 3109*c_0101_5^10 + 9203*c_0101_5^9 + 10489*c_0101_5^8 - 21105*c_0101_5^7 + 9281*c_0101_5^6 + 3734*c_0101_5^5 - 4146*c_0101_5^4 + 602*c_0101_5^3 + 128*c_0101_5^2 - 20*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB