Magma V2.19-8 Tue Aug 20 2013 16:19:16 on localhost [Seed = 54697484] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3391 geometric_solution 6.55851673 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334294946679 0.310235796875 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 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 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 1.058512872483 1.181287039192 1 4 5 6 0132 0132 0132 0132 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 -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.265903968975 1.012044300778 6 5 4 1 1023 3201 3201 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265903968975 1.012044300778 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 1 0 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 1 0 -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.268246866615 0.749390418562 5 5 3 2 1302 2031 2310 0132 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 0 0 0 0 0 0 0 0 0 0.309846970133 0.800231118375 6 3 2 6 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347690460513 0.971289433794 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : 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_5'], 'c_1001_2' : d['c_0011_5'], '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_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 138219988887038911706275097797786783/532467454875710081686319310761\ 916*c_0101_0*c_0101_3^20 - 213711645032678814109700107345413625/354\ 978303250473387790879540507944*c_0101_0*c_0101_3^19 - 1336206897733254737268810038786365907/17748915162523669389543977025\ 3972*c_0101_0*c_0101_3^18 + 31674364748386011387873953487483304967/\ 1064934909751420163372638621523832*c_0101_0*c_0101_3^17 - 2269469136467147058699484315924302181/26623372743785504084315965538\ 0958*c_0101_0*c_0101_3^16 - 21378891844904822790407130381429234578/\ 133116863718927520421579827690479*c_0101_0*c_0101_3^15 + 141226958131941263057263580250554753243/106493490975142016337263862\ 1523832*c_0101_0*c_0101_3^14 + 178634067553713971665425312494752595\ 977/266233727437855040843159655380958*c_0101_0*c_0101_3^13 + 10947835694226629269398733073589955595/4095903499043923705279379313\ 5532*c_0101_0*c_0101_3^12 - 247847812660147857411821808241707829675\ /354978303250473387790879540507944*c_0101_0*c_0101_3^11 + 37934348982563969691805855950297184979/2662337274378550408431596553\ 80958*c_0101_0*c_0101_3^10 + 28701647863565159083168314327397279528\ 99/1064934909751420163372638621523832*c_0101_0*c_0101_3^9 + 3720875043663602338924734144349820528381/10649349097514201633726386\ 21523832*c_0101_0*c_0101_3^8 + 100885139721381774194787496756220497\ 865/59163050541745564631813256751324*c_0101_0*c_0101_3^7 + 17605470209150697055004780655150714659/2662337274378550408431596553\ 80958*c_0101_0*c_0101_3^6 - 194766491844532576092455130097205548687\ /1064934909751420163372638621523832*c_0101_0*c_0101_3^5 + 3054778346897923371662957924820539819/53246745487571008168631931076\ 1916*c_0101_0*c_0101_3^4 + 34678795553603125046019519256160179567/1\ 064934909751420163372638621523832*c_0101_0*c_0101_3^3 + 1315588250316544425182707193862261281/10649349097514201633726386215\ 23832*c_0101_0*c_0101_3^2 - 3849669361904146097244798754579452881/1\ 064934909751420163372638621523832*c_0101_0*c_0101_3 - 714677234041938994456943248028371093/106493490975142016337263862152\ 3832*c_0101_0, c_0011_0 - 1, c_0011_1 - 6293044759483197470098483722724/1137750971956645473688716475\ 987*c_0101_3^20 + 17244038923219210503545169884992/1137750971956645\ 473688716475987*c_0101_3^19 + 175892277523656143350442689993772/113\ 7750971956645473688716475987*c_0101_3^18 - 796781651903591788151917966996886/1137750971956645473688716475987*c\ _0101_3^17 + 523992976218362611159870903927077/11377509719566454736\ 88716475987*c_0101_3^16 + 3752047210548594659358312469631968/113775\ 0971956645473688716475987*c_0101_3^15 - 4841051871315858076422948678028741/1137750971956645473688716475987*\ c_0101_3^14 - 14607557344538729764826825362653561/11377509719566454\ 73688716475987*c_0101_3^13 + 114004795326902359755931424957766/1137\ 750971956645473688716475987*c_0101_3^12 + 18384603865851991667153293879927555/1137750971956645473688716475987\ *c_0101_3^11 - 10993973361859249367524726566402645/1137750971956645\ 473688716475987*c_0101_3^10 - 62458501736702955468520633598259491/1\ 137750971956645473688716475987*c_0101_3^9 - 57504862619082978973717506802405771/1137750971956645473688716475987\ *c_0101_3^8 - 10809830025310129486752313213346210/11377509719566454\ 73688716475987*c_0101_3^7 + 9608892523723097199253048397760364/1137\ 750971956645473688716475987*c_0101_3^6 + 2665375702469618562599626144463943/1137750971956645473688716475987*\ c_0101_3^5 - 1634218214654484556763887192445080/1137750971956645473\ 688716475987*c_0101_3^4 - 358151196624592388504906316553321/1137750\ 971956645473688716475987*c_0101_3^3 + 215812222276398274910151558593129/1137750971956645473688716475987*c\ _0101_3^2 + 37808115851405894623935485112497/1137750971956645473688\ 716475987*c_0101_3 - 9633969038257278213846793619126/11377509719566\ 45473688716475987, c_0011_3 + 5255925819872934208439347819876/1137750971956645473688716475\ 987*c_0101_0*c_0101_3^20 - 29177840529392231811850551188617/2275501\ 943913290947377432951974*c_0101_0*c_0101_3^19 - 146382322949684328839523862703240/1137750971956645473688716475987*c\ _0101_0*c_0101_3^18 + 1341507072297548344622948134333577/2275501943\ 913290947377432951974*c_0101_0*c_0101_3^17 - 461936568173724053973095837997990/1137750971956645473688716475987*c\ _0101_0*c_0101_3^16 - 3119039762898039192724860563304144/1137750971\ 956645473688716475987*c_0101_0*c_0101_3^15 + 8336261239912374053720629239653585/2275501943913290947377432951974*\ c_0101_0*c_0101_3^14 + 12026738731014791542970245290315483/11377509\ 71956645473688716475987*c_0101_0*c_0101_3^13 - 553672667488091691174331000526964/1137750971956645473688716475987*c\ _0101_0*c_0101_3^12 - 30421208222285894192975078287782577/227550194\ 3913290947377432951974*c_0101_0*c_0101_3^11 + 9819447976800446652392696064057542/1137750971956645473688716475987*\ c_0101_0*c_0101_3^10 + 103333610463939927095807134903261573/2275501\ 943913290947377432951974*c_0101_0*c_0101_3^9 + 92117773442617080667229547575863231/2275501943913290947377432951974\ *c_0101_0*c_0101_3^8 + 7783718273809216322144550939980398/113775097\ 1956645473688716475987*c_0101_0*c_0101_3^7 - 7701633611171455470022063853724006/1137750971956645473688716475987*\ c_0101_0*c_0101_3^6 - 3616626841967746185043430254421811/2275501943\ 913290947377432951974*c_0101_0*c_0101_3^5 + 1307259661062165355721475415128895/1137750971956645473688716475987*\ c_0101_0*c_0101_3^4 + 448719673461818608508054781746963/22755019439\ 13290947377432951974*c_0101_0*c_0101_3^3 - 330643370011950391037326540106999/2275501943913290947377432951974*c\ _0101_0*c_0101_3^2 - 51942535818342097823050954083159/2275501943913\ 290947377432951974*c_0101_0*c_0101_3 + 11542422073862897812917315132843/2275501943913290947377432951974*c_\ 0101_0, c_0011_5 - 6955601219006686945117834093683/1137750971956645473688716475\ 987*c_0101_0*c_0101_3^20 + 37612819458661114460327777262665/2275501\ 943913290947377432951974*c_0101_0*c_0101_3^19 + 195335639071699393426682887978508/1137750971956645473688716475987*c\ _0101_0*c_0101_3^18 - 1748954088985129951817176018704305/2275501943\ 913290947377432951974*c_0101_0*c_0101_3^17 + 541549091762548982536025064477866/1137750971956645473688716475987*c\ _0101_0*c_0101_3^16 + 4203641851598546798439629453296752/1137750971\ 956645473688716475987*c_0101_0*c_0101_3^15 - 10512197991451814270568967564028757/2275501943913290947377432951974\ *c_0101_0*c_0101_3^14 - 16426049149749320611329425817311927/1137750\ 971956645473688716475987*c_0101_0*c_0101_3^13 - 175459027930905844864895351637065/1137750971956645473688716475987*c\ _0101_0*c_0101_3^12 + 41138486222604560087307184203224911/227550194\ 3913290947377432951974*c_0101_0*c_0101_3^11 - 11754680562070303554152665035792872/1137750971956645473688716475987\ *c_0101_0*c_0101_3^10 - 139644640423869738747488363759679643/227550\ 1943913290947377432951974*c_0101_0*c_0101_3^9 - 130384967953225718379933223827764635/227550194391329094737743295197\ 4*c_0101_0*c_0101_3^8 - 12850670692947704073441886511811839/1137750\ 971956645473688716475987*c_0101_0*c_0101_3^7 + 10538056663614715386651207815171310/1137750971956645473688716475987\ *c_0101_0*c_0101_3^6 + 6125344672095091224500848378841611/227550194\ 3913290947377432951974*c_0101_0*c_0101_3^5 - 1736540455067945528245335123630714/1137750971956645473688716475987*\ c_0101_0*c_0101_3^4 - 790333434252328577469278723857825/22755019439\ 13290947377432951974*c_0101_0*c_0101_3^3 + 453524490648079415934280294722525/2275501943913290947377432951974*c\ _0101_0*c_0101_3^2 + 87538817889819302669340340614933/2275501943913\ 290947377432951974*c_0101_0*c_0101_3 - 17786493772335757423532709727731/2275501943913290947377432951974*c_\ 0101_0, c_0101_0^2 + 6293044759483197470098483722724/11377509719566454736887164\ 75987*c_0101_3^20 - 17244038923219210503545169884992/11377509719566\ 45473688716475987*c_0101_3^19 - 175892277523656143350442689993772/1\ 137750971956645473688716475987*c_0101_3^18 + 796781651903591788151917966996886/1137750971956645473688716475987*c\ _0101_3^17 - 523992976218362611159870903927077/11377509719566454736\ 88716475987*c_0101_3^16 - 3752047210548594659358312469631968/113775\ 0971956645473688716475987*c_0101_3^15 + 4841051871315858076422948678028741/1137750971956645473688716475987*\ c_0101_3^14 + 14607557344538729764826825362653561/11377509719566454\ 73688716475987*c_0101_3^13 - 114004795326902359755931424957766/1137\ 750971956645473688716475987*c_0101_3^12 - 18384603865851991667153293879927555/1137750971956645473688716475987\ *c_0101_3^11 + 10993973361859249367524726566402645/1137750971956645\ 473688716475987*c_0101_3^10 + 62458501736702955468520633598259491/1\ 137750971956645473688716475987*c_0101_3^9 + 57504862619082978973717506802405771/1137750971956645473688716475987\ *c_0101_3^8 + 10809830025310129486752313213346210/11377509719566454\ 73688716475987*c_0101_3^7 - 9608892523723097199253048397760364/1137\ 750971956645473688716475987*c_0101_3^6 - 2665375702469618562599626144463943/1137750971956645473688716475987*\ c_0101_3^5 + 1634218214654484556763887192445080/1137750971956645473\ 688716475987*c_0101_3^4 + 358151196624592388504906316553321/1137750\ 971956645473688716475987*c_0101_3^3 - 215812222276398274910151558593129/1137750971956645473688716475987*c\ _0101_3^2 - 37808115851405894623935485112497/1137750971956645473688\ 716475987*c_0101_3 + 8496218066300632740158077143139/11377509719566\ 45473688716475987, c_0101_1 - 3304677897879064315804353439091/1137750971956645473688716475\ 987*c_0101_3^20 + 9110589045557691454763115275185/11377509719566454\ 73688716475987*c_0101_3^19 + 92167910120324669556085432311872/11377\ 50971956645473688716475987*c_0101_3^18 - 419884485808637897892801728005990/1137750971956645473688716475987*c\ _0101_3^17 + 283745263946824054378865962270172/11377509719566454736\ 88716475987*c_0101_3^16 + 1960867111437414844088644692951217/113775\ 0971956645473688716475987*c_0101_3^15 - 2580918985657033476521949045908370/1137750971956645473688716475987*\ c_0101_3^14 - 7578486031025904261437734398263782/113775097195664547\ 3688716475987*c_0101_3^13 + 157720292181178507468085015802727/11377\ 50971956645473688716475987*c_0101_3^12 + 9460536577403695100742351403259018/1137750971956645473688716475987*\ c_0101_3^11 - 5929132746082736429696936626936447/113775097195664547\ 3688716475987*c_0101_3^10 - 32450648533484189053566519700166207/113\ 7750971956645473688716475987*c_0101_3^9 - 29728974105362189933022667903232342/1137750971956645473688716475987\ *c_0101_3^8 - 5904361034591275654386419075223565/113775097195664547\ 3688716475987*c_0101_3^7 + 4561858390197184828004326551424144/11377\ 50971956645473688716475987*c_0101_3^6 + 1377557105322395604680180776783416/1137750971956645473688716475987*\ c_0101_3^5 - 741738868618488978018616167796788/11377509719566454736\ 88716475987*c_0101_3^4 - 201775554372580635843646715829023/11377509\ 71956645473688716475987*c_0101_3^3 + 94225728908066261456388237992788/1137750971956645473688716475987*c_\ 0101_3^2 + 24799183460058744039712646975381/11377509719566454736887\ 16475987*c_0101_3 - 4521222321608150035502005502530/113775097195664\ 5473688716475987, c_0101_3^21 - 2*c_0101_3^20 - 30*c_0101_3^19 + 106*c_0101_3^18 + 11*c_0101_3^17 - 661*c_0101_3^16 + 332*c_0101_3^15 + 2901*c_0101_3^14 + 1675*c_0101_3^13 - 2968*c_0101_3^12 - 386*c_0101_3^11 + 11265*c_0101_3^10 + 16407*c_0101_3^9 + 8317*c_0101_3^8 - 317*c_0101_3^7 - 1516*c_0101_3^6 - 36*c_0101_3^5 + 241*c_0101_3^4 + 6*c_0101_3^3 - 30*c_0101_3^2 - 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB