Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2934911598] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0413 geometric_solution 4.47456343 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 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 0.574328363449 0.352584025432 3 2 2 0 0132 3012 2031 0132 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 0 1 -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.735429069936 0.776328555825 1 3 0 1 1230 3201 0132 1302 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 0 0 0 0 0 0 0 0 0 1 -1 -1 0 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.735429069936 0.776328555825 1 4 2 4 0132 0132 2310 1023 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 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 1.737679077178 1.067512967256 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.674406970748 0.330297789021 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721004274349 0.092615111544 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649302228334 0.036591042779 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), '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_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1003074972708931276556942099/113511508999350832196794*c_0110_6^17 - 2183192550340665697983891106/56755754499675416098397*c_0110_6^16 - 16281484380594432304768599586/56755754499675416098397*c_0110_6^15 + 77968165659725874710009309996/56755754499675416098397*c_0110_6^14 + 95408194786656045053460398217/113511508999350832196794*c_0110_6^13 - 536912942333613493854994605865/56755754499675416098397*c_0110_6^12 + 543117498040592987857969416785/56755754499675416098397*c_0110_6^11 + 26034551491354108890199277599/3338573794098553888141*c_0110_6^10 - 1056302502434641854414786122595/56755754499675416098397*c_0110_6^9 - 566174452073707159559381119619/113511508999350832196794*c_0110_6^8 + 1311668674822547502372580166655/113511508999350832196794*c_0110_6^7 + 1052705797497062481020339958227/113511508999350832196794*c_0110_6\ ^6 - 67757765434702999980383057261/56755754499675416098397*c_0110_6\ ^5 - 214743556376440112852203359851/56755754499675416098397*c_0110_\ 6^4 - 8479196183512490928054890825/10319228090850075654254*c_0110_6\ ^3 + 47871632194316069376981105105/113511508999350832196794*c_0110_\ 6^2 + 23230783158107067708268191995/113511508999350832196794*c_0110\ _6 + 2848691278895780240283593987/113511508999350832196794, c_0011_0 - 1, c_0011_1 + 710668218021785122282906/3338573794098553888141*c_0110_6^17 - 3084693078328898977841638/3338573794098553888141*c_0110_6^16 - 23112076334283154026406075/3338573794098553888141*c_0110_6^15 + 110206408163473009007850704/3338573794098553888141*c_0110_6^14 + 69064929444434354326105373/3338573794098553888141*c_0110_6^13 - 760458589416588256931551008/3338573794098553888141*c_0110_6^12 + 759996340803016590825789893/3338573794098553888141*c_0110_6^11 + 640023111208277643308958464/3338573794098553888141*c_0110_6^10 - 1493363746797068435647349307/3338573794098553888141*c_0110_6^9 - 420996146432807621422877934/3338573794098553888141*c_0110_6^8 + 931185162120787890848394674/3338573794098553888141*c_0110_6^7 + 756818216605956806998510192/3338573794098553888141*c_0110_6^6 - 90580977850114373625303459/3338573794098553888141*c_0110_6^5 - 307390073187732317600126263/3338573794098553888141*c_0110_6^4 - 6253071574895834135051425/303506708554413989831*c_0110_6^3 + 34060344841913936347809105/3338573794098553888141*c_0110_6^2 + 16837370926723679742469701/3338573794098553888141*c_0110_6 + 2087816546083174724276645/3338573794098553888141, c_0101_1 - 832165348009902573420026/3338573794098553888141*c_0110_6^17 + 3613835160219790396462756/3338573794098553888141*c_0110_6^16 + 27055251690959440440002419/3338573794098553888141*c_0110_6^15 - 129103570389083589837911898/3338573794098553888141*c_0110_6^14 - 80584095531652925773326090/3338573794098553888141*c_0110_6^13 + 890578964433742294561339622/3338573794098553888141*c_0110_6^12 - 891863482109949327020759135/3338573794098553888141*c_0110_6^11 - 747116638411817036406791008/3338573794098553888141*c_0110_6^10 + 1749826706210607331258912134/3338573794098553888141*c_0110_6^9 + 488890414368414687843518554/3338573794098553888141*c_0110_6^8 - 1090558410353080747266371948/3338573794098553888141*c_0110_6^7 - 883701348860715746231717733/3338573794098553888141*c_0110_6^6 + 107400257830183455992498695/3338573794098553888141*c_0110_6^5 + 359341326278182023705823933/3338573794098553888141*c_0110_6^4 + 7260505162730046930304212/303506708554413989831*c_0110_6^3 - 39885616605774401261094254/3338573794098553888141*c_0110_6^2 - 19614929501360701905961585/3338573794098553888141*c_0110_6 - 2423825404904222943325573/3338573794098553888141, c_0101_2 + 501028450186636457909447/3338573794098553888141*c_0110_6^17 - 2171702750430774522848118/3338573794098553888141*c_0110_6^16 - 16308544169368287437509980/3338573794098553888141*c_0110_6^15 + 77603086177681621270105690/3338573794098553888141*c_0110_6^14 + 49196515987995560778011174/3338573794098553888141*c_0110_6^13 - 536020350790863818832217481/3338573794098553888141*c_0110_6^12 + 532518055658567464120282116/3338573794098553888141*c_0110_6^11 + 455667290099703013530962105/3338573794098553888141*c_0110_6^10 - 1051740212209825687823257827/3338573794098553888141*c_0110_6^9 - 303551825849595362943776786/3338573794098553888141*c_0110_6^8 + 657139422718500288757724026/3338573794098553888141*c_0110_6^7 + 537278979212102102555904527/3338573794098553888141*c_0110_6^6 - 61965111943192088345266964/3338573794098553888141*c_0110_6^5 - 217782222706849304059596115/3338573794098553888141*c_0110_6^4 - 4491037706365285939918259/303506708554413989831*c_0110_6^3 + 24045643827168500388229212/3338573794098553888141*c_0110_6^2 + 12004631096279384757792811/3338573794098553888141*c_0110_6 + 1496181425153767507575716/3338573794098553888141, c_0101_4 + 544982980051487028573713/3338573794098553888141*c_0110_6^17 - 2363406163805794645085092/3338573794098553888141*c_0110_6^16 - 17733741463256447181155798/3338573794098553888141*c_0110_6^15 + 84447680417703715476480353/3338573794098553888141*c_0110_6^14 + 53317048772915919534214583/3338573794098553888141*c_0110_6^13 - 583093133882355991908095608/3338573794098553888141*c_0110_6^12 + 580509431492260519700036705/3338573794098553888141*c_0110_6^11 + 493951840372104755668416560/3338573794098553888141*c_0110_6^10 - 1144463358419900506479274798/3338573794098553888141*c_0110_6^9 - 327613734678501794440105865/3338573794098553888141*c_0110_6^8 + 714641123565179752530910617/3338573794098553888141*c_0110_6^7 + 582986073544216564303387996/3338573794098553888141*c_0110_6^6 - 68200092596112917175696463/3338573794098553888141*c_0110_6^5 - 236488298619562453824429365/3338573794098553888141*c_0110_6^4 - 4853438176607056673133010/303506708554413989831*c_0110_6^3 + 26155074067413458740811991/3338573794098553888141*c_0110_6^2 + 13000016573328670974825409/3338573794098553888141*c_0110_6 + 1616969129203844556971176/3338573794098553888141, c_0101_5 - 20543991485988160766/223002724874661271*c_0110_6^17 + 89437578129347744064/223002724874661271*c_0110_6^16 + 666881050114012040343/223002724874661271*c_0110_6^15 - 3194049554079527883786/223002724874661271*c_0110_6^14 - 1952557164952616931083/223002724874661271*c_0110_6^13 + 21994091671487564013453/223002724874661271*c_0110_6^12 - 22257980664859993889089/223002724874661271*c_0110_6^11 - 18119308690102563447294/223002724874661271*c_0110_6^10 + 43280531216649231274510/223002724874661271*c_0110_6^9 + 11571414476795264166797/223002724874661271*c_0110_6^8 - 26871650423257119249487/223002724874661271*c_0110_6^7 - 21541278443658391322826/223002724874661271*c_0110_6^6 + 2785948771616723835189/223002724874661271*c_0110_6^5 + 8791989204238346962021/223002724874661271*c_0110_6^4 + 1903589738483609057114/223002724874661271*c_0110_6^3 - 981186792470112273538/223002724874661271*c_0110_6^2 - 474488121483490056267/223002724874661271*c_0110_6 - 58154634775267514800/223002724874661271, c_0110_6^18 - 4*c_0110_6^17 - 34*c_0110_6^16 + 144*c_0110_6^15 + 150*c_0110_6^14 - 1037*c_0110_6^13 + 705*c_0110_6^12 + 1265*c_0110_6^11 - 1795*c_0110_6^10 - 1308*c_0110_6^9 + 1109*c_0110_6^8 + 1511*c_0110_6^7 + 235*c_0110_6^6 - 476*c_0110_6^5 - 244*c_0110_6^4 + 15*c_0110_6^3 + 40*c_0110_6^2 + 11*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB