Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2134827933] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0575 geometric_solution 4.59574834 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 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 -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 1.218334782289 0.127383016311 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.258076935104 0.306892356197 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 -1 1 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.661123099366 0.618983947022 2 4 4 5 0132 0321 1302 0132 0 0 0 0 0 1 0 -1 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.681749230260 0.619045241555 3 5 2 3 2031 1023 0132 0321 0 0 0 0 0 1 0 -1 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 1 -1 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.681749230260 0.619045241555 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.777556367782 0.277007490484 6 5 6 5 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632651849925 0.106043635140 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 6162552417428731779791787329911391/40307022761613005972052076354545\ *c_0110_6^22 - 7959941855061745955322341389581853/80614045523226011\ 94410415270909*c_0110_6^21 - 19525668369468019371261643270011836/13\ 435674253871001990684025451515*c_0110_6^20 - 28501058973485448097422641634327896/1343567425387100199068402545151\ 5*c_0110_6^19 - 681079022790207040994780504237580422/40307022761613\ 005972052076354545*c_0110_6^18 - 6536217538279009260063585388071166\ 43/13435674253871001990684025451515*c_0110_6^17 - 1300409213287144044578024397309819769/13435674253871001990684025451\ 515*c_0110_6^16 - 8308620057305758221894326524012078016/40307022761\ 613005972052076354545*c_0110_6^15 - 14007921828405337186638375592861307054/4030702276161300597205207635\ 4545*c_0110_6^14 - 17383812991606422069503085634650302509/403070227\ 61613005972052076354545*c_0110_6^13 - 1112837649174813923863623830148491769/26871348507742003981368050903\ 03*c_0110_6^12 - 3237611836893987151826710289167991554/134356742538\ 71001990684025451515*c_0110_6^11 + 916198363302328727855758104650440541/134356742538710019906840254515\ 15*c_0110_6^10 + 11981880559355592615433281433653331733/40307022761\ 613005972052076354545*c_0110_6^9 + 3005354065402684541008231642119623457/13435674253871001990684025451\ 515*c_0110_6^8 - 271062797863730828889005289070746064/8061404552322\ 601194410415270909*c_0110_6^7 - 51044325202518078089891102086680268\ 63/40307022761613005972052076354545*c_0110_6^6 - 1038365193653249687089532710937460427/40307022761613005972052076354\ 545*c_0110_6^5 + 364608860077140316155498498775122624/1343567425387\ 1001990684025451515*c_0110_6^4 + 2469278943180676785674971322933450\ 18/40307022761613005972052076354545*c_0110_6^3 - 25958044103874314234658707330068699/1343567425387100199068402545151\ 5*c_0110_6^2 - 2543118916487829693370411459019197/80614045523226011\ 94410415270909*c_0110_6 - 3812699420362614968197844824964681/134356\ 74253871001990684025451515, c_0011_0 - 1, c_0011_4 + 2996263797680313094095267814783/2687134850774200398136805090\ 303*c_0110_6^22 + 19610474784122464249280958392750/2687134850774200\ 398136805090303*c_0110_6^21 + 30100797143081517083044421799627/2687\ 134850774200398136805090303*c_0110_6^20 + 43711666213851653245547032946823/2687134850774200398136805090303*c_\ 0110_6^19 + 334403491942617275070207050222192/268713485077420039813\ 6805090303*c_0110_6^18 + 981390780414640163866209829645852/26871348\ 50774200398136805090303*c_0110_6^17 + 1973404871917146566096378872972290/2687134850774200398136805090303*\ c_0110_6^16 + 4189594534665965434751000498792141/268713485077420039\ 8136805090303*c_0110_6^15 + 7132030644882627855572767667126320/2687\ 134850774200398136805090303*c_0110_6^14 + 8978147935225028321116180870418669/2687134850774200398136805090303*\ c_0110_6^13 + 8747096949396061241690506671785902/268713485077420039\ 8136805090303*c_0110_6^12 + 5299127145984530791287410301115261/2687\ 134850774200398136805090303*c_0110_6^11 - 1056613101595744646766554328369431/2687134850774200398136805090303*\ c_0110_6^10 - 6031561210210327661836347884294010/268713485077420039\ 8136805090303*c_0110_6^9 - 4910795375353419409102644451524367/26871\ 34850774200398136805090303*c_0110_6^8 + 300288084481526490995125285159045/2687134850774200398136805090303*c\ _0110_6^7 + 2536529334040748717505910277607803/26871348507742003981\ 36805090303*c_0110_6^6 + 682425956277518602686871736845698/26871348\ 50774200398136805090303*c_0110_6^5 - 507448170519411310729227481435185/2687134850774200398136805090303*c\ _0110_6^4 - 151309049805233323844390965561151/268713485077420039813\ 6805090303*c_0110_6^3 + 39500908891138038497673529975949/2687134850\ 774200398136805090303*c_0110_6^2 + 8543025256680334395994925578590/2687134850774200398136805090303*c_0\ 110_6 + 2979555365579903682827148352796/268713485077420039813680509\ 0303, c_0101_0 - 15213007662501689588073720161489/268713485077420039813680509\ 0303*c_0110_6^22 - 97164742941762522820748654302173/268713485077420\ 0398136805090303*c_0110_6^21 - 138270626947231368312516922320199/26\ 87134850774200398136805090303*c_0110_6^20 - 204671266541117846177454024764432/2687134850774200398136805090303*c\ _0110_6^19 - 1670094675962736475632077355911907/2687134850774200398\ 136805090303*c_0110_6^18 - 4727807945173407563579891161976987/26871\ 34850774200398136805090303*c_0110_6^17 - 9355858016802500476262195779982003/2687134850774200398136805090303*\ c_0110_6^16 - 19992115125324156320793995955296271/26871348507742003\ 98136805090303*c_0110_6^15 - 33437203446683083600601330669399750/26\ 87134850774200398136805090303*c_0110_6^14 - 41160841319198005380990310060276001/2687134850774200398136805090303\ *c_0110_6^13 - 39240015310463822550136382741094892/2687134850774200\ 398136805090303*c_0110_6^12 - 22290390612644135337135187028249865/2\ 687134850774200398136805090303*c_0110_6^11 + 7361384320200731601706593387489236/2687134850774200398136805090303*\ c_0110_6^10 + 28591523864704996208685693849944215/26871348507742003\ 98136805090303*c_0110_6^9 + 20567137868296707778249570321784642/268\ 7134850774200398136805090303*c_0110_6^8 - 4073793011513409411654882460408054/2687134850774200398136805090303*\ c_0110_6^7 - 12002928595841666421369828717394390/268713485077420039\ 8136805090303*c_0110_6^6 - 1978554420333811469738090130595234/26871\ 34850774200398136805090303*c_0110_6^5 + 2641636877709159162043373037456121/2687134850774200398136805090303*\ c_0110_6^4 + 500722099530861175504085129285353/26871348507742003981\ 36805090303*c_0110_6^3 - 195874382281898041709879587674984/26871348\ 50774200398136805090303*c_0110_6^2 - 34485222562076448896203529411250/2687134850774200398136805090303*c_\ 0110_6 - 22401462040359167692164766253727/2687134850774200398136805\ 090303, c_0101_1 + 9334806266505773725844779750562/2687134850774200398136805090\ 303*c_0110_6^22 + 59784447276569901610361935883251/2687134850774200\ 398136805090303*c_0110_6^21 + 85536916226187352750546718911945/2687\ 134850774200398136805090303*c_0110_6^20 + 124988933661258287677597121043858/2687134850774200398136805090303*c\ _0110_6^19 + 1024572653832434476441593487597889/2687134850774200398\ 136805090303*c_0110_6^18 + 2914376852138329234905137731259626/26871\ 34850774200398136805090303*c_0110_6^17 + 5753905936240093367229282420136180/2687134850774200398136805090303*\ c_0110_6^16 + 12273470541596355023487271310709998/26871348507742003\ 98136805090303*c_0110_6^15 + 20541740890027649558374245955008297/26\ 87134850774200398136805090303*c_0110_6^14 + 25195470067892106089082083561239081/2687134850774200398136805090303\ *c_0110_6^13 + 23845916080721054466773525588418014/2687134850774200\ 398136805090303*c_0110_6^12 + 13252394140322119818034330522921508/2\ 687134850774200398136805090303*c_0110_6^11 - 5131722819289192171822152199467063/2687134850774200398136805090303*\ c_0110_6^10 - 18177285015214350286978935103518913/26871348507742003\ 98136805090303*c_0110_6^9 - 12942832473323955210089716860624608/268\ 7134850774200398136805090303*c_0110_6^8 + 2652622942419458268427813191741651/2687134850774200398136805090303*\ c_0110_6^7 + 7691452425194711325459303558985537/2687134850774200398\ 136805090303*c_0110_6^6 + 1317442365622559152114492925193224/268713\ 4850774200398136805090303*c_0110_6^5 - 1684062606895879034485378434504603/2687134850774200398136805090303*\ c_0110_6^4 - 325367217786603138131513368630154/26871348507742003981\ 36805090303*c_0110_6^3 + 123016943622886342514270692353747/26871348\ 50774200398136805090303*c_0110_6^2 + 19010838256412886497965005962461/2687134850774200398136805090303*c_\ 0110_6 + 14306845038464976559873503507734/2687134850774200398136805\ 090303, c_0101_2 - 2796309980074973762554589708563/2687134850774200398136805090\ 303*c_0110_6^22 - 17982627401357717106723846523105/2687134850774200\ 398136805090303*c_0110_6^21 - 26066087888370346618012806989231/2687\ 134850774200398136805090303*c_0110_6^20 - 37998100063104537868850190459758/2687134850774200398136805090303*c_\ 0110_6^19 - 308042166290143341859282800436625/268713485077420039813\ 6805090303*c_0110_6^18 - 881134608994114452449478476148148/26871348\ 50774200398136805090303*c_0110_6^17 - 1744162619661144516343289933948536/2687134850774200398136805090303*\ c_0110_6^16 - 3720188822687908070766547376357089/268713485077420039\ 8136805090303*c_0110_6^15 - 6249879937215158855920488195012207/2687\ 134850774200398136805090303*c_0110_6^14 - 7704654606478084282605909688448619/2687134850774200398136805090303*\ c_0110_6^13 - 7352536183423667197230680223867050/268713485077420039\ 8136805090303*c_0110_6^12 - 4194207315185920713086478257324850/2687\ 134850774200398136805090303*c_0110_6^11 + 1374681878480428135944317521749003/2687134850774200398136805090303*\ c_0110_6^10 + 5405125394951375197282813852125432/268713485077420039\ 8136805090303*c_0110_6^9 + 3949785551643147174192955261315829/26871\ 34850774200398136805090303*c_0110_6^8 - 706836335072325495576330132518171/2687134850774200398136805090303*c\ _0110_6^7 - 2272982745180841693214051428817266/26871348507742003981\ 36805090303*c_0110_6^6 - 403312083265447639721306114055730/26871348\ 50774200398136805090303*c_0110_6^5 + 491882587904123072098788218531527/2687134850774200398136805090303*c\ _0110_6^4 + 90718631448703651937633794243466/2687134850774200398136\ 805090303*c_0110_6^3 - 29404357339023335565296902128220/26871348507\ 74200398136805090303*c_0110_6^2 - 930757314575318293230307277781/26\ 87134850774200398136805090303*c_0110_6 - 4572624649454544418415636967393/2687134850774200398136805090303, c_0110_5 + 1163417982034388077845238204511/2687134850774200398136805090\ 303*c_0110_6^22 + 7222784843997805997636947922907/26871348507742003\ 98136805090303*c_0110_6^21 + 9182636687363125077231440723658/268713\ 4850774200398136805090303*c_0110_6^20 + 13442070032912554656337709435137/2687134850774200398136805090303*c_\ 0110_6^19 + 124835609456044252490877154556555/268713485077420039813\ 6805090303*c_0110_6^18 + 338331313794979763233580364430321/26871348\ 50774200398136805090303*c_0110_6^17 + 644849031157761644516913169167375/2687134850774200398136805090303*c\ _0110_6^16 + 1390351299977934375822677922602411/2687134850774200398\ 136805090303*c_0110_6^15 + 2265580946319729771035088503894019/26871\ 34850774200398136805090303*c_0110_6^14 + 2647613058449358481634014467146572/2687134850774200398136805090303*\ c_0110_6^13 + 2390983922609784465549615265387943/268713485077420039\ 8136805090303*c_0110_6^12 + 1138213734678538553827348339233088/2687\ 134850774200398136805090303*c_0110_6^11 - 860310338784962755786432894719464/2687134850774200398136805090303*c\ _0110_6^10 - 2004364788148976184181610606115866/2687134850774200398\ 136805090303*c_0110_6^9 - 1038159834055991780437452945932468/268713\ 4850774200398136805090303*c_0110_6^8 + 725458315739388665748084797239522/2687134850774200398136805090303*c\ _0110_6^7 + 905718481829007865172144923899659/268713485077420039813\ 6805090303*c_0110_6^6 - 35336916688527204516721709055687/2687134850\ 774200398136805090303*c_0110_6^5 - 243613507861681331416221462160462/2687134850774200398136805090303*c\ _0110_6^4 - 5876864713731184437773768991311/26871348507742003981368\ 05090303*c_0110_6^3 + 11013932221101980916622661997031/268713485077\ 4200398136805090303*c_0110_6^2 + 1084102936130219894830841881047/26\ 87134850774200398136805090303*c_0110_6 + 4589333081554953829683756429380/2687134850774200398136805090303, c_0110_6^23 + 7*c_0110_6^22 + 13*c_0110_6^21 + 19*c_0110_6^20 + 118*c_0110_6^19 + 378*c_0110_6^18 + 805*c_0110_6^17 + 1690*c_0110_6^16 + 3001*c_0110_6^15 + 4047*c_0110_6^14 + 4228*c_0110_6^13 + 3032*c_0110_6^12 + 396*c_0110_6^11 - 2194*c_0110_6^10 - 2517*c_0110_6^9 - 567*c_0110_6^8 + 953*c_0110_6^7 + 618*c_0110_6^6 - 88*c_0110_6^5 - 137*c_0110_6^4 - 9*c_0110_6^3 + 9*c_0110_6^2 + 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB