Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 4206585370] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0642 geometric_solution 4.63017754 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 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.871827836725 0.531158848374 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 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.461864588398 0.819390805953 4 1 3 3 0132 0132 1302 2031 0 0 0 0 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 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377945090756 0.405664673914 2 2 4 1 2031 1302 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 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.377945090756 0.405664673914 2 5 5 3 0132 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 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.538623291574 0.702089350076 4 4 6 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.206167856035 0.978191860350 5 6 6 5 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.629751397157 0.133352408554 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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' : 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_4'], 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], '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' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 71696930964970688459621175460423794/6584465977193847736901958752723\ 77*c_0101_5^20 - 534666191593013571511187366987277609/6584465977193\ 84773690195875272377*c_0101_5^19 - 2369565753603308646629503670274466341/65844659771938477369019587527\ 2377*c_0101_5^18 + 574452302492578093491110315503661274/94063799674\ 197824812885125038911*c_0101_5^17 + 13588039373452010275074406434577372167/6584465977193847736901958752\ 72377*c_0101_5^16 - 20385993248666118726743208709232713362/65844659\ 7719384773690195875272377*c_0101_5^15 - 12674187266559542290476568305098956319/6584465977193847736901958752\ 72377*c_0101_5^14 + 15814626275131193752728637399072786548/94063799\ 674197824812885125038911*c_0101_5^13 - 72331349599262761514551957870690239067/6584465977193847736901958752\ 72377*c_0101_5^12 - 45516306506092419063407092744576051421/94063799\ 674197824812885125038911*c_0101_5^11 + 212555093634227838636822648789900908452/658446597719384773690195875\ 272377*c_0101_5^10 + 348314247039761792716154933653479217907/658446\ 597719384773690195875272377*c_0101_5^9 - 35931085332110990499990037303854184382/9406379967419782481288512503\ 8911*c_0101_5^8 - 107850906811289680118680733232564576441/658446597\ 719384773690195875272377*c_0101_5^7 + 94195080680631356857260856770760801112/6584465977193847736901958752\ 72377*c_0101_5^6 + 9971893467938727212002405976532871053/6584465977\ 19384773690195875272377*c_0101_5^5 - 11752732005237113847085249892734479865/6584465977193847736901958752\ 72377*c_0101_5^4 - 13438618808186898847891811841459651366/658446597\ 719384773690195875272377*c_0101_5^3 + 12337317328314273404150443484280758684/6584465977193847736901958752\ 72377*c_0101_5^2 - 1013696847304022692334210727627501483/6584465977\ 19384773690195875272377*c_0101_5 - 949689459006461084950597651653659331/658446597719384773690195875272\ 377, c_0011_0 - 1, c_0011_1 + 592489872148567918214389700358189/94063799674197824812885125\ 038911*c_0101_5^20 - 4392619173283958793310490090154632/94063799674\ 197824812885125038911*c_0101_5^19 - 19758252433573653171829951716417263/9406379967419782481288512503891\ 1*c_0101_5^18 + 32271466872499463828622294802025415/940637996741978\ 24812885125038911*c_0101_5^17 + 11316433587519329113699630139484851\ 9/94063799674197824812885125038911*c_0101_5^16 - 163019894843273274580472377979738611/940637996741978248128851250389\ 11*c_0101_5^15 - 108828298709812343786542422739282211/9406379967419\ 7824812885125038911*c_0101_5^14 + 907596080664762699044419916834251\ 105/94063799674197824812885125038911*c_0101_5^13 - 562093430761233818145463816982126310/940637996741978248128851250389\ 11*c_0101_5^12 - 2637257120147588109168848433145492186/940637996741\ 97824812885125038911*c_0101_5^11 + 1637942791319433093661648595319799622/94063799674197824812885125038\ 911*c_0101_5^10 + 2883913915774314156060085419586376206/94063799674\ 197824812885125038911*c_0101_5^9 - 1945258510748803152971987350094245412/94063799674197824812885125038\ 911*c_0101_5^8 - 902787764384080853567229903553491939/9406379967419\ 7824812885125038911*c_0101_5^7 + 7274475821225632092084154555676091\ 12/94063799674197824812885125038911*c_0101_5^6 + 87496678208860529956937441586558395/9406379967419782481288512503891\ 1*c_0101_5^5 - 88756413116109155368135615936464713/9406379967419782\ 4812885125038911*c_0101_5^4 - 111069580589834058976893777539577025/\ 94063799674197824812885125038911*c_0101_5^3 + 97206024375023890979635081419925383/9406379967419782481288512503891\ 1*c_0101_5^2 - 6908984623209004682396187489361378/94063799674197824\ 812885125038911*c_0101_5 - 7136774520244003691610392417797277/94063\ 799674197824812885125038911, c_0011_3 - 814196501715265228147809928081360/94063799674197824812885125\ 038911*c_0101_5^20 + 6022524791012618586815355906987532/94063799674\ 197824812885125038911*c_0101_5^19 + 27241834291303523477346590204310906/9406379967419782481288512503891\ 1*c_0101_5^18 - 43806278780066813890108602195091788/940637996741978\ 24812885125038911*c_0101_5^17 - 15580107261693106612910758171533175\ 7/94063799674197824812885125038911*c_0101_5^16 + 221051583512883009690817260087625718/940637996741978248128851250389\ 11*c_0101_5^15 + 150803733079362489764969736959475930/9406379967419\ 7824812885125038911*c_0101_5^14 - 124314225429806800496179989373270\ 3610/94063799674197824812885125038911*c_0101_5^13 + 754584907389957562740890634048207414/940637996741978248128851250389\ 11*c_0101_5^12 + 3621009177366288272436860108446353885/940637996741\ 97824812885125038911*c_0101_5^11 - 2189316252666118374236101291224105076/94063799674197824812885125038\ 911*c_0101_5^10 - 3947428345015176437751608702983404517/94063799674\ 197824812885125038911*c_0101_5^9 + 2610436269412610064408333825349562164/94063799674197824812885125038\ 911*c_0101_5^8 + 1230571324840097843128814331595453615/940637996741\ 97824812885125038911*c_0101_5^7 - 978328252030228218796778185261009\ 593/94063799674197824812885125038911*c_0101_5^6 - 119125310555112722345636179344347150/940637996741978248128851250389\ 11*c_0101_5^5 + 118496261867281703230102644594495403/94063799674197\ 824812885125038911*c_0101_5^4 + 15210559613315994048084788453161252\ 0/94063799674197824812885125038911*c_0101_5^3 - 131193858089010481881607428867038300/940637996741978248128851250389\ 11*c_0101_5^2 + 9221018908409278589884129186784726/9406379967419782\ 4812885125038911*c_0101_5 + 9465197900946535365638665476293438/9406\ 3799674197824812885125038911, c_0011_6 - 641678716439517291543106125304414/94063799674197824812885125\ 038911*c_0101_5^20 + 4741920590312139424868046302651151/94063799674\ 197824812885125038911*c_0101_5^19 + 21502560810654753109697835739976324/9406379967419782481288512503891\ 1*c_0101_5^18 - 34369804171049164381770355158926628/940637996741978\ 24812885125038911*c_0101_5^17 - 12301984766210723837046322867395492\ 8/94063799674197824812885125038911*c_0101_5^16 + 173307042947882247815552871468105418/940637996741978248128851250389\ 11*c_0101_5^15 + 119988065629606056922609489788485953/9406379967419\ 7824812885125038911*c_0101_5^14 - 978679078454665256676422913303304\ 876/94063799674197824812885125038911*c_0101_5^13 + 587929750252264395466410479669532992/940637996741978248128851250389\ 11*c_0101_5^12 + 2857133345067859844044091012640974213/940637996741\ 97824812885125038911*c_0101_5^11 - 1704483518105096661138712502387363483/94063799674197824812885125038\ 911*c_0101_5^10 - 3120679580948569932217706976606326125/94063799674\ 197824812885125038911*c_0101_5^9 + 2032367256148549198883918879012197931/94063799674197824812885125038\ 911*c_0101_5^8 + 980057111508627846313682742993202612/9406379967419\ 7824812885125038911*c_0101_5^7 - 7613454384313648509409208987798589\ 21/94063799674197824812885125038911*c_0101_5^6 - 96841910684944295418920351945281160/9406379967419782481288512503891\ 1*c_0101_5^5 + 91891011718982477908351209890317809/9406379967419782\ 4812885125038911*c_0101_5^4 + 120209229507835105634398579306685537/\ 94063799674197824812885125038911*c_0101_5^3 - 102413895265249567885844376910637723/940637996741978248128851250389\ 11*c_0101_5^2 + 6679481013782737504400415382272024/9406379967419782\ 4812885125038911*c_0101_5 + 7400906368077424252094980792520023/9406\ 3799674197824812885125038911, c_0101_0 + 424818284464476888705312530444645/94063799674197824812885125\ 038911*c_0101_5^20 - 3127258390745104495690959202769033/94063799674\ 197824812885125038911*c_0101_5^19 - 14318491957257013953345428348508184/9406379967419782481288512503891\ 1*c_0101_5^18 + 22304276799026663761866401126005711/940637996741978\ 24812885125038911*c_0101_5^17 + 81853789534913421590480167645993209\ /94063799674197824812885125038911*c_0101_5^16 - 112180464018186990387098107479604806/940637996741978248128851250389\ 11*c_0101_5^15 - 81334510059574728713253632510845846/94063799674197\ 824812885125038911*c_0101_5^14 + 6445530537178748775323570894052804\ 31/94063799674197824812885125038911*c_0101_5^13 - 372598070408115323093759246886737138/940637996741978248128851250389\ 11*c_0101_5^12 - 1893574808534427950015074708685547128/940637996741\ 97824812885125038911*c_0101_5^11 + 1072938222232144812089340681206590524/94063799674197824812885125038\ 911*c_0101_5^10 + 2068069278780824806150330454393556205/94063799674\ 197824812885125038911*c_0101_5^9 - 1283624047032396758296969804697718898/94063799674197824812885125038\ 911*c_0101_5^8 - 652964254020250230578720946872935512/9406379967419\ 7824812885125038911*c_0101_5^7 + 4818054968082195162069200152982721\ 74/94063799674197824812885125038911*c_0101_5^6 + 66663363273103968353934222376243728/9406379967419782481288512503891\ 1*c_0101_5^5 - 57324317665783385283698453952691254/9406379967419782\ 4812885125038911*c_0101_5^4 - 80001688476195298961886279356395121/9\ 4063799674197824812885125038911*c_0101_5^3 + 65430695903359693599670555612909556/9406379967419782481288512503891\ 1*c_0101_5^2 - 3756329451078835364010492438820450/94063799674197824\ 812885125038911*c_0101_5 - 4635441748895740490482432939844180/94063\ 799674197824812885125038911, c_0101_4 - 684010331389469811900524659175658/94063799674197824812885125\ 038911*c_0101_5^20 + 5048280939065495853119085196432397/94063799674\ 197824812885125038911*c_0101_5^19 + 22964070296520730727372771050104899/9406379967419782481288512503891\ 1*c_0101_5^18 - 36387473266274562628412160841566776/940637996741978\ 24812885125038911*c_0101_5^17 - 13130518157546931582111791529279702\ 6/94063799674197824812885125038911*c_0101_5^16 + 183329371081664647211558599399978936/940637996741978248128851250389\ 11*c_0101_5^15 + 128644961854487562021092370535029418/9406379967419\ 7824812885125038911*c_0101_5^14 - 104123314541134039452686528593232\ 4551/94063799674197824812885125038911*c_0101_5^13 + 618151359654346906343253350906724447/940637996741978248128851250389\ 11*c_0101_5^12 + 3044899298411084484691669779826914411/940637996741\ 97824812885125038911*c_0101_5^11 - 1786981884902515910966779721393302806/94063799674197824812885125038\ 911*c_0101_5^10 - 3321805659420421771383398759891260412/94063799674\ 197824812885125038911*c_0101_5^9 + 2133123046712201923529355319499534985/94063799674197824812885125038\ 911*c_0101_5^8 + 1040867662417253061107749745139690177/940637996741\ 97824812885125038911*c_0101_5^7 - 799125666467809737365963706724957\ 097/94063799674197824812885125038911*c_0101_5^6 - 102686171017282084850213572662603667/940637996741978248128851250389\ 11*c_0101_5^5 + 95774848708005883318598080412916277/940637996741978\ 24812885125038911*c_0101_5^4 + 127980896443542348057143285694223721\ /94063799674197824812885125038911*c_0101_5^3 - 107907225839327882660762949547468398/940637996741978248128851250389\ 11*c_0101_5^2 + 7062414173755188122790198619160560/9406379967419782\ 4812885125038911*c_0101_5 + 7667653956425552099556905576005954/9406\ 3799674197824812885125038911, c_0101_5^21 - 8*c_0101_5^20 - 29*c_0101_5^19 + 74*c_0101_5^18 + 159*c_0101_5^17 - 387*c_0101_5^16 - 22*c_0101_5^15 + 1639*c_0101_5^14 - 1847*c_0101_5^13 - 3892*c_0101_5^12 + 5372*c_0101_5^11 + 3238*c_0101_5^10 - 6132*c_0101_5^9 + 410*c_0101_5^8 + 2116*c_0101_5^7 - 574*c_0101_5^6 - 235*c_0101_5^5 - 100*c_0101_5^4 + 274*c_0101_5^3 - 108*c_0101_5^2 - 5*c_0101_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB