Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 4139215376] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0775 geometric_solution 4.71889635 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 1.549771870030 0.162954749606 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 0 1 -1 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 1.301017796926 0.321840877062 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568145446626 0.753833035115 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 1 -1 0 0 0 0 -1 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 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.337757945369 0.369314208175 3 3 2 5 2031 1302 0132 2310 0 0 0 0 0 0 1 -1 -1 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 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.337757945369 0.369314208175 4 3 6 6 3201 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 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.920571196473 1.309533786715 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 1 -1 0 1 0 0 -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 -1 0 1 0 0 -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.121926592169 0.950690701996 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : 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' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 32379947203403914429639197/2282995140159865310778608*c_0101_5^23 + 64540446744422620553054065/570748785039966327694652*c_0101_5^21 - 1191656517002505284674167429/2282995140159865310778608*c_0101_5^19 - 3104282729301272462053145219/2282995140159865310778608*c_0101_5^17 + 193757160587896916376929286375/2282995140159865310778608*c_0101_5^1\ 5 + 149754783523650631317531760575/1141497570079932655389304*c_0101\ _5^13 - 431635839659447191947021045463/570748785039966327694652*c_0\ 101_5^11 + 2457723802805703660495056595097/228299514015986531077860\ 8*c_0101_5^9 - 118388837977294562958457246464/142687196259991581923\ 663*c_0101_5^7 + 56694911374505805376814387959/14268719625999158192\ 3663*c_0101_5^5 - 248086063120487547161687047337/228299514015986531\ 0778608*c_0101_5^3 + 3534969268921711278259545051/28537439251998316\ 3847326*c_0101_5, c_0011_0 - 1, c_0011_1 + 69225456119848959737965/2282995140159865310778608*c_0101_5^2\ 2 - 518986887512871439718439/2282995140159865310778608*c_0101_5^20 + 1153230634865577212384703/1141497570079932655389304*c_0101_5^18 + 7694173700679097089167557/2282995140159865310778608*c_0101_5^16 - 205202297006394571681167491/1141497570079932655389304*c_0101_5^14 - 104359693463624765811571889/285374392519983163847326*c_0101_5^12 + 815047585314766541295343205/570748785039966327694652*c_0101_5^10 - 3791088718763849810247738121/2282995140159865310778608*c_0101_5^8 + 2468750096484689224861020623/2282995140159865310778608*c_0101_5^6 - 956064571902528115605999373/2282995140159865310778608*c_0101_5^4 + 21993186838342093756991069/285374392519983163847326*c_0101_5^2 - 291160412821754624592921/142687196259991581923663, c_0011_4 + 51073309680233327644935/2282995140159865310778608*c_0101_5^2\ 2 - 363946791638339414581107/2282995140159865310778608*c_0101_5^20 + 783964916891466770556727/1141497570079932655389304*c_0101_5^18 + 6248694541499818439982231/2282995140159865310778608*c_0101_5^16 - 18776730240810214036579029/142687196259991581923663*c_0101_5^14 - 363644640164680302211318129/1141497570079932655389304*c_0101_5^12 + 1063806377524193363983576141/1141497570079932655389304*c_0101_5^10 - 2024138082551217808956841989/2282995140159865310778608*c_0101_5^8 + 1132544819536356781635580529/2282995140159865310778608*c_0101_5^6 - 346164768254612873423710837/2282995140159865310778608*c_0101_5^4 + 4376121585867288946610489/285374392519983163847326*c_0101_5^2 + 1985659740011593332319/142687196259991581923663, c_0011_6 - 50901046937565085260885/2282995140159865310778608*c_0101_5^2\ 2 + 366338742809213110518369/2282995140159865310778608*c_0101_5^20 - 794696393022499647437981/1141497570079932655389304*c_0101_5^18 - 6110338717681961903250413/2282995140159865310778608*c_0101_5^16 + 37479046952233595630790267/285374392519983163847326*c_0101_5^14 + 351704410027232266634299067/1141497570079932655389304*c_0101_5^12 - 1083213248643220637640425703/1141497570079932655389304*c_0101_5^10 + 2185680916619482095033221047/2282995140159865310778608*c_0101_5^8 - 1301543078808220826195544723/2282995140159865310778608*c_0101_5^6 + 437877149106195603571418767/2282995140159865310778608*c_0101_5^4 - 7414374238673137662949265/285374392519983163847326*c_0101_5^2 + 51779422403569051794855/142687196259991581923663, c_0101_0 + 218078901231509429107173/2282995140159865310778608*c_0101_5^\ 23 - 1651556731312332798380679/2282995140159865310778608*c_0101_5^2\ 1 + 921486343420028549872943/285374392519983163847326*c_0101_5^19 + 23808728191766555326245693/2282995140159865310778608*c_0101_5^17 - 647620983910160134410036745/1141497570079932655389304*c_0101_5^15 - 1267076680366695716356868357/1141497570079932655389304*c_0101_5^13 + 5289446648623508088478839317/1141497570079932655389304*c_0101_5^11 - 12407083012809093713939527303/2282995140159865310778608*c_0101_5^9 + 8072399547631489049833901717/2282995140159865310778608*c_0101_5^7 - 3160126053098588050402237485/2282995140159865310778608*c_0101_5^5 + 285562392805338755571844011/1141497570079932655389304*c_0101_5^3 - 2274964260813168611597133/285374392519983163847326*c_0101_5, c_0101_2 - 52946422826864522835731/2282995140159865310778608*c_0101_5^2\ 3 + 408452573299585093803733/2282995140159865310778608*c_0101_5^21 - 114782029936426246915178/142687196259991581923663*c_0101_5^19 - 5595845211114477343025999/2282995140159865310778608*c_0101_5^17 + 157785215415148678575584263/1141497570079932655389304*c_0101_5^15 + 286060591867639727129198671/1141497570079932655389304*c_0101_5^13 - 1356645573061212944253197057/1141497570079932655389304*c_0101_5^11 + 3219825083487215089030032641/2282995140159865310778608*c_0101_5^9 - 2010865132594386780454941803/2282995140159865310778608*c_0101_5^7 + 741242373034197886783550155/2282995140159865310778608*c_0101_5^5 - 46131977281535337722738151/1141497570079932655389304*c_0101_5^3 - 836318487798623823125563/142687196259991581923663*c_0101_5, c_0101_5^24 - 8*c_0101_5^22 + 37*c_0101_5^20 + 95*c_0101_5^18 - 5987*c_0101_5^16 - 9090*c_0101_5^14 + 53680*c_0101_5^12 - 77061*c_0101_5^10 + 59864*c_0101_5^8 - 29004*c_0101_5^6 + 8101*c_0101_5^4 - 996*c_0101_5^2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB