Magma V2.19-8 Wed Aug 21 2013 00:52:33 on localhost [Seed = 3431651702] Type ? for help. Type -D to quit. Loading file "L12a527__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a527 geometric_solution 11.52357595 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 1023 1 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 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.488617323819 0.671818894325 0 4 4 0 0132 0132 1023 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.676651777701 2.319917879013 5 0 7 6 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 -1 1 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.816945993088 0.842471632951 7 8 9 0 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816945993088 0.842471632951 10 1 1 11 0132 0132 1023 0132 1 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 0 0 0 0 0 0 0 0 0 0 1 -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.018365449424 0.179012144388 2 10 9 9 0132 0132 3012 3120 1 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 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 0.558830473693 0.749509692855 8 8 2 8 3012 0213 0132 2310 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 -3 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631083596871 0.759888335882 3 7 7 2 0132 1230 3012 0132 1 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 0 0 0 0 0 0 0 0 0 0 1 -1 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.613647063466 0.699950736944 6 3 6 6 3201 0132 0213 1230 1 0 1 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 0 0 0 0 0 0 0 -1 0 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631083596871 0.759888335882 5 5 11 3 3120 1230 0132 0132 1 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 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.558830473693 0.749509692855 4 5 12 12 0132 0132 0213 0132 1 1 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 0 0 0 0 1 -4 3 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.164692070375 1.783507085928 12 12 4 9 0213 2310 0132 0132 1 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 0 0 0 0 0 0 0 0 0 -1 1 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 1.164692070375 1.783507085928 11 10 10 11 0213 0213 0132 3201 1 1 1 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 0 0 0 0 0 4 -3 -1 -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.051337591054 0.555952434204 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0011_9']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_12'], '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_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_0101_5'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_6']), '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_0110_11' : d['c_0101_9'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0101_9']), 'c_0101_12' : d['c_0011_11'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0011_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 3592858567959678752385746974472615/3731541557714830665828987887176*\ c_1001_0^16 - 79425406172265095432220218376013717/46644269471435383\ 32286234858970*c_1001_0^15 - 7828820520188400684151406204983901/466\ 442694714353833228623485897*c_1001_0^14 + 26797593547512647852976430607400059/1865770778857415332914493943588\ 0*c_1001_0^13 + 11940395790882111058578038651118751/245496155112817\ 806962433413630*c_1001_0^12 - 5944959002439997921471764415237886079\ /18657707788574153329144939435880*c_1001_0^11 - 410233614970143287163728399532817849/186577077885741533291449394358\ 80*c_1001_0^10 + 428755963836588989183048075712167249/3731541557714\ 830665828987887176*c_1001_0^9 - 19720985980309561290984011093624301\ 23/3731541557714830665828987887176*c_1001_0^8 - 2360605307423677418223872971660410093/18657707788574153329144939435\ 880*c_1001_0^7 + 5399965471698574561117370445545707667/186577077885\ 74153329144939435880*c_1001_0^6 - 310958999756302447474753441810861\ 7421/18657707788574153329144939435880*c_1001_0^5 - 2387982109630388902748250217149407663/18657707788574153329144939435\ 880*c_1001_0^4 + 5719253910956315331019800727450403/126065593166041\ 576548276617810*c_1001_0^3 + 75906322872440220583329575445404271/18\ 657707788574153329144939435880*c_1001_0^2 - 27729089225335983672534444938869419/1865770778857415332914493943588\ *c_1001_0 - 56661682283339292401040571589973843/1865770778857415332\ 9144939435880, c_0011_0 - 1, c_0011_11 + 233868142419398093860/32454502251115596299*c_1001_0^16 + 4160876265708958286698/32454502251115596299*c_1001_0^15 + 4510134253564909445870/32454502251115596299*c_1001_0^14 - 30389708102093535154/32454502251115596299*c_1001_0^13 - 11936205894043107728528/32454502251115596299*c_1001_0^12 + 76161248398805062628964/32454502251115596299*c_1001_0^11 + 13883622342979621548960/32454502251115596299*c_1001_0^10 - 29620243645487490392797/32454502251115596299*c_1001_0^9 + 125877734904832643695780/32454502251115596299*c_1001_0^8 + 44917829057568034389011/32454502251115596299*c_1001_0^7 - 70983752891035178566588/32454502251115596299*c_1001_0^6 + 33220165297801850788672/32454502251115596299*c_1001_0^5 + 37121263561992246840025/32454502251115596299*c_1001_0^4 - 9667174837543879556404/32454502251115596299*c_1001_0^3 - 2421944560012727555178/32454502251115596299*c_1001_0^2 + 3907898525870753929890/32454502251115596299*c_1001_0 + 956310044520237273260/32454502251115596299, c_0011_12 - 453309752306682592318/32454502251115596299*c_1001_0^16 - 8018035636035566487554/32454502251115596299*c_1001_0^15 - 7922003021234366686586/32454502251115596299*c_1001_0^14 + 669832481194660836677/32454502251115596299*c_1001_0^13 + 22902803959425869178540/32454502251115596299*c_1001_0^12 - 149946979311538577424637/32454502251115596299*c_1001_0^11 - 10763254330572041513362/32454502251115596299*c_1001_0^10 + 54387287695548911584747/32454502251115596299*c_1001_0^9 - 248986126086912705302059/32454502251115596299*c_1001_0^8 - 59878605715541449724265/32454502251115596299*c_1001_0^7 + 136573635475736474841640/32454502251115596299*c_1001_0^6 - 78465824052014622565453/32454502251115596299*c_1001_0^5 - 60095822576047714788436/32454502251115596299*c_1001_0^4 + 21474617867801930453251/32454502251115596299*c_1001_0^3 + 1779040038320075555424/32454502251115596299*c_1001_0^2 - 6939767817892755414794/32454502251115596299*c_1001_0 - 1422250301245843482515/32454502251115596299, c_0011_3 - 2120376795654536746/32454502251115596299*c_1001_0^16 - 37041903019514812636/32454502251115596299*c_1001_0^15 - 29986664348349544396/32454502251115596299*c_1001_0^14 - 7503810691048795478/32454502251115596299*c_1001_0^13 + 104261529974651877710/32454502251115596299*c_1001_0^12 - 722254846230623516072/32454502251115596299*c_1001_0^11 + 155687340686195763392/32454502251115596299*c_1001_0^10 - 155322260611027615340/32454502251115596299*c_1001_0^9 - 853007024615429459052/32454502251115596299*c_1001_0^8 - 255631666055059954584/32454502251115596299*c_1001_0^7 + 304637764696903994964/32454502251115596299*c_1001_0^6 - 322664541290466483550/32454502251115596299*c_1001_0^5 - 46321986786506022562/32454502251115596299*c_1001_0^4 - 199285862909172931044/32454502251115596299*c_1001_0^3 + 111558437488263240320/32454502251115596299*c_1001_0^2 - 64583881657706382869/32454502251115596299*c_1001_0 - 2115277598845062274/32454502251115596299, c_0011_6 - 1, c_0011_9 + 774355557027478395216/32454502251115596299*c_1001_0^16 + 13696668068034117892902/32454502251115596299*c_1001_0^15 + 13534741737557651443456/32454502251115596299*c_1001_0^14 - 1124097925543392052960/32454502251115596299*c_1001_0^13 - 39157314762912731832292/32454502251115596299*c_1001_0^12 + 256147694197089151638006/32454502251115596299*c_1001_0^11 + 18400997228198861182418/32454502251115596299*c_1001_0^10 - 92299545334550541614585/32454502251115596299*c_1001_0^9 + 424039655566531126250456/32454502251115596299*c_1001_0^8 + 103389139461002713651275/32454502251115596299*c_1001_0^7 - 232388552521368223387070/32454502251115596299*c_1001_0^6 + 132352654203094663739729/32454502251115596299*c_1001_0^5 + 103909972937681103191007/32454502251115596299*c_1001_0^4 - 35517160191387425604431/32454502251115596299*c_1001_0^3 - 3862472890885120250808/32454502251115596299*c_1001_0^2 + 11980745048263329772212/32454502251115596299*c_1001_0 + 2596231808206300861045/32454502251115596299, c_0101_0 + 2549598404737236/32454502251115596299*c_1001_0^16 + 543641517979114225/32454502251115596299*c_1001_0^15 + 9188591297213962365/32454502251115596299*c_1001_0^14 + 14514682322009045389/32454502251115596299*c_1001_0^13 + 5560719128747546871/32454502251115596299*c_1001_0^12 - 24159563690111488974/32454502251115596299*c_1001_0^11 + 148963625245552421941/32454502251115596299*c_1001_0^10 + 118273005497739413318/32454502251115596299*c_1001_0^9 - 36288783891684873811/32454502251115596299*c_1001_0^8 + 232797150310795241170/32454502251115596299*c_1001_0^7 + 249425399729513544293/32454502251115596299*c_1001_0^6 - 73482438058176184393/32454502251115596299*c_1001_0^5 - 13285191453527069563/32454502251115596299*c_1001_0^4 + 128092118844952132488/32454502251115596299*c_1001_0^3 + 63958849899482936965/32454502251115596299*c_1001_0^2 - 54521472232751662793/32454502251115596299*c_1001_0 + 8661218107337675326/32454502251115596299, c_0101_1 - 32449403054306121827/32454502251115596299*c_1001_0^16 - 583093757484122504932/32454502251115596299*c_1001_0^15 - 728076369181230790147/32454502251115596299*c_1001_0^14 - 100788644360444294418/32454502251115596299*c_1001_0^13 + 1666301053064390504991/32454502251115596299*c_1001_0^12 - 10271487336481635812133/32454502251115596299*c_1001_0^11 - 3823794535400575886091/32454502251115596299*c_1001_0^10 + 3871450263120425612124/32454502251115596299*c_1001_0^9 - 16656828218103439456411/32454502251115596299*c_1001_0^8 - 9400574383717550792556/32454502251115596299*c_1001_0^7 + 8904566882497966530027/32454502251115596299*c_1001_0^6 - 2678416051703368880108/32454502251115596299*c_1001_0^5 - 6095562303865670647039/32454502251115596299*c_1001_0^4 + 418456748945482246471/32454502251115596299*c_1001_0^3 + 744553242570162203611/32454502251115596299*c_1001_0^2 - 530951473730006077473/32454502251115596299*c_1001_0 - 209859079543133823441/32454502251115596299, c_0101_2 - 2120376795654536746/32454502251115596299*c_1001_0^16 - 37041903019514812636/32454502251115596299*c_1001_0^15 - 29986664348349544396/32454502251115596299*c_1001_0^14 - 7503810691048795478/32454502251115596299*c_1001_0^13 + 104261529974651877710/32454502251115596299*c_1001_0^12 - 722254846230623516072/32454502251115596299*c_1001_0^11 + 155687340686195763392/32454502251115596299*c_1001_0^10 - 155322260611027615340/32454502251115596299*c_1001_0^9 - 853007024615429459052/32454502251115596299*c_1001_0^8 - 255631666055059954584/32454502251115596299*c_1001_0^7 + 304637764696903994964/32454502251115596299*c_1001_0^6 - 322664541290466483550/32454502251115596299*c_1001_0^5 - 46321986786506022562/32454502251115596299*c_1001_0^4 - 199285862909172931044/32454502251115596299*c_1001_0^3 + 111558437488263240320/32454502251115596299*c_1001_0^2 - 97038383908821979168/32454502251115596299*c_1001_0 - 34569779849960658573/32454502251115596299, c_0101_5 - 2120376795654536746/32454502251115596299*c_1001_0^16 - 37041903019514812636/32454502251115596299*c_1001_0^15 - 29986664348349544396/32454502251115596299*c_1001_0^14 - 7503810691048795478/32454502251115596299*c_1001_0^13 + 104261529974651877710/32454502251115596299*c_1001_0^12 - 722254846230623516072/32454502251115596299*c_1001_0^11 + 155687340686195763392/32454502251115596299*c_1001_0^10 - 155322260611027615340/32454502251115596299*c_1001_0^9 - 853007024615429459052/32454502251115596299*c_1001_0^8 - 255631666055059954584/32454502251115596299*c_1001_0^7 + 304637764696903994964/32454502251115596299*c_1001_0^6 - 322664541290466483550/32454502251115596299*c_1001_0^5 - 46321986786506022562/32454502251115596299*c_1001_0^4 - 199285862909172931044/32454502251115596299*c_1001_0^3 + 111558437488263240320/32454502251115596299*c_1001_0^2 - 97038383908821979168/32454502251115596299*c_1001_0 - 2115277598845062274/32454502251115596299, c_0101_9 - 774355557027478395216/32454502251115596299*c_1001_0^16 - 13696668068034117892902/32454502251115596299*c_1001_0^15 - 13534741737557651443456/32454502251115596299*c_1001_0^14 + 1124097925543392052960/32454502251115596299*c_1001_0^13 + 39157314762912731832292/32454502251115596299*c_1001_0^12 - 256147694197089151638006/32454502251115596299*c_1001_0^11 - 18400997228198861182418/32454502251115596299*c_1001_0^10 + 92299545334550541614585/32454502251115596299*c_1001_0^9 - 424039655566531126250456/32454502251115596299*c_1001_0^8 - 103389139461002713651275/32454502251115596299*c_1001_0^7 + 232388552521368223387070/32454502251115596299*c_1001_0^6 - 132352654203094663739729/32454502251115596299*c_1001_0^5 - 103909972937681103191007/32454502251115596299*c_1001_0^4 + 35517160191387425604431/32454502251115596299*c_1001_0^3 + 3862472890885120250808/32454502251115596299*c_1001_0^2 - 11980745048263329772212/32454502251115596299*c_1001_0 - 2596231808206300861045/32454502251115596299, c_1001_0^17 + 18*c_1001_0^16 + 23*c_1001_0^15 + 4*c_1001_0^14 - 51*c_1001_0^13 + 315*c_1001_0^12 + 127*c_1001_0^11 - 112*c_1001_0^10 + 511*c_1001_0^9 + 304*c_1001_0^8 - 259*c_1001_0^7 + 78*c_1001_0^6 + 187*c_1001_0^5 - 5*c_1001_0^4 - 19*c_1001_0^3 + 14*c_1001_0^2 + 8*c_1001_0 + 1, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.410 Total time: 0.610 seconds, Total memory usage: 32.09MB