Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 442205944] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0526 geometric_solution 4.53909106 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 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.554985063372 0.421892653087 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 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 -1 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 1.303074664729 0.446195954651 1 3 3 4 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 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 1.106678324271 0.629656299219 4 2 2 1 0132 1230 3012 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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 1.106678324271 0.629656299219 3 5 2 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 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 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 1.325867178011 0.333669653369 4 4 6 6 3201 0132 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490769047814 0.365248911911 6 5 6 5 2310 2310 3201 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 -1.213652758856 0.402059088683 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : d['c_0011_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 6498091991140064701055839/1249432539592233585503392*c_0110_5^13 - 115997487050144825302139827/937074404694175189127544*c_0110_5^12 + 132211298769107092065961811/1249432539592233585503392*c_0110_5^11 + 872581873022446480006210407/156179067449029198187924*c_0110_5^10 + 29992349073027191786616053791/1874148809388350378255088*c_0110_5^9 - 4799515324153118402450036841/1249432539592233585503392*c_0110_5^8 - 82263686675816150685455748779/937074404694175189127544*c_0110_5^7 - 659888884595791989902098039561/3748297618776700756510176*c_0110_5^6 - 20804470110028148927445386879/117134300586771898640943*c_0110_5^5 - 203757919250400640939729297385/1874148809388350378255088*c_0110_5\ ^4 - 27666350460052241996905468603/624716269796116792751696*c_0110_\ 5^3 - 47486966946391248663418206215/3748297618776700756510176*c_011\ 0_5^2 - 4769188530134179960473836117/1874148809388350378255088*c_01\ 10_5 - 1042219398328060145121788071/3748297618776700756510176, c_0011_0 - 1, c_0011_1 + 3221978542069994786679/78089533724514599093962*c_0110_5^13 - 78327325596003228612249/78089533724514599093962*c_0110_5^12 + 52034987579187960630858/39044766862257299546981*c_0110_5^11 + 1721032212108285773574939/39044766862257299546981*c_0110_5^10 + 4047135154820863210016120/39044766862257299546981*c_0110_5^9 - 7865956471838183793771105/78089533724514599093962*c_0110_5^8 - 52926654065620338559095893/78089533724514599093962*c_0110_5^7 - 39128943548598406372107508/39044766862257299546981*c_0110_5^6 - 26031763771223071820853573/39044766862257299546981*c_0110_5^5 - 7878619976646217726075410/39044766862257299546981*c_0110_5^4 - 875926658169072546650071/39044766862257299546981*c_0110_5^3 - 51360452698880186205023/78089533724514599093962*c_0110_5^2 + 76111550650704793478339/78089533724514599093962*c_0110_5 + 45670976696955765212807/39044766862257299546981, c_0011_6 - 2881217068067923716351/39044766862257299546981*c_0110_5^13 + 71124084856440913061817/39044766862257299546981*c_0110_5^12 - 121248902520970742455354/39044766862257299546981*c_0110_5^11 - 2993572758783859290135956/39044766862257299546981*c_0110_5^10 - 6224982305783763489939172/39044766862257299546981*c_0110_5^9 + 7931904420696861459827732/39044766862257299546981*c_0110_5^8 + 42823406415145898261628994/39044766862257299546981*c_0110_5^7 + 59993279052868745006653757/39044766862257299546981*c_0110_5^6 + 39254073379626904730891522/39044766862257299546981*c_0110_5^5 + 12123202861919516773417904/39044766862257299546981*c_0110_5^4 + 1440904496203179942504737/39044766862257299546981*c_0110_5^3 - 6174714118599008625446/39044766862257299546981*c_0110_5^2 - 101880249815895432309210/39044766862257299546981*c_0110_5 - 85227346688073997096671/39044766862257299546981, c_0101_0 - 3610657665292512967927/78089533724514599093962*c_0110_5^13 + 88606802835052490260165/78089533724514599093962*c_0110_5^12 - 69233284569719188096879/39044766862257299546981*c_0110_5^11 - 1893789723993702840378308/39044766862257299546981*c_0110_5^10 - 4153983929104682429457065/39044766862257299546981*c_0110_5^9 + 9339294717246042006341055/78089533724514599093962*c_0110_5^8 + 55754070929413343783633399/78089533724514599093962*c_0110_5^7 + 40427326114915852497942217/39044766862257299546981*c_0110_5^6 + 27137010662936113330967521/39044766862257299546981*c_0110_5^5 + 8358506881708272664557518/39044766862257299546981*c_0110_5^4 + 544339957857318696299238/39044766862257299546981*c_0110_5^3 - 558493583519409351755939/78089533724514599093962*c_0110_5^2 - 154341926646737529989381/78089533724514599093962*c_0110_5 - 62251907675201966969486/39044766862257299546981, c_0101_1 - 2689035533184843146667/39044766862257299546981*c_0110_5^13 + 66838994808379808076203/39044766862257299546981*c_0110_5^12 - 124556540082394734672686/39044766862257299546981*c_0110_5^11 - 2773225278938714438486763/39044766862257299546981*c_0110_5^10 - 5329146661313384854573632/39044766862257299546981*c_0110_5^9 + 8303562725708283458140640/39044766862257299546981*c_0110_5^8 + 38357197741498863505641032/39044766862257299546981*c_0110_5^7 + 49306442366790438479464064/39044766862257299546981*c_0110_5^6 + 29076190181842215715564737/39044766862257299546981*c_0110_5^5 + 7851155606040517959521304/39044766862257299546981*c_0110_5^4 + 792251545834741314772733/39044766862257299546981*c_0110_5^3 + 24673873891277091268473/39044766862257299546981*c_0110_5^2 - 64973498987176721747431/39044766862257299546981*c_0110_5 - 76883822860422593531447/39044766862257299546981, c_0101_3 + 7609749790141013946169/78089533724514599093962*c_0110_5^13 - 189218156978010656408409/78089533724514599093962*c_0110_5^12 + 177703486643362062447647/39044766862257299546981*c_0110_5^11 + 3906452103748660215566172/39044766862257299546981*c_0110_5^10 + 7559670849762273150103443/39044766862257299546981*c_0110_5^9 - 22571182670708137735301483/78089533724514599093962*c_0110_5^8 - 107837145626980526954692617/78089533724514599093962*c_0110_5^7 - 71811622616750110539134530/39044766862257299546981*c_0110_5^6 - 44812613809268904514027020/39044766862257299546981*c_0110_5^5 - 13057959646631416626579092/39044766862257299546981*c_0110_5^4 - 1470480375162276868097771/39044766862257299546981*c_0110_5^3 - 220232682344208807749633/78089533724514599093962*c_0110_5^2 + 199694050097554658300065/78089533724514599093962*c_0110_5 + 94598274319889817245823/39044766862257299546981, c_0110_5^14 - 24*c_0110_5^13 + 25*c_0110_5^12 + 1072*c_0110_5^11 + 2862*c_0110_5^10 - 1431*c_0110_5^9 - 16952*c_0110_5^8 - 30369*c_0110_5^7 - 26080*c_0110_5^6 - 11882*c_0110_5^5 - 2754*c_0110_5^4 - 275*c_0110_5^3 + 18*c_0110_5^2 + 49*c_0110_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB