Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 4004475406] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0643 geometric_solution 4.63126730 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 -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 1.292493782519 0.095017889694 0 2 2 0 0132 0132 1023 1023 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 1 -1 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.499413163484 0.357878481693 3 1 1 4 0132 0132 1023 0132 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 -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.079333489024 0.737169179687 2 4 4 5 0132 2310 1302 0132 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 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.134438178820 0.661599582588 3 5 2 3 2031 1023 0132 3201 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 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.134438178820 0.661599582588 4 6 3 6 1023 0132 0132 2310 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 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.501617508610 0.552351288236 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.551906599161 0.322992315820 ==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' : negation(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' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 260304193979873117430426635876676866288/446364671091594482961475523\ 696525*c_0110_6^23 + 5089667876456979980381855608681073496/44636467\ 1091594482961475523696525*c_0110_6^22 - 8716995972638520012449111919070360466568/44636467109159448296147552\ 3696525*c_0110_6^21 - 10417849367786006658283754144182324618506/446\ 364671091594482961475523696525*c_0110_6^20 + 30263584434731570499842499689030370195212/4463646710915944829614755\ 23696525*c_0110_6^19 + 35339395525748815391390013890387223868729/44\ 6364671091594482961475523696525*c_0110_6^18 + 46603271516884557225150297687001519622682/4463646710915944829614755\ 23696525*c_0110_6^17 - 150025993953191491277784839870869315283503/4\ 46364671091594482961475523696525*c_0110_6^16 - 161451319902959224067664474450717744146832/446364671091594482961475\ 523696525*c_0110_6^15 + 67660340395755186232915883977708364787534/8\ 9272934218318896592295104739305*c_0110_6^14 - 135210748909998130077471099813431230844498/446364671091594482961475\ 523696525*c_0110_6^13 + 13964578133036436880075981451811715727216/8\ 9272934218318896592295104739305*c_0110_6^12 + 132162657616125560752444490610362921834203/446364671091594482961475\ 523696525*c_0110_6^11 - 532742749270551101784658607535305603572392/\ 446364671091594482961475523696525*c_0110_6^10 + 524973667154075480989179341876107493020084/446364671091594482961475\ 523696525*c_0110_6^9 - 181563204342131157319420700475904872236898/4\ 46364671091594482961475523696525*c_0110_6^8 - 3735510344900479100228149629132411967284/17854586843663779318459020\ 947861*c_0110_6^7 + 255423956289974134586412203603697136957762/4463\ 64671091594482961475523696525*c_0110_6^6 - 305109170386178900078979818061677006753804/446364671091594482961475\ 523696525*c_0110_6^5 + 222669460413683228562891801496540112880249/4\ 46364671091594482961475523696525*c_0110_6^4 - 20239675084820255565112540643582873578512/8927293421831889659229510\ 4739305*c_0110_6^3 + 28242876811138508643462055569765639047033/4463\ 64671091594482961475523696525*c_0110_6^2 - 4488498771343079198302547016649487019742/44636467109159448296147552\ 3696525*c_0110_6 + 314849754801594083823124066131446102031/44636467\ 1091594482961475523696525, c_0011_0 - 1, c_0011_4 - 35295793819130707073455989789893896/137342975720490610141992\ 4688297*c_0110_6^23 + 1733750380083829602753885104983636/1373429757\ 204906101419924688297*c_0110_6^22 + 1183295637372135932410861851633547836/13734297572049061014199246882\ 97*c_0110_6^21 + 1332150104749488957848262960254423289/137342975720\ 4906101419924688297*c_0110_6^20 - 424277345936777016124034417166040\ 6299/1373429757204906101419924688297*c_0110_6^19 - 4583898080150009345143397905133495753/13734297572049061014199246882\ 97*c_0110_6^18 - 5883144413739970196551064060968913337/137342975720\ 4906101419924688297*c_0110_6^17 + 210056653300312645917235772649044\ 21912/1373429757204906101419924688297*c_0110_6^16 + 20847685697959141540516957978790288103/1373429757204906101419924688\ 297*c_0110_6^15 - 47911923786751281686710162436337546609/1373429757\ 204906101419924688297*c_0110_6^14 + 20412554056679050227715678333886717781/1373429757204906101419924688\ 297*c_0110_6^13 - 9657754468592249817343046345541553033/13734297572\ 04906101419924688297*c_0110_6^12 - 17368875157799528417228219887582536961/1373429757204906101419924688\ 297*c_0110_6^11 + 73756780576119381528391446525677622275/1373429757\ 204906101419924688297*c_0110_6^10 - 75340897299793217000492924704867896553/1373429757204906101419924688\ 297*c_0110_6^9 + 27346281069421686389874043818177727821/13734297572\ 04906101419924688297*c_0110_6^8 + 123794424462445893721006935012253\ 55086/1373429757204906101419924688297*c_0110_6^7 - 35646630475671383240837057575341330321/1373429757204906101419924688\ 297*c_0110_6^6 + 43220729947969708191991031713305762086/13734297572\ 04906101419924688297*c_0110_6^5 - 320710971584313375890542191742472\ 85601/1373429757204906101419924688297*c_0110_6^4 + 14821290865176347951776906951814935131/1373429757204906101419924688\ 297*c_0110_6^3 - 4203512428379338601277135650654146657/137342975720\ 4906101419924688297*c_0110_6^2 + 6787127761375735501437468864083854\ 03/1373429757204906101419924688297*c_0110_6 - 48395760313610050005004449542961592/1373429757204906101419924688297\ , c_0101_0 + 28122683078289656795839430024596944/137342975720490610141992\ 4688297*c_0110_6^23 - 698589582472373100890092293907320/13734297572\ 04906101419924688297*c_0110_6^22 - 942288193753111360250255931404142640/137342975720490610141992468829\ 7*c_0110_6^21 - 1083925645913395086446050346983130754/1373429757204\ 906101419924688297*c_0110_6^20 + 3336189830474667546813812714192065\ 512/1373429757204906101419924688297*c_0110_6^19 + 3699552472080857440064607808440673286/13734297572049061014199246882\ 97*c_0110_6^18 + 4818609020269849720133176513193636209/137342975720\ 4906101419924688297*c_0110_6^17 - 165177640819048116853964799499770\ 08234/1373429757204906101419924688297*c_0110_6^16 - 16847345234628769508017762051629479550/1373429757204906101419924688\ 297*c_0110_6^15 + 37558896192739253039673165058283823649/1373429757\ 204906101419924688297*c_0110_6^14 - 15830518214186497520533790198220309455/1373429757204906101419924688\ 297*c_0110_6^13 + 7705070211444960074939847028992778341/13734297572\ 04906101419924688297*c_0110_6^12 + 14013797881867540623906777450505418529/1373429757204906101419924688\ 297*c_0110_6^11 - 58294009139250408580836596197522115410/1373429757\ 204906101419924688297*c_0110_6^10 + 58977365602820686346639581480417240781/1373429757204906101419924688\ 297*c_0110_6^9 - 21234210117981674873731942351684099539/13734297572\ 04906101419924688297*c_0110_6^8 - 986858258316640290569174919720076\ 4785/1373429757204906101419924688297*c_0110_6^7 + 28134998459898986353875432392338545385/1373429757204906101419924688\ 297*c_0110_6^6 - 33972977575987518090392058622925080107/13734297572\ 04906101419924688297*c_0110_6^5 + 251169015972280681984778803067438\ 62233/1373429757204906101419924688297*c_0110_6^4 - 11577101830007850202010708037460604373/1373429757204906101419924688\ 297*c_0110_6^3 + 3277996723515800153272773347459329422/137342975720\ 4906101419924688297*c_0110_6^2 - 5288420395942415506818058282294605\ 25/1373429757204906101419924688297*c_0110_6 + 37711133883999252201591169845843899/1373429757204906101419924688297\ , c_0101_1 + 26716853439811830166393718773733808/137342975720490610141992\ 4688297*c_0110_6^23 - 1181171476308565788979424303293880/1373429757\ 204906101419924688297*c_0110_6^22 - 895483974207308139179075593830493144/137342975720490610141992468829\ 7*c_0110_6^21 - 1012555829171232277091388159019120398/1373429757204\ 906101419924688297*c_0110_6^20 + 3199785381639490913013783674525714\ 322/1373429757204906101419924688297*c_0110_6^19 + 3470712308138779285381574692210142648/13734297572049061014199246882\ 97*c_0110_6^18 + 4480941452550126151443009738718567876/137342975720\ 4906101419924688297*c_0110_6^17 - 158384998242880162547243880275616\ 36761/1373429757204906101419924688297*c_0110_6^16 - 15784423355806027732086817991727693628/1373429757204906101419924688\ 297*c_0110_6^15 + 36135956626831742478693868095473712443/1373429757\ 204906101419924688297*c_0110_6^14 - 15459031314975903825450708557718566147/1373429757204906101419924688\ 297*c_0110_6^13 + 7332499334655357099889063596344312548/13734297572\ 04906101419924688297*c_0110_6^12 + 13184603448815950294440585555985628984/1373429757204906101419924688\ 297*c_0110_6^11 - 55714114670882845830954400134577674971/1373429757\ 204906101419924688297*c_0110_6^10 + 56906702555548126382036134945044893761/1373429757204906101419924688\ 297*c_0110_6^9 - 20705875458342103240843898711660650077/13734297572\ 04906101419924688297*c_0110_6^8 - 933752347988004685821265172897026\ 0716/1373429757204906101419924688297*c_0110_6^7 + 26941805954561621924475619735701113751/1373429757204906101419924688\ 297*c_0110_6^6 - 32660434662484955112587075640260797794/13734297572\ 04906101419924688297*c_0110_6^5 + 242441885909505796065083493505214\ 67338/1373429757204906101419924688297*c_0110_6^4 - 11215054311214239921711464719804635633/1373429757204906101419924688\ 297*c_0110_6^3 + 3185225529125557013230426630047728435/137342975720\ 4906101419924688297*c_0110_6^2 - 5152357223789732215048305508547537\ 91/1373429757204906101419924688297*c_0110_6 + 36825731529990918516900896214819688/1373429757204906101419924688297\ , c_0101_2 + 27723390165924923055920813477982504/137342975720490610141992\ 4688297*c_0110_6^23 - 2052451446519062406013703050972060/1373429757\ 204906101419924688297*c_0110_6^22 - 929899477573746739329274760891283624/137342975720490610141992468829\ 7*c_0110_6^21 - 1023558410486141413158161974572563885/1373429757204\ 906101419924688297*c_0110_6^20 + 3375173734096841707092288001874581\ 166/1373429757204906101419924688297*c_0110_6^19 + 3549224044818532436716838743465753613/13734297572049061014199246882\ 97*c_0110_6^18 + 4495783695458966155436985736652945126/137342975720\ 4906101419924688297*c_0110_6^17 - 167056494485007775319895509871028\ 51862/1373429757204906101419924688297*c_0110_6^16 - 16118631401737021078067235258934826359/1373429757204906101419924688\ 297*c_0110_6^15 + 38218070827264457120136465606857086032/1373429757\ 204906101419924688297*c_0110_6^14 - 16543384212229727442728210257424256837/1373429757204906101419924688\ 297*c_0110_6^13 + 7632285721154764165637914651475332380/13734297572\ 04906101419924688297*c_0110_6^12 + 13485979861848235451085046768105248819/1373429757204906101419924688\ 297*c_0110_6^11 - 58386696353497812295747126957871004756/1373429757\ 204906101419924688297*c_0110_6^10 + 60284841642700860010812609297827080641/1373429757204906101419924688\ 297*c_0110_6^9 - 22164050585840625192220082377452849438/13734297572\ 04906101419924688297*c_0110_6^8 - 966644716962405651362680737010022\ 6102/1373429757204906101419924688297*c_0110_6^7 + 28277574453253272329115897070621109677/1373429757204906101419924688\ 297*c_0110_6^6 - 34444821275653665680141649609781841187/13734297572\ 04906101419924688297*c_0110_6^5 + 256811477360513836100823943968740\ 46412/1373429757204906101419924688297*c_0110_6^4 - 11921645076340420752016026869775698707/1373429757204906101419924688\ 297*c_0110_6^3 + 3395034734651222079281302291794869536/137342975720\ 4906101419924688297*c_0110_6^2 - 5502851141146612313179737615771759\ 11/1373429757204906101419924688297*c_0110_6 + 39386989990659768830860502042422750/1373429757204906101419924688297\ , c_0101_6 + 104106545748569555827992850198821472/13734297572049061014199\ 24688297*c_0110_6^23 + 1247593379874862667734248591111160/137342975\ 7204906101419924688297*c_0110_6^22 - 3487063077879242219150944736329945668/13734297572049061014199246882\ 97*c_0110_6^21 - 4140839212795360766715967854480248112/137342975720\ 4906101419924688297*c_0110_6^20 + 121599146502958439669604321805683\ 78607/1373429757204906101419924688297*c_0110_6^19 + 14094504537486170579521472765333013345/1373429757204906101419924688\ 297*c_0110_6^18 + 18490463890189950804105869522443692229/1373429757\ 204906101419924688297*c_0110_6^17 - 60282774318970291355966465318622585621/1373429757204906101419924688\ 297*c_0110_6^16 - 64377239342973727058597957176417925385/1373429757\ 204906101419924688297*c_0110_6^15 + 135993776631788923172253980334121283750/137342975720490610141992468\ 8297*c_0110_6^14 - 54446284514634617633350631524956755817/137342975\ 7204906101419924688297*c_0110_6^13 + 27935160805277939568309102917485330746/1373429757204906101419924688\ 297*c_0110_6^12 + 52672912280144643935910993432927879060/1373429757\ 204906101419924688297*c_0110_6^11 - 213639576843685337889066649750991151311/137342975720490610141992468\ 8297*c_0110_6^10 + 211033711176022073014442421844277201702/13734297\ 57204906101419924688297*c_0110_6^9 - 73136575057071802906217424261276602205/1373429757204906101419924688\ 297*c_0110_6^8 - 37362335410603515569255525039965475477/13734297572\ 04906101419924688297*c_0110_6^7 + 102447744657956561009501531685001\ 647699/1373429757204906101419924688297*c_0110_6^6 - 122513061651262709428599189723911857796/137342975720490610141992468\ 8297*c_0110_6^5 + 89493911820581150585966279170075150328/1373429757\ 204906101419924688297*c_0110_6^4 - 40698983833729280341095249239390438676/1373429757204906101419924688\ 297*c_0110_6^3 + 11362662263711726856385076225902552792/13734297572\ 04906101419924688297*c_0110_6^2 - 180604617586092349650211786800291\ 2670/1373429757204906101419924688297*c_0110_6 + 126667339157782815104165114587546073/137342975720490610141992468829\ 7, c_0110_6^24 - 1/2*c_0110_6^23 - 67/2*c_0110_6^22 - 181/8*c_0110_6^21 + 1097/8*c_0110_6^20 + 151/2*c_0110_6^19 + 867/8*c_0110_6^18 - 2679/4*c_0110_6^17 - 643/2*c_0110_6^16 + 3245/2*c_0110_6^15 - 9543/8*c_0110_6^14 + 4295/8*c_0110_6^13 + 737/2*c_0110_6^12 - 18487/8*c_0110_6^11 + 24629/8*c_0110_6^10 - 6969/4*c_0110_6^9 + 15/8*c_0110_6^8 + 4671/4*c_0110_6^7 - 13449/8*c_0110_6^6 + 1463*c_0110_6^5 - 6655/8*c_0110_6^4 + 1239/4*c_0110_6^3 - 587/8*c_0110_6^2 + 81/8*c_0110_6 - 5/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB