Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 324177467] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2515 geometric_solution 5.83495552 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 0 -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 1.113820325276 0.655846529237 0 2 2 5 0132 3201 0132 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 -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.550970095932 0.461328601471 3 0 1 1 1230 0132 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 -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.933039314308 0.893368777342 5 2 5 0 0132 3012 1230 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 -1 1 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.590859872133 0.403785766511 6 5 0 6 0132 3120 0132 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660769085019 0.326641642272 3 4 1 3 0132 3120 0132 3012 0 0 0 0 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 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.540376151147 0.978472871448 4 6 6 4 0132 1230 3012 1023 0 0 0 0 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 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.459730801797 0.653867598882 ==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' : negation(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' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 6202698555385333721243335/9941870939243589706568934*c_1001_2^11 + 1776331940244329247708686/1656978489873931617761489*c_1001_2^10 + 62174353451399983532885155/9941870939243589706568934*c_1001_2^9 - 25026579292565736792420641/3313956979747863235522978*c_1001_2^8 - 124436465943752239715359919/4970935469621794853284467*c_1001_2^7 + 98172160490076100476908504/4970935469621794853284467*c_1001_2^6 + 525437595848291226551380777/9941870939243589706568934*c_1001_2^5 - 256790016865338456475615619/9941870939243589706568934*c_1001_2^4 - 103804617784671544456572977/1656978489873931617761489*c_1001_2^3 + 230312284904296507039314937/9941870939243589706568934*c_1001_2^2 + 168173984622213760044203687/4970935469621794853284467*c_1001_2 - 69403551758510819643168077/4970935469621794853284467, c_0011_0 - 1, c_0011_3 + 74741144426293133247/192873762061917310879*c_1001_2^11 + 21678672209995625332/192873762061917310879*c_1001_2^10 - 883859768617630605807/192873762061917310879*c_1001_2^9 - 558360154239177827656/192873762061917310879*c_1001_2^8 + 3278566940891715449761/192873762061917310879*c_1001_2^7 + 2852011152410843733918/192873762061917310879*c_1001_2^6 - 5107070080073732029648/192873762061917310879*c_1001_2^5 - 5687747913565939812858/192873762061917310879*c_1001_2^4 + 3486606232440660608241/192873762061917310879*c_1001_2^3 + 4528333108816787506501/192873762061917310879*c_1001_2^2 - 799049659950917718529/192873762061917310879*c_1001_2 - 973464543508624013784/192873762061917310879, c_0011_4 + 21259530269705982733/192873762061917310879*c_1001_2^11 + 33450148768021573212/192873762061917310879*c_1001_2^10 - 249054928132512588543/192873762061917310879*c_1001_2^9 - 476358847980505940389/192873762061917310879*c_1001_2^8 + 834059920638626733341/192873762061917310879*c_1001_2^7 + 1909766120663456576576/192873762061917310879*c_1001_2^6 - 926384319473216839971/192873762061917310879*c_1001_2^5 - 3242475569785767763280/192873762061917310879*c_1001_2^4 - 67351599556432153160/192873762061917310879*c_1001_2^3 + 2427112904701735753875/192873762061917310879*c_1001_2^2 + 403821919515486379467/192873762061917310879*c_1001_2 - 396544210452362522008/192873762061917310879, c_0101_0 - 17046485480635936984/192873762061917310879*c_1001_2^11 + 60085255198076756327/192873762061917310879*c_1001_2^10 + 25424196795193534548/192873762061917310879*c_1001_2^9 - 351498342903443162497/192873762061917310879*c_1001_2^8 + 330515051596055442089/192873762061917310879*c_1001_2^7 + 1059187662153160254499/192873762061917310879*c_1001_2^6 - 1047333919265543346472/192873762061917310879*c_1001_2^5 - 2104155727929603154697/192873762061917310879*c_1001_2^4 + 1118544205798017106700/192873762061917310879*c_1001_2^3 + 1935262722702641841796/192873762061917310879*c_1001_2^2 - 609105652515029741833/192873762061917310879*c_1001_2 - 408600873175794495063/192873762061917310879, c_0101_2 - 46572942345349881216/192873762061917310879*c_1001_2^11 + 80033740373651199600/192873762061917310879*c_1001_2^10 + 330988770569193329618/192873762061917310879*c_1001_2^9 - 386918763683691972632/192873762061917310879*c_1001_2^8 - 700435702308229078132/192873762061917310879*c_1001_2^7 + 816194131960457440822/192873762061917310879*c_1001_2^6 + 322465469429172422176/192873762061917310879*c_1001_2^5 - 1703187358467975893558/192873762061917310879*c_1001_2^4 + 497187368893725524410/192873762061917310879*c_1001_2^3 + 2392128072728886333388/192873762061917310879*c_1001_2^2 - 622430654913911101592/192873762061917310879*c_1001_2 - 964701476412590885926/192873762061917310879, c_0101_6 - 62319300309438280466/192873762061917310879*c_1001_2^11 + 3554956017440559702/192873762061917310879*c_1001_2^10 + 703487025127537626938/192873762061917310879*c_1001_2^9 + 267105725410913034958/192873762061917310879*c_1001_2^8 - 2646322860864634585007/192873762061917310879*c_1001_2^7 - 1570594089017043604613/192873762061917310879*c_1001_2^6 + 4649934692146744799539/192873762061917310879*c_1001_2^5 + 3365831637780849252433/192873762061917310879*c_1001_2^4 - 4377142665173327097986/192873762061917310879*c_1001_2^3 - 3243162275826209932422/192873762061917310879*c_1001_2^2 + 2012067911298403716591/192873762061917310879*c_1001_2 + 1075103533561738441222/192873762061917310879, c_1001_2^12 - 68/41*c_1001_2^11 - 437/41*c_1001_2^10 + 500/41*c_1001_2^9 + 1883/41*c_1001_2^8 - 1330/41*c_1001_2^7 - 4308/41*c_1001_2^6 + 1602/41*c_1001_2^5 + 5579/41*c_1001_2^4 - 1037/41*c_1001_2^3 - 3687/41*c_1001_2^2 + 448/41*c_1001_2 + 781/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB