Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 155751911] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1909 geometric_solution 5.51573883 oriented_manifold CS_known 0.0000000000000000 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 -1 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.304211674706 0.581359325822 3 2 4 0 0132 3012 0132 0132 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 -1 0 1 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636854644410 1.058798360853 1 3 0 4 1230 0132 0132 2310 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 0 0 -1 0 0 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636854644410 1.058798360853 1 2 3 3 0132 0132 1230 3012 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 0 0 0 1.002835295891 0.999150826899 2 5 5 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -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.210802728082 0.473036733124 4 4 6 6 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.504446941678 2.753690909601 5 6 5 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.474033651882 0.209636720280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : 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' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), '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_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 14659837006532342630763352748791023098742970898174/2271722822650440\ 673056223035934819402031721943401*c_0101_5^35 + 395889238675756318380842380341660434853021550207217/227172282265044\ 0673056223035934819402031721943401*c_0101_5^33 - 2787314971046269115590487523945008396817952979550784/22717228226504\ 40673056223035934819402031721943401*c_0101_5^31 + 716527039073127046162567807450709238545485011806767/227172282265044\ 0673056223035934819402031721943401*c_0101_5^29 + 30746030982440526309621295972603256889773616573138038/2271722822650\ 440673056223035934819402031721943401*c_0101_5^27 - 6065285474421999375910055629681213350943204098234131/25241364696116\ 0074784024781770535489114635771489*c_0101_5^25 - 7143627564392988865584018813323516073842202586179901/22717228226504\ 40673056223035934819402031721943401*c_0101_5^23 + 531411482966350375155163678660304595206095214492624176/227172282265\ 0440673056223035934819402031721943401*c_0101_5^21 - 146058647718955083565014029060906888045698787268937146/252413646961\ 160074784024781770535489114635771489*c_0101_5^19 + 1941682109059045172022410316698629063676741001512566505/22717228226\ 50440673056223035934819402031721943401*c_0101_5^17 - 1812236564331371943556314731334920970249539554451526356/22717228226\ 50440673056223035934819402031721943401*c_0101_5^15 + 378710226460515541241971623582318475714858200604346365/757240940883\ 480224352074345311606467343907314467*c_0101_5^13 - 650751499347350638237561999486191059035646473293520805/227172282265\ 0440673056223035934819402031721943401*c_0101_5^11 + 106476586586826400035760165536829855607645551950070985/757240940883\ 480224352074345311606467343907314467*c_0101_5^9 - 41696134131064933153423134595598397536041786202167321/7572409408834\ 80224352074345311606467343907314467*c_0101_5^7 + 40150344288261374185699308087019038246880180132221937/2271722822650\ 440673056223035934819402031721943401*c_0101_5^5 - 660801352914953641014330113909598494586396373758590/757240940883480\ 224352074345311606467343907314467*c_0101_5^3 + 394046563105892728911715700760800187901708697179828/227172282265044\ 0673056223035934819402031721943401*c_0101_5, c_0011_0 - 1, c_0011_1 - 4912221547549519863939242675513804992431138488/2524136469611\ 60074784024781770535489114635771489*c_0101_5^35 + 132505369773323186537898946024806515158389093262/252413646961160074\ 784024781770535489114635771489*c_0101_5^33 - 929819217383535112895853614414778371224048625348/252413646961160074\ 784024781770535489114635771489*c_0101_5^31 + 208780155945366729735795870721633838389017859023/252413646961160074\ 784024781770535489114635771489*c_0101_5^29 + 10322599780084277699652249913248364391690330272077/2524136469611600\ 74784024781770535489114635771489*c_0101_5^27 - 17916532054622118241264574851787115386803855227832/2524136469611600\ 74784024781770535489114635771489*c_0101_5^25 - 3168333057830050646269165361783524419874657251455/25241364696116007\ 4784024781770535489114635771489*c_0101_5^23 + 177626803944080957873314610280121569614529544119534/252413646961160\ 074784024781770535489114635771489*c_0101_5^21 - 434206951449048911768264264781350983027765220563531/252413646961160\ 074784024781770535489114635771489*c_0101_5^19 + 633796160056619560604142513175929650282385152864693/252413646961160\ 074784024781770535489114635771489*c_0101_5^17 - 590348915809066079240435859376069224597151573338577/252413646961160\ 074784024781770535489114635771489*c_0101_5^15 + 369985904793794449668775403136753131082418701974896/252413646961160\ 074784024781770535489114635771489*c_0101_5^13 - 221331994276928265190324628516318872392615009048895/252413646961160\ 074784024781770535489114635771489*c_0101_5^11 + 109475372556731891355886582185106992196714857836180/252413646961160\ 074784024781770535489114635771489*c_0101_5^9 - 41560860368190695955756161847090009670789727082230/2524136469611600\ 74784024781770535489114635771489*c_0101_5^7 + 15230784312677746299856808055888707207945183335321/2524136469611600\ 74784024781770535489114635771489*c_0101_5^5 - 998765022839170122421105780737991094747826769503/252413646961160074\ 784024781770535489114635771489*c_0101_5^3 + 752339763104846404552711141682591329552074903428/252413646961160074\ 784024781770535489114635771489*c_0101_5, c_0011_4 + 10491139865915929569361359021239119388690906971/252413646961\ 160074784024781770535489114635771489*c_0101_5^34 - 284091267866243057358642981529282029036410011032/252413646961160074\ 784024781770535489114635771489*c_0101_5^32 + 2015152441319111073503058488971025493219730847505/25241364696116007\ 4784024781770535489114635771489*c_0101_5^30 - 645954211737952993612248373282680853715771143147/252413646961160074\ 784024781770535489114635771489*c_0101_5^28 - 22059933336342941462444215141691771207541401299345/2524136469611600\ 74784024781770535489114635771489*c_0101_5^26 + 40646801412773709656981443653488612113601038629615/2524136469611600\ 74784024781770535489114635771489*c_0101_5^24 + 3361702577847676152140770317038186751103703401769/25241364696116007\ 4784024781770535489114635771489*c_0101_5^22 - 381851205959038572602244954979773089558710920130612/252413646961160\ 074784024781770535489114635771489*c_0101_5^20 + 967610293369649175267016907457104183259062219887245/252413646961160\ 074784024781770535489114635771489*c_0101_5^18 - 1439872718385368203789316765204004154918997344016720/25241364696116\ 0074784024781770535489114635771489*c_0101_5^16 + 1365210263414497792274761642264071460596116611362954/25241364696116\ 0074784024781770535489114635771489*c_0101_5^14 - 864276533786130301215898380248129769484991590715718/252413646961160\ 074784024781770535489114635771489*c_0101_5^12 + 495667813166582459123590033777593262674340645552780/252413646961160\ 074784024781770535489114635771489*c_0101_5^10 - 247463896978480172271187001669565696992255178085089/252413646961160\ 074784024781770535489114635771489*c_0101_5^8 + 95913731799817362689610640763448529236401340580598/2524136469611600\ 74784024781770535489114635771489*c_0101_5^6 - 31509652170477742187903344369685043194245311966273/2524136469611600\ 74784024781770535489114635771489*c_0101_5^4 + 1681250310380321934687215372419669462932371467285/25241364696116007\ 4784024781770535489114635771489*c_0101_5^2 - 198796712785574351072175896828275792860519243614/252413646961160074\ 784024781770535489114635771489, c_0011_6 + 5877726610507641419153098875140430588662994235/2524136469611\ 60074784024781770535489114635771489*c_0101_5^34 - 159391718662812619575022496359825236230152743405/252413646961160074\ 784024781770535489114635771489*c_0101_5^32 + 1135286639826452396358706624138505413004507794477/25241364696116007\ 4784024781770535489114635771489*c_0101_5^30 - 408690403283972914512926190376355867491445850724/252413646961160074\ 784024781770535489114635771489*c_0101_5^28 - 12325772459167455733184868401641889652259847871703/2524136469611600\ 74784024781770535489114635771489*c_0101_5^26 + 23263634592487245792360831204307830915243560354958/2524136469611600\ 74784024781770535489114635771489*c_0101_5^24 + 760454499868452964471081972211226384938904200425/252413646961160074\ 784024781770535489114635771489*c_0101_5^22 - 213781135090881932001104560586365651060098052655226/252413646961160\ 074784024781770535489114635771489*c_0101_5^20 + 550736904841345195483126747339459296583832675548918/252413646961160\ 074784024781770535489114635771489*c_0101_5^18 - 831749499818956176405695067574982174933403380052590/252413646961160\ 074784024781770535489114635771489*c_0101_5^16 + 803015113817025294702468669311241441319865601228986/252413646961160\ 074784024781770535489114635771489*c_0101_5^14 - 521917297290165257954279297037363851751080410429559/252413646961160\ 074784024781770535489114635771489*c_0101_5^12 + 300729564183310894091228806718274157276960486828349/252413646961160\ 074784024781770535489114635771489*c_0101_5^10 - 150439813717598926324709438425379168080065490194596/252413646961160\ 074784024781770535489114635771489*c_0101_5^8 + 59528862066329599344957755951492158668946475903264/2524136469611600\ 74784024781770535489114635771489*c_0101_5^6 - 19632821718462520239629233336569906171605340952144/2524136469611600\ 74784024781770535489114635771489*c_0101_5^4 + 1428416088450432714347699543074657012006743840657/25241364696116007\ 4784024781770535489114635771489*c_0101_5^2 - 119254285861862744887820869348547968768524897373/252413646961160074\ 784024781770535489114635771489, c_0101_0 + 6151374470878511596934551010953766960907200556/2524136469611\ 60074784024781770535489114635771489*c_0101_5^34 - 165661655889853441619221740627841997800365371386/252413646961160074\ 784024781770535489114635771489*c_0101_5^32 + 1157551134903681647443062685401349919641445660195/25241364696116007\ 4784024781770535489114635771489*c_0101_5^30 - 221675750456469913665299557350238423936764239922/252413646961160074\ 784024781770535489114635771489*c_0101_5^28 - 12873448279008426412595035259422460964193351231869/2524136469611600\ 74784024781770535489114635771489*c_0101_5^26 + 21974752447438912575297288467739350065981867785920/2524136469611600\ 74784024781770535489114635771489*c_0101_5^24 + 4098195001538552399469632268068921655799432103429/25241364696116007\ 4784024781770535489114635771489*c_0101_5^22 - 222157281948805903608259035822632462929963676171956/252413646961160\ 074784024781770535489114635771489*c_0101_5^20 + 535663962585986170631118376604920947310232980469298/252413646961160\ 074784024781770535489114635771489*c_0101_5^18 - 783954711446385016367082771078255943273790266729356/252413646961160\ 074784024781770535489114635771489*c_0101_5^16 + 718167199976521309680355864668147468781200152630509/252413646961160\ 074784024781770535489114635771489*c_0101_5^14 - 445149480279945639522270450015145327714305630800392/252413646961160\ 074784024781770535489114635771489*c_0101_5^12 + 256458902091361946278216989913154121124076143682715/252413646961160\ 074784024781770535489114635771489*c_0101_5^10 - 125861500731307379229584975664563856988067823068943/252413646961160\ 074784024781770535489114635771489*c_0101_5^8 + 50982218396971697046506312197535964008646113298714/2524136469611600\ 74784024781770535489114635771489*c_0101_5^6 - 16002553952955820025170828061895289339051710315195/2524136469611600\ 74784024781770535489114635771489*c_0101_5^4 + 1126755101223792207744486126571304350150111601054/25241364696116007\ 4784024781770535489114635771489*c_0101_5^2 - 349834215995838076351397713653145407103365798036/252413646961160074\ 784024781770535489114635771489, c_0101_1 + 50033967950043418209660311275036502244641001640/252413646961\ 160074784024781770535489114635771489*c_0101_5^35 - 1350825510363529491024304474991734208799102390317/25241364696116007\ 4784024781770535489114635771489*c_0101_5^33 + 9503968024958336003862674307176832427624175422270/25241364696116007\ 4784024781770535489114635771489*c_0101_5^31 - 2383967074260666717803334877828740378410443702639/25241364696116007\ 4784024781770535489114635771489*c_0101_5^29 - 104926086287449391103978321013715036373906161838460/252413646961160\ 074784024781770535489114635771489*c_0101_5^27 + 185572882754447457887529866929917045977993599198485/252413646961160\ 074784024781770535489114635771489*c_0101_5^25 + 25375670331712712785344170761714318256215960329929/2524136469611600\ 74784024781770535489114635771489*c_0101_5^23 - 1812941681529294635387859414403430347353631365423122/25241364696116\ 0074784024781770535489114635771489*c_0101_5^21 + 4473979394906844749604545228403129935440060111022524/25241364696116\ 0074784024781770535489114635771489*c_0101_5^19 - 6601126214763421659728761624249729691053933560564901/25241364696116\ 0074784024781770535489114635771489*c_0101_5^17 + 6153409759001797747869039351821704342100759892020150/25241364696116\ 0074784024781770535489114635771489*c_0101_5^15 - 3856519917436392372988444997556227272053680297826186/25241364696116\ 0074784024781770535489114635771489*c_0101_5^13 + 2216036961496546506384790849769099976433868759898675/25241364696116\ 0074784024781770535489114635771489*c_0101_5^11 - 1089910682432110384578148387327043910884890851601288/25241364696116\ 0074784024781770535489114635771489*c_0101_5^9 + 428005996177729304314322444662337827277359409678036/252413646961160\ 074784024781770535489114635771489*c_0101_5^7 - 138713920262537662889259673321773071027818494696753/252413646961160\ 074784024781770535489114635771489*c_0101_5^5 + 7109322176969933393107296218595924226362362903913/25241364696116007\ 4784024781770535489114635771489*c_0101_5^3 - 1560464905508940702251750133944216670073099971142/25241364696116007\ 4784024781770535489114635771489*c_0101_5, c_0101_5^36 - 27*c_0101_5^34 + 190*c_0101_5^32 - 48*c_0101_5^30 - 2097*c_0101_5^28 + 3713*c_0101_5^26 + 500*c_0101_5^24 - 36237*c_0101_5^22 + 89488*c_0101_5^20 - 132103*c_0101_5^18 + 123201*c_0101_5^16 - 77252*c_0101_5^14 + 44341*c_0101_5^12 - 21788*c_0101_5^10 + 8544*c_0101_5^8 - 2756*c_0101_5^6 + 148*c_0101_5^4 - 32*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB