Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 1511769782] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0685 geometric_solution 4.65170065 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.706321897308 0.092643214188 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -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 1.903891996339 0.508182534934 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.174988952599 0.350232216676 2 4 5 2 0132 0132 0132 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 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525551706794 0.457560308433 6 3 5 5 0132 0132 2103 3201 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551533094787 1.076777529552 4 4 6 3 2103 2310 1023 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 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.551533094787 1.076777529552 4 6 5 6 0132 1302 1023 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444655145921 0.330552715981 ==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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), '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_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 328702752280196667105493545066627064202/149351650712548795855582495\ 1314583535*c_0101_6^22 - 6849711323409346232973900380599487361217/1\ 493516507125487958555824951314583535*c_0101_6^21 + 13658423601527192066386432693677869934596/4978388357084959861852749\ 83771527845*c_0101_6^20 - 3165186841144603168737271272926553470613/\ 33189255713899732412351665584768523*c_0101_6^19 + 72261285401589373083372116246919713500501/1493516507125487958555824\ 951314583535*c_0101_6^18 + 2464533446092048131202364312584299131264\ 27/497838835708495986185274983771527845*c_0101_6^17 - 2310795633908247833636508217848859883612876/14935165071254879585558\ 24951314583535*c_0101_6^16 - 87246450217644463194796664310748657124\ 482/165946278569498662061758327923842615*c_0101_6^15 + 9056278277308268950861302053393390274301012/14935165071254879585558\ 24951314583535*c_0101_6^14 - 98102901014066192290858485418573088874\ 1238/1493516507125487958555824951314583535*c_0101_6^13 - 15203979758759832513657259127708650613720059/1493516507125487958555\ 824951314583535*c_0101_6^12 + 2383926218982400489366484134964801399\ 462086/1493516507125487958555824951314583535*c_0101_6^11 + 12270281801014280327587193545623446523159416/1493516507125487958555\ 824951314583535*c_0101_6^10 - 2364027911046575655230371436856377676\ 72118/298703301425097591711164990262916707*c_0101_6^9 - 274064473026295319545370694829594728512785/995677671416991972370549\ 96754305569*c_0101_6^8 - 416473457081544270502285851781426480563374\ /1493516507125487958555824951314583535*c_0101_6^7 - 30543596424957314365173714211097259283699/2987033014250975917111649\ 90262916707*c_0101_6^6 + 467232419955255075697582789524183445106044\ /1493516507125487958555824951314583535*c_0101_6^5 + 81604957592863279096463106381714014503010/2987033014250975917111649\ 90262916707*c_0101_6^4 - 16542412009195006145417663603223382011043/\ 298703301425097591711164990262916707*c_0101_6^3 - 14368937126365287619393053950891630440081/2987033014250975917111649\ 90262916707*c_0101_6^2 - 2710579115072407006049341773091298528668/1\ 493516507125487958555824951314583535*c_0101_6 + 443967339031831636203492439250856836807/149351650712548795855582495\ 1314583535, c_0011_0 - 1, c_0011_2 + 71101123718520219295128196266383333/995677671416991972370549\ 96754305569*c_0101_6^22 - 2416410062287479552283118102026449596/165\ 946278569498662061758327923842615*c_0101_6^21 + 41129835829090992498132001013603200564/4978388357084959861852749837\ 71527845*c_0101_6^20 - 136776093349693557276776470904938693877/4978\ 38835708495986185274983771527845*c_0101_6^19 + 1542084728250742505856768861029484470/33189255713899732412351665584\ 768523*c_0101_6^18 + 790441049413800194881706735443588711148/497838\ 835708495986185274983771527845*c_0101_6^17 - 429891659335092882223447098608708410762/995677671416991972370549967\ 54305569*c_0101_6^16 - 559412943094181662590272439444740787663/1659\ 46278569498662061758327923842615*c_0101_6^15 + 1745425043513304715240373409778774341916/99567767141699197237054996\ 754305569*c_0101_6^14 + 825975447028803461453188952130620595947/165\ 946278569498662061758327923842615*c_0101_6^13 - 929110224691451792741094308875586851714/331892557138997324123516655\ 84768523*c_0101_6^12 - 200153032033308920714042991354407649357/3318\ 9255713899732412351665584768523*c_0101_6^11 + 3214261587749590759443913294724851246302/16594627856949866206175832\ 7923842615*c_0101_6^10 + 764606027148196942556468377747349669293/16\ 5946278569498662061758327923842615*c_0101_6^9 - 1879118879583592414848739642986540265744/49783883570849598618527498\ 3771527845*c_0101_6^8 - 835788309361077561502023684448682595551/497\ 838835708495986185274983771527845*c_0101_6^7 - 771520285051937769674732786377328295373/497838835708495986185274983\ 771527845*c_0101_6^6 + 13057151236847048684208051766854830054/16594\ 6278569498662061758327923842615*c_0101_6^5 + 303400510401651674210263278383398161748/497838835708495986185274983\ 771527845*c_0101_6^4 + 39080381099293849735422545952167459402/49783\ 8835708495986185274983771527845*c_0101_6^3 - 4737281114916344984867178921549068549/16594627856949866206175832792\ 3842615*c_0101_6^2 - 379575086859650788795775330348082136/165946278\ 569498662061758327923842615*c_0101_6 + 9612266256369264560859097062741364/99567767141699197237054996754305\ 569, c_0011_5 + 10303841832934194778750050761500741502/746758253562743979277\ 9124756572917675*c_0101_6^22 - 206913070855364169195304147947069567\ 253/7467582535627439792779124756572917675*c_0101_6^21 + 25025186851427572751007654679253512161/1659462785694986620617583279\ 23842615*c_0101_6^20 - 1192575652054096332605933596327226820272/248\ 9194178542479930926374918857639225*c_0101_6^19 - 664022987448423506447059821600218356688/746758253562743979277912475\ 6572917675*c_0101_6^18 + 7829864524951251052635784974659331180559/2\ 489194178542479930926374918857639225*c_0101_6^17 - 2217693126561322432901045466782072698592/29870330142509759171116499\ 0262916707*c_0101_6^16 - 7768079683019820008691772469817560916114/8\ 29731392847493310308791639619213075*c_0101_6^15 + 244278390893222828171648997599557841867329/746758253562743979277912\ 4756572917675*c_0101_6^14 + 150830960967752660153845299226976535676\ 339/7467582535627439792779124756572917675*c_0101_6^13 - 407556743516981013079958676723531501558892/746758253562743979277912\ 4756572917675*c_0101_6^12 - 202726588332171627353702632480668291049\ 949/7467582535627439792779124756572917675*c_0101_6^11 + 298348799242020893279542864067286963204308/746758253562743979277912\ 4756572917675*c_0101_6^10 + 274763515553686702784764412723422538142\ 26/1493516507125487958555824951314583535*c_0101_6^9 - 1588713486746118842379346534643713074609/16594627856949866206175832\ 7923842615*c_0101_6^8 - 34868429234870976777684488030523885923684/7\ 467582535627439792779124756572917675*c_0101_6^7 - 19430122490244699752559289184550414734708/7467582535627439792779124\ 756572917675*c_0101_6^6 - 3369308381525724262443917906776027842188/\ 7467582535627439792779124756572917675*c_0101_6^5 + 2265175294568363672386801450693075700978/14935165071254879585558249\ 51314583535*c_0101_6^4 + 454685582155132632626901067498734869897/14\ 93516507125487958555824951314583535*c_0101_6^3 - 244517360469670874266912059897631266208/149351650712548795855582495\ 1314583535*c_0101_6^2 - 93014741740980075377493095442974059603/7467\ 582535627439792779124756572917675*c_0101_6 + 29439245734361775615258424723012161746/7467582535627439792779124756\ 572917675, c_0101_0 + 532327616768967632909959953425560307/74675825356274397927791\ 24756572917675*c_0101_6^22 - 11876870718290635272815899878154197418\ /7467582535627439792779124756572917675*c_0101_6^21 + 1138034542144844785926401581741506617/99567767141699197237054996754\ 305569*c_0101_6^20 - 42576350937503107468018543483415997769/8297313\ 92847493310308791639619213075*c_0101_6^19 + 777457724757063547887036500515472353222/746758253562743979277912475\ 6572917675*c_0101_6^18 - 30088591313294367262648273001786848966/248\ 9194178542479930926374918857639225*c_0101_6^17 - 992203320777705339166319952959936575549/149351650712548795855582495\ 1314583535*c_0101_6^16 + 1065765145282283259198315291605101356361/8\ 29731392847493310308791639619213075*c_0101_6^15 - 481398737397031634381367404592239523176/746758253562743979277912475\ 6572917675*c_0101_6^14 - 30091193395628494609732326392532044583386/\ 7467582535627439792779124756572917675*c_0101_6^13 + 38245015538316723043809765303843386291813/7467582535627439792779124\ 756572917675*c_0101_6^12 + 4269678786385049113342993540962879572371\ 6/7467582535627439792779124756572917675*c_0101_6^11 - 70547610635649775807372921856455590137407/7467582535627439792779124\ 756572917675*c_0101_6^10 - 1247565111821857720546651501448211220118\ /298703301425097591711164990262916707*c_0101_6^9 + 599192620117060535670404289259756711726/995677671416991972370549967\ 54305569*c_0101_6^8 + 9778541673156885267426782178309591205726/7467\ 582535627439792779124756572917675*c_0101_6^7 - 4867751581784632779783211531155315582158/74675825356274397927791247\ 56572917675*c_0101_6^6 - 381224015714169200529228825792247699583/74\ 67582535627439792779124756572917675*c_0101_6^5 - 887863122057291881997448909748992844029/149351650712548795855582495\ 1314583535*c_0101_6^4 - 38102935755901969098536928432677278966/1493\ 516507125487958555824951314583535*c_0101_6^3 + 42581876686009682989514608245847945411/2987033014250975917111649902\ 62916707*c_0101_6^2 + 27010180015823048625074397946966268462/746758\ 2535627439792779124756572917675*c_0101_6 - 27954153467200740817699509332310297169/7467582535627439792779124756\ 572917675, c_0101_1 - 5320509395009182508258023023692871274/7467582535627439792779\ 124756572917675*c_0101_6^22 + 1094643243970517920338029543406922760\ 51/7467582535627439792779124756572917675*c_0101_6^21 - 14105209502933229591542920072082729348/1659462785694986620617583279\ 23842615*c_0101_6^20 + 715541173425151451759028215155607799859/2489\ 194178542479930926374918857639225*c_0101_6^19 - 651034655153634212613058080231156308144/746758253562743979277912475\ 6572917675*c_0101_6^18 - 3989814501161205976045828073840285807363/2\ 489194178542479930926374918857639225*c_0101_6^17 + 1366629953462144262541062362565273524806/29870330142509759171116499\ 0262916707*c_0101_6^16 + 2354049661295782092404416208351086207198/8\ 29731392847493310308791639619213075*c_0101_6^15 - 139209392808529165017030199158361094843723/746758253562743979277912\ 4756572917675*c_0101_6^14 - 188666642371295902303517385256160953583\ 48/7467582535627439792779124756572917675*c_0101_6^13 + 237351514814800971135349800361989200359829/746758253562743979277912\ 4756572917675*c_0101_6^12 + 138101147112908283763333090391288936415\ 13/7467582535627439792779124756572917675*c_0101_6^11 - 195403353108532837710905890831833647369401/746758253562743979277912\ 4756572917675*c_0101_6^10 - 238236727577826415512580967942675156506\ 6/1493516507125487958555824951314583535*c_0101_6^9 + 1543838966409673637184783044854536355809/16594627856949866206175832\ 7923842615*c_0101_6^8 + 9401032486505153451931201365331412486113/74\ 67582535627439792779124756572917675*c_0101_6^7 + 931021216715063077944871645550796694186/746758253562743979277912475\ 6572917675*c_0101_6^6 - 4544845881808345710117488504811045813479/74\ 67582535627439792779124756572917675*c_0101_6^5 - 1422640620509294335055237983250883915319/14935165071254879585558249\ 51314583535*c_0101_6^4 + 179092553693798397291023054230556492879/14\ 93516507125487958555824951314583535*c_0101_6^3 + 280909762221219690849381443337111058448/149351650712548795855582495\ 1314583535*c_0101_6^2 - 4462916427085677228717848140823137849/74675\ 82535627439792779124756572917675*c_0101_6 - 34555509237827042941235053311506872252/7467582535627439792779124756\ 572917675, c_0101_4 + 4434811142147586794036788560852431884/7467582535627439792779\ 124756572917675*c_0101_6^22 - 8767198301645646818346232370132747072\ 6/7467582535627439792779124756572917675*c_0101_6^21 + 10144666204037444628398111353739992208/1659462785694986620617583279\ 23842615*c_0101_6^20 - 459982448925879117464201442927220745194/2489\ 194178542479930926374918857639225*c_0101_6^19 - 826684754448693875678639932004368009066/746758253562743979277912475\ 6572917675*c_0101_6^18 + 3419676794184011746376488530677671137728/2\ 489194178542479930926374918857639225*c_0101_6^17 - 4208191212614828719487342020827690566024/14935165071254879585558249\ 51314583535*c_0101_6^16 - 4252059261049279366743771999912320891913/\ 829731392847493310308791639619213075*c_0101_6^15 + 99554325638827327113029641197520473936953/7467582535627439792779124\ 756572917675*c_0101_6^14 + 9500385641217903490603084630833096904743\ 8/7467582535627439792779124756572917675*c_0101_6^13 - 167092426337062751864013104785985671154204/746758253562743979277912\ 4756572917675*c_0101_6^12 - 128861000061680039997520910967770668319\ 083/7467582535627439792779124756572917675*c_0101_6^11 + 119845921733670495620449020874238935873336/746758253562743979277912\ 4756572917675*c_0101_6^10 + 163279881139021429058099710264374248146\ 84/1493516507125487958555824951314583535*c_0101_6^9 - 606759024843269074727991439754486082881/165946278569498662061758327\ 923842615*c_0101_6^8 - 16692727279919457399625906895160498852418/74\ 67582535627439792779124756572917675*c_0101_6^7 - 8322663027530877191591712446753473231171/74675825356274397927791247\ 56572917675*c_0101_6^6 - 3429258897444645785079264741722757739051/7\ 467582535627439792779124756572917675*c_0101_6^5 + 194034701519507463993195688553862113168/298703301425097591711164990\ 262916707*c_0101_6^4 + 55088033358884501901847279570239526250/29870\ 3301425097591711164990262916707*c_0101_6^3 - 121962008779097269352872351133811854777/149351650712548795855582495\ 1314583535*c_0101_6^2 - 62710058301077600072916618927138720821/7467\ 582535627439792779124756572917675*c_0101_6 + 17942168788936936093715017067996490727/7467582535627439792779124756\ 572917675, c_0101_6^23 - 21*c_0101_6^22 + 128*c_0101_6^21 - 453*c_0101_6^20 + 287*c_0101_6^19 + 2224*c_0101_6^18 - 7402*c_0101_6^17 - 1298*c_0101_6^16 + 28103*c_0101_6^15 - 7452*c_0101_6^14 - 46360*c_0101_6^13 + 15040*c_0101_6^12 + 37088*c_0101_6^11 - 10178*c_0101_6^10 - 12650*c_0101_6^9 + 1118*c_0101_6^8 - 15*c_0101_6^7 + 1449*c_0101_6^6 + 1008*c_0101_6^5 - 495*c_0101_6^4 - 195*c_0101_6^3 + 41*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB