Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 3330759396] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s383 geometric_solution 4.61098664 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398911745565 0.217841201476 2 0 3 0 0132 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670110538387 0.836643933051 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224861482786 1.292855565684 2 2 4 1 3012 1230 0132 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 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 1.224861482786 1.292855565684 5 2 5 3 0132 0132 2310 0132 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 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.545567470194 0.935013540108 4 4 5 5 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494746064234 0.143545670047 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_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_3'], 'c_0101_5' : d['c_0101_3'], '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : 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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2199988259253440913719756318003384891377783/28196853902516323033907\ 125232847340947896*c_0101_4^21 + 2153473986375766370506090696067001\ 9294954493/28196853902516323033907125232847340947896*c_0101_4^20 + 7195206761416529948925346781920576217773429/70492134756290807584767\ 81308211835236974*c_0101_4^19 - 16650966924854279103222176780631728\ 4767681427/14098426951258161516953562616423670473948*c_0101_4^18 + 131989446679819494883966550973453734998213787/140984269512581615169\ 53562616423670473948*c_0101_4^17 + 2931153104777319342165803455030214440334727885/28196853902516323033\ 907125232847340947896*c_0101_4^16 - 2064882717932951024845027074733356891964468211/14098426951258161516\ 953562616423670473948*c_0101_4^15 - 19317990583412790392499813400533673828514351287/2819685390251632303\ 3907125232847340947896*c_0101_4^14 + 303394554666434665921553455098420150749353293/352460673781454037923\ 8390654105917618487*c_0101_4^13 + 204857352738992712110170727357867\ 12906284506301/14098426951258161516953562616423670473948*c_0101_4^1\ 2 + 19182799082839254442982659899506991181399154409/281968539025163\ 23033907125232847340947896*c_0101_4^11 - 2161303144787955606590387893333268234725656975/70492134756290807584\ 76781308211835236974*c_0101_4^10 - 2413772420226776235592720499712051143085390473/28196853902516323033\ 907125232847340947896*c_0101_4^9 - 23242344749936492701198225147775803543887195783/2819685390251632303\ 3907125232847340947896*c_0101_4^8 - 35056175705414612190343341361345430517330754635/2819685390251632303\ 3907125232847340947896*c_0101_4^7 - 5006915646486833562789305058325508365618614469/14098426951258161516\ 953562616423670473948*c_0101_4^6 + 580110654874001397224029036637741474744591593/140984269512581615169\ 53562616423670473948*c_0101_4^5 - 236734528862201261177273768271539\ 419403262408/3524606737814540379238390654105917618487*c_0101_4^4 - 1070332792216968817440643913147936152820197221/28196853902516323033\ 907125232847340947896*c_0101_4^3 - 9765988400589362230125033093413406921018935/70492134756290807584767\ 81308211835236974*c_0101_4^2 + 487280512014430644706378274826660078\ 5018079/28196853902516323033907125232847340947896*c_0101_4 + 10395057334070139967532516522666489861352925/2819685390251632303390\ 7125232847340947896, c_0011_0 - 1, c_0011_1 + 509561665982960287133760900167702390463/35246067378145403792\ 38390654105917618487*c_0101_4^21 - 5111007245547764773067016118778018805003/35246067378145403792383906\ 54105917618487*c_0101_4^20 - 53792471511824831251844646867186260808\ 90/3524606737814540379238390654105917618487*c_0101_4^19 + 77889643308426555258630706057892140830384/3524606737814540379238390\ 654105917618487*c_0101_4^18 - 8027540014822687327708078241889749748\ 0281/3524606737814540379238390654105917618487*c_0101_4^17 - 651423623133646400869870107314258264867957/352460673781454037923839\ 0654105917618487*c_0101_4^16 + 110223803010739058610486748092326078\ 0284005/3524606737814540379238390654105917618487*c_0101_4^15 + 4146574053451422339011301166383280652190817/35246067378145403792383\ 90654105917618487*c_0101_4^14 - 14247360130281823442051506101471119\ 56544275/3524606737814540379238390654105917618487*c_0101_4^13 - 8781562909550915617930624431565460475882454/35246067378145403792383\ 90654105917618487*c_0101_4^12 - 26275761156886321525122690734598518\ 98113642/3524606737814540379238390654105917618487*c_0101_4^11 + 1861967384437214822607493014632116000842723/35246067378145403792383\ 90654105917618487*c_0101_4^10 + 17976655344099830365341318459478812\ 9214274/3524606737814540379238390654105917618487*c_0101_4^9 + 5527838135202324212774405997432422082344862/35246067378145403792383\ 90654105917618487*c_0101_4^8 + 672967822698085376360682117328280447\ 6665115/3524606737814540379238390654105917618487*c_0101_4^7 + 1269603678338297265634666398356031975331358/35246067378145403792383\ 90654105917618487*c_0101_4^6 - 131900342669565062503055080217326056\ 332959/3524606737814540379238390654105917618487*c_0101_4^5 + 401288789567150985219481604016537048598108/352460673781454037923839\ 0654105917618487*c_0101_4^4 + 1421089687392252408129780450620189319\ 82863/3524606737814540379238390654105917618487*c_0101_4^3 + 12326832964742066296410743496122854783392/3524606737814540379238390\ 654105917618487*c_0101_4^2 - 57041756250704726252333907340394251776\ 53/3524606737814540379238390654105917618487*c_0101_4 - 3371619600914252728087035744910233168530/35246067378145403792383906\ 54105917618487, c_0011_3 - 874631343093630448511512969032333173963/35246067378145403792\ 38390654105917618487*c_0101_4^21 + 8671841120653796083631361007508792036429/35246067378145403792383906\ 54105917618487*c_0101_4^20 + 10262017249869367080538640976270699264\ 804/3524606737814540379238390654105917618487*c_0101_4^19 - 132791785543989321783785554943348788780629/352460673781454037923839\ 0654105917618487*c_0101_4^18 + 122121968225071287081166552555713847\ 736698/3524606737814540379238390654105917618487*c_0101_4^17 + 1136631936379444064678271507230914992702047/35246067378145403792383\ 90654105917618487*c_0101_4^16 - 17646962235750920693655057969979833\ 51411565/3524606737814540379238390654105917618487*c_0101_4^15 - 7359381467009610610265660742260115887600287/35246067378145403792383\ 90654105917618487*c_0101_4^14 + 16557751010542757579915074271877239\ 50718859/3524606737814540379238390654105917618487*c_0101_4^13 + 15514535467990899664205387223601782700753776/3524606737814540379238\ 390654105917618487*c_0101_4^12 + 6224205063563023790925125055443591\ 478428452/3524606737814540379238390654105917618487*c_0101_4^11 - 3033738899048405622453408454758279679028690/35246067378145403792383\ 90654105917618487*c_0101_4^10 - 79848183167152486387090880056131257\ 2771841/3524606737814540379238390654105917618487*c_0101_4^9 - 9393855356941324620124536816377112914866744/35246067378145403792383\ 90654105917618487*c_0101_4^8 - 126740402993778369755389490830674524\ 53535151/3524606737814540379238390654105917618487*c_0101_4^7 - 3331209539074193659358086474713544311855094/35246067378145403792383\ 90654105917618487*c_0101_4^6 + 288278693150598978692183260458378191\ 774306/3524606737814540379238390654105917618487*c_0101_4^5 - 635950844573669993268978647705231099516547/352460673781454037923839\ 0654105917618487*c_0101_4^4 - 3504560510989884441860173505073486242\ 87348/3524606737814540379238390654105917618487*c_0101_4^3 - 22297143492036753307213358420882296113370/3524606737814540379238390\ 654105917618487*c_0101_4^2 + 97219199204549621233712523849625702134\ 13/3524606737814540379238390654105917618487*c_0101_4 + 3037147515871800559592885250581832063262/35246067378145403792383906\ 54105917618487, c_0101_0 + 1031903408710000917167403548606749963245/3524606737814540379\ 238390654105917618487*c_0101_4^21 - 9937423698125248129152137566852064568348/35246067378145403792383906\ 54105917618487*c_0101_4^20 - 15282179916459509344004982737571287190\ 209/3524606737814540379238390654105917618487*c_0101_4^19 + 156016573807767547621107684187730751074342/352460673781454037923839\ 0654105917618487*c_0101_4^18 - 984323532856881889845200641981067801\ 89064/3524606737814540379238390654105917618487*c_0101_4^17 - 1422712184139601674396320546504332657581516/35246067378145403792383\ 90654105917618487*c_0101_4^16 + 17664662677096382648583338269263811\ 71998267/3524606737814540379238390654105917618487*c_0101_4^15 + 9569294954630224821573356913531505240633704/35246067378145403792383\ 90654105917618487*c_0101_4^14 - 22632270414674176055653608133205150\ 5762933/3524606737814540379238390654105917618487*c_0101_4^13 - 20535876497669807468780699218341778798148575/3524606737814540379238\ 390654105917618487*c_0101_4^12 - 1082325423724758555954859910799142\ 2717579450/3524606737814540379238390654105917618487*c_0101_4^11 + 4948647518889929840668375188188363590704080/35246067378145403792383\ 90654105917618487*c_0101_4^10 + 13042727593013733937706794601799105\ 98116837/3524606737814540379238390654105917618487*c_0101_4^9 + 10780945426258311737389020628763362052551585/3524606737814540379238\ 390654105917618487*c_0101_4^8 + 18213123862970896660274735670975217\ 878281589/3524606737814540379238390654105917618487*c_0101_4^7 + 5320071826101918414767789350905321511964281/35246067378145403792383\ 90654105917618487*c_0101_4^6 - 928288979654528437736738940701212769\ 491033/3524606737814540379238390654105917618487*c_0101_4^5 + 974120752038458985302874739084538891278406/352460673781454037923839\ 0654105917618487*c_0101_4^4 + 5938857944565996737644204262953241040\ 37351/3524606737814540379238390654105917618487*c_0101_4^3 + 10252683172337986854545538369476390565234/3524606737814540379238390\ 654105917618487*c_0101_4^2 - 11335747111235962935954946515653912314\ 924/3524606737814540379238390654105917618487*c_0101_4 - 4575093130124038588080715389477344480370/35246067378145403792383906\ 54105917618487, c_0101_3 + 902172146396542575044897372229631947282/35246067378145403792\ 38390654105917618487*c_0101_4^21 - 8916372700217105719535029588758088013100/35246067378145403792383906\ 54105917618487*c_0101_4^20 - 10915706234950350227085945793783786902\ 637/3524606737814540379238390654105917618487*c_0101_4^19 + 137148213803667583822176451951864221313337/352460673781454037923839\ 0654105917618487*c_0101_4^18 - 121469201516070254059077832839016073\ 281881/3524606737814540379238390654105917618487*c_0101_4^17 - 1183821044503464786141474431445717059036320/35246067378145403792383\ 90654105917618487*c_0101_4^16 + 17956182398821392661899402017121489\ 15468093/3524606737814540379238390654105917618487*c_0101_4^15 + 7701588057931452405179670662898560537877834/35246067378145403792383\ 90654105917618487*c_0101_4^14 - 16065164070037610785510855348531299\ 53386172/3524606737814540379238390654105917618487*c_0101_4^13 - 16354271328568267482424653308001433304288149/3524606737814540379238\ 390654105917618487*c_0101_4^12 - 6591762110510443922621912015506351\ 437560010/3524606737814540379238390654105917618487*c_0101_4^11 + 3533331499153504690619683848201262392630479/35246067378145403792383\ 90654105917618487*c_0101_4^10 + 76067148158577725268723418114401241\ 5864289/3524606737814540379238390654105917618487*c_0101_4^9 + 9637807312617853463672680207787820704947547/35246067378145403792383\ 90654105917618487*c_0101_4^8 + 134066256336066770265797596143111007\ 33539334/3524606737814540379238390654105917618487*c_0101_4^7 + 3304816725828063353700479010818517095772850/35246067378145403792383\ 90654105917618487*c_0101_4^6 - 449864167062953148735237025966439160\ 265605/3524606737814540379238390654105917618487*c_0101_4^5 + 718741658077658503048179140594060178849012/352460673781454037923839\ 0654105917618487*c_0101_4^4 + 3492902660336733557818083341088316866\ 72361/3524606737814540379238390654105917618487*c_0101_4^3 + 19449772743665895481642760890260207976526/3524606737814540379238390\ 654105917618487*c_0101_4^2 - 65769462558882337534803835298563953147\ 06/3524606737814540379238390654105917618487*c_0101_4 - 5166113377803540591584234903692325400457/35246067378145403792383906\ 54105917618487, c_0101_4^22 - 10*c_0101_4^21 - 11*c_0101_4^20 + 154*c_0101_4^19 - 152*c_0101_4^18 - 1305*c_0101_4^17 + 2155*c_0101_4^16 + 8371*c_0101_4^15 - 2919*c_0101_4^14 - 18322*c_0101_4^13 - 4893*c_0101_4^12 + 5637*c_0101_4^11 + 355*c_0101_4^10 + 10344*c_0101_4^9 + 13686*c_0101_4^8 + 1327*c_0101_4^7 - 1456*c_0101_4^6 + 930*c_0101_4^5 + 315*c_0101_4^4 - 81*c_0101_4^3 - 9*c_0101_4^2 - 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB