Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 1292685385] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3317 geometric_solution 6.44885891 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640357480535 0.973666279002 0 3 5 4 0132 0132 0132 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 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.576359234166 0.839016444321 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 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 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.576359234166 0.839016444321 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.339761274271 0.899088843850 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 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.110011311388 0.783696225145 2 5 5 1 3201 3201 2310 0132 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 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.534743031448 0.716889144507 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535254836266 0.226899939584 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2132266447316195876123522188018/730444994869679075790935615697*c_01\ 10_6^30 - 90303930091035553164163880119063/730444994869679075790935\ 615697*c_0110_6^28 + 1170787398236115802927801739611828/73044499486\ 9679075790935615697*c_0110_6^26 - 489048586832414802137721134267964\ 8/730444994869679075790935615697*c_0110_6^24 + 4493502618854445492430372258987651/243481664956559691930311871899*c\ _0110_6^22 - 33429318526220788505936382227117948/730444994869679075\ 790935615697*c_0110_6^20 + 9395554806558503357457002464060083/24348\ 1664956559691930311871899*c_0110_6^18 + 18526422022561141408987565261749127/730444994869679075790935615697*\ c_0110_6^16 - 7612323341968262346268219815896458/243481664956559691\ 930311871899*c_0110_6^14 + 816780034102855052037882316356433/730444\ 994869679075790935615697*c_0110_6^12 + 1372627685779626573883189504758202/243481664956559691930311871899*c\ _0110_6^10 - 2110083442094639828905507545763115/7304449948696790757\ 90935615697*c_0110_6^8 + 190624247526748875129275438528498/73044499\ 4869679075790935615697*c_0110_6^6 + 114290776782072293383308785583036/243481664956559691930311871899*c_\ 0110_6^4 - 20597385096871551425232249550973/24348166495655969193031\ 1871899*c_0110_6^2 + 772824221734695299913057302869/730444994869679\ 075790935615697, c_0011_0 - 1, c_0011_4 + 254145405845055860898158626489/24348166495655969193031187189\ 9*c_0110_6^31 - 10675199097043831177534072996527/243481664956559691\ 930311871899*c_0110_6^29 + 135782919703581033091062676478163/243481\ 664956559691930311871899*c_0110_6^27 - 533249236105172923015365808926478/243481664956559691930311871899*c_\ 0110_6^25 + 1389409475710131172481525361872289/24348166495655969193\ 0311871899*c_0110_6^23 - 3376547679084341549881096084905324/2434816\ 64956559691930311871899*c_0110_6^21 + 1862821477205804182611499826911590/243481664956559691930311871899*c\ _0110_6^19 + 3641302316434054556718019140698077/2434816649565596919\ 30311871899*c_0110_6^17 - 1847082552587305076298002706248768/243481\ 664956559691930311871899*c_0110_6^15 - 1483083667199887469498595990074809/243481664956559691930311871899*c\ _0110_6^13 + 473356512920654876915914575564583/24348166495655969193\ 0311871899*c_0110_6^11 + 215865580170508621097881917821850/24348166\ 4956559691930311871899*c_0110_6^9 - 37991690559894221870325630109339/243481664956559691930311871899*c_0\ 110_6^7 + 6610876536340593937570308674071/2434816649565596919303118\ 71899*c_0110_6^5 + 2903885139265269742679243520311/2434816649565596\ 91930311871899*c_0110_6^3 - 1694463719241428508172169646192/2434816\ 64956559691930311871899*c_0110_6, c_0101_0 - 215327907513666073690457561331/24348166495655969193031187189\ 9*c_0110_6^31 + 9138590354339913375766026018266/2434816649565596919\ 30311871899*c_0110_6^29 - 119009077054255113435168988272884/2434816\ 64956559691930311871899*c_0110_6^27 + 502869222335097641269384550338691/243481664956559691930311871899*c_\ 0110_6^25 - 1385820973359698336887418143549962/24348166495655969193\ 0311871899*c_0110_6^23 + 3421422821152564429742398341168886/2434816\ 64956559691930311871899*c_0110_6^21 - 2950787419385285034227723456777545/243481664956559691930311871899*c\ _0110_6^19 - 2095450380186103796634690741608883/2434816649565596919\ 30311871899*c_0110_6^17 + 2715792889602667316156507551418054/243481\ 664956559691930311871899*c_0110_6^15 + 234936426518492088258318908351273/243481664956559691930311871899*c_\ 0110_6^13 - 642312981706352694102560092437515/243481664956559691930\ 311871899*c_0110_6^11 + 67486367342802859836785185829889/2434816649\ 56559691930311871899*c_0110_6^9 + 16729505214119731884558013670962/\ 243481664956559691930311871899*c_0110_6^7 - 13763176903576756578293794405639/243481664956559691930311871899*c_0\ 110_6^5 + 5114607138271243671326774014024/2434816649565596919303118\ 71899*c_0110_6^3 + 71083524810731184229903961563/243481664956559691\ 930311871899*c_0110_6, c_0101_1 + 252590402374138405319507265319/24348166495655969193031187189\ 9*c_0110_6^30 - 10733635766553629443651245778866/243481664956559691\ 930311871899*c_0110_6^28 + 140185974836908246881364170547832/243481\ 664956559691930311871899*c_0110_6^26 - 597607614623967096184978080298922/243481664956559691930311871899*c_\ 0110_6^24 + 1659816566538594904715501657619850/24348166495655969193\ 0311871899*c_0110_6^22 - 4109572497416510859393310057414940/2434816\ 64956559691930311871899*c_0110_6^20 + 3697802818079849975338671044873856/243481664956559691930311871899*c\ _0110_6^18 + 2224376197255772081792973137808793/2434816649565596919\ 30311871899*c_0110_6^16 - 3321049372696800576052687306322973/243481\ 664956559691930311871899*c_0110_6^14 - 7183525010767779722908526624974/243481664956559691930311871899*c_01\ 10_6^12 + 752246416862094364406475355343633/24348166495655969193031\ 1871899*c_0110_6^10 - 160029496950656774377760182455963/24348166495\ 6559691930311871899*c_0110_6^8 - 12075600295109277857198265584037/2\ 43481664956559691930311871899*c_0110_6^6 + 22298272189050931313261811829083/243481664956559691930311871899*c_0\ 110_6^4 - 7195916429904072898251133194886/2434816649565596919303118\ 71899*c_0110_6^2 + 612729903584232559958130654071/24348166495655969\ 1930311871899, c_0101_2 + 288597188951003095230710942394/24348166495655969193031187189\ 9*c_0110_6^31 - 12157668589835919362349006317448/243481664956559691\ 930311871899*c_0110_6^29 + 155679170006871749408198161868390/243481\ 664956559691930311871899*c_0110_6^27 - 624625877806006815520464064040004/243481664956559691930311871899*c_\ 0110_6^25 + 1654503122182153122024865871731078/24348166495655969193\ 0311871899*c_0110_6^23 - 4037247382053388734894782805370736/2434816\ 64956559691930311871899*c_0110_6^21 + 2608497856044318942108713792303939/243481664956559691930311871899*c\ _0110_6^19 + 3821923278592710596895753581382525/2434816649565596919\ 30311871899*c_0110_6^17 - 2598001337664269001898448309006977/243481\ 664956559691930311871899*c_0110_6^15 - 1302130337954714396407254633252894/243481664956559691930311871899*c\ _0110_6^13 + 670158769923606947453144464571237/24348166495655969193\ 0311871899*c_0110_6^11 + 133639365461121589594008166567236/24348166\ 4956559691930311871899*c_0110_6^9 - 41130301907350148151470475728634/243481664956559691930311871899*c_0\ 110_6^7 + 15156636387727391940365233262661/243481664956559691930311\ 871899*c_0110_6^5 - 163967710121438686389622033267/2434816649565596\ 91930311871899*c_0110_6^3 - 1409501744122601571356942842325/2434816\ 64956559691930311871899*c_0110_6, c_0101_5 + 12613554662403596355337316302/243481664956559691930311871899\ *c_0110_6^30 - 479536921392902623188192973852/243481664956559691930\ 311871899*c_0110_6^28 + 4605521013704629312550267345809/24348166495\ 6559691930311871899*c_0110_6^26 + 1303453506697364680639568645040/2\ 43481664956559691930311871899*c_0110_6^24 - 48261271501736167772008984070981/243481664956559691930311871899*c_0\ 110_6^22 + 156234512995915765858565566114884/2434816649565596919303\ 11871899*c_0110_6^20 - 709293251844792349617333490767281/2434816649\ 56559691930311871899*c_0110_6^18 + 878427179170494039163678586743179/243481664956559691930311871899*c_\ 0110_6^16 + 360168239518800174092012021501569/243481664956559691930\ 311871899*c_0110_6^14 - 664256330591721665129099818188668/243481664\ 956559691930311871899*c_0110_6^12 - 15232613821747579415049155408923/243481664956559691930311871899*c_0\ 110_6^10 + 136317874221661087265352986854714/2434816649565596919303\ 11871899*c_0110_6^8 - 16401494182186885781144786505446/243481664956\ 559691930311871899*c_0110_6^6 - 2421687338235459223815351643367/243\ 481664956559691930311871899*c_0110_6^4 + 2910223100306741898086026688216/243481664956559691930311871899*c_01\ 10_6^2 - 748918415639472034880621508461/243481664956559691930311871\ 899, c_0110_6^32 - 42*c_0110_6^30 + 534*c_0110_6^28 - 2092*c_0110_6^26 + 5407*c_0110_6^24 - 13046*c_0110_6^22 + 6670*c_0110_6^20 + 15860*c_0110_6^18 - 8572*c_0110_6^16 - 6542*c_0110_6^14 + 2809*c_0110_6^12 + 907*c_0110_6^10 - 324*c_0110_6^8 + 47*c_0110_6^6 + 12*c_0110_6^4 - 11*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB