Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3852761346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0805 geometric_solution 4.74243365 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 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 1 0 -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 2.371608755142 1.148544826742 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 -1 1 0 -1 0 1 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 1 -1 0 1 0 -1 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.600434514598 0.137740736458 0 3 4 0 3201 0132 0132 0132 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 1 -1 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.354730579736 0.669223180883 4 2 5 4 2310 0132 0132 3201 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 -1 0 1 -1 0 0 1 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.210588406859 0.785586007726 5 3 3 2 0132 2310 3201 0132 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 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.210588406859 0.785586007726 4 6 6 3 0132 0132 3201 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417355729952 0.679523776758 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.991327177189 1.298284335952 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 922787268752618903591297/12838086696570165746982*c_0101_6^21 - 1348792534877122021786213/6419043348285082873491*c_0101_6^20 + 4136202490684817886292966/2139681116095027624497*c_0101_6^19 + 31411321787716682563094647/12838086696570165746982*c_0101_6^18 - 111924968921123972753048134/6419043348285082873491*c_0101_6^17 - 125599439638671730208473063/12838086696570165746982*c_0101_6^16 + 119112681097247074232110265/1834012385224309392426*c_0101_6^15 + 190726912629912983070221933/4279362232190055248994*c_0101_6^14 - 221959282911391926895462973/1426454077396685082998*c_0101_6^13 - 1435133426258643547773437867/12838086696570165746982*c_0101_6^12 + 1497458181146958491591493109/6419043348285082873491*c_0101_6^11 + 694333674011711313868496525/4279362232190055248994*c_0101_6^10 - 925506731133157741139071151/4279362232190055248994*c_0101_6^9 - 974310504907409095145782747/6419043348285082873491*c_0101_6^8 + 534026691887017198019257165/4279362232190055248994*c_0101_6^7 + 19306810953511654639663291/203779153913812154714*c_0101_6^6 - 506127997134257653839042299/12838086696570165746982*c_0101_6^5 - 73558529486086465381108339/2139681116095027624497*c_0101_6^4 + 65872324986216148899730697/12838086696570165746982*c_0101_6^3 + 36076078017698238972775559/6419043348285082873491*c_0101_6^2 - 1555532042900778052945186/6419043348285082873491*c_0101_6 - 4049654678828932553306461/12838086696570165746982, c_0011_0 - 1, c_0011_2 + 501192457412103986083/203779153913812154714*c_0101_6^21 + 559202280274377861727/101889576956906077357*c_0101_6^20 - 7119238136087847552264/101889576956906077357*c_0101_6^19 - 7231719341481084917083/203779153913812154714*c_0101_6^18 + 63022750694245912135859/101889576956906077357*c_0101_6^17 - 17720762975900911776617/203779153913812154714*c_0101_6^16 - 435885882972230793237785/203779153913812154714*c_0101_6^15 - 22463650763345469681283/203779153913812154714*c_0101_6^14 + 1086739682805288034818579/203779153913812154714*c_0101_6^13 + 69902410979691556858617/203779153913812154714*c_0101_6^12 - 814685321478057558484630/101889576956906077357*c_0101_6^11 - 104265631671540923218919/203779153913812154714*c_0101_6^10 + 1499708486328036977609657/203779153913812154714*c_0101_6^9 + 79482885983314038822433/101889576956906077357*c_0101_6^8 - 889684454566844817448635/203779153913812154714*c_0101_6^7 - 159010669600641850816575/203779153913812154714*c_0101_6^6 + 314824288693826678900447/203779153913812154714*c_0101_6^5 + 39581376358833521534654/101889576956906077357*c_0101_6^4 - 53742089273327746863341/203779153913812154714*c_0101_6^3 - 8281686264724418322887/101889576956906077357*c_0101_6^2 + 1525620981513866267034/101889576956906077357*c_0101_6 + 1240805058903099109593/203779153913812154714, c_0011_4 + 169958732125740684353/203779153913812154714*c_0101_6^21 + 408888285433143018273/203779153913812154714*c_0101_6^20 - 4745581814476563994565/203779153913812154714*c_0101_6^19 - 1640711902544951524648/101889576956906077357*c_0101_6^18 + 20901487249630262515840/101889576956906077357*c_0101_6^17 + 1918494792213450080931/203779153913812154714*c_0101_6^16 - 72408726995144655336346/101889576956906077357*c_0101_6^15 - 39854858452895536030171/203779153913812154714*c_0101_6^14 + 178908538149904894490385/101889576956906077357*c_0101_6^13 + 103421383901041703763129/203779153913812154714*c_0101_6^12 - 523150440669103012895411/203779153913812154714*c_0101_6^11 - 85069236675858181508994/101889576956906077357*c_0101_6^10 + 476967498018924080106485/203779153913812154714*c_0101_6^9 + 188906692107933017727059/203779153913812154714*c_0101_6^8 - 139751946329953206203447/101889576956906077357*c_0101_6^7 - 137302192897834893367549/203779153913812154714*c_0101_6^6 + 46743522451382332186200/101889576956906077357*c_0101_6^5 + 28737574415488059021647/101889576956906077357*c_0101_6^4 - 13472769768233510391667/203779153913812154714*c_0101_6^3 - 10781555100141513769933/203779153913812154714*c_0101_6^2 + 291122077243491245657/203779153913812154714*c_0101_6 + 329336978371425617245/101889576956906077357, c_0101_0 + 253794698621118017659/101889576956906077357*c_0101_6^21 + 452198421913703601494/101889576956906077357*c_0101_6^20 - 7411773602273308632472/101889576956906077357*c_0101_6^19 - 316150383063723928730/101889576956906077357*c_0101_6^18 + 63947454560066139970064/101889576956906077357*c_0101_6^17 - 38002953890187783570882/101889576956906077357*c_0101_6^16 - 203570136842620846284136/101889576956906077357*c_0101_6^15 + 82547953277688071350053/101889576956906077357*c_0101_6^14 + 513500235825690009050921/101889576956906077357*c_0101_6^13 - 206088893742535547989552/101889576956906077357*c_0101_6^12 - 735648741241158878958118/101889576956906077357*c_0101_6^11 + 303737232647048537816242/101889576956906077357*c_0101_6^10 + 636715249125961629419486/101889576956906077357*c_0101_6^9 - 247742146261952207966767/101889576956906077357*c_0101_6^8 - 360146971697514339613648/101889576956906077357*c_0101_6^7 + 121446035152536170157846/101889576956906077357*c_0101_6^6 + 123432560238006514979197/101889576956906077357*c_0101_6^5 - 38476035856402959666578/101889576956906077357*c_0101_6^4 - 21048143142181552551589/101889576956906077357*c_0101_6^3 + 8051871803387334471949/101889576956906077357*c_0101_6^2 + 1169461444449045121256/101889576956906077357*c_0101_6 - 641293973386244308097/101889576956906077357, c_0101_1 + 282411753063474922485/101889576956906077357*c_0101_6^21 + 1180003379237614644073/203779153913812154714*c_0101_6^20 - 16159766082548153086947/203779153913812154714*c_0101_6^19 - 5708992779730065653345/203779153913812154714*c_0101_6^18 + 70698391248477004319579/101889576956906077357*c_0101_6^17 - 20662607909919030936851/101889576956906077357*c_0101_6^16 - 472905099465391905647053/203779153913812154714*c_0101_6^15 + 21936566261576910889851/101889576956906077357*c_0101_6^14 + 1178337189209734031015039/203779153913812154714*c_0101_6^13 - 52578695075138438503703/101889576956906077357*c_0101_6^12 - 1728194851474544985104689/203779153913812154714*c_0101_6^11 + 162341876918848191258059/203779153913812154714*c_0101_6^10 + 772299618430449563873766/101889576956906077357*c_0101_6^9 - 85998394304314014979531/203779153913812154714*c_0101_6^8 - 893530705207696321336983/203779153913812154714*c_0101_6^7 - 4673606612691670472873/101889576956906077357*c_0101_6^6 + 309238978825210436596225/203779153913812154714*c_0101_6^5 + 9035266345171542158225/101889576956906077357*c_0101_6^4 - 25967628028269323592754/101889576956906077357*c_0101_6^3 - 2262356896406592342173/203779153913812154714*c_0101_6^2 + 2943869053443431959403/203779153913812154714*c_0101_6 - 28602806924609689529/203779153913812154714, c_0101_3 + 550837962597827579811/203779153913812154714*c_0101_6^21 + 684486376221825781665/101889576956906077357*c_0101_6^20 - 7661859969110988512314/101889576956906077357*c_0101_6^19 - 11908620295902774155019/203779153913812154714*c_0101_6^18 + 68059470251953989285437/101889576956906077357*c_0101_6^17 + 16049386435052751643439/203779153913812154714*c_0101_6^16 - 481112443101306514895651/203779153913812154714*c_0101_6^15 - 151128082155284643721343/203779153913812154714*c_0101_6^14 + 1183363455655430684604397/203779153913812154714*c_0101_6^13 + 389496890407108964221315/203779153913812154714*c_0101_6^12 - 880161557601936442305133/101889576956906077357*c_0101_6^11 - 593588443227273459305159/203779153913812154714*c_0101_6^10 + 1622251065141727943207757/203779153913812154714*c_0101_6^9 + 309493657127760148635391/101889576956906077357*c_0101_6^8 - 956106824848061944984611/203779153913812154714*c_0101_6^7 - 434610311600504885776847/203779153913812154714*c_0101_6^6 + 324635476430855868890505/203779153913812154714*c_0101_6^5 + 88163657396282367709604/101889576956906077357*c_0101_6^4 - 50105541019539301361067/203779153913812154714*c_0101_6^3 - 16286116391005862166788/101889576956906077357*c_0101_6^2 + 1278773211823470425942/101889576956906077357*c_0101_6 + 1995297297457714558139/203779153913812154714, c_0101_6^22 + 2*c_0101_6^21 - 29*c_0101_6^20 - 8*c_0101_6^19 + 257*c_0101_6^18 - 93*c_0101_6^17 - 881*c_0101_6^16 + 164*c_0101_6^15 + 2247*c_0101_6^14 - 380*c_0101_6^13 - 3456*c_0101_6^12 + 584*c_0101_6^11 + 3312*c_0101_6^10 - 446*c_0101_6^9 - 2102*c_0101_6^8 + 156*c_0101_6^7 + 853*c_0101_6^6 - 17*c_0101_6^5 - 199*c_0101_6^4 + 23*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB