Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 3532869151] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0361 geometric_solution 4.40173068 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 1 0 -1 -1 0 1 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.835506828929 0.800578392118 3 2 2 0 0132 3012 1230 0132 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 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.135558697460 0.747589403619 1 3 0 1 1230 3201 0132 3012 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 -1 1 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 1.135558697460 0.747589403619 1 4 2 4 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 -1 1 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 1.163692950778 0.437946966141 5 3 5 3 0132 0132 1023 1023 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 0.883804000707 0.215622848780 4 6 4 6 0132 0132 1023 1023 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 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 0.881726582157 0.100259897737 6 5 6 5 2310 0132 3201 1023 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 0.894152783058 0.065805983781 ==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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_1'], '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' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 495792473029096274826393176/360639768195683197590499227*c_0101_6^17 + 2411916889832998823530749404/360639768195683197590499227*c_0101_6\ ^16 + 7165163044579950753066820384/360639768195683197590499227*c_01\ 01_6^15 + 28017297250700688671534289977/360639768195683197590499227\ *c_0101_6^14 - 41669252546879007673159397986/3606397681956831975904\ 99227*c_0101_6^13 - 115600617331255094557337366204/1202132560652277\ 32530166409*c_0101_6^12 + 45949047140880172529161480301/36063976819\ 5683197590499227*c_0101_6^11 + 934097843257421485584747715600/36063\ 9768195683197590499227*c_0101_6^10 - 362097789880749937754580632531/360639768195683197590499227*c_0101_6\ ^9 - 122499396341876236214257494125/360639768195683197590499227*c_0\ 101_6^8 + 316054248856387647556585278404/12021325606522773253016640\ 9*c_0101_6^7 - 57800458482204021321105893041/1335702845169197028112\ 9601*c_0101_6^6 + 212857188486125312122291085729/120213256065227732\ 530166409*c_0101_6^5 - 91892105109228777423927139529/36063976819568\ 3197590499227*c_0101_6^4 + 141101680591209262399073311522/360639768\ 195683197590499227*c_0101_6^3 - 39660742934632595637842101033/36063\ 9768195683197590499227*c_0101_6^2 + 447915930847284505379112655/40071085355075910843388803*c_0101_6 - 8283327828342241540859776681/360639768195683197590499227, c_0011_0 - 1, c_0011_1 + 55282536464967310389066/325781181748584641003161*c_0101_6^17 + 94361832403956159719673/325781181748584641003161*c_0101_6^16 + 335450419238484044726777/325781181748584641003161*c_0101_6^15 + 1545132261603251092008162/325781181748584641003161*c_0101_6^14 - 11250378615781084886528229/325781181748584641003161*c_0101_6^13 - 10175084543183366749726037/325781181748584641003161*c_0101_6^12 + 61081681720679034561053625/325781181748584641003161*c_0101_6^11 - 23226544391591035032474040/325781181748584641003161*c_0101_6^10 - 59886321207305749762702034/325781181748584641003161*c_0101_6^9 + 104362696275816651745146849/325781181748584641003161*c_0101_6^8 - 129413617100054107195939071/325781181748584641003161*c_0101_6^7 + 59661309990117433907245225/325781181748584641003161*c_0101_6^6 + 3589455460211118638417452/325781181748584641003161*c_0101_6^5 + 5704958988812662690413192/325781181748584641003161*c_0101_6^4 - 4516519351444967763957728/325781181748584641003161*c_0101_6^3 - 699387959701211250897173/325781181748584641003161*c_0101_6^2 - 508875563502199544258229/325781181748584641003161*c_0101_6 - 3334969156049185893569/325781181748584641003161, c_0101_0 - 55366126381084094799173/325781181748584641003161*c_0101_6^17 - 82698946200088650721138/325781181748584641003161*c_0101_6^16 - 311256677047753682078755/325781181748584641003161*c_0101_6^15 - 1453803063251599338479271/325781181748584641003161*c_0101_6^14 + 11666594496736483638918635/325781181748584641003161*c_0101_6^13 + 8054649921835125737350248/325781181748584641003161*c_0101_6^12 - 63697174250754147064245255/325781181748584641003161*c_0101_6^11 + 33289749296069903074706077/325781181748584641003161*c_0101_6^10 + 54886161421364250451994408/325781181748584641003161*c_0101_6^9 - 110070795381337398809684777/325781181748584641003161*c_0101_6^8 + 151062638448126080177669622/325781181748584641003161*c_0101_6^7 - 87955314704709710813978937/325781181748584641003161*c_0101_6^6 + 15533448050877067980356088/325781181748584641003161*c_0101_6^5 - 13813256107406857624212000/325781181748584641003161*c_0101_6^4 + 6808508623262588808910502/325781181748584641003161*c_0101_6^3 + 125391007096065512245636/325781181748584641003161*c_0101_6^2 + 820491598353375069814964/325781181748584641003161*c_0101_6 - 327724176426485147002786/325781181748584641003161, c_0101_1 + 19459313568383434690644/325781181748584641003161*c_0101_6^17 + 52928203339156372454548/325781181748584641003161*c_0101_6^16 + 186819313829994350771523/325781181748584641003161*c_0101_6^15 + 779210965869202751060815/325781181748584641003161*c_0101_6^14 - 3024735109606192784985073/325781181748584641003161*c_0101_6^13 - 6040316427604752128804792/325781181748584641003161*c_0101_6^12 + 13070887884357176500755688/325781181748584641003161*c_0101_6^11 - 1020149016173234438201495/325781181748584641003161*c_0101_6^10 - 12023482961528023204917131/325781181748584641003161*c_0101_6^9 + 33143150910998878120646568/325781181748584641003161*c_0101_6^8 - 25408139831694376790093175/325781181748584641003161*c_0101_6^7 + 8739621169496640168636692/325781181748584641003161*c_0101_6^6 + 2431090936084606722229539/325781181748584641003161*c_0101_6^5 - 4812994949128672907753990/325781181748584641003161*c_0101_6^4 - 1701330485245062889205948/325781181748584641003161*c_0101_6^3 + 1801975763510963714925167/325781181748584641003161*c_0101_6^2 + 300781454037321490321956/325781181748584641003161*c_0101_6 + 153011715632916433095230/325781181748584641003161, c_0101_4 + 22580992837770442911170/325781181748584641003161*c_0101_6^17 + 68923470187249457597814/325781181748584641003161*c_0101_6^16 + 250696163250530468989795/325781181748584641003161*c_0101_6^15 + 1009804518257971900939678/325781181748584641003161*c_0101_6^14 - 3097028733261282041375785/325781181748584641003161*c_0101_6^13 - 7696824249554253542256434/325781181748584641003161*c_0101_6^12 + 10510823947593343738505904/325781181748584641003161*c_0101_6^11 - 252152697685940126897263/325781181748584641003161*c_0101_6^10 - 3270401681229880666783382/325781181748584641003161*c_0101_6^9 + 34921555699100533138070054/325781181748584641003161*c_0101_6^8 - 27968482576206459688180016/325781181748584641003161*c_0101_6^7 + 19619120043835960148478839/325781181748584641003161*c_0101_6^6 - 13463849577170986105108704/325781181748584641003161*c_0101_6^5 - 1232176010643647329406288/325781181748584641003161*c_0101_6^4 - 1974752968188624124706665/325781181748584641003161*c_0101_6^3 + 1199643061538868884191984/325781181748584641003161*c_0101_6^2 + 855163760048767908458628/325781181748584641003161*c_0101_6 + 223332019367825225890541/325781181748584641003161, c_0101_5 + 19295607042456583453868/325781181748584641003161*c_0101_6^17 + 25001166145761021322077/325781181748584641003161*c_0101_6^16 + 119447225484996247321444/325781181748584641003161*c_0101_6^15 + 544234431921756320899655/325781181748584641003161*c_0101_6^14 - 3971978133577806434919222/325781181748584641003161*c_0101_6^13 - 1226462396227438373108815/325781181748584641003161*c_0101_6^12 + 20630002915032929420800982/325781181748584641003161*c_0101_6^11 - 23590285716436487755813054/325781181748584641003161*c_0101_6^10 - 10065176596243478473229472/325781181748584641003161*c_0101_6^9 + 53496892583406626414956286/325781181748584641003161*c_0101_6^8 - 66713397444672223439750859/325781181748584641003161*c_0101_6^7 + 53936007089340592333533210/325781181748584641003161*c_0101_6^6 - 17155509716643486195579365/325781181748584641003161*c_0101_6^5 - 2100045839857390833486364/325781181748584641003161*c_0101_6^4 - 5052959863389506582489011/325781181748584641003161*c_0101_6^3 + 2253140178524800121207546/325781181748584641003161*c_0101_6^2 + 615850091754493480633732/325781181748584641003161*c_0101_6 + 435982718973146873317430/325781181748584641003161, c_0101_6^18 + 3*c_0101_6^17 + 10*c_0101_6^16 + 41*c_0101_6^15 - 150*c_0101_6^14 - 376*c_0101_6^13 + 610*c_0101_6^12 + 358*c_0101_6^11 - 585*c_0101_6^10 + 1095*c_0101_6^9 - 926*c_0101_6^8 - 3*c_0101_6^7 - 69*c_0101_6^6 + 131*c_0101_6^5 + 18*c_0101_6^4 + 11*c_0101_6^3 - 7*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB