Magma V2.19-8 Tue Aug 20 2013 16:18:36 on localhost [Seed = 2631729577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2776 geometric_solution 6.00799973 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 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 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.091605054423 0.967720234923 0 4 4 5 0132 0132 1230 0132 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.257548488716 0.809580146375 4 0 5 0 0132 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.083480335863 1.323735046898 3 4 0 3 3012 0213 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389113731396 0.895454964153 2 1 3 1 0132 0132 0213 3012 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 -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.137011820895 0.902630204796 2 6 1 6 2031 0132 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 -1 0 0 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.826407270773 1.481834108269 5 5 6 6 3201 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 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.443021118449 0.188066745376 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_5']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_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_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), '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_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_0101_6'])})} 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_5, c_0101_0, c_0101_1, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 10123985742652348114738297185810210361/2788842589668633880873908130\ 8796475*c_0110_6^18 + 48398418905351781853142812200507968352/278884\ 25896686338808739081308796475*c_0110_6^17 + 994190492494749712274484023355184910/111553703586745355234956325235\ 1859*c_0110_6^16 - 226192715968846476446392972729241383322/27888425\ 896686338808739081308796475*c_0110_6^15 - 364857410311985241611388880733185215306/278884258966863388087390813\ 08796475*c_0110_6^14 + 323641519847391888822021010110274384024/2788\ 8425896686338808739081308796475*c_0110_6^13 + 920944449745009346418551026329444170882/278884258966863388087390813\ 08796475*c_0110_6^12 - 215145712112113451482016391386024935356/2788\ 8425896686338808739081308796475*c_0110_6^11 - 1228683306742663197938344016798248963476/27888425896686338808739081\ 308796475*c_0110_6^10 + 358470035106246924020692972836071194123/278\ 88425896686338808739081308796475*c_0110_6^9 + 1049667134300077408568037008808415702727/27888425896686338808739081\ 308796475*c_0110_6^8 - 580083403694634184957571628358770390098/2788\ 8425896686338808739081308796475*c_0110_6^7 - 321737590432392352206401024667900078988/278884258966863388087390813\ 08796475*c_0110_6^6 + 77644694910085546715157345453971328961/278884\ 25896686338808739081308796475*c_0110_6^5 + 9010490427289405578552166531346256277/55776851793372677617478162617\ 59295*c_0110_6^4 + 12101242476115718633792386629755216536/557768517\ 9337267761747816261759295*c_0110_6^3 - 6899266818184689907676553129991310871/27888425896686338808739081308\ 796475*c_0110_6^2 - 6095825245851540566999645788835000107/278884258\ 96686338808739081308796475*c_0110_6 - 1301070687331834562707519947209471314/27888425896686338808739081308\ 796475, c_0011_0 - 1, c_0011_3 - 951595108237986918735010572378465/11155370358674535523495632\ 52351859*c_0110_6^18 - 16442160712805564356817592124503595/11155370\ 35867453552349563252351859*c_0110_6^17 - 68566326612377135645463023387689914/1115537035867453552349563252351\ 859*c_0110_6^16 - 58499572823365755100753528524282389/1115537035867\ 453552349563252351859*c_0110_6^15 + 245703076197010492514721938063310251/111553703586745355234956325235\ 1859*c_0110_6^14 + 572697495293559933693105101176605369/11155370358\ 67453552349563252351859*c_0110_6^13 - 23824750974155237941628894373372796/1115537035867453552349563252351\ 859*c_0110_6^12 - 1084271088851541160347104904029948661/11155370358\ 67453552349563252351859*c_0110_6^11 - 483544256717864420378237177721126457/111553703586745355234956325235\ 1859*c_0110_6^10 + 1086899268757732641187970525137683084/1115537035\ 867453552349563252351859*c_0110_6^9 + 391723448655458377605652228851978451/111553703586745355234956325235\ 1859*c_0110_6^8 - 963947897313534738473580594425908572/111553703586\ 7453552349563252351859*c_0110_6^7 - 98075447787218102531805220353453231/1115537035867453552349563252351\ 859*c_0110_6^6 + 420420013929192380689941545222941433/1115537035867\ 453552349563252351859*c_0110_6^5 + 204332205206491167317978884317657083/111553703586745355234956325235\ 1859*c_0110_6^4 + 53212414450571370211537633711000807/1115537035867\ 453552349563252351859*c_0110_6^3 - 31692686912133977023380834578397365/1115537035867453552349563252351\ 859*c_0110_6^2 - 19868048925520661737401562294213057/11155370358674\ 53552349563252351859*c_0110_6 - 2450194690289113639206658053952310/\ 1115537035867453552349563252351859, c_0011_5 - 17004583660557596001477188559064827/111553703586745355234956\ 3252351859*c_0110_6^18 - 92048707063023817917541606033255255/111553\ 7035867453552349563252351859*c_0110_6^17 - 101016347156063663357363611336032528/111553703586745355234956325235\ 1859*c_0110_6^16 + 310571249583316150668375252823357126/11155370358\ 67453552349563252351859*c_0110_6^15 + 804485700225636422162183857019108549/111553703586745355234956325235\ 1859*c_0110_6^14 - 12654425408316616878332748243855534/111553703586\ 7453552349563252351859*c_0110_6^13 - 1507425703458614778342695252034356680/11155370358674535523495632523\ 51859*c_0110_6^12 - 609493652971352554548324338225071212/1115537035\ 867453552349563252351859*c_0110_6^11 + 1570366174499959334684563559584250499/11155370358674535523495632523\ 51859*c_0110_6^10 + 377141842159868575942107594740021429/1115537035\ 867453552349563252351859*c_0110_6^9 - 1387696954267634736811362101606895695/11155370358674535523495632523\ 51859*c_0110_6^8 + 103790979036221810804197466864871195/11155370358\ 67453552349563252351859*c_0110_6^7 + 475772103699133471810419198381546691/111553703586745355234956325235\ 1859*c_0110_6^6 + 196687959767697333595363709669489686/111553703586\ 7453552349563252351859*c_0110_6^5 + 112529192183224730114821662901707663/111553703586745355234956325235\ 1859*c_0110_6^4 - 37636040008931614287320811564928548/1115537035867\ 453552349563252351859*c_0110_6^3 - 19019041107955348189332878842428771/1115537035867453552349563252351\ 859*c_0110_6^2 - 5441814823710880385886327124437936/111553703586745\ 3552349563252351859*c_0110_6 - 1344846106247695602301478050415357/1\ 115537035867453552349563252351859, c_0101_0 + 10951260452858900526315122613447366/111553703586745355234956\ 3252351859*c_0110_6^18 + 62392989584245550502201936688448269/111553\ 7035867453552349563252351859*c_0110_6^17 + 81960764439307364071866190234927785/1115537035867453552349563252351\ 859*c_0110_6^16 - 181656191985512664638181168929517532/111553703586\ 7453552349563252351859*c_0110_6^15 - 576789765358761533964366611580013968/111553703586745355234956325235\ 1859*c_0110_6^14 - 141654229456055055926839848203641386/11155370358\ 67453552349563252351859*c_0110_6^13 + 979574581116944238250561337721726414/111553703586745355234956325235\ 1859*c_0110_6^12 + 685395505755553994907459827904449356/11155370358\ 67453552349563252351859*c_0110_6^11 - 904214659270069930912830098229235195/111553703586745355234956325235\ 1859*c_0110_6^10 - 565649574031407150885112838104650467/11155370358\ 67453552349563252351859*c_0110_6^9 + 821085409556753724043673786676537790/111553703586745355234956325235\ 1859*c_0110_6^8 + 229993665590809017417655591738078037/111553703586\ 7453552349563252351859*c_0110_6^7 - 329990507508643206374971724050149616/111553703586745355234956325235\ 1859*c_0110_6^6 - 248845411992088332922392198582207811/111553703586\ 7453552349563252351859*c_0110_6^5 - 91410057752811687136000195363455814/1115537035867453552349563252351\ 859*c_0110_6^4 + 9089095873675788322339362457935593/111553703586745\ 3552349563252351859*c_0110_6^3 + 2070705094124669790131028249376936\ 0/1115537035867453552349563252351859*c_0110_6^2 + 8314430752551611177425854278502125/11155370358674535523495632523518\ 59*c_0110_6 + 651990544935326377841200922858903/1115537035867453552\ 349563252351859, c_0101_1 + 7359012773831368004948856424650129/1115537035867453552349563\ 252351859*c_0110_6^18 + 34551181151584782086165447624443357/1115537\ 035867453552349563252351859*c_0110_6^17 + 13191850709392315488395802313018552/1115537035867453552349563252351\ 859*c_0110_6^16 - 175588396413556334835777834693908548/111553703586\ 7453552349563252351859*c_0110_6^15 - 259697561797230243602507221269874115/111553703586745355234956325235\ 1859*c_0110_6^14 + 294587415899975836400488870498897815/11155370358\ 67453552349563252351859*c_0110_6^13 + 728485997522364431965509534746164379/111553703586745355234956325235\ 1859*c_0110_6^12 - 236970148233459957023927150902410184/11155370358\ 67453552349563252351859*c_0110_6^11 - 1042396055460025284657986098471680686/11155370358674535523495632523\ 51859*c_0110_6^10 + 313544162356461815289747416722451085/1115537035\ 867453552349563252351859*c_0110_6^9 + 927059862840013976030835000676235629/111553703586745355234956325235\ 1859*c_0110_6^8 - 492877700688327311935260089061099328/111553703586\ 7453552349563252351859*c_0110_6^7 - 359456809206835501121723618389668072/111553703586745355234956325235\ 1859*c_0110_6^6 + 128087975561020504055542189549415648/111553703586\ 7453552349563252351859*c_0110_6^5 + 76787636815503485649533039623142214/1115537035867453552349563252351\ 859*c_0110_6^4 + 49561357427113407400368091499185146/11155370358674\ 53552349563252351859*c_0110_6^3 - 352869313647654136565284246564917\ 7/1115537035867453552349563252351859*c_0110_6^2 - 9522817855055080282793840407257605/11155370358674535523495632523518\ 59*c_0110_6 - 647048791677261866448590185974819/1115537035867453552\ 349563252351859, c_0101_6 - 15477787329759175713611102025966771/111553703586745355234956\ 3252351859*c_0110_6^18 - 81159976164237169146490642953497854/111553\ 7035867453552349563252351859*c_0110_6^17 - 77578214075549495175942825876565631/1115537035867453552349563252351\ 859*c_0110_6^16 + 299169861400700588336971862018583908/111553703586\ 7453552349563252351859*c_0110_6^15 + 685223309672158488510160588217751054/111553703586745355234956325235\ 1859*c_0110_6^14 - 139178785501671118806856330738573905/11155370358\ 67453552349563252351859*c_0110_6^13 - 1378329735881295041490097963045339305/11155370358674535523495632523\ 51859*c_0110_6^12 - 319918030595441392772761975554977254/1115537035\ 867453552349563252351859*c_0110_6^11 + 1541986996596031481413494752779318443/11155370358674535523495632523\ 51859*c_0110_6^10 + 104363301917674437734239685352117513/1115537035\ 867453552349563252351859*c_0110_6^9 - 1345167756685738104106175473130817465/11155370358674535523495632523\ 51859*c_0110_6^8 + 306698814212223583254725556883256061/11155370358\ 67453552349563252351859*c_0110_6^7 + 441496898571024850091467045910237546/111553703586745355234956325235\ 1859*c_0110_6^6 + 99981874149752759959973013066647380/1115537035867\ 453552349563252351859*c_0110_6^5 + 57918942282282224167854579771898700/1115537035867453552349563252351\ 859*c_0110_6^4 - 47609975010044244925382845095527451/11155370358674\ 53552349563252351859*c_0110_6^3 - 108898088568812078196879500126094\ 83/1115537035867453552349563252351859*c_0110_6^2 - 1568676206040982788049993049287098/11155370358674535523495632523518\ 59*c_0110_6 - 779443385702247438530007607227952/1115537035867453552\ 349563252351859, c_0110_6^19 + 166/31*c_0110_6^18 + 168/31*c_0110_6^17 - 612/31*c_0110_6^16 - 1474/31*c_0110_6^15 + 225/31*c_0110_6^14 + 3063/31*c_0110_6^13 + 962/31*c_0110_6^12 - 3525/31*c_0110_6^11 - 801/31*c_0110_6^10 + 3199/31*c_0110_6^9 - 115/31*c_0110_6^8 - 1430/31*c_0110_6^7 - 336/31*c_0110_6^6 + 59/31*c_0110_6^5 + 170/31*c_0110_6^4 + 54/31*c_0110_6^3 - 11/31*c_0110_6^2 - 7/31*c_0110_6 - 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB