Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 1292685684] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s067 geometric_solution 3.60604200 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.669596868062 0.072325285417 0 0 2 2 0132 3201 2310 0132 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 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.153780798750 0.470765767734 3 1 1 3 0132 3201 0132 1023 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 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.350758220915 0.494485564300 2 4 5 2 0132 0132 0132 1023 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 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.200472442337 0.426607190621 5 3 5 5 2310 0132 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.019096368310 0.993138128880 4 4 4 3 2103 2310 3201 0132 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 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.019096368310 0.993138128880 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), '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_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_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_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 5632226544193081015567917612538671820/73354320610399552759852424614\ 093953*c_0101_4^18 + 24860965643472203683017318774602068784/7335432\ 0610399552759852424614093953*c_0101_4^17 + 96689901139295136211812545485875828611/7335432061039955275985242461\ 4093953*c_0101_4^16 + 347750253827110438203317584811766641845/73354\ 320610399552759852424614093953*c_0101_4^15 - 337650633226286824371769885746781871026/733543206103995527598524246\ 14093953*c_0101_4^14 + 1353139170388063682088228157422584091350/733\ 54320610399552759852424614093953*c_0101_4^13 - 921745470069808979184905062525967949350/733543206103995527598524246\ 14093953*c_0101_4^12 - 3824003242114873444382676881636889338122/733\ 54320610399552759852424614093953*c_0101_4^11 - 5594744445242409056995144185707261530085/73354320610399552759852424\ 614093953*c_0101_4^10 - 2318114878550115703819741164372429869359/73\ 354320610399552759852424614093953*c_0101_4^9 + 7108821130273218476342951018447793798143/73354320610399552759852424\ 614093953*c_0101_4^8 + 14750033359254089758764922024580941770/81504\ 80067822172528872491623788217*c_0101_4^7 - 3223393620346403734841540224435432596262/73354320610399552759852424\ 614093953*c_0101_4^6 + 1218299876435705101679209034615940708773/244\ 51440203466517586617474871364651*c_0101_4^5 + 1255037511567991138219069305419542632238/73354320610399552759852424\ 614093953*c_0101_4^4 - 912272805965769352680799826375063454808/7335\ 4320610399552759852424614093953*c_0101_4^3 - 53589719196411824153895540542534479016/7335432061039955275985242461\ 4093953*c_0101_4^2 - 32954152010974434574376096689429146386/7335432\ 0610399552759852424614093953*c_0101_4 + 4185954414666044932420560899503791839/73354320610399552759852424614\ 093953, c_0011_0 - 1, c_0011_2 - 8956282177268380224368627361717184/7335432061039955275985242\ 4614093953*c_0101_4^18 - 38858758697947502825724022118251802/733543\ 20610399552759852424614093953*c_0101_4^17 - 153065390773320075989215436551572461/733543206103995527598524246140\ 93953*c_0101_4^16 - 550049425659260764479843864081292807/7335432061\ 0399552759852424614093953*c_0101_4^15 + 544366973604539804028602198838888688/733543206103995527598524246140\ 93953*c_0101_4^14 - 2313279202671011674201015752604594925/733543206\ 10399552759852424614093953*c_0101_4^13 + 1836148068958661406423935859163373819/73354320610399552759852424614\ 093953*c_0101_4^12 + 5266643875075529678789307359461789795/73354320\ 610399552759852424614093953*c_0101_4^11 + 9306702266580205465068286790562891908/73354320610399552759852424614\ 093953*c_0101_4^10 + 3881844877980977336931584673777254581/73354320\ 610399552759852424614093953*c_0101_4^9 - 9673345595817825501457924720672604174/73354320610399552759852424614\ 093953*c_0101_4^8 + 57682236788011721009780429054427717/81504800678\ 22172528872491623788217*c_0101_4^7 + 2649523493863845609084802014008169478/73354320610399552759852424614\ 093953*c_0101_4^6 - 1603930797284908599110634674112917464/244514402\ 03466517586617474871364651*c_0101_4^5 - 1675978875848265842956387711698623305/73354320610399552759852424614\ 093953*c_0101_4^4 + 515705279287502628297679799721481531/7335432061\ 0399552759852424614093953*c_0101_4^3 + 162469832354175295710517085749216391/733543206103995527598524246140\ 93953*c_0101_4^2 + 13827483150666334340867438606987492/733543206103\ 99552759852424614093953*c_0101_4 + 17378353656506749570635124800422872/7335432061039955275985242461409\ 3953, c_0011_5 - 854342752255625304086319292218584/24451440203466517586617474\ 871364651*c_0101_4^18 - 1119725136789064627754016293867850/81504800\ 67822172528872491623788217*c_0101_4^17 - 4062188334729313647803039428878079/81504800678221725288724916237882\ 17*c_0101_4^16 - 43049466610383606090498437651538283/24451440203466\ 517586617474871364651*c_0101_4^15 + 87027819762128503138565585359555736/2445144020346651758661747487136\ 4651*c_0101_4^14 - 192978910075681674865882904472592109/24451440203\ 466517586617474871364651*c_0101_4^13 + 185534743875252090617864901691586599/244514402034665175866174748713\ 64651*c_0101_4^12 + 235059497790549975449665385239925397/8150480067\ 822172528872491623788217*c_0101_4^11 + 361165172071701386078058638380933160/244514402034665175866174748713\ 64651*c_0101_4^10 - 362291536334635599592789916891196727/2445144020\ 3466517586617474871364651*c_0101_4^9 - 1829550122126112396507761510484448646/24451440203466517586617474871\ 364651*c_0101_4^8 + 136387867953506080451400157559654135/8150480067\ 822172528872491623788217*c_0101_4^7 + 1208579592781772313673345000684941386/24451440203466517586617474871\ 364651*c_0101_4^6 - 1118199631057872216593456978772047656/244514402\ 03466517586617474871364651*c_0101_4^5 + 22501598292626647559094375738434291/2445144020346651758661747487136\ 4651*c_0101_4^4 + 623501385732085339468571339008260668/244514402034\ 66517586617474871364651*c_0101_4^3 - 19978842326655719236310080686801075/8150480067822172528872491623788\ 217*c_0101_4^2 - 3568371621674307503901951940182729/815048006782217\ 2528872491623788217*c_0101_4 - 7073020320736001032723549428115916/2\ 4451440203466517586617474871364651, c_0101_0 - 9697654454862496550087148898415008/7335432061039955275985242\ 4614093953*c_0101_4^18 - 38078259368408181844735318020796652/733543\ 20610399552759852424614093953*c_0101_4^17 - 143931309345690278768641067568616814/733543206103995527598524246140\ 93953*c_0101_4^16 - 510047597814617209052076479443687366/7335432061\ 0399552759852424614093953*c_0101_4^15 + 902950792419647256369363436286498782/733543206103995527598524246140\ 93953*c_0101_4^14 - 2506053363833388832795786170757532672/733543206\ 10399552759852424614093953*c_0101_4^13 + 2634524917253070564551367111477670640/73354320610399552759852424614\ 093953*c_0101_4^12 + 6224382708717494540438851710617578900/73354320\ 610399552759852424614093953*c_0101_4^11 + 6173075445376576686593845767442004390/73354320610399552759852424614\ 093953*c_0101_4^10 - 1818748100411723554353658164711987620/73354320\ 610399552759852424614093953*c_0101_4^9 - 15937809105438212759065305477220137296/7335432061039955275985242461\ 4093953*c_0101_4^8 + 523848030838087825875776891680000412/815048006\ 7822172528872491623788217*c_0101_4^7 + 7458294150620126314154080014216589876/73354320610399552759852424614\ 093953*c_0101_4^6 - 3038453418154544254215928422202883819/244514402\ 03466517586617474871364651*c_0101_4^5 + 206860017331563430794948087528774848/733543206103995527598524246140\ 93953*c_0101_4^4 + 3697126914093849450746623204583530792/7335432061\ 0399552759852424614093953*c_0101_4^3 - 301870960061056560077057577799126204/733543206103995527598524246140\ 93953*c_0101_4^2 - 134353613366518880359699636422858235/73354320610\ 399552759852424614093953*c_0101_4 - 42432327012121430310619115173363142/7335432061039955275985242461409\ 3953, c_0101_1 + 16286559971985090040818729961881098/733543206103995527598524\ 24614093953*c_0101_4^18 + 65952623917569011316167614124844445/73354\ 320610399552759852424614093953*c_0101_4^17 + 251217925119325161556862745284032039/733543206103995527598524246140\ 93953*c_0101_4^16 + 894513438568813138119622344798571724/7335432061\ 0399552759852424614093953*c_0101_4^15 - 1379018932488606116655168455551762520/73354320610399552759852424614\ 093953*c_0101_4^14 + 4139642783482298640792679277437633735/73354320\ 610399552759852424614093953*c_0101_4^13 - 3945231473061276665314004954553576880/73354320610399552759852424614\ 093953*c_0101_4^12 - 10671658629609515619771518975474369621/7335432\ 0610399552759852424614093953*c_0101_4^11 - 11613712887657202137154096783657555156/7335432061039955275985242461\ 4093953*c_0101_4^10 + 344483906462091409853417556450367420/73354320\ 610399552759852424614093953*c_0101_4^9 + 25207295111858018013334804297574548834/7335432061039955275985242461\ 4093953*c_0101_4^8 - 723300800118573895692273206721157589/815048006\ 7822172528872491623788217*c_0101_4^7 - 11697175736834479909359793587049590767/7335432061039955275985242461\ 4093953*c_0101_4^6 + 4764813092704373734041865201884503249/24451440\ 203466517586617474871364651*c_0101_4^5 + 442805993907237806529156544327697321/733543206103995527598524246140\ 93953*c_0101_4^4 - 5102387260933763625414186961477773908/7335432061\ 0399552759852424614093953*c_0101_4^3 + 386052696029057168381813381238854816/733543206103995527598524246140\ 93953*c_0101_4^2 + 203269262140394735205462904711341719/73354320610\ 399552759852424614093953*c_0101_4 + 58247481129447803492920241226144223/7335432061039955275985242461409\ 3953, c_0101_4^19 + 9/2*c_0101_4^18 + 35/2*c_0101_4^17 + 63*c_0101_4^16 - 111/2*c_0101_4^15 + 232*c_0101_4^14 - 141*c_0101_4^13 - 1407/2*c_0101_4^12 - 1047*c_0101_4^11 - 927/2*c_0101_4^10 + 1282*c_0101_4^9 + 164*c_0101_4^8 - 1247/2*c_0101_4^7 + 1165/2*c_0101_4^6 + 304*c_0101_4^5 - 165*c_0101_4^4 - 42*c_0101_4^3 - 5/2*c_0101_4^2 + 3*c_0101_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB