Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 3970789387] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1881 geometric_solution 5.50611526 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.303771265303 0.531775573649 3 2 4 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571663694993 1.034300946529 1 3 0 4 1230 0132 0132 3201 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 0 1 -1 -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 0 0 0 0.571663694993 1.034300946529 1 2 3 3 0132 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 0 0 0 0 0 0 0 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.022682079530 1.081050593842 5 2 5 1 0132 2310 2310 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 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.948536970319 1.864297035891 4 4 6 6 0132 3201 2310 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 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.166243280828 0.209215099238 6 5 5 6 3201 3201 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 -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.742166079031 0.840868157270 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], '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_4']), '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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), '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_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 44924264192156009912654399486/272501685547365491723151545*c_0101_4^\ 27 + 219117932506758190249080361362/272501685547365491723151545*c_0\ 101_4^25 - 4465520344502528660560118689619/272501685547365491723151\ 545*c_0101_4^23 + 15676918524038200304165224221191/5450033710947309\ 8344630309*c_0101_4^21 - 98304305601113691783292667100903/545003371\ 09473098344630309*c_0101_4^19 + 1390641389340481500159936594393808/\ 272501685547365491723151545*c_0101_4^17 - 1840453277232049674325145834170616/272501685547365491723151545*c_01\ 01_4^15 + 182334292396146213390826024466092/54500337109473098344630\ 309*c_0101_4^13 + 154533438161879774514724632281214/272501685547365\ 491723151545*c_0101_4^11 - 294314791611404605986680325473942/272501\ 685547365491723151545*c_0101_4^9 + 163553371536303393870247419045256/272501685547365491723151545*c_010\ 1_4^7 - 51543442721575129062345315894978/27250168554736549172315154\ 5*c_0101_4^5 + 7046033492049851719675109186667/27250168554736549172\ 3151545*c_0101_4^3 - 355430492041449756101268024032/272501685547365\ 491723151545*c_0101_4, c_0011_0 - 1, c_0011_1 - 22889411496226262680213570/54500337109473098344630309*c_0101\ _4^27 + 106456431118675468141642087/54500337109473098344630309*c_01\ 01_4^25 - 2251171856110355308411785774/54500337109473098344630309*c\ _0101_4^23 + 39428054413925108926039732567/545003371094730983446303\ 09*c_0101_4^21 - 241507808892197962055177889342/5450033710947309834\ 4630309*c_0101_4^19 + 653934329299937607159205898520/54500337109473\ 098344630309*c_0101_4^17 - 790283911848314825552018245051/545003371\ 09473098344630309*c_0101_4^15 + 287624574683143247495176483776/5450\ 0337109473098344630309*c_0101_4^13 + 140813007914551119309861866689/54500337109473098344630309*c_0101_4^\ 11 - 116447709620902747068306888727/54500337109473098344630309*c_01\ 01_4^9 + 57275738480208508225696517556/54500337109473098344630309*c\ _0101_4^7 - 13618446804643595771057577690/5450033710947309834463030\ 9*c_0101_4^5 + 456857051174364769762961015/545003371094730983446303\ 09*c_0101_4^3 - 78344107722813769612817881/545003371094730983446303\ 09*c_0101_4, c_0011_4 + 19364663754183545919412263/54500337109473098344630309*c_0101\ _4^26 - 93024110531210734396726091/54500337109473098344630309*c_010\ 1_4^24 + 1918274374457849360933242626/54500337109473098344630309*c_\ 0101_4^22 - 33647679960433468061390047484/5450033710947309834463030\ 9*c_0101_4^20 + 209417363098078558174702162683/54500337109473098344\ 630309*c_0101_4^18 - 584459169970016457228413851137/545003371094730\ 98344630309*c_0101_4^16 + 753081555690833290716079895993/5450033710\ 9473098344630309*c_0101_4^14 - 345344987027722483990550368179/54500\ 337109473098344630309*c_0101_4^12 - 81957864461375472654562140000/54500337109473098344630309*c_0101_4^1\ 0 + 116188603286511296060518455981/54500337109473098344630309*c_010\ 1_4^8 - 62939562139718469110577490090/54500337109473098344630309*c_\ 0101_4^6 + 19136153463810521423221640611/54500337109473098344630309\ *c_0101_4^4 - 2569697362926237974216858599/545003371094730983446303\ 09*c_0101_4^2 + 164375557558972644048839886/54500337109473098344630\ 309, c_0011_6 + 20307742599712416540911457/54500337109473098344630309*c_0101\ _4^26 - 99619416222975419766413260/54500337109473098344630309*c_010\ 1_4^24 + 2021502352005884100379701528/54500337109473098344630309*c_\ 0101_4^22 - 35490262641906641122119593363/5450033710947309834463030\ 9*c_0101_4^20 + 223192585763835740085517959923/54500337109473098344\ 630309*c_0101_4^18 - 635047061057894264426269485235/545003371094730\ 98344630309*c_0101_4^16 + 850687294602708820324398370576/5450033710\ 9473098344630309*c_0101_4^14 - 438131492629851234740506135877/54500\ 337109473098344630309*c_0101_4^12 - 55604437827667666817095847845/54500337109473098344630309*c_0101_4^1\ 0 + 134488990869282163877980584229/54500337109473098344630309*c_010\ 1_4^8 - 78267746963367710615930507587/54500337109473098344630309*c_\ 0101_4^6 + 25796599832300066718908059102/54500337109473098344630309\ *c_0101_4^4 - 4090075788050702491635491613/545003371094730983446303\ 09*c_0101_4^2 + 240923832385186070922739349/54500337109473098344630\ 309, c_0101_0 + 36794734388003449816677793/54500337109473098344630309*c_0101\ _4^26 - 180087488753870358012288120/54500337109473098344630309*c_01\ 01_4^24 + 3660529668919572019293345179/54500337109473098344630309*c\ _0101_4^22 - 64262023126207450062977842071/545003371094730983446303\ 09*c_0101_4^20 + 403665266875903364179238466941/5450033710947309834\ 4630309*c_0101_4^18 - 1145887775132665756975149831431/5450033710947\ 3098344630309*c_0101_4^16 + 1527154652553953473086498569627/5450033\ 7109473098344630309*c_0101_4^14 - 773046167787617396459995307174/54\ 500337109473098344630309*c_0101_4^12 - 114236695290614264829828397459/54500337109473098344630309*c_0101_4^\ 10 + 245277744453400639619168557427/54500337109473098344630309*c_01\ 01_4^8 - 139150241825025842743085058509/54500337109473098344630309*\ c_0101_4^6 + 43975799403757726844054074507/545003371094730983446303\ 09*c_0101_4^4 - 6312615598039815008183910351/5450033710947309834463\ 0309*c_0101_4^2 + 318363842277967854170009596/545003371094730983446\ 30309, c_0101_1 + 113387442055298870196265373/54500337109473098344630309*c_010\ 1_4^27 - 556625240047242425596602442/54500337109473098344630309*c_0\ 101_4^25 + 11287630126651882429826471240/54500337109473098344630309\ *c_0101_4^23 - 198192862718304815734015694177/545003371094730983446\ 30309*c_0101_4^21 + 1246763789715502704653344785182/545003371094730\ 98344630309*c_0101_4^19 - 3547950119682945337642327997885/545003371\ 09473098344630309*c_0101_4^17 + 4749001898834505091839641338149/545\ 00337109473098344630309*c_0101_4^15 - 2428372688860221806982916739530/54500337109473098344630309*c_0101_4\ ^13 - 341373000250151618580913620910/54500337109473098344630309*c_0\ 101_4^11 + 764782191665325715625854948700/5450033710947309834463030\ 9*c_0101_4^9 - 432352920647260426413176137112/545003371094730983446\ 30309*c_0101_4^7 + 139125311266666087503608368884/54500337109473098\ 344630309*c_0101_4^5 - 19971712239609567449475822283/54500337109473\ 098344630309*c_0101_4^3 + 1084328019912565259186014598/545003371094\ 73098344630309*c_0101_4, c_0101_4^28 - 5*c_0101_4^26 + 100*c_0101_4^24 - 1757*c_0101_4^22 + 11155*c_0101_4^20 - 32298*c_0101_4^18 + 44775*c_0101_4^16 - 25353*c_0101_4^14 - 904*c_0101_4^12 + 6954*c_0101_4^10 - 4452*c_0101_4^8 + 1601*c_0101_4^6 - 301*c_0101_4^4 + 28*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB