Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 4139215410] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0430 geometric_solution 4.48470658 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.408079045400 0.332516932571 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 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 -1 0 1 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.978420494495 0.281270159362 3 1 3 4 2103 0132 1302 0132 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 1 -1 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.861954728937 0.703957738027 2 4 2 1 2031 0132 2103 0132 0 0 0 0 0 0 -1 1 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 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.861954728937 0.703957738027 5 3 2 5 0132 0132 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.312117530704 0.236674610019 4 4 6 6 0132 2310 0132 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 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.763506274648 2.055164756512 5 6 6 5 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.552147563909 0.253770374178 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_3, c_0011_6, c_0101_0, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 49385637043487952152814/6888279409051106173675*c_1001_1^14 - 92424829602928823569689/1377655881810221234735*c_1001_1^13 - 1135882381234782178970981/6888279409051106173675*c_1001_1^12 + 2107062906052512397776047/6888279409051106173675*c_1001_1^11 + 2788952342812290869487491/1377655881810221234735*c_1001_1^10 + 5845910101054825844308136/6888279409051106173675*c_1001_1^9 - 12568194569737678123674791/1377655881810221234735*c_1001_1^8 - 20253250471422341205951403/6888279409051106173675*c_1001_1^7 + 110698443460637943758946712/6888279409051106173675*c_1001_1^6 + 37921039839238480300309213/6888279409051106173675*c_1001_1^5 - 92544272994622249132527962/6888279409051106173675*c_1001_1^4 - 41234295132204914999841236/6888279409051106173675*c_1001_1^3 + 30314577620185876694876796/6888279409051106173675*c_1001_1^2 + 17749426344018811840887199/6888279409051106173675*c_1001_1 + 904545263881535447042364/6888279409051106173675, c_0011_0 - 1, c_0011_1 - 28404048417913880855/275531176362044246947*c_1001_1^14 - 268586365678022720231/275531176362044246947*c_1001_1^13 - 678583876664350679364/275531176362044246947*c_1001_1^12 + 1154322989575124537390/275531176362044246947*c_1001_1^11 + 8145524102362484479475/275531176362044246947*c_1001_1^10 + 4075849017559791378509/275531176362044246947*c_1001_1^9 - 36011919353081034714846/275531176362044246947*c_1001_1^8 - 14899756189853573245337/275531176362044246947*c_1001_1^7 + 63909495062527410647392/275531176362044246947*c_1001_1^6 + 26783233214077914869608/275531176362044246947*c_1001_1^5 - 53656587343283932259877/275531176362044246947*c_1001_1^4 - 26962809997242915233586/275531176362044246947*c_1001_1^3 + 17344987426112967601359/275531176362044246947*c_1001_1^2 + 10899230866466255829375/275531176362044246947*c_1001_1 + 525766639760269140653/275531176362044246947, c_0011_3 - 33592431883307247832/275531176362044246947*c_1001_1^14 - 309965362203914735796/275531176362044246947*c_1001_1^13 - 730434808908486141351/275531176362044246947*c_1001_1^12 + 1547189029165875740553/275531176362044246947*c_1001_1^11 + 9343375524955279372710/275531176362044246947*c_1001_1^10 + 2738296355436260581355/275531176362044246947*c_1001_1^9 - 43629969025546843024559/275531176362044246947*c_1001_1^8 - 8797002626294765324918/275531176362044246947*c_1001_1^7 + 78057765036698849223446/275531176362044246947*c_1001_1^6 + 17768080275808746974455/275531176362044246947*c_1001_1^5 - 67111503489522603982553/275531176362044246947*c_1001_1^4 - 22237878465678592108362/275531176362044246947*c_1001_1^3 + 23601206405230120760015/275531176362044246947*c_1001_1^2 + 10763411509240157900528/275531176362044246947*c_1001_1 - 42909601207386402622/275531176362044246947, c_0011_6 - 14070672938689678257/275531176362044246947*c_1001_1^14 - 128569614983669929454/275531176362044246947*c_1001_1^13 - 295427886686094854930/275531176362044246947*c_1001_1^12 + 665388365827371358798/275531176362044246947*c_1001_1^11 + 3832918946806141563897/275531176362044246947*c_1001_1^10 + 846048630094161009203/275531176362044246947*c_1001_1^9 - 18108893068699672006632/275531176362044246947*c_1001_1^8 - 2050604609870531571522/275531176362044246947*c_1001_1^7 + 31745242082044501345253/275531176362044246947*c_1001_1^6 + 5020479712187255717119/275531176362044246947*c_1001_1^5 - 26587464010392432801316/275531176362044246947*c_1001_1^4 - 7804912005485754031922/275531176362044246947*c_1001_1^3 + 9326111387973510115297/275531176362044246947*c_1001_1^2 + 4044972729747772038226/275531176362044246947*c_1001_1 - 85809583226861978764/275531176362044246947, c_0101_0 + 14259890053241473272/275531176362044246947*c_1001_1^14 + 132406650922674740704/275531176362044246947*c_1001_1^13 + 317392380386420925095/275531176362044246947*c_1001_1^12 - 640672013528326763740/275531176362044246947*c_1001_1^11 - 4001963659124215746760/275531176362044246947*c_1001_1^10 - 1355238585547663573245/275531176362044246947*c_1001_1^9 + 18501920175679709616339/275531176362044246947*c_1001_1^8 + 4564029657567990542584/275531176362044246947*c_1001_1^7 - 33467098291055697085746/275531176362044246947*c_1001_1^6 - 8412500366844562126374/275531176362044246947*c_1001_1^5 + 29194349793578167138306/275531176362044246947*c_1001_1^4 + 9452560777227880214780/275531176362044246947*c_1001_1^3 - 10681426897751993237322/275531176362044246947*c_1001_1^2 - 4004725646817215313055/275531176362044246947*c_1001_1 + 303351986165930708720/275531176362044246947, c_0101_5 + 20990816444455568228/275531176362044246947*c_1001_1^14 + 195938594805722889064/275531176362044246947*c_1001_1^13 + 482618103982215899692/275531176362044246947*c_1001_1^12 - 866161605794574386862/275531176362044246947*c_1001_1^11 - 5803233269935211980084/275531176362044246947*c_1001_1^10 - 2495752229451160654537/275531176362044246947*c_1001_1^9 + 25650731445595732222802/275531176362044246947*c_1001_1^8 + 7373554340099598450594/275531176362044246947*c_1001_1^7 - 42838818124916593083536/275531176362044246947*c_1001_1^6 - 14167225196908054325261/275531176362044246947*c_1001_1^5 + 34187338489175455500077/275531176362044246947*c_1001_1^4 + 15525563113018127787084/275531176362044246947*c_1001_1^3 - 10645319354895108001658/275531176362044246947*c_1001_1^2 - 6560400184178977844084/275531176362044246947*c_1001_1 - 317975462607377230111/275531176362044246947, c_1001_1^15 + 10*c_1001_1^14 + 29*c_1001_1^13 - 28*c_1001_1^12 - 310*c_1001_1^11 - 299*c_1001_1^10 + 1200*c_1001_1^9 + 1227*c_1001_1^8 - 1998*c_1001_1^7 - 2207*c_1001_1^6 + 1423*c_1001_1^5 + 2039*c_1001_1^4 - 119*c_1001_1^3 - 761*c_1001_1^2 - 231*c_1001_1 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB