Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2294879304] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0387 geometric_solution 4.45442899 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.703392923652 0.098981045585 2 0 2 0 0132 2310 1023 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 -1 1 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.902531994192 0.097192394061 1 3 1 3 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 1 -1 -1 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.901440159209 0.213515777119 4 2 5 2 0132 0132 0132 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 -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 1.176710675255 0.433542056877 3 5 5 6 0132 1230 3012 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130909510956 0.758642352226 6 4 4 3 3201 1230 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.130909510956 0.758642352226 6 6 4 5 1230 3012 0132 2310 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 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.821980680325 0.806808245756 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : negation(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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2001382859146835651340447944512936039114150/13915594817569429471546\ 679819474092410791*c_0101_4^20 + 6701830617061670425805424911842350\ 35446294/1265054074324493588322425438134008400981*c_0101_4^19 - 52371299718514988956075187844033483950234429/1391559481756942947154\ 6679819474092410791*c_0101_4^18 - 141545498167682279845274018342590\ 004708293935/13915594817569429471546679819474092410791*c_0101_4^17 + 405127434193139319502538920885216815844922115/139155948175694294715\ 46679819474092410791*c_0101_4^16 + 1355058241772267288286929072119905418109168345/13915594817569429471\ 546679819474092410791*c_0101_4^15 - 1936419868033004006861981463519057365446924145/13915594817569429471\ 546679819474092410791*c_0101_4^14 - 6776577306389444675436256996005466281718789060/13915594817569429471\ 546679819474092410791*c_0101_4^13 + 5909001529645550158983414237936208196508144573/13915594817569429471\ 546679819474092410791*c_0101_4^12 + 19357634103022383342851600151398915941367848095/1391559481756942947\ 1546679819474092410791*c_0101_4^11 - 11368204601347196192457530716632961882874340652/1391559481756942947\ 1546679819474092410791*c_0101_4^10 - 35182649629796049273386245645927471321442137309/1391559481756942947\ 1546679819474092410791*c_0101_4^9 + 12198887661313261286857036557272571366308526078/1391559481756942947\ 1546679819474092410791*c_0101_4^8 + 40649651612884461412251328404153411786584669269/1391559481756942947\ 1546679819474092410791*c_0101_4^7 - 6165266138776154823214137231906774487652918360/13915594817569429471\ 546679819474092410791*c_0101_4^6 - 28407890269600704743486619408376485584271962135/1391559481756942947\ 1546679819474092410791*c_0101_4^5 + 433080711818319610832012931410715836839260770/139155948175694294715\ 46679819474092410791*c_0101_4^4 + 105537849803465776989108829564747\ 00403403761829/13915594817569429471546679819474092410791*c_0101_4^3 + 816772276589658102217275418902899905141943699/1391559481756942947\ 1546679819474092410791*c_0101_4^2 - 1427872021873873421944311791237096135983091815/13915594817569429471\ 546679819474092410791*c_0101_4 - 2002975446128497994690755295066744\ 24398084292/13915594817569429471546679819474092410791, c_0011_0 - 1, c_0011_1 + 1935594654948936910108151921106932277/4080819594595140607491\ 6949617226077451*c_0101_4^20 + 683405714019413863120458121750025389\ 2/40808195945951406074916949617226077451*c_0101_4^19 - 51707260156895647440518582462351518985/4080819594595140607491694961\ 7226077451*c_0101_4^18 - 129063356253594200279705251920070780339/40\ 808195945951406074916949617226077451*c_0101_4^17 + 411673248807497127480266927430641750369/408081959459514060749169496\ 17226077451*c_0101_4^16 + 1248555710725810444627493117576114884780/\ 40808195945951406074916949617226077451*c_0101_4^15 - 2061385969024961882446443820639617695550/40808195945951406074916949\ 617226077451*c_0101_4^14 - 6242716392350901917138002815252030987896\ /40808195945951406074916949617226077451*c_0101_4^13 + 6644363282824929999647895384335593876675/40808195945951406074916949\ 617226077451*c_0101_4^12 + 1768786056265539456085374083194625964037\ 9/40808195945951406074916949617226077451*c_0101_4^11 - 13563629595376943836110967757729984736675/4080819594595140607491694\ 9617226077451*c_0101_4^10 - 317774713420047988977562097149425881924\ 60/40808195945951406074916949617226077451*c_0101_4^9 + 16248788944601590648562605450063151870351/4080819594595140607491694\ 9617226077451*c_0101_4^8 + 3633310771970097054561825530120460866109\ 7/40808195945951406074916949617226077451*c_0101_4^7 - 10804801039896468280821920076516655789261/4080819594595140607491694\ 9617226077451*c_0101_4^6 - 2500914594967373979810294598383155392324\ 1/40808195945951406074916949617226077451*c_0101_4^5 + 3611549978693704490752678952828754586269/40808195945951406074916949\ 617226077451*c_0101_4^4 + 8943338844495506173769056727424435534362/\ 40808195945951406074916949617226077451*c_0101_4^3 - 279215691360725288515547754862866329114/408081959459514060749169496\ 17226077451*c_0101_4^2 - 1058914704110726161874470245607132493485/4\ 0808195945951406074916949617226077451*c_0101_4 - 105909904879972798379768200840612059694/408081959459514060749169496\ 17226077451, c_0011_6 + 460466788324626453624263284582256296/40808195945951406074916\ 949617226077451*c_0101_4^20 + 1485958356799177381906597390046506239\ /40808195945951406074916949617226077451*c_0101_4^19 - 12773294578173420833777910322253692955/4080819594595140607491694961\ 7226077451*c_0101_4^18 - 26974954541936807261132950822144350867/408\ 08195945951406074916949617226077451*c_0101_4^17 + 106459676321432475997388920874761988188/408081959459514060749169496\ 17226077451*c_0101_4^16 + 268122080699655434693241823916954538356/4\ 0808195945951406074916949617226077451*c_0101_4^15 - 572511179231079466477739839035442620364/408081959459514060749169496\ 17226077451*c_0101_4^14 - 1339835075279674018188189433196596019098/\ 40808195945951406074916949617226077451*c_0101_4^13 + 1973616645357621668112924683395994670634/40808195945951406074916949\ 617226077451*c_0101_4^12 + 3751822548180753316829864983194082161856\ /40808195945951406074916949617226077451*c_0101_4^11 - 4282040886979482490393460105967986138803/40808195945951406074916949\ 617226077451*c_0101_4^10 - 6671968235646858699843475292914855150157\ /40808195945951406074916949617226077451*c_0101_4^9 + 5684785856794535040922276495735333354053/40808195945951406074916949\ 617226077451*c_0101_4^8 + 7612820443077834040849374934894900457641/\ 40808195945951406074916949617226077451*c_0101_4^7 - 4533239731830645487866461660652709958983/40808195945951406074916949\ 617226077451*c_0101_4^6 - 5226257032171507436562091367447698946025/\ 40808195945951406074916949617226077451*c_0101_4^5 + 2089723650407662718661499205660969796983/40808195945951406074916949\ 617226077451*c_0101_4^4 + 1788519738916798792586546682490941662565/\ 40808195945951406074916949617226077451*c_0101_4^3 - 443930828671535296900571176221170198354/408081959459514060749169496\ 17226077451*c_0101_4^2 - 161033790614381854696197341453481018162/40\ 808195945951406074916949617226077451*c_0101_4 + 6819665688530137793989630868648059417/40808195945951406074916949617\ 226077451, c_0101_0 - 40567312212495510872334509528916538/408081959459514060749169\ 49617226077451*c_0101_4^20 - 83189715436835351683527278074515898/40\ 808195945951406074916949617226077451*c_0101_4^19 + 1261249914406371463168569490709395474/40808195945951406074916949617\ 226077451*c_0101_4^18 + 810473768559467156570282790361448202/408081\ 95945951406074916949617226077451*c_0101_4^17 - 12291683536658556460591830484885044466/4080819594595140607491694961\ 7226077451*c_0101_4^16 - 6747277635163932291127012076697109116/4080\ 8195945951406074916949617226077451*c_0101_4^15 + 84719513946685218735778926267599645764/4080819594595140607491694961\ 7226077451*c_0101_4^14 + 13305725259207936998194938008481582796/408\ 08195945951406074916949617226077451*c_0101_4^13 - 389168938499665844404960538878729210049/408081959459514060749169496\ 17226077451*c_0101_4^12 + 95122813204533573673950709709915555193/40\ 808195945951406074916949617226077451*c_0101_4^11 + 1124963799383898326364894697258671065619/40808195945951406074916949\ 617226077451*c_0101_4^10 - 498824102301811021169347615164509306183/\ 40808195945951406074916949617226077451*c_0101_4^9 - 2047921322057606302053716303329701065918/40808195945951406074916949\ 617226077451*c_0101_4^8 + 1035785367194770455714746392347211140745/\ 40808195945951406074916949617226077451*c_0101_4^7 + 2471161476794587862081598677268620954285/40808195945951406074916949\ 617226077451*c_0101_4^6 - 1080629509791689546470456194716960001152/\ 40808195945951406074916949617226077451*c_0101_4^5 - 1842053639239314484510325414570384928494/40808195945951406074916949\ 617226077451*c_0101_4^4 + 655657450059707023894073718629004201689/4\ 0808195945951406074916949617226077451*c_0101_4^3 + 709490822585711731080432991108295400222/408081959459514060749169496\ 17226077451*c_0101_4^2 - 228872350304921267724383053696179134005/40\ 808195945951406074916949617226077451*c_0101_4 - 76291145169698936262507782647151992672/4080819594595140607491694961\ 7226077451, c_0101_1 + 3044495252313089472457220427114114284/4080819594595140607491\ 6949617226077451*c_0101_4^20 + 106817280455080464274967550501466602\ 31/40808195945951406074916949617226077451*c_0101_4^19 - 81159056717377746332702531290963845004/4080819594595140607491694961\ 7226077451*c_0101_4^18 - 199856295523447670097917693071418218678/40\ 808195945951406074916949617226077451*c_0101_4^17 + 641252046916088754926206889418204165831/408081959459514060749169496\ 17226077451*c_0101_4^16 + 1926729598430033998275620128738658837419/\ 40808195945951406074916949617226077451*c_0101_4^15 - 3206075995632960778283309800330901761032/40808195945951406074916949\ 617226077451*c_0101_4^14 - 9535712489099409291115074933195002034652\ /40808195945951406074916949617226077451*c_0101_4^13 + 10271310012679634844210251247229083128961/4080819594595140607491694\ 9617226077451*c_0101_4^12 + 266647287106469355862196038662962209561\ 49/40808195945951406074916949617226077451*c_0101_4^11 - 20733356208472941277963768929913632055111/4080819594595140607491694\ 9617226077451*c_0101_4^10 - 473907627982920910441584295791820095095\ 59/40808195945951406074916949617226077451*c_0101_4^9 + 24438286266391847394527081081188631163906/4080819594595140607491694\ 9617226077451*c_0101_4^8 + 5354207984890084365714810380373946035106\ 4/40808195945951406074916949617226077451*c_0101_4^7 - 15963979028800575462186921742579945277225/4080819594595140607491694\ 9617226077451*c_0101_4^6 - 3644351742366684482656003128757138139318\ 8/40808195945951406074916949617226077451*c_0101_4^5 + 5062867124083276932058485031983575514298/40808195945951406074916949\ 617226077451*c_0101_4^4 + 12898399861956073501186277402073096581445\ /40808195945951406074916949617226077451*c_0101_4^3 - 166530850893386921708410542668190080498/408081959459514060749169496\ 17226077451*c_0101_4^2 - 1541436022443981315443905077825128273127/4\ 0808195945951406074916949617226077451*c_0101_4 - 173902105165724314861236296280369021770/408081959459514060749169496\ 17226077451, c_0101_3 - 1354407358227648353149846039849405894/4080819594595140607491\ 6949617226077451*c_0101_4^20 - 460037139488694024237685482486096239\ 2/40808195945951406074916949617226077451*c_0101_4^19 + 36831272805660041489547174208950962105/4080819594595140607491694961\ 7226077451*c_0101_4^18 + 85566045820482519997977226527571544996/408\ 08195945951406074916949617226077451*c_0101_4^17 - 300152936989554797977944844247565538830/408081959459514060749169496\ 17226077451*c_0101_4^16 - 837720144644251464986487218200613336601/4\ 0808195945951406074916949617226077451*c_0101_4^15 + 1557193628902437031956877700473162867264/40808195945951406074916949\ 617226077451*c_0101_4^14 + 4196459172276210060738541141958199285420\ /40808195945951406074916949617226077451*c_0101_4^13 - 5202549468621126176897822000655852013948/40808195945951406074916949\ 617226077451*c_0101_4^12 - 1186266411033232787099036918611931763331\ 7/40808195945951406074916949617226077451*c_0101_4^11 + 10988804200780678748142648445604401427655/4080819594595140607491694\ 9617226077451*c_0101_4^10 + 212802364796324390395011349302635173188\ 97/40808195945951406074916949617226077451*c_0101_4^9 - 13919830930303956534282812951616266818627/4080819594595140607491694\ 9617226077451*c_0101_4^8 - 2442725856465415586202285578711994391527\ 9/40808195945951406074916949617226077451*c_0101_4^7 + 10208423129121085979814530376036164892014/4080819594595140607491694\ 9617226077451*c_0101_4^6 + 1697516031155390123371718514338379039215\ 2/40808195945951406074916949617226077451*c_0101_4^5 - 4073258198023251423426426120109706852782/40808195945951406074916949\ 617226077451*c_0101_4^4 - 6128313311737280170705715644058519477085/\ 40808195945951406074916949617226077451*c_0101_4^3 + 612871114576191374230393154800533393170/408081959459514060749169496\ 17226077451*c_0101_4^2 + 729143727209487698956671369808690435630/40\ 808195945951406074916949617226077451*c_0101_4 + 53434150962334389963249592682450483671/4080819594595140607491694961\ 7226077451, c_0101_4^21 + 4*c_0101_4^20 - 25*c_0101_4^19 - 79*c_0101_4^18 + 180*c_0101_4^17 + 741*c_0101_4^16 - 753*c_0101_4^15 - 3691*c_0101_4^14 + 1880*c_0101_4^13 + 10601*c_0101_4^12 - 2618*c_0101_4^11 - 19362*c_0101_4^10 + 533*c_0101_4^9 + 22215*c_0101_4^8 + 3339*c_0101_4^7 - 15145*c_0101_4^6 - 4262*c_0101_4^5 + 5330*c_0101_4^4 + 2067*c_0101_4^3 - 583*c_0101_4^2 - 323*c_0101_4 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB