Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 4139215408] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0311 geometric_solution 4.34838482 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694632901805 0.064227414787 2 0 2 0 0132 2310 1023 0132 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 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.877961089040 0.067753949155 1 3 1 3 0132 0132 1023 1023 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 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.811724215973 0.176473669348 4 2 5 2 0132 0132 0132 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 -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.901229812061 0.684261326754 3 5 6 5 0132 0213 0132 1230 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 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 0.864908146014 0.806136642123 4 6 4 3 3012 1023 0213 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.864908146014 0.806136642123 5 6 6 4 1023 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.381290296105 0.576667667480 ==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' : 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' : 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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_6'], 'c_0101_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_5']), '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_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), '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_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 + 87423246102133925696463111301503055102316751/8905147090299930844148\ 60768914625695648865*c_0101_6^22 - 975836244450779790244363203227295234914077799/890514709029993084414\ 860768914625695648865*c_0101_6^21 + 4006422301750702145507099595351654456406691571/89051470902999308441\ 4860768914625695648865*c_0101_6^20 - 2441201703884638869081325148306680914752042609/17810294180599861688\ 2972153782925139129773*c_0101_6^19 + 32553055368554283470309371009441838639818135714/8905147090299930844\ 14860768914625695648865*c_0101_6^18 - 63687157091004108103486750951387136336053247693/8905147090299930844\ 14860768914625695648865*c_0101_6^17 + 83544291555165799151352923590575879722002915756/8905147090299930844\ 14860768914625695648865*c_0101_6^16 - 49307793961325732775782513715606973918914599987/8905147090299930844\ 14860768914625695648865*c_0101_6^15 - 82531541765430171668847681517246673754191477386/8905147090299930844\ 14860768914625695648865*c_0101_6^14 + 221522248011265208506748107739546035996481166457/890514709029993084\ 414860768914625695648865*c_0101_6^13 - 278958854020848908341629765830206091121004904796/890514709029993084\ 414860768914625695648865*c_0101_6^12 + 274437037941989781660675464354194527284603309418/890514709029993084\ 414860768914625695648865*c_0101_6^11 - 32209104887708395705006280507966416754660427163/1781029418059986168\ 82972153782925139129773*c_0101_6^10 + 205464732698843256384794930106768481431222999139/890514709029993084\ 414860768914625695648865*c_0101_6^9 - 29383620073185779051764696654879618689418659736/1781029418059986168\ 82972153782925139129773*c_0101_6^8 + 35240844961392951582140282697411674235976186131/8905147090299930844\ 14860768914625695648865*c_0101_6^7 - 19613074837542291750849550279868100648236670405/1781029418059986168\ 82972153782925139129773*c_0101_6^6 - 27468662700688201592215160557553218616783448542/8905147090299930844\ 14860768914625695648865*c_0101_6^5 + 1129298285998063649171595136981280417589978246/89051470902999308441\ 4860768914625695648865*c_0101_6^4 - 1686130492793617994134751173024987746277816030/17810294180599861688\ 2972153782925139129773*c_0101_6^3 + 9156168032504218060756189135173941406266758471/89051470902999308441\ 4860768914625695648865*c_0101_6^2 - 1796759292950800873525297284977699888378516071/89051470902999308441\ 4860768914625695648865*c_0101_6 + 768389716135946993231442086752058\ 313574026367/890514709029993084414860768914625695648865, c_0011_0 - 1, c_0011_1 + 871307054761052409191971473279803628934/17810294180599861688\ 2972153782925139129773*c_0101_6^22 - 8388546509052426428468058874125732307973/17810294180599861688297215\ 3782925139129773*c_0101_6^21 + 273486433288889783517887356387099999\ 64088/178102941805998616882972153782925139129773*c_0101_6^20 - 86428367948116019520557648604751173363368/1781029418059986168829721\ 53782925139129773*c_0101_6^19 + 24338547889851734279571666877613118\ 7312206/178102941805998616882972153782925139129773*c_0101_6^18 - 452519222047097184582650668319530376810725/178102941805998616882972\ 153782925139129773*c_0101_6^17 + 6872632476203480085646987970285276\ 03265642/178102941805998616882972153782925139129773*c_0101_6^16 - 791197371902239751115808020387875235991198/178102941805998616882972\ 153782925139129773*c_0101_6^15 + 3457786330213530632438846969505775\ 89879804/178102941805998616882972153782925139129773*c_0101_6^14 + 206635020075076606933895261272953658002351/178102941805998616882972\ 153782925139129773*c_0101_6^13 - 2308839748692033343354191125616437\ 990810225/178102941805998616882972153782925139129773*c_0101_6^12 + 4673908752288861487639574959116806913597030/17810294180599861688297\ 2153782925139129773*c_0101_6^11 - 391523275734725747677453135829342\ 0613057927/178102941805998616882972153782925139129773*c_0101_6^10 + 4651712011782896458946265119209312766077401/17810294180599861688297\ 2153782925139129773*c_0101_6^9 + 1870700961670951023870415448595332\ 0504177/178102941805998616882972153782925139129773*c_0101_6^8 + 1578558583037107799680108001457810771127351/17810294180599861688297\ 2153782925139129773*c_0101_6^7 - 3339360527797415116608522092724694\ 377010427/178102941805998616882972153782925139129773*c_0101_6^6 - 1847134230314104973005637107743302850827973/17810294180599861688297\ 2153782925139129773*c_0101_6^5 - 2004239770232316750167993759097567\ 405486203/178102941805998616882972153782925139129773*c_0101_6^4 - 1087409938319891139755289272799812527315592/17810294180599861688297\ 2153782925139129773*c_0101_6^3 + 1258535260296523184963248930992580\ 59082094/178102941805998616882972153782925139129773*c_0101_6^2 - 66607326045945294343495129906417638108618/1781029418059986168829721\ 53782925139129773*c_0101_6 + 50216193379897920860345596274357184365\ 076/178102941805998616882972153782925139129773, c_0011_5 - 4575508907563442251540498723561790422357/1781029418059986168\ 82972153782925139129773*c_0101_6^22 + 49689048448478041343096291172234134294907/1781029418059986168829721\ 53782925139129773*c_0101_6^21 - 19483951209873902287943065408617477\ 7285985/178102941805998616882972153782925139129773*c_0101_6^20 + 583011758120477674121439870488327161999104/178102941805998616882972\ 153782925139129773*c_0101_6^19 - 1547618249043291734053344690564334\ 058258135/178102941805998616882972153782925139129773*c_0101_6^18 + 2937343378666168031590871992290726530155898/17810294180599861688297\ 2153782925139129773*c_0101_6^17 - 368916964468345488021974590814622\ 7446770486/178102941805998616882972153782925139129773*c_0101_6^16 + 1955772876765849671735663790363613630821155/17810294180599861688297\ 2153782925139129773*c_0101_6^15 + 407096105150542067729154128763779\ 5322391518/178102941805998616882972153782925139129773*c_0101_6^14 - 9490712330835141857242496665628172060582122/17810294180599861688297\ 2153782925139129773*c_0101_6^13 + 116898699142910596652743989420304\ 64959458213/178102941805998616882972153782925139129773*c_0101_6^12 - 12639622809377601793288614608607490086932737/1781029418059986168829\ 72153782925139129773*c_0101_6^11 + 7749614621915840406739806257562334922479389/17810294180599861688297\ 2153782925139129773*c_0101_6^10 - 114665211298343032308743188951957\ 34142423239/178102941805998616882972153782925139129773*c_0101_6^9 + 6561775838388328602444344098117744216883769/17810294180599861688297\ 2153782925139129773*c_0101_6^8 - 9786035501484772003069873782675541\ 03755356/178102941805998616882972153782925139129773*c_0101_6^7 + 6754919167887000301795806034840353401511711/17810294180599861688297\ 2153782925139129773*c_0101_6^6 + 2344418622742071100711102426188907\ 331588844/178102941805998616882972153782925139129773*c_0101_6^5 + 342424582368584468059535449444314539500680/178102941805998616882972\ 153782925139129773*c_0101_6^4 - 12293513398545489569490581309182853\ 9066706/178102941805998616882972153782925139129773*c_0101_6^3 - 871705897811376685449676263109995249401588/178102941805998616882972\ 153782925139129773*c_0101_6^2 - 10705992678483665229313057315529100\ 445389/178102941805998616882972153782925139129773*c_0101_6 - 24485072756695498725818159246223622694829/1781029418059986168829721\ 53782925139129773, c_0101_0 - 16498476675611446056335023894399138780323/178102941805998616\ 882972153782925139129773*c_0101_6^22 + 186670018696784739917263671332498381318236/178102941805998616882972\ 153782925139129773*c_0101_6^21 - 7830526944456152933890236467709569\ 12673109/178102941805998616882972153782925139129773*c_0101_6^20 + 2407318597670893850189392786527827074024205/17810294180599861688297\ 2153782925139129773*c_0101_6^19 - 645136506447717418737192381778111\ 9401018285/178102941805998616882972153782925139129773*c_0101_6^18 + 12826130644903144788784392422760440329701258/1781029418059986168829\ 72153782925139129773*c_0101_6^17 - 17253839601577157160333148995052949217188688/1781029418059986168829\ 72153782925139129773*c_0101_6^16 + 11061785492653703970597872260377800971789013/1781029418059986168829\ 72153782925139129773*c_0101_6^15 + 14985063737444996277186452907419562735512699/1781029418059986168829\ 72153782925139129773*c_0101_6^14 - 44698103726790574520663446470455307107037383/1781029418059986168829\ 72153782925139129773*c_0101_6^13 + 58336776043759918357799777302030535752536292/1781029418059986168829\ 72153782925139129773*c_0101_6^12 - 58095392988471744570441013163121571036854779/1781029418059986168829\ 72153782925139129773*c_0101_6^11 + 35768966073281003201271994967030716777805712/1781029418059986168829\ 72153782925139129773*c_0101_6^10 - 40118694039692928043277422844964714403099902/1781029418059986168829\ 72153782925139129773*c_0101_6^9 + 312101456364549573918302006277935\ 51532372560/178102941805998616882972153782925139129773*c_0101_6^8 - 7368390850963032207227571610663726274701504/17810294180599861688297\ 2153782925139129773*c_0101_6^7 + 1803877707812891479451908772288031\ 5395103201/178102941805998616882972153782925139129773*c_0101_6^6 + 3023751894749714201078123136591882012315670/17810294180599861688297\ 2153782925139129773*c_0101_6^5 - 3086836427509604106982496313258786\ 310752066/178102941805998616882972153782925139129773*c_0101_6^4 + 866609436921982395711603954042093092532904/178102941805998616882972\ 153782925139129773*c_0101_6^3 - 27134073526204705372391308138172263\ 29727339/178102941805998616882972153782925139129773*c_0101_6^2 + 368974960794379826921906021339299862124019/178102941805998616882972\ 153782925139129773*c_0101_6 - 2261692271701540522265789281651560683\ 6171/178102941805998616882972153782925139129773, c_0101_1 - 1466648542295267990491440103386806556014/1781029418059986168\ 82972153782925139129773*c_0101_6^22 + 14903033164814771316449209578606028689068/1781029418059986168829721\ 53782925139129773*c_0101_6^21 - 52561191522133825600660434453719074\ 081785/178102941805998616882972153782925139129773*c_0101_6^20 + 157251427192025835837802026191882908404819/178102941805998616882972\ 153782925139129773*c_0101_6^19 - 4244114532747486846282182424230482\ 03426212/178102941805998616882972153782925139129773*c_0101_6^18 + 774324898034996668359130613476679791607219/178102941805998616882972\ 153782925139129773*c_0101_6^17 - 9986109994397319320807509914515530\ 07963377/178102941805998616882972153782925139129773*c_0101_6^16 + 727225521531948028274422544048397480978704/178102941805998616882972\ 153782925139129773*c_0101_6^15 + 5561656156260220254873399147173183\ 40180454/178102941805998616882972153782925139129773*c_0101_6^14 - 1563118148593446762389837055536574552699630/17810294180599861688297\ 2153782925139129773*c_0101_6^13 + 318065254425653755032921120242797\ 2391847159/178102941805998616882972153782925139129773*c_0101_6^12 - 5188383907868547425586153950327663735781099/17810294180599861688297\ 2153782925139129773*c_0101_6^11 + 383937497204704430518458989493167\ 2833750243/178102941805998616882972153782925139129773*c_0101_6^10 - 5063206437324655746113592554686803815215381/17810294180599861688297\ 2153782925139129773*c_0101_6^9 + 4993753200735101217109559476207396\ 19406192/178102941805998616882972153782925139129773*c_0101_6^8 - 520054284232280617001731436334445747898887/178102941805998616882972\ 153782925139129773*c_0101_6^7 + 38308671575133249181993704581022788\ 95375605/178102941805998616882972153782925139129773*c_0101_6^6 + 1689627997684974260035478370783358401842210/17810294180599861688297\ 2153782925139129773*c_0101_6^5 + 1340777370742912685553756222213219\ 186559031/178102941805998616882972153782925139129773*c_0101_6^4 + 500864344377883357087394879772610304486930/178102941805998616882972\ 153782925139129773*c_0101_6^3 - 29545533050146829533936415636951880\ 4996024/178102941805998616882972153782925139129773*c_0101_6^2 + 34441483406980895737423748752944111173013/1781029418059986168829721\ 53782925139129773*c_0101_6 + 10110263353725914551200918543336257469\ 9833/178102941805998616882972153782925139129773, c_0101_4 - 4446136241102984487272514981989246618498/1781029418059986168\ 82972153782925139129773*c_0101_6^22 + 48449451158257583233196832756814768422108/1781029418059986168829721\ 53782925139129773*c_0101_6^21 - 19159499742250889047215425717914296\ 0531013/178102941805998616882972153782925139129773*c_0101_6^20 + 578787095836807210535906404880563835210326/178102941805998616882972\ 153782925139129773*c_0101_6^19 - 1545940752038233007981282602213620\ 469147732/178102941805998616882972153782925139129773*c_0101_6^18 + 2971279120688358418034930882891856222785024/17810294180599861688297\ 2153782925139129773*c_0101_6^17 - 384668727841318300020547748216470\ 4367246848/178102941805998616882972153782925139129773*c_0101_6^16 + 2317216991282904616646880832957043322543547/17810294180599861688297\ 2153782925139129773*c_0101_6^15 + 358925303663355977612114686826522\ 7415791570/178102941805998616882972153782925139129773*c_0101_6^14 - 9409145885744609214124152908945937176488081/17810294180599861688297\ 2153782925139129773*c_0101_6^13 + 125526888583358414962336518280082\ 31916771531/178102941805998616882972153782925139129773*c_0101_6^12 - 14133730004972804375366377106328700255712838/1781029418059986168829\ 72153782925139129773*c_0101_6^11 + 9071606012558417170878708459595369787875333/17810294180599861688297\ 2153782925139129773*c_0101_6^10 - 116731025137740911813388336133918\ 96567921008/178102941805998616882972153782925139129773*c_0101_6^9 + 6173122438263028917371649205271050481485608/17810294180599861688297\ 2153782925139129773*c_0101_6^8 - 1108269701742554794019365652952408\ 771779214/178102941805998616882972153782925139129773*c_0101_6^7 + 6869287774303036077668509034702194172175823/17810294180599861688297\ 2153782925139129773*c_0101_6^6 + 2293858863894941040081595408868395\ 429947932/178102941805998616882972153782925139129773*c_0101_6^5 - 7969465269764819703753927680360835682206/17810294180599861688297215\ 3782925139129773*c_0101_6^4 + 2561410046537041965649088135869414987\ 91919/178102941805998616882972153782925139129773*c_0101_6^3 - 1056731196178752912178523939431727968070514/17810294180599861688297\ 2153782925139129773*c_0101_6^2 + 7305950072742296982369835631038222\ 9144666/178102941805998616882972153782925139129773*c_0101_6 + 10235958958957121562295396840980754284522/1781029418059986168829721\ 53782925139129773, c_0101_6^23 - 11*c_0101_6^22 + 44*c_0101_6^21 - 132*c_0101_6^20 + 349*c_0101_6^19 - 666*c_0101_6^18 + 832*c_0101_6^17 - 399*c_0101_6^16 - 1047*c_0101_6^15 + 2384*c_0101_6^14 - 2760*c_0101_6^13 + 2585*c_0101_6^12 - 1296*c_0101_6^11 + 2019*c_0101_6^10 - 1288*c_0101_6^9 + 101*c_0101_6^8 - 1042*c_0101_6^7 - 492*c_0101_6^6 - 20*c_0101_6^5 - 82*c_0101_6^4 + 91*c_0101_6^3 - 3*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB