Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1680210105] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1458 geometric_solution 5.28044374 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 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.308534649546 0.158181614402 0 0 2 2 0132 2310 2310 0132 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 0 0 0 -1 0 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 1.813315640002 1.224770944473 3 1 1 4 0132 3201 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 1 0 -1 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.746172182033 0.413282922319 2 5 6 6 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289418407838 0.635872841681 6 6 2 5 3201 1023 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 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.289418407838 0.635872841681 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0.962029750552 0.950691888571 4 3 3 4 1023 3201 0132 2310 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 1 -1 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.592952299442 1.302758405882 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 3843297863334356294782373988327595989629449995092659529821330620005\ 147/231038491995483652678390234674200314880603530527828910582917727\ 5456768*c_0101_5^32 + 239929094825228593912018582109997101473033270\ 45277502420996151716204077/1925320766629030438986585288951669290671\ 69608773190758819098106288064*c_0101_5^30 - 3396044148622792718342092084876199735666158980092786061632284394869\ 6951/36099764374294320730998474167843799200094301644973267278580894\ 929012*c_0101_5^28 + 1522798544614708966461853309784222356436283868\ 67798328494951906084488820605/2310384919954836526783902346742003148\ 806035305278289105829177275456768*c_0101_5^26 - 3339697180710007753633562592418543951278830281958740146739363876391\ 68820495/5775962299887091316959755866855007872015088263195722764572\ 94318864192*c_0101_5^24 + 85114919021402040898519341354196385380717\ 333357359079184913678919362359467/641773588876343479662195096317223\ 09689056536257730252939699368762688*c_0101_5^22 + 8336171611490580403080464162572035062147261924588426855016962191745\ 13178223/5775962299887091316959755866855007872015088263195722764572\ 94318864192*c_0101_5^20 - 65090994486799932275757557628586092419286\ 459800789710203393208000539532247/106962264812723913277032516052870\ 51614842756042955042156616561460448*c_0101_5^18 - 4123170676643993910565085661911466954953938120374149558296047634940\ 701283827/115519245997741826339195117337100157440301765263914455291\ 4588637728384*c_0101_5^16 + 605981280807858358603074275664578932395\ 6649217693095149843394809172805113175/57759622998870913169597558668\ 5500787201508826319572276457294318864192*c_0101_5^14 + 1333315339724313697850681580989361211408098991319206458401271415905\ 383596471/128354717775268695932439019263444619378113072515460505879\ 398737525376*c_0101_5^12 - 3425375620891127922285856835222439264811\ 89877116901261669256692330404163685/5250874818079173924508868969868\ 1889745591711483597479677935847169472*c_0101_5^10 - 1577392519608631245375146781156540482537470022876174116949811475409\ 39940341/1203325479143144024366615805594793306669810054832442242619\ 3631643004*c_0101_5^8 + 9552127610934231486284386649698810507562251\ 039948115554894226630148999901205/115519245997741826339195117337100\ 1574403017652639144552914588637728384*c_0101_5^6 - 2133493846791069799023952817750596263076460580730648366688503172649\ 567636311/115519245997741826339195117337100157440301765263914455291\ 4588637728384*c_0101_5^4 + 3591569443230506405092499335620631830979\ 3995943563800728697553981420494899/21003499272316695698035475879472\ 7558982366845934389918711743388677888*c_0101_5^2 - 4883034445185946015575387457232372694202540220541711590317667480993\ 5821/95077568722421256246251125380329347687491164826267041392147212\ 98176, c_0011_0 - 1, c_0011_2 - 421682258525115250517655616148309570935340931534559789584018\ 1/1188733772090730309813653212412430719586881089459328979397261776*\ c_0101_5^32 + 42134476365483877584139503232439142958848146515281899\ 2507251139/15849783627876404130848709498832409594491747859457719725\ 29682368*c_0101_5^30 - 95722213413332977975897777464211259379994669\ 25848155763159539989/4754935088362921239254612849649722878347524357\ 837315917589047104*c_0101_5^28 + 6685681976259014441572825521168380\ 98976528320805507441132504166521/4754935088362921239254612849649722\ 878347524357837315917589047104*c_0101_5^26 - 1470127510696033550750259039890010787409457643083622912243430237053\ /1188733772090730309813653212412430719586881089459328979397261776*c\ _0101_5^24 + 188906318211079691033531092313613865077627364973999161\ 964421227531/660407651161516838785362895784683733103822827477404988\ 55403432*c_0101_5^22 + 35731861778539805655421528531020780878679755\ 53156380950241020895157/1188733772090730309813653212412430719586881\ 089459328979397261776*c_0101_5^20 - 862833987892546542614847991822990602999405743684523130527956614029/\ 66040765116151683878536289578468373310382282747740498855403432*c_01\ 01_5^18 - 432469556795371997928757017329307691060876273189311302770\ 0291087619/59436688604536515490682660620621535979344054472966448969\ 8630888*c_0101_5^16 + 537444842351773394998446939362683522861993992\ 35420007641778435070745/2377467544181460619627306424824861439173762\ 178918657958794523552*c_0101_5^14 + 5700990577327313114726279710847530233447479946534231989218081380465\ /264163060464606735514145158313873493241529130990961995421613728*c_\ 0101_5^12 - 1572547261166302038350467022503368589408913783993845851\ 257755367275/108066706553702755437604837492039156326080099041757179\ 945205616*c_0101_5^10 - 5477300995819285919556983055133258070841411\ 795433135260858151672811/198122295348455051635608868735405119931146\ 848243221496566210296*c_0101_5^8 + 5469093648497578586955754017723871422655046998468148458933469076785\ /297183443022682577453413303103107679896720272364832244849315444*c_\ 0101_5^6 - 10298434164932801998759136946721704592391116237985190580\ 590744218863/237746754418146061962730642482486143917376217891865795\ 8794523552*c_0101_5^4 + 4660793262580037895841391737359030251250806\ 3403094212376995842633/10806670655370275543760483749203915632608009\ 9041757179945205616*c_0101_5^2 - 7757328450482769789495146292837983\ 655877814027058309431212265687/528326120929213471028290316627746986\ 483058261981923990843227456, c_0011_4 - 135781393347980406908816061887727801129946754115371064489938\ 51189/4278490592508956531081300642114820645937102417182016862646624\ 5841792*c_0101_5^32 + 168758505363262841437491824246555474620813002\ 757217981523565029673/713081765418159421846883440352470107656183736\ 1970028104411040973632*c_0101_5^30 - 3666087392256820810034696144554342024869861869889521425687481787029\ /213924529625447826554065032105741032296855120859100843132331229208\ 96*c_0101_5^28 + 53542406205053656598413902257565602505419233581285\ 9766661687653487917/42784905925089565310813006421148206459371024171\ 820168626466245841792*c_0101_5^26 - 1134074830699302457331894919820121952130572137083087682896549772444\ 123/106962264812723913277032516052870516148427560429550421566165614\ 60448*c_0101_5^24 + 25668453729533974435962417216698461643964158084\ 8275547336534619688401/11884696090302657030781390672541168460936395\ 60328338017401840162272*c_0101_5^22 + 3812251535739258730722135407157357581315315204473235270755280975208\ 059/106962264812723913277032516052870516148427560429550421566165614\ 60448*c_0101_5^20 - 62720094031927338922548520044777037696566218567\ 8072013142787419045241/59423480451513285153906953362705842304681978\ 0164169008700920081136*c_0101_5^18 - 2271390682991288292677014146988570116871073285377603942433295631443\ 2797/21392452962544782655406503210574103229685512085910084313233122\ 920896*c_0101_5^16 + 9170732678613636399936978028501891559417374772\ 645290195790136384623473/534811324063619566385162580264352580742137\ 8021477521078308280730224*c_0101_5^14 + 6232597382420810148895831930565461955716638513289296382348054363243\ 939/237693921806053140615627813450823369218727912065667603480368032\ 4544*c_0101_5^12 - 463660077805021301293104311818883424363065803592\ 523346679211831445937/972384225570217393427568327753368328622068731\ 177731105146960132768*c_0101_5^10 - 2506101408860243013591690681380138878425354190320452855218585632110\ 165/891352206772699277308604300440587634570229670246253513051380121\ 704*c_0101_5^8 + 14583132195551134931273923206854414148428206863666\ 734641274315766585635/213924529625447826554065032105741032296855120\ 85910084313233122920896*c_0101_5^6 + 1163681659494872769443335486461840210140800638915796417433485518541\ 441/213924529625447826554065032105741032296855120859100843132331229\ 20896*c_0101_5^4 - 132057069023155212975701061875340979637713769645\ 257754423959103593187/388953690228086957371027331101347331448827492\ 4710924420587840531072*c_0101_5^2 + 1210979720206964127865594539974520588865601736556206874410776640023\ 3/47538784361210628123125562690164673843745582413133520696073606490\ 88, c_0101_0 - 152878368714894672297406370467476142567463876247297749571675\ 3366395/12835471777526869593243901926344461937811307251546050587939\ 8737525376*c_0101_5^33 + 190982532010852053838355295214485726343613\ 54330758507497650663480815/2139245296254478265540650321057410322968\ 5512085910084313233122920896*c_0101_5^31 - 4346342130267510788634693644136312912300798827734760465991269428534\ 43/6417735888763434796621950963172230968905653625773025293969936876\ 2688*c_0101_5^29 + 606086478845611112209272355122627897409266676178\ 75240705694447116781523/1283547177752686959324390192634446193781130\ 72515460505879398737525376*c_0101_5^27 - 1334686614004204003057305376172887696736836037536245569366874415828\ 00517/3208867944381717398310975481586115484452826812886512646984968\ 4381344*c_0101_5^25 + 344544826443974444347011335009473230279144163\ 58398939889427571913963879/3565408827090797109234417201762350538280\ 918680985014052205520486816*c_0101_5^23 + 3198588915313135838456942249787208375873633847150829192759485926761\ 47669/3208867944381717398310975481586115484452826812886512646984968\ 4381344*c_0101_5^21 - 785330954624166774506282381654140866593095250\ 68964476552304208595154507/1782704413545398554617208600881175269140\ 459340492507026102760243408*c_0101_5^19 - 1529622678504637102098494828510658273199416092357894669831802603966\ 557011/641773588876343479662195096317223096890565362577302529396993\ 68762688*c_0101_5^17 + 12263122984137506395779687255164326295840086\ 07212133852697263583049253071/1604433972190858699155487740793057742\ 2264134064432563234924842190672*c_0101_5^15 + 5097282987571693712712957204796550910007133122373655992447002405570\ 93277/7130817654181594218468834403524701076561837361970028104411040\ 973632*c_0101_5^13 - 1464723792613330501932022169994524744173092744\ 12705774073597084675792055/2917152676710652180282704983260104985866\ 206193533193315440880398304*c_0101_5^11 - 2472634380998691072005432550600761390525406595629875231313551003985\ 53399/2674056620318097831925812901321762903710689010738760539154140\ 365112*c_0101_5^9 + 40612433192793653835009612002103233385163766383\ 71712579593736071290975645/6417735888763434796621950963172230968905\ 6536257730252939699368762688*c_0101_5^7 - 9653248758608465366269584366981742238362438009982566094298596713110\ 41249/6417735888763434796621950963172230968905653625773025293969936\ 8762688*c_0101_5^5 + 1746147780391322394931420621769069333368877347\ 4052989889392125316173363/11668610706842608721130819933040419943464\ 824774132773261763521593216*c_0101_5^3 - 6872413231703687179121541666402222479038366935473899813196555070361\ 69/1426163530836318843693766880704940215312367472394005620882208194\ 7264*c_0101_5, c_0101_1 - 255639198230411836783907600120844715920866176898767682369321\ 75/1901974035345168495701845139859889151339009743134926367035618841\ 6*c_0101_5^32 + 159646110443363679900332391202540671291770429202078\ 365031235517/158497836278764041308487094988324095944917478594577197\ 2529682368*c_0101_5^30 - 226673790164398235678211135924683717911443\ 772190047032127375387/297183443022682577453413303103107679896720272\ 364832244849315444*c_0101_5^28 + 1013273241073230603670673661745440\ 182755696674314292657687354192697/190197403534516849570184513985988\ 91513390097431349263670356188416*c_0101_5^26 - 2228052577384769122074014036038294049928727225469553924247475988143\ /4754935088362921239254612849649722878347524357837315917589047104*c\ _0101_5^24 + 572557887079059494423287689251627771910276073858294495\ 961406106747/528326120929213471028290316627746986483058261981923990\ 843227456*c_0101_5^22 + 5416154202139222290424836300806585452280807\ 610008155629572118230663/475493508836292123925461284964972287834752\ 4357837315917589047104*c_0101_5^20 - 1307572093442764217810900979275512197543428098935167882628456745307\ /264163060464606735514145158313873493241529130990961995421613728*c_\ 0101_5^18 - 2622533854161952837449071482336739732600548085854964994\ 4704111836959/95098701767258424785092256992994457566950487156746318\ 35178094208*c_0101_5^16 + 40719997195658856818449759689365917080309\ 113141536564337577485765759/475493508836292123925461284964972287834\ 7524357837315917589047104*c_0101_5^14 + 8641056206628292493125889291654224339674611244700661885075759196867\ /1056652241858426942056580633255493972966116523963847981686454912*c\ _0101_5^12 - 238215014603534563896012216637274310070270511335225459\ 0155624724541/43226682621481102175041934996815662530432039616702871\ 9780822464*c_0101_5^10 - 415005826060861298337935917434131530617129\ 4042702944872633493292193/39624459069691010327121773747081023986229\ 3696486442993132420592*c_0101_5^8 + 6629883915187639154842947502655533258059004209891524256154143204277\ 7/9509870176725842478509225699299445756695048715674631835178094208*\ c_0101_5^6 - 156039267057831734026323063061326679854702190576273514\ 18405833694819/9509870176725842478509225699299445756695048715674631\ 835178094208*c_0101_5^4 + 28231810500649375074525552918844684695179\ 8534349874944752277186551/17290673048592440870016773998726265012172\ 81584668114879123289856*c_0101_5^2 - 13061218324083214088630651454407889339579912436696739565153373859/2\ 113304483716853884113161266510987945932233047927695963372909824, c_0101_3 - 276132011028081292731995831681547118460214634056318393071141\ 59/4754935088362921239254612849649722878347524357837315917589047104\ *c_0101_5^32 + 1724445445084459734969671319644586262127046721458459\ 67307492497/3962445906969101032712177374708102398622936964864429931\ 32420592*c_0101_5^30 - 39176733249826494570509144963200671046779991\ 86467536961056113647/1188733772090730309813653212412430719586881089\ 459328979397261776*c_0101_5^28 + 1094504448655041510026433549064898\ 527600200237580526244127115210705/475493508836292123925461284964972\ 2878347524357837315917589047104*c_0101_5^26 - 150421509114996483123176566906448950220170200101195502439646340649/\ 74295860755670644363353325775776919974180068091208061212328861*c_01\ 01_5^24 + 773160603621763894316417780744926905019940004591399525017\ 96839503/1651019127903792096963407239461709332759557068693512471385\ 0858*c_0101_5^22 + 292469080642612139550333584647693650208136543854\ 9428114216898513409/59436688604536515490682660620621535979344054472\ 9664489698630888*c_0101_5^20 - 282514317979550814546721094608331467\ 6227455471053078165870122153469/13208153023230336775707257915693674\ 6620764565495480997710806864*c_0101_5^18 - 2831740082953018143747562751516604856875831411140212234348673406006\ 5/2377467544181460619627306424824861439173762178918657958794523552*\ c_0101_5^16 + 27496514379475118653279727961184350987712019104590811\ 11889258723078/7429586075567064436335332577577691997418006809120806\ 1212328861*c_0101_5^14 + 933284326673677268191392344679542098996246\ 5208508246170752403166421/26416306046460673551414515831387349324152\ 9130990961995421613728*c_0101_5^12 - 1287360961443486220151724369406012551852883742593440922028500758869\ /54033353276851377718802418746019578163040049520878589972602808*c_0\ 101_5^10 - 17934559851527442253377432136645930391991047280648004099\ 712910514483/396244590696910103271217737470810239862293696486442993\ 132420592*c_0101_5^8 + 71627745744928761800404082743399747831660589\ 263173235517560077301075/237746754418146061962730642482486143917376\ 2178918657958794523552*c_0101_5^6 - 1686099318506046574067315563228799548749219653977349625428286927898\ 9/2377467544181460619627306424824861439173762178918657958794523552*\ c_0101_5^4 + 305505639066015985681596206161440961597137168602827142\ 135100048299/432266826214811021750419349968156625304320396167028719\ 780822464*c_0101_5^2 - 12371622304089397337048302933915851567052326\ 508892815817271290735/528326120929213471028290316627746986483058261\ 981923990843227456, c_0101_5^34 - 75*c_0101_5^32 + 572*c_0101_5^30 - 39671*c_0101_5^28 + 351013*c_0101_5^26 - 827280*c_0101_5^24 - 799096*c_0101_5^22 + 3734244*c_0101_5^20 + 1830538*c_0101_5^18 - 6497074*c_0101_5^16 - 5702670*c_0101_5^14 + 4469354*c_0101_5^12 + 7550580*c_0101_5^10 - 5655902*c_0101_5^8 + 1529180*c_0101_5^6 - 194185*c_0101_5^4 + 11322*c_0101_5^2 - 243 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB