Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3650635026] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1642 geometric_solution 5.38489738 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522873771585 0.095540996568 2 0 2 0 0132 2310 1023 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 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.626409814216 0.242627219523 1 3 1 4 0132 0132 1023 0132 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 -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.860825888114 1.851980738610 4 2 6 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.024788857901 0.999488162484 5 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.024788857901 0.999488162484 4 5 3 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.487394001657 0.512500443509 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025620490579 1.024571350955 ==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' : 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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 165818531403516540830074497665441/1834766492341016215692035701780*c\ _0101_6^19 - 1993305092652389759538076305559559/1834766492341016215\ 692035701780*c_0101_6^18 + 963786639947117217026038489321559/458691\ 623085254053923008925445*c_0101_6^17 - 1842478773625986589974240519877554/458691623085254053923008925445*c\ _0101_6^16 + 6866515382281897251443524831546397/9173832461705081078\ 46017850890*c_0101_6^15 - 34244648435655531406555432158990183/18347\ 66492341016215692035701780*c_0101_6^14 + 15662556719053515102488914997192793/917383246170508107846017850890*\ c_0101_6^13 + 16996086153518814144613998307133283/91738324617050810\ 7846017850890*c_0101_6^12 - 112861178385453609035276735348194957/18\ 34766492341016215692035701780*c_0101_6^11 + 92581173020319393367881533138453563/1834766492341016215692035701780\ *c_0101_6^10 + 7855664718098179314829513464639645/36695329846820324\ 3138407140356*c_0101_6^9 - 22195138683307854333740518163306967/9173\ 83246170508107846017850890*c_0101_6^8 - 9668735535362577812297785264652427/1834766492341016215692035701780*\ c_0101_6^7 - 10563459009474719465984806482769737/183476649234101621\ 5692035701780*c_0101_6^6 + 111295335709287869837877357815200409/183\ 4766492341016215692035701780*c_0101_6^5 - 20028227847782745234751207997617373/458691623085254053923008925445*\ c_0101_6^4 - 98658339356180085015283518392671559/183476649234101621\ 5692035701780*c_0101_6^3 + 44104129559372156524820800578946643/1834\ 766492341016215692035701780*c_0101_6^2 + 10771163477935598210508970681066697/917383246170508107846017850890*\ c_0101_6 + 9320750314809403930295075217552423/183476649234101621569\ 2035701780, c_0011_0 - 1, c_0011_1 + 10842523871871783948105929061/366953298468203243138407140356\ *c_0101_6^19 - 132756927520494919093288375115/366953298468203243138\ 407140356*c_0101_6^18 + 72774111051232757699950181181/9173832461705\ 0810784601785089*c_0101_6^17 - 164937702246824855671653822784/91738\ 324617050810784601785089*c_0101_6^16 + 634897616005923263437104294441/183476649234101621569203570178*c_010\ 1_6^15 - 3024482542165268028529327106147/36695329846820324313840714\ 0356*c_0101_6^14 + 1839909543897346676848259286681/1834766492341016\ 21569203570178*c_0101_6^13 - 471153159104449906880911242777/1834766\ 49234101621569203570178*c_0101_6^12 - 4647248776044867013700853174545/366953298468203243138407140356*c_01\ 01_6^11 + 7137648788695999383284235675267/3669532984682032431384071\ 40356*c_0101_6^10 - 3241429810490027047200509955495/366953298468203\ 243138407140356*c_0101_6^9 + 1363237759205148307891969902127/183476\ 649234101621569203570178*c_0101_6^8 - 2295935593086181064726210711495/366953298468203243138407140356*c_01\ 01_6^7 + 1422237714677144272533605425703/36695329846820324313840714\ 0356*c_0101_6^6 + 5320939984932839767183400504289/36695329846820324\ 3138407140356*c_0101_6^5 - 1383745441711405119702933202767/91738324\ 617050810784601785089*c_0101_6^4 - 576442102478783623696228103475/366953298468203243138407140356*c_010\ 1_6^3 - 334154795426795282487260052801/3669532984682032431384071403\ 56*c_0101_6^2 + 33371778803993818559557999285/183476649234101621569\ 203570178*c_0101_6 + 151185264598624103428173094527/366953298468203\ 243138407140356, c_0011_4 - 7642323080454166935258268511/366953298468203243138407140356*\ c_0011_6*c_0101_6^19 + 74061266112998974858213306997/36695329846820\ 3243138407140356*c_0011_6*c_0101_6^18 + 8442768540718459721049831466/91738324617050810784601785089*c_0011_6\ *c_0101_6^17 - 14002043050821403824647448716/9173832461705081078460\ 1785089*c_0011_6*c_0101_6^16 + 126377122662304716802172683539/18347\ 6649234101621569203570178*c_0011_6*c_0101_6^15 - 71670250070529261531629148183/366953298468203243138407140356*c_0011\ _6*c_0101_6^14 + 1346660666560485253332793026631/183476649234101621\ 569203570178*c_0011_6*c_0101_6^13 - 2826198103636506435188198581945/183476649234101621569203570178*c_00\ 11_6*c_0101_6^12 + 4206205467219572999531093521439/3669532984682032\ 43138407140356*c_0011_6*c_0101_6^11 + 4095333401498648165955708213851/366953298468203243138407140356*c_00\ 11_6*c_0101_6^10 - 10131469960561892822922999875259/366953298468203\ 243138407140356*c_0011_6*c_0101_6^9 + 928531288131256061662520670599/183476649234101621569203570178*c_001\ 1_6*c_0101_6^8 - 1447919234832310941707835718835/366953298468203243\ 138407140356*c_0011_6*c_0101_6^7 + 2942943072658870124038842117003/366953298468203243138407140356*c_00\ 11_6*c_0101_6^6 - 6402714174257855628766957635007/36695329846820324\ 3138407140356*c_0011_6*c_0101_6^5 - 1440973548540910247446266785092/91738324617050810784601785089*c_001\ 1_6*c_0101_6^4 + 9953626633449589675912886872577/366953298468203243\ 138407140356*c_0011_6*c_0101_6^3 + 3028630206127917583387052996747/366953298468203243138407140356*c_00\ 11_6*c_0101_6^2 - 91197048345082337404425279087/1834766492341016215\ 69203570178*c_0011_6*c_0101_6 - 369709528863802809174059820249/3669\ 53298468203243138407140356*c_0011_6, c_0011_6^2 + 446190771325704651029268479/366953298468203243138407140356\ *c_0101_6^19 - 10078651096761192095504990867/3669532984682032431384\ 07140356*c_0101_6^18 + 16844336451400136068758288380/91738324617050\ 810784601785089*c_0101_6^17 - 34733589533947405052149972424/9173832\ 4617050810784601785089*c_0101_6^16 + 159874599593166887592998576181/183476649234101621569203570178*c_010\ 1_6^15 - 615746590009397810102481448201/366953298468203243138407140\ 356*c_0101_6^14 + 342285852638112346069433763614/917383246170508107\ 84601785089*c_0101_6^13 - 354780976275978863042730215337/9173832461\ 7050810784601785089*c_0101_6^12 + 109803235458880912713600401859/36\ 6953298468203243138407140356*c_0101_6^11 + 2161759413096881126577484891841/366953298468203243138407140356*c_01\ 01_6^10 - 2710684998090600655178975722215/3669532984682032431384071\ 40356*c_0101_6^9 + 434375150006469064345159453083/18347664923410162\ 1569203570178*c_0101_6^8 - 1191484410283882134844697281325/36695329\ 8468203243138407140356*c_0101_6^7 + 950511195006165443462660087099/366953298468203243138407140356*c_010\ 1_6^6 - 635514119626505070940301615825/3669532984682032431384071403\ 56*c_0101_6^5 - 1300994254984128115259687582559/1834766492341016215\ 69203570178*c_0101_6^4 + 1953207683295066357478500797921/3669532984\ 68203243138407140356*c_0101_6^3 + 489444853689042704777984463541/36\ 6953298468203243138407140356*c_0101_6^2 + 86109210931929904208450695913/91738324617050810784601785089*c_0101_\ 6 - 27471100047025963321750492849/366953298468203243138407140356, c_0101_0 - 4165311558878358643341839674/91738324617050810784601785089*c\ _0101_6^19 + 99617577885445886931737210035/183476649234101621569203\ 570178*c_0101_6^18 - 95253844703698474768890318345/9173832461705081\ 0784601785089*c_0101_6^17 + 197652518706425355439964541234/91738324\ 617050810784601785089*c_0101_6^16 - 367962350609040080476872685531/91738324617050810784601785089*c_0101\ _6^15 + 914572707970760555609555544825/9173832461705081078460178508\ 9*c_0101_6^14 - 1754858791380034196396896455279/1834766492341016215\ 69203570178*c_0101_6^13 - 1089278084161361908616256938339/183476649\ 234101621569203570178*c_0101_6^12 + 4871922859060174076466636056991/183476649234101621569203570178*c_01\ 01_6^11 - 2261443482664194179841414767768/9173832461705081078460178\ 5089*c_0101_6^10 - 766992532720273348736518021647/18347664923410162\ 1569203570178*c_0101_6^9 + 306135442702997806570205803677/917383246\ 17050810784601785089*c_0101_6^8 + 371283175407037046018785621950/91\ 738324617050810784601785089*c_0101_6^7 + 78177872097460586374285013007/183476649234101621569203570178*c_0101\ _6^6 - 2566868706986996067803244116307/9173832461705081078460178508\ 9*c_0101_6^5 + 3553383254791996386732960343295/18347664923410162156\ 9203570178*c_0101_6^4 + 3524545783381456713555880441589/18347664923\ 4101621569203570178*c_0101_6^3 - 516837399938400647949514259026/917\ 38324617050810784601785089*c_0101_6^2 - 595287408712177365365299342585/183476649234101621569203570178*c_010\ 1_6 - 150903643451424661696050028943/183476649234101621569203570178\ , c_0101_1 - 4217558084198576839744898191/183476649234101621569203570178*\ c_0101_6^19 + 25297812016470734767935982813/91738324617050810784601\ 785089*c_0101_6^18 - 50450093136156378989645788603/9173832461705081\ 0784601785089*c_0101_6^17 + 116894818313577663179244333640/91738324\ 617050810784601785089*c_0101_6^16 - 219289339572230354122763440665/91738324617050810784601785089*c_0101\ _6^15 + 1081886165895747655971157835787/183476649234101621569203570\ 178*c_0101_6^14 - 1186340831624274114620592178477/18347664923410162\ 1569203570178*c_0101_6^13 + 130134092644288946446036094665/18347664\ 9234101621569203570178*c_0101_6^12 + 884125361865492213506441506482/91738324617050810784601785089*c_0101\ _6^11 - 2234107811067157393704508307861/183476649234101621569203570\ 178*c_0101_6^10 + 311120313992371386906577753881/917383246170508107\ 84601785089*c_0101_6^9 - 469585816501055921047812432716/91738324617\ 050810784601785089*c_0101_6^8 + 708357145892391470084764316235/1834\ 76649234101621569203570178*c_0101_6^7 - 275185181766085053679374864709/91738324617050810784601785089*c_0101\ _6^6 - 2184185762596926330664015519951/1834766492341016215692035701\ 78*c_0101_6^5 + 1517530100721965591984406386115/1834766492341016215\ 69203570178*c_0101_6^4 + 329961798977441859381129465663/91738324617\ 050810784601785089*c_0101_6^3 + 313439939993227955928872448619/1834\ 76649234101621569203570178*c_0101_6^2 + 126286639115477442469249649779/183476649234101621569203570178*c_010\ 1_6 + 39960117289647404818803625923/91738324617050810784601785089, c_0101_6^20 - 12*c_0101_6^19 + 23*c_0101_6^18 - 44*c_0101_6^17 + 82*c_0101_6^16 - 205*c_0101_6^15 + 185*c_0101_6^14 + 208*c_0101_6^13 - 675*c_0101_6^12 + 544*c_0101_6^11 + 246*c_0101_6^10 - 259*c_0101_6^9 - 65*c_0101_6^8 - 66*c_0101_6^7 + 670*c_0101_6^6 - 469*c_0101_6^5 - 603*c_0101_6^4 + 250*c_0101_6^3 + 135*c_0101_6^2 + 61*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB