Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 3431813145] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1232 geometric_solution 5.12924663 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.247302399107 0.764654861297 0 1 1 0 0132 3201 2310 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.640338627740 0.105956308051 0 3 4 0 3201 0132 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 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.678188143380 0.887414455184 5 2 6 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008632532026 0.797036731047 6 3 5 2 1023 2310 2310 0132 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 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.008632532026 0.797036731047 3 4 5 5 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 1 0 -1 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 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287725938416 0.446912083719 6 4 6 3 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783073939130 0.994207976915 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_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: 18 Groebner basis: [ t - 7585130274497142682089869015151257479/14964800179237078613014302405\ 6611805184*c_0101_5^17 + 75924312216507670218179569846256345107/748\ 24000896185393065071512028305902592*c_0101_5^16 + 263321503445245074784270040567305398453/748240008961853930650715120\ 28305902592*c_0101_5^15 - 748554690752976564726614935073026559311/1\ 49648001792370786130143024056611805184*c_0101_5^14 - 894755431124293646548865462201142784993/149648001792370786130143024\ 056611805184*c_0101_5^13 - 1137854878757928337001074786914657185875\ /149648001792370786130143024056611805184*c_0101_5^12 - 214786957789488908482885491562175331605/935300011202317413313393900\ 3538237824*c_0101_5^11 + 10838801632246122017570942370018588247725/\ 149648001792370786130143024056611805184*c_0101_5^10 - 3679822962757340650453600318696756359269/14964800179237078613014302\ 4056611805184*c_0101_5^9 - 2015727001509166434818904483787391037551\ 9/149648001792370786130143024056611805184*c_0101_5^8 + 14636011002210216799943440571813920708413/1496480017923707861301430\ 24056611805184*c_0101_5^7 - 431489191869078417969838397406830305457\ 5/37412000448092696532535756014152951296*c_0101_5^6 + 13025583340880413336866934860869370546739/1496480017923707861301430\ 24056611805184*c_0101_5^5 + 167137854008548172788391363264136582161\ 01/37412000448092696532535756014152951296*c_0101_5^4 - 17636171549750093814266249555488982879421/1496480017923707861301430\ 24056611805184*c_0101_5^3 - 183917046491687354259253601346464153828\ 25/74824000896185393065071512028305902592*c_0101_5^2 - 223439067481811129748570904016465540363/187060002240463482662678780\ 07076475648*c_0101_5 - 48579078875371132156752696994366495749/46765\ 00056011587066566969501769118912, c_0011_0 - 1, c_0011_2 + 6342922877513198582260038081/9020260734064984967647363074448\ *c_0101_5^17 - 32601065536733483610925141597/2255065183516246241911\ 840768612*c_0101_5^16 - 182267224372848848835708673359/451013036703\ 2492483823681537224*c_0101_5^15 + 714550594001871951911496375865/90\ 20260734064984967647363074448*c_0101_5^14 - 40607516047343406239916264887/9020260734064984967647363074448*c_010\ 1_5^13 + 1323890138100264119720350413191/90202607340649849676473630\ 74448*c_0101_5^12 + 1319950574471487690233638272373/451013036703249\ 2483823681537224*c_0101_5^11 - 9179019616742771729748270869131/9020\ 260734064984967647363074448*c_0101_5^10 + 10671221139710631557251888076657/9020260734064984967647363074448*c_\ 0101_5^9 + 5165955042396245515794827079039/902026073406498496764736\ 3074448*c_0101_5^8 - 12301769858403829590046204053853/9020260734064\ 984967647363074448*c_0101_5^7 + 16071892260416208695140550946427/45\ 10130367032492483823681537224*c_0101_5^6 - 29701622183688909971134040988949/9020260734064984967647363074448*c_\ 0101_5^5 - 12699332895278729495044096851761/45101303670324924838236\ 81537224*c_0101_5^4 + 23675055180380550005108780462695/902026073406\ 4984967647363074448*c_0101_5^3 - 3358937295757160458478128367093/22\ 55065183516246241911840768612*c_0101_5^2 + 1181027890361114132165253752861/2255065183516246241911840768612*c_0\ 101_5 + 178693373833304841625505653228/5637662958790615604779601921\ 53, c_0011_4 + 409709336615730595693943358310319/15085484051650280859893450\ 0057068352*c_0101_5^17 - 1059155379996139480559214580085887/1885685\ 5064562851074866812507133544*c_0101_5^16 - 11436607798995607788104948113934229/7542742025825140429946725002853\ 4176*c_0101_5^15 + 56171255260843081994548766992906755/150854840516\ 502808598934500057068352*c_0101_5^14 + 15403462065246618901639523495813711/1508548405165028085989345000570\ 68352*c_0101_5^13 + 56488757925135870044935785852093849/15085484051\ 6502808598934500057068352*c_0101_5^12 + 71359010218076822875860348577979673/7542742025825140429946725002853\ 4176*c_0101_5^11 - 698505163394044329749354607380507505/15085484051\ 6502808598934500057068352*c_0101_5^10 + 623021660448801328087647854831054491/150854840516502808598934500057\ 068352*c_0101_5^9 + 649075205351046098828066596484655997/1508548405\ 16502808598934500057068352*c_0101_5^8 - 1148618474402348678260155747131461883/15085484051650280859893450005\ 7068352*c_0101_5^7 + 810831312315039787679781828643778971/754274202\ 58251404299467250028534176*c_0101_5^6 - 1985770113233292357854947433335751455/15085484051650280859893450005\ 7068352*c_0101_5^5 - 1170620914290151186821948275095772809/75427420\ 258251404299467250028534176*c_0101_5^4 + 2129548135956560356110154413800859153/15085484051650280859893450005\ 7068352*c_0101_5^3 + 203389122456264065817027016265342689/377137101\ 29125702149733625014267088*c_0101_5^2 + 16938364262477846224699954004965291/9428427532281425537433406253566\ 772*c_0101_5 - 961686510898313993901720142717400/235710688307035638\ 4358351563391693, c_0101_0 - 6571303600478272442135392939/1804052146812996993529472614889\ 6*c_0101_5^17 + 248368362578999943286090340595/36081042936259939870\ 589452297792*c_0101_5^16 + 306241991378569224993436130369/902026073\ 4064984967647363074448*c_0101_5^15 - 77112682352652622491564022739/4510130367032492483823681537224*c_010\ 1_5^14 - 4334249981218041449441085012839/36081042936259939870589452\ 297792*c_0101_5^13 - 2481847237783907345822020864935/36081042936259\ 939870589452297792*c_0101_5^12 - 6298333410415808564078123790855/36\ 081042936259939870589452297792*c_0101_5^11 + 3617455843612483912464319498365/9020260734064984967647363074448*c_0\ 101_5^10 + 25894876017411681422701547985541/36081042936259939870589\ 452297792*c_0101_5^9 - 63869485711275219548996339463067/36081042936\ 259939870589452297792*c_0101_5^8 - 3187696293585050803046097375241/36081042936259939870589452297792*c_\ 0101_5^7 + 46422926255907634651442660081149/36081042936259939870589\ 452297792*c_0101_5^6 - 11310708699586191247686758788375/90202607340\ 64984967647363074448*c_0101_5^5 + 208735681312515414525043213147937\ /36081042936259939870589452297792*c_0101_5^4 + 18504396992213741346141271178693/9020260734064984967647363074448*c_\ 0101_5^3 - 215305271668119040637079399997763/3608104293625993987058\ 9452297792*c_0101_5^2 - 15855311780832121747062048193067/9020260734\ 064984967647363074448*c_0101_5 + 209842817426223296771951714895/225\ 5065183516246241911840768612, c_0101_1 - 76758242172786713503364041325/144324171745039759482357809191\ 168*c_0101_5^17 + 193388788019961165534236300101/180405214681299699\ 35294726148896*c_0101_5^16 + 2580130554554964368388865138591/721620\ 85872519879741178904595584*c_0101_5^15 - 9099277561195745117998815582329/144324171745039759482357809191168*c\ _0101_5^14 - 10976573950889070479988686101133/144324171745039759482\ 357809191168*c_0101_5^13 - 8871510842946336657373453548123/14432417\ 1745039759482357809191168*c_0101_5^12 - 16097814846177828837962414148467/72162085872519879741178904595584*c\ _0101_5^11 + 130708219773565581308755303422451/14432417174503975948\ 2357809191168*c_0101_5^10 - 33103978868426268036258847021617/144324\ 171745039759482357809191168*c_0101_5^9 - 228331462522532769514875789007095/144324171745039759482357809191168\ *c_0101_5^8 + 198867801929193738347741035510337/1443241717450397594\ 82357809191168*c_0101_5^7 - 90486022271850776363627737870249/721620\ 85872519879741178904595584*c_0101_5^6 + 248918754208387656832789223420029/144324171745039759482357809191168\ *c_0101_5^5 + 384469659155067148540108408509611/7216208587251987974\ 1178904595584*c_0101_5^4 - 303099467642006504169989143470323/144324\ 171745039759482357809191168*c_0101_5^3 - 133374254184445953922680930745575/36081042936259939870589452297792*\ c_0101_5^2 - 14342013663181753107106884586149/902026073406498496764\ 7363074448*c_0101_5 + 109066500078429381314980237779/56376629587906\ 1560477960192153, c_0101_3 - 488399066277564648021675053413743/30170968103300561719786900\ 0114136704*c_0101_5^17 + 1279022378079455972073877292269971/3771371\ 0129125702149733625014267088*c_0101_5^16 + 12222621641559718227235121244660005/1508548405165028085989345000570\ 68352*c_0101_5^15 - 72179396267972152928150098894900595/30170968103\ 3005617197869000114136704*c_0101_5^14 + 4345136881872328305021600379135217/30170968103300561719786900011413\ 6704*c_0101_5^13 - 78219361878037284587174327668663273/301709681033\ 005617197869000114136704*c_0101_5^12 - 74477582278984864098966274935542785/1508548405165028085989345000570\ 68352*c_0101_5^11 + 861717523354647561999894993065624049/3017096810\ 33005617197869000114136704*c_0101_5^10 - 999734129044808547289419324576766651/301709681033005617197869000114\ 136704*c_0101_5^9 - 395823745656056118438052230916855005/3017096810\ 33005617197869000114136704*c_0101_5^8 + 1369955937211315788290577616475815371/30170968103300561719786900011\ 4136704*c_0101_5^7 - 1172302175988605733860459738635151635/15085484\ 0516502808598934500057068352*c_0101_5^6 + 3228291294559722659334260081058521375/30170968103300561719786900011\ 4136704*c_0101_5^5 + 822309451156815847401633203591561289/150854840\ 516502808598934500057068352*c_0101_5^4 - 2784420907263361820071228234324319057/30170968103300561719786900011\ 4136704*c_0101_5^3 + 44461325632000552360527272461621291/7542742025\ 8251404299467250028534176*c_0101_5^2 - 35407135563409124577603898318634143/1885685506456285107486681250713\ 3544*c_0101_5 + 597153771083925251072871361766530/23571068830703563\ 84358351563391693, c_0101_5^18 - 20*c_0101_5^17 - 70*c_0101_5^16 + 101*c_0101_5^15 + 133*c_0101_5^14 + 139*c_0101_5^13 + 442*c_0101_5^12 - 1463*c_0101_5^11 + 361*c_0101_5^10 + 2887*c_0101_5^9 - 2009*c_0101_5^8 + 1926*c_0101_5^7 - 1529*c_0101_5^6 - 9474*c_0101_5^5 + 2615*c_0101_5^4 + 5976*c_0101_5^3 + 528*c_0101_5^2 + 128*c_0101_5 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB