Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 2496989604] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2663 geometric_solution 5.92999996 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 2 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 -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.415943683337 1.023386200138 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 1 0 -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.103325693540 0.704014508307 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -2 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674933579584 0.614641383372 4 1 2 5 2310 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 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 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.176941338839 1.048427257665 2 5 3 1 1023 2310 3201 0132 0 0 0 0 0 -1 1 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 -1 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 0 0 0 0 0 0.176941338839 1.048427257665 6 6 3 4 0132 2310 0132 3201 0 0 0 0 0 0 -1 1 1 0 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 1 0 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.119525149369 0.595712747979 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -1 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 0 -0.992379816059 0.813044674621 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_0']), '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_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], '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_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : 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_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(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_5, 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 - 121377431459797873330241024/73759321590324640094047*c_0101_6^20 + 844762415510922820148210176/73759321590324640094047*c_0101_6^18 + 284862536368065405222022368/73759321590324640094047*c_0101_6^16 + 2131875787331392091565832832/73759321590324640094047*c_0101_6^14 - 3800732702290948762853967634/73759321590324640094047*c_0101_6^12 - 1318433708728587956452613263/73759321590324640094047*c_0101_6^10 - 926556298224752064015563355/73759321590324640094047*c_0101_6^8 + 717442648191180320660344219/147518643180649280188094*c_0101_6^6 + 85269883705458132051957682/73759321590324640094047*c_0101_6^4 + 95636823380767880219923803/147518643180649280188094*c_0101_6^2 - 6472467158036423976621225/73759321590324640094047, c_0011_0 - 1, c_0011_2 - 1835291246234483285852672/73759321590324640094047*c_0101_6^2\ 0 + 12288480631531956906167808/73759321590324640094047*c_0101_6^18 + 7637857292725986219240480/73759321590324640094047*c_0101_6^16 + 33717062494860257869859584/73759321590324640094047*c_0101_6^14 - 49168527850465038273589630/73759321590324640094047*c_0101_6^12 - 34312211349758335731889353/73759321590324640094047*c_0101_6^10 - 21333802790427302721455614/73759321590324640094047*c_0101_6^8 + 2893904369168215255584513/73759321590324640094047*c_0101_6^6 + 2210905896397141695771647/73759321590324640094047*c_0101_6^4 + 1226432825222762005966397/73759321590324640094047*c_0101_6^2 - 12335987330168351951706/73759321590324640094047, c_0011_5 - 567361912160074524402688/73759321590324640094047*c_0101_6^20 + 3664020312188756384049664/73759321590324640094047*c_0101_6^18 + 3351952094592676793175104/73759321590324640094047*c_0101_6^16 + 10350710174228877886353696/73759321590324640094047*c_0101_6^14 - 12782985332408271890034460/73759321590324640094047*c_0101_6^12 - 15677368576481926050529712/73759321590324640094047*c_0101_6^10 - 5987293797775083254322257/73759321590324640094047*c_0101_6^8 - 289508551088138152046084/73759321590324640094047*c_0101_6^6 + 1128385751089836033223040/73759321590324640094047*c_0101_6^4 + 230887716111220274777481/73759321590324640094047*c_0101_6^2 + 16139284080078502174545/73759321590324640094047, c_0101_0 + 22380163437145907704577536/73759321590324640094047*c_0101_6^\ 21 - 154962292865037524014174720/73759321590324640094047*c_0101_6^1\ 9 - 57953733120740967055581152/73759321590324640094047*c_0101_6^17 - 395795591510079798722062080/73759321590324640094047*c_0101_6^15 + 685862824269614661890694594/73759321590324640094047*c_0101_6^13 + 265480124447457974531742967/73759321590324640094047*c_0101_6^11 + 182140708543504271982536898/73759321590324640094047*c_0101_6^9 - 56209068630637557140804751/73759321590324640094047*c_0101_6^7 - 15606164816408333606322145/73759321590324640094047*c_0101_6^5 - 9184173078790766828127575/73759321590324640094047*c_0101_6^3 + 800911066008243360339698/73759321590324640094047*c_0101_6, c_0101_1 - 2957444589547555798327296/73759321590324640094047*c_0101_6^2\ 1 + 21080406085760045885435904/73759321590324640094047*c_0101_6^19 + 3559862680372100612831744/73759321590324640094047*c_0101_6^17 + 50199850184171841825444608/73759321590324640094047*c_0101_6^15 - 101340196731707461692723296/73759321590324640094047*c_0101_6^13 - 17934955540229003646507872/73759321590324640094047*c_0101_6^11 - 14238812072128483256776304/73759321590324640094047*c_0101_6^9 + 12486478898045329387151340/73759321590324640094047*c_0101_6^7 + 1156044867222055466745116/73759321590324640094047*c_0101_6^5 + 358150703521721612507244/73759321590324640094047*c_0101_6^3 - 351646171030709826287250/73759321590324640094047*c_0101_6, c_0101_3 - 3025118234260340280177664/73759321590324640094047*c_0101_6^2\ 1 + 20898386576377504156110336/73759321590324640094047*c_0101_6^19 + 8185552634785227384608064/73759321590324640094047*c_0101_6^17 + 53403751557052677301107680/73759321590324640094047*c_0101_6^15 - 91370576235712098534631244/73759321590324640094047*c_0101_6^13 - 37731514681166736403148300/73759321590324640094047*c_0101_6^11 - 23308219916785889879871203/73759321590324640094047*c_0101_6^9 + 4684471753151877564104040/73759321590324640094047*c_0101_6^7 + 2395130995263801832478789/73759321590324640094047*c_0101_6^5 + 1042173929861854904765111/73759321590324640094047*c_0101_6^3 + 134483952530791419433515/73759321590324640094047*c_0101_6, c_0101_6^22 - 7*c_0101_6^20 - 33/16*c_0101_6^18 - 35/2*c_0101_6^16 + 8191/256*c_0101_6^14 + 4873/512*c_0101_6^12 + 1871/256*c_0101_6^10 - 1617/512*c_0101_6^8 - 271/512*c_0101_6^6 - 185/512*c_0101_6^4 + 17/256*c_0101_6^2 - 1/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB