Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 2311591167] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3032 geometric_solution 6.20448482 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 0 0 0 0 0 -1 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 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.179740169857 1.109247098039 0 0 3 2 3201 0132 0132 0132 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 0 0 0 0 0 0 0 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.609067083811 1.128527363939 4 5 1 6 0132 0132 0132 0132 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 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.266257392723 0.763496875982 5 4 6 1 3201 0132 0132 0132 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 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.266257392723 0.763496875982 2 3 4 4 0132 0132 2031 1302 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 0 0.569210464458 0.534741918496 5 2 5 3 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977766512645 0.921738043640 6 6 2 3 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.209052690476 1.174203880812 ==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_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_2, c_0011_6, c_0101_1, c_0101_2, c_0101_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 18917401494620755215194287116676364593703144223290762784/2178990458\ 455282005222625000305811938636352735783031017*c_1100_1^18 + 168861350245966795371112607814022097363145505284065780342/217899045\ 8455282005222625000305811938636352735783031017*c_1100_1^17 - 13315657162285905677561146106122107053906480020339753172/5314610874\ 2811756224942073178190535088691530141049537*c_1100_1^16 - 1013783647301617556350339366093910368437188285210088830608/21789904\ 58455282005222625000305811938636352735783031017*c_1100_1^15 + 13517923118287602808701941967660476862861338099341505544823/2178990\ 458455282005222625000305811938636352735783031017*c_1100_1^14 - 1151587881547241536116265864076878579804668632702388168697/53146108\ 742811756224942073178190535088691530141049537*c_1100_1^13 + 62642864022515442101398425752158820698942231360193750602914/2178990\ 458455282005222625000305811938636352735783031017*c_1100_1^12 + 77607913394974601483534956219460551009492395207296144248855/2178990\ 458455282005222625000305811938636352735783031017*c_1100_1^11 - 476597324759396885677456540664201229338823577955201839739152/217899\ 0458455282005222625000305811938636352735783031017*c_1100_1^10 + 832229763753642411790600765908902637098481112659731396113059/217899\ 0458455282005222625000305811938636352735783031017*c_1100_1^9 - 9054560908928057799954314737982412480615130765848162890114/36932041\ 668733593308858050852640880315870385352254763*c_1100_1^8 - 418725046039773501225251962981392997840729092701251937961761/217899\ 0458455282005222625000305811938636352735783031017*c_1100_1^7 + 1094760979408933472924377835561238968389587063602235859022671/21789\ 90458455282005222625000305811938636352735783031017*c_1100_1^6 - 823022037286192159209866782312296866602566118119412542104046/217899\ 0458455282005222625000305811938636352735783031017*c_1100_1^5 + 89308060725403790151574150921935566703828562519416021877206/2178990\ 458455282005222625000305811938636352735783031017*c_1100_1^4 + 297702649913087929461496446799821575958696117452139276263936/217899\ 0458455282005222625000305811938636352735783031017*c_1100_1^3 - 5847258035483061075715021298602330566860149143113789564510/53146108\ 742811756224942073178190535088691530141049537*c_1100_1^2 + 84739852597189812928514640583632429527245391733945085246518/2178990\ 458455282005222625000305811938636352735783031017*c_1100_1 - 12302840558330875302340747363267378899279160244700759603752/2178990\ 458455282005222625000305811938636352735783031017, c_0011_0 - 1, c_0011_2 + 23276554675383612959495706557928182746748161120596048/681168\ 43599941828400982093791765333705224355532894477*c_1100_1^18 - 234726033591212324095766605613836343886921391946650535/681168435999\ 41828400982093791765333705224355532894477*c_1100_1^17 + 7344956603545538833644111473062360274418357653825391/53635309921214\ 0381110095226706813651222239019944051*c_1100_1^16 + 271834627552342776029892219103625263314936299848963475/681168435999\ 41828400982093791765333705224355532894477*c_1100_1^15 - 17340973346779641994800613153749030048371757450202127766/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^14 + 77905305648956963312644853697846307915874101381213621667/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^13 - 22764875397914541391941561660435287629041941332343529791/9730977657\ 134546914426013398823619100746336504699211*c_1100_1^12 + 55886658368294054081086639978953331486311294213703503262/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^11 + 583105200936393236255128475946255732831311827020131381504/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^10 - 1701501240334263804838599405170058620849437558871743517497/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^9 + 2354843774271586326761173534301993770291938251755830051439/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^8 - 12002683015119393596690092316041685739163290634679938649/5363530992\ 12140381110095226706813651222239019944051*c_1100_1^7 - 409474140739222678651499083781747436562036054102253066735/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^6 + 266660574645399070985094457023920784561315963989984573871/973097765\ 7134546914426013398823619100746336504699211*c_1100_1^5 - 1922078970971458547235903756779691152630843278959507105252/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^4 + 1122384073014419373941329842073648108170184626075117473572/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^3 - 402788592294490318798044842649895752462498052941801754555/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^2 + 83004268618419030002321852704475358570633102709230543182/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1 - 7367427248954059002070310414571621478408621903014755543/68116843599\ 941828400982093791765333705224355532894477, c_0011_6 + 27300337209472710159919198483549174802893347792626256/681168\ 43599941828400982093791765333705224355532894477*c_1100_1^18 - 278722689532830880318159141447795839002796068665973639/681168435999\ 41828400982093791765333705224355532894477*c_1100_1^17 + 1126106372066443970410284269879016946960907293344974633/68116843599\ 941828400982093791765333705224355532894477*c_1100_1^16 + 204417387938318799814238895073662644711355817743738004/681168435999\ 41828400982093791765333705224355532894477*c_1100_1^15 - 20458229232904700742097079661627529386793884070722317854/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^14 + 93828455075305027293698498083426770225572211915743529369/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^13 - 28086709840297809320857203800543898530122955937370621726/9730977657\ 134546914426013398823619100746336504699211*c_1100_1^12 + 82192827879811407590106684805442174042174754371832813168/6811684359\ 9941828400982093791765333705224355532894477*c_1100_1^11 + 687014883885741669587456974568428619783533519424150336517/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^10 - 2078317028116097086266984965219663932330109365681821317861/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^9 + 2953587779559920677751151874170815380314245496260226821500/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^8 - 2002130382454622386162974990462597239700941333225527386676/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^7 - 399601715929702908779100714229862443696969795209973546052/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^6 + 328342805540075290799420412515269717348742456649340497345/973097765\ 7134546914426013398823619100746336504699211*c_1100_1^5 - 2449804730130072092986941910536019013261374270242310823458/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^4 + 1466226108906603627609526742032998108479925105577095966223/68116843\ 599941828400982093791765333705224355532894477*c_1100_1^3 - 539053839021224978991460783837262040569076692891385660563/681168435\ 99941828400982093791765333705224355532894477*c_1100_1^2 + 114313221923224204980790085709148369472817487092338573606/681168435\ 99941828400982093791765333705224355532894477*c_1100_1 - 10535228453868731135799261732782434472696105769719914913/6811684359\ 9941828400982093791765333705224355532894477, c_0101_1 - 520937676197690485958160273548405132673915903392/13907356948\ 88458898731744090156298285085942047263*c_1100_1^18 + 5324263612154923934369761287768199447808896100510/13907356948884588\ 98731744090156298285085942047263*c_1100_1^17 - 21536104285854831215097060044342164885442568742948/1390735694888458\ 898731744090156298285085942047263*c_1100_1^16 - 3757988292806134663366933695017673996395877330265/13907356948884588\ 98731744090156298285085942047263*c_1100_1^15 + 390730345444105823989545387111513793802643342802948/139073569488845\ 8898731744090156298285085942047263*c_1100_1^14 - 1794188293481216154672125132504405023679493389718352/13907356948884\ 58898731744090156298285085942047263*c_1100_1^13 + 3763974452821322992081216466852261538455294924342162/13907356948884\ 58898731744090156298285085942047263*c_1100_1^12 - 1583293246034915657629003774407741569118094128916994/13907356948884\ 58898731744090156298285085942047263*c_1100_1^11 - 13130521322464343173754102463733764354787550412388318/1390735694888\ 458898731744090156298285085942047263*c_1100_1^10 + 39773413364370103017102882070587402161434024358794504/1390735694888\ 458898731744090156298285085942047263*c_1100_1^9 - 56554938423918458893894491474498235442815119046803870/1390735694888\ 458898731744090156298285085942047263*c_1100_1^8 + 38353138452840074938143741559409497669220772898121324/1390735694888\ 458898731744090156298285085942047263*c_1100_1^7 + 7630544919656621741999155411126068702012004784955586/13907356948884\ 58898731744090156298285085942047263*c_1100_1^6 - 43981023762805328483341042390996928174178390547850025/1390735694888\ 458898731744090156298285085942047263*c_1100_1^5 + 46881741208773045166748920786527122195228191776598742/1390735694888\ 458898731744090156298285085942047263*c_1100_1^4 - 28074299032965723392441056745689038839305607007342764/1390735694888\ 458898731744090156298285085942047263*c_1100_1^3 + 10343631434673827797911275346814558189734198441114325/1390735694888\ 458898731744090156298285085942047263*c_1100_1^2 - 2206220587085074369794715191634933743935093575913382/13907356948884\ 58898731744090156298285085942047263*c_1100_1 + 206287650533103429021872893575448587360136060025254/139073569488845\ 8898731744090156298285085942047263, c_0101_2 - 30575503850182110545577425850055440/883392783697336657255685\ 83816127843*c_1100_1^18 + 310891158098332707515014826084805627/8833\ 9278369733665725568583816127843*c_1100_1^17 - 1249609401245816005490263377514032502/88339278369733665725568583816\ 127843*c_1100_1^16 - 268838369660533032584130459838302336/883392783\ 69733665725568583816127843*c_1100_1^15 + 22860204781948287998582052618891735833/8833927836973366572556858381\ 6127843*c_1100_1^14 - 104190046025674892378047865734718985022/88339\ 278369733665725568583816127843*c_1100_1^13 + 216792240255904195869342779646396095476/883392783697336657255685838\ 16127843*c_1100_1^12 - 86565324706020116154768385424900820753/88339\ 278369733665725568583816127843*c_1100_1^11 - 767359314230294059271099900411155983179/883392783697336657255685838\ 16127843*c_1100_1^10 + 2297911432926225158410508060497239079384/883\ 39278369733665725568583816127843*c_1100_1^9 - 3243175829120925279933057904593028894933/88339278369733665725568583\ 816127843*c_1100_1^8 + 2174525575467275406519154633527952074725/883\ 39278369733665725568583816127843*c_1100_1^7 + 467544514053825257697320561540330244049/883392783697336657255685838\ 16127843*c_1100_1^6 - 2533440618532688181345667706791679042654/8833\ 9278369733665725568583816127843*c_1100_1^5 + 2679964074859391557775108855789430264981/88339278369733665725568583\ 816127843*c_1100_1^4 - 1596656531032406253771556106351908158376/883\ 39278369733665725568583816127843*c_1100_1^3 + 584921631639490711655505885879356012862/883392783697336657255685838\ 16127843*c_1100_1^2 - 123814791193714082041836126573695964298/88339\ 278369733665725568583816127843*c_1100_1 + 11465080975856699320639412029866528480/8833927836973366572556858381\ 6127843, c_0101_4 + 1768779358645333283171665524999221351230548056982288/5239757\ 199995525261614007214751179515786488887145729*c_1100_1^18 - 18228836833652384911516811939161913774165488975371451/5239757199995\ 525261614007214751179515786488887145729*c_1100_1^17 + 74570616603102591575514017907384074367352216685996018/5239757199995\ 525261614007214751179515786488887145729*c_1100_1^16 + 7444065509361442534486956999703823285347147523485116/52397571999955\ 25261614007214751179515786488887145729*c_1100_1^15 - 1331206221180016733070522234603233239553729865359236362/52397571999\ 95525261614007214751179515786488887145729*c_1100_1^14 + 6202532866107327132584335148429821034063959109512462043/52397571999\ 95525261614007214751179515786488887145729*c_1100_1^13 - 1889924263320452907770245654569996682233238512596353326/74853674285\ 6503608802001030678739930826641269592247*c_1100_1^12 + 6176273743909420394082208050703688516181796514844189338/52397571999\ 95525261614007214751179515786488887145729*c_1100_1^11 + 44650023555753138152568061012190423434903573545407946478/5239757199\ 995525261614007214751179515786488887145729*c_1100_1^10 - 138830662607155349655287035107735124632020906586148619621/523975719\ 9995525261614007214751179515786488887145729*c_1100_1^9 + 201122424143671565127347636422568433257313528385875578242/523975719\ 9995525261614007214751179515786488887145729*c_1100_1^8 - 140677717462680084304969654906535522102533474469101664381/523975719\ 9995525261614007214751179515786488887145729*c_1100_1^7 - 21709225684412337152859958831962515236999098107425070086/5239757199\ 995525261614007214751179515786488887145729*c_1100_1^6 + 22063254718834457245409539268829111515184470589499198005/7485367428\ 56503608802001030678739930826641269592247*c_1100_1^5 - 168702698120290451735372128147027378920009790235621574273/523975719\ 9995525261614007214751179515786488887145729*c_1100_1^4 + 102675059284565532204473822448911527103601045656890859490/523975719\ 9995525261614007214751179515786488887145729*c_1100_1^3 - 38342196007748625000288247880090637655623162610902366055/5239757199\ 995525261614007214751179515786488887145729*c_1100_1^2 + 8276917900581124207007096016123876016273709986036533628/52397571999\ 95525261614007214751179515786488887145729*c_1100_1 - 779227077438676954551880796405962502079593405555511151/523975719999\ 5525261614007214751179515786488887145729, c_1100_1^19 - 171/16*c_1100_1^18 + 369/8*c_1100_1^17 - 195/16*c_1100_1^16 - 6025/8*c_1100_1^15 + 60721/16*c_1100_1^14 - 141461/16*c_1100_1^13 + 103023/16*c_1100_1^12 + 190033/8*c_1100_1^11 - 352649/4*c_1100_1^10 + 2311403/16*c_1100_1^9 - 1995893/16*c_1100_1^8 + 160313/8*c_1100_1^7 + 182719/2*c_1100_1^6 - 129812*c_1100_1^5 + 770095/8*c_1100_1^4 - 180605/4*c_1100_1^3 + 216179/16*c_1100_1^2 - 18887/8*c_1100_1 + 2911/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB