Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 374836012] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2394 geometric_solution 5.75986288 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.706607334639 0.552534373120 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640006484472 0.620035568779 4 1 3 5 0132 0132 1302 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 -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.466604296622 0.489497560060 2 5 4 1 2031 1023 1023 0132 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 0 1 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.466604296622 0.489497560060 2 6 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.337541818769 1.439372900533 3 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 -1 1 1 0 0 -1 -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.794547226533 0.747461184691 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.526027351366 0.347724638169 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2224699775004669291634995756259/50254856068585404421812517976*c_011\ 0_5^22 - 4322667735205033701242499441533/50254856068585404421812517\ 976*c_0110_5^21 + 2449789786858528510140040659992/62818570085731755\ 52726564747*c_0110_5^20 - 59414344943118281612716881616245/25127428\ 034292702210906258988*c_0110_5^19 + 185344760329833918320590025353199/50254856068585404421812517976*c_0\ 110_5^18 + 12790226792353149734640412403015/25127428034292702210906\ 258988*c_0110_5^17 - 377954815575164097582645493255255/502548560685\ 85404421812517976*c_0110_5^16 - 174932040061694853931101706682391/5\ 0254856068585404421812517976*c_0110_5^15 + 201117935452021656020656810849071/25127428034292702210906258988*c_0\ 110_5^14 + 443151001193548819235365354678281/2512742803429270221090\ 6258988*c_0110_5^13 - 826234532857358488528258611002135/50254856068\ 585404421812517976*c_0110_5^12 - 203810081955461164638584340153977/\ 12563714017146351105453129494*c_0110_5^11 + 314841045035339197807046916551805/25127428034292702210906258988*c_0\ 110_5^10 + 116425239439779362571380588763459/2512742803429270221090\ 6258988*c_0110_5^9 - 7181209600168121406101726656463/25127428034292\ 702210906258988*c_0110_5^8 + 170874540288537035674872784688345/5025\ 4856068585404421812517976*c_0110_5^7 + 221084575169090620020071244663637/50254856068585404421812517976*c_0\ 110_5^6 - 302340676278911729406643909456825/50254856068585404421812\ 517976*c_0110_5^5 - 176120300767425866802417693796569/2512742803429\ 2702210906258988*c_0110_5^4 + 149939249752412421402616179724913/502\ 54856068585404421812517976*c_0110_5^3 + 28342196240474480944423242270583/12563714017146351105453129494*c_01\ 10_5^2 - 22444913505790997876200443994533/5025485606858540442181251\ 7976*c_0110_5 - 5647873270394686234477365188101/5025485606858540442\ 1812517976, c_0011_0 - 1, c_0011_1 - 26234814165395166697975885/24407409455359594182521864*c_0110\ _5^22 + 42465874230545577688560747/24407409455359594182521864*c_011\ 0_5^21 - 27220831260840012866211883/3050926181919949272815233*c_011\ 0_5^20 + 664739481522672735211876923/12203704727679797091260932*c_0\ 110_5^19 - 1755251209949746324791833161/24407409455359594182521864*\ c_0110_5^18 - 432770772756084109112160453/1220370472767979709126093\ 2*c_0110_5^17 + 4242307753176499907220128817/2440740945535959418252\ 1864*c_0110_5^16 + 3302624849854566434960171521/2440740945535959418\ 2521864*c_0110_5^15 - 1810823988933111953646073801/1220370472767979\ 7091260932*c_0110_5^14 - 5688643984096844955026342315/1220370472767\ 9797091260932*c_0110_5^13 + 6307915200811265905698586449/2440740945\ 5359594182521864*c_0110_5^12 + 2836090475975839965892449849/6101852\ 363839898545630466*c_0110_5^11 - 2172965041169076107474323183/12203\ 704727679797091260932*c_0110_5^10 - 1871372044040561906953935421/12203704727679797091260932*c_0110_5^9 - 299040606303950364530987735/12203704727679797091260932*c_0110_5^8 - 2199088174224455732654003231/24407409455359594182521864*c_0110_5^7 - 3505162570932250835789062931/24407409455359594182521864*c_0110_5^6 + 2323806419944976395296884039/24407409455359594182521864*c_0110_5^5 + 2322999352079489202501520855/12203704727679797091260932*c_0110_5^4 - 531609010950462941762372423/24407409455359594182521864*c_0110_5^3 - 349693057305371698352862715/6101852363839898545630466*c_0110_5^2 - 9752788784308083273258309/24407409455359594182521864*c_0110_5 + 90442951540142417254909187/24407409455359594182521864, c_0011_3 - 4276723415242353706398611/9152778545759847818445699*c_0110_5\ ^22 + 10419950762716787591210141/18305557091519695636891398*c_0110_\ 5^21 - 21276811636822711526574527/6101852363839898545630466*c_0110_\ 5^20 + 400648612002875924602026757/18305557091519695636891398*c_011\ 0_5^19 - 381567160769493432524205667/18305557091519695636891398*c_0\ 110_5^18 - 305071924271450850990441299/9152778545759847818445699*c_\ 0110_5^17 + 491781981982911274999951157/6101852363839898545630466*c\ _0110_5^16 + 506713660878380607818559627/6101852363839898545630466*\ c_0110_5^15 - 489517978656303234857106214/9152778545759847818445699\ *c_0110_5^14 - 4139838109137569725926086227/18305557091519695636891\ 398*c_0110_5^13 + 447745040697483181725773260/915277854575984781844\ 5699*c_0110_5^12 + 2490224508020429223958791407/9152778545759847818\ 445699*c_0110_5^11 - 156421577090517902229139151/305092618191994927\ 2815233*c_0110_5^10 - 905626125843829513913496247/91527785457598478\ 18445699*c_0110_5^9 - 40317541727044335003676945/915277854575984781\ 8445699*c_0110_5^8 - 156743116233992304845891263/305092618191994927\ 2815233*c_0110_5^7 - 460200234971050407532537085/610185236383989854\ 5630466*c_0110_5^6 + 355575161996405616315883009/183055570915196956\ 36891398*c_0110_5^5 + 965832692128860341702727746/91527785457598478\ 18445699*c_0110_5^4 + 100187451760439522169761225/18305557091519695\ 636891398*c_0110_5^3 - 205670327978196547955457035/6101852363839898\ 545630466*c_0110_5^2 + 1319839557619039374214389/610185236383989854\ 5630466*c_0110_5 + 14300007155809859613468400/915277854575984781844\ 5699, c_0101_0 + 201956591252396904625462127/24407409455359594182521864*c_011\ 0_5^22 - 336028891043234391115778197/24407409455359594182521864*c_0\ 110_5^21 + 213274520852627963795677199/3050926181919949272815233*c_\ 0110_5^20 - 5167674414751375949170088641/12203704727679797091260932\ *c_0110_5^19 + 14111370824770248288626700843/2440740945535959418252\ 1864*c_0110_5^18 + 2631217546244976588338711857/1220370472767979709\ 1260932*c_0110_5^17 - 31805887572266317188346091319/244074094553595\ 94182521864*c_0110_5^16 - 24091428740426673582802917483/24407409455\ 359594182521864*c_0110_5^15 + 13757117985327004021241045361/1220370\ 4727679797091260932*c_0110_5^14 + 42113997387429302833885303139/122\ 03704727679797091260932*c_0110_5^13 - 51284045189891898648992427639/24407409455359594182521864*c_0110_5^1\ 2 - 19994093172053140627286607811/6101852363839898545630466*c_0110_\ 5^11 + 17218052193982535484484319333/12203704727679797091260932*c_0\ 110_5^10 + 12191101561664311166418158751/12203704727679797091260932\ *c_0110_5^9 + 1699600405965026380510625045/122037047276797970912609\ 32*c_0110_5^8 + 17510321056749393394656145421/244074094553595941825\ 21864*c_0110_5^7 + 26585143989879287918929470029/244074094553595941\ 82521864*c_0110_5^6 - 17579183314240099517381996549/244074094553595\ 94182521864*c_0110_5^5 - 16300606064223420920812833607/122037047276\ 79797091260932*c_0110_5^4 + 5272547883473253627259293761/2440740945\ 5359594182521864*c_0110_5^3 + 2384962795677699688357531229/61018523\ 63839898545630466*c_0110_5^2 - 623032376250048388748307337/24407409\ 455359594182521864*c_0110_5 - 600203535797859031030712837/244074094\ 55359594182521864, c_0101_4 - 37502276035569286773181811/18305557091519695636891398*c_0110\ _5^22 + 44366010084608833988864155/12203704727679797091260932*c_011\ 0_5^21 - 109491836734178008157821479/6101852363839898545630466*c_01\ 10_5^20 + 654884306719668412361812717/6101852363839898545630466*c_0\ 110_5^19 - 2878923152495802003928260731/18305557091519695636891398*\ c_0110_5^18 - 838485512461342121662419425/3661111418303939127378279\ 6*c_0110_5^17 + 11073180923202442513393851683/366111141830393912737\ 82796*c_0110_5^16 + 1991297684833063160024988637/915277854575984781\ 8445699*c_0110_5^15 - 10001578568119542002160852865/366111141830393\ 91273782796*c_0110_5^14 - 9878796368144349556769765329/122037047276\ 79797091260932*c_0110_5^13 + 21122085281721764894281512329/36611114\ 183039391273782796*c_0110_5^12 + 6118739802579929248075713476/91527\ 78545759847818445699*c_0110_5^11 - 3052026475835434277370567719/9152778545759847818445699*c_0110_5^10 - 3181939707511813113616338865/18305557091519695636891398*c_0110_5^9 - 175350906013086699483737188/3050926181919949272815233*c_0110_5^8 - 522642718165545183061232387/3050926181919949272815233*c_0110_5^7 - 3198702680706883159601523229/12203704727679797091260932*c_0110_5^6 + 1171594520147237410240682417/6101852363839898545630466*c_0110_5^5 + 3495323271515965781026914909/12203704727679797091260932*c_0110_5^4 - 2109457724393702638521135601/36611114183039391273782796*c_0110_5^3 - 1328917385525320924768915963/18305557091519695636891398*c_0110_5^2 + 9440462046375473632839936/3050926181919949272815233*c_0110_5 + 52904414168964842056050405/12203704727679797091260932, c_0101_6 - 99976399256519786716448135/73222228366078782547565592*c_0110\ _5^22 + 51535587509268811601469929/24407409455359594182521864*c_011\ 0_5^21 - 69378566406396393115755115/6101852363839898545630466*c_011\ 0_5^20 + 838274671483234657756130621/12203704727679797091260932*c_0\ 110_5^19 - 6452565323970603354246240947/73222228366078782547565592*\ c_0110_5^18 - 758797117744737779117286469/1830555709151969563689139\ 8*c_0110_5^17 + 14871826899809340477090200785/732222283660787825475\ 65592*c_0110_5^16 + 13842045602415089187557164799/73222228366078782\ 547565592*c_0110_5^15 - 2864170678807726646036801117/18305557091519\ 695636891398*c_0110_5^14 - 3526050895566649536902878559/61018523638\ 39898545630466*c_0110_5^13 + 19989998082471898121174831029/73222228\ 366078782547565592*c_0110_5^12 + 9986874202268636645681601373/18305\ 557091519695636891398*c_0110_5^11 - 5462773766933782344008211581/36611114183039391273782796*c_0110_5^10 - 6350947998063380881368306521/36611114183039391273782796*c_0110_5^\ 9 - 517263040990915174763363111/12203704727679797091260932*c_0110_5\ ^8 - 3035673121981992067462141851/24407409455359594182521864*c_0110\ _5^7 - 4879058376319990232642706421/24407409455359594182521864*c_01\ 10_5^6 + 2186007942338376525038877119/24407409455359594182521864*c_\ 0110_5^5 + 1328115272257548506185475525/6101852363839898545630466*c\ _0110_5^4 - 532362689151762249868946255/73222228366078782547565592*\ c_0110_5^3 - 556194058813368499158408569/9152778545759847818445699*\ c_0110_5^2 - 40160111446035607402721113/24407409455359594182521864*\ c_0110_5 + 98279754137231752808822501/24407409455359594182521864, c_0110_5^23 - 2*c_0110_5^22 + 9*c_0110_5^21 - 54*c_0110_5^20 + 87*c_0110_5^19 + 3*c_0110_5^18 - 167*c_0110_5^17 - 66*c_0110_5^16 + 177*c_0110_5^15 + 372*c_0110_5^14 - 395*c_0110_5^13 - 313*c_0110_5^12 + 306*c_0110_5^11 + 64*c_0110_5^10 - 24*c_0110_5^9 + 81*c_0110_5^8 + 102*c_0110_5^7 - 132*c_0110_5^6 - 133*c_0110_5^5 + 81*c_0110_5^4 + 39*c_0110_5^3 - 19*c_0110_5^2 - 2*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB