Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 374835935] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0986 geometric_solution 4.87646108 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 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 1 0 -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 0.008618318307 0.658049824251 0 3 3 4 0132 2310 1302 0132 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 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.261145820046 0.738250318903 5 0 0 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.737913984121 0.444372780430 1 4 0 1 2031 2310 0132 3201 0 0 0 0 0 -1 0 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 1 0 1 0 -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 0 0.261145820046 0.738250318903 6 6 1 3 0132 3201 0132 3201 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 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.306786430996 0.934887883277 2 5 5 2 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.685602830558 0.100712681531 4 6 4 6 0132 1302 2310 2031 0 0 0 0 0 -1 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 0 0 0 -1 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 0 0 -0.943556827587 1.195249565901 ==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_4'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_6']), '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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 523026908024784282987967/1238346839877185783*c_0101_6^27 - 4971960982925849278963047/1238346839877185783*c_0101_6^26 + 10620287655023733274720657/1238346839877185783*c_0101_6^25 + 38194674590947253151749523/1238346839877185783*c_0101_6^24 - 249971002724370013252804547/1238346839877185783*c_0101_6^23 + 451886790439867139398841836/1238346839877185783*c_0101_6^22 + 165590237137931370625327505/1238346839877185783*c_0101_6^21 - 1994052066694327501592129375/1238346839877185783*c_0101_6^20 + 2899298200881157703638687311/1238346839877185783*c_0101_6^19 + 438247118027928079113390003/1238346839877185783*c_0101_6^18 - 6422536326641050626490374566/1238346839877185783*c_0101_6^17 + 7236813178892172521453156190/1238346839877185783*c_0101_6^16 + 941989138652725113891580162/1238346839877185783*c_0101_6^15 - 9841439793414038846573348501/1238346839877185783*c_0101_6^14 + 8611713840777034624976513051/1238346839877185783*c_0101_6^13 + 1100098374370285735011486450/1238346839877185783*c_0101_6^12 - 7636828935480224076550879395/1238346839877185783*c_0101_6^11 + 5199885391005152946357430537/1238346839877185783*c_0101_6^10 + 679254582588037106742091349/1238346839877185783*c_0101_6^9 - 3031065146937177736745768125/1238346839877185783*c_0101_6^8 + 1567993570275017425104747592/1238346839877185783*c_0101_6^7 + 196548941964180723472448656/1238346839877185783*c_0101_6^6 - 562443478557292617684624651/1238346839877185783*c_0101_6^5 + 214515948980162742154627833/1238346839877185783*c_0101_6^4 + 15397621698511711168634580/1238346839877185783*c_0101_6^3 - 35806505291921132615559787/1238346839877185783*c_0101_6^2 + 10568800414281183763823278/1238346839877185783*c_0101_6 - 1059593682490143303495563/1238346839877185783, c_0011_0 - 1, c_0011_3 + 18627475432357186905482/1238346839877185783*c_0101_6^27 - 177551791970160803244813/1238346839877185783*c_0101_6^26 + 382551277829938559705370/1238346839877185783*c_0101_6^25 + 1352591395549401779440062/1238346839877185783*c_0101_6^24 - 8940981792415689299381092/1238346839877185783*c_0101_6^23 + 16304047748739910485117756/1238346839877185783*c_0101_6^22 + 5581907550417806421348478/1238346839877185783*c_0101_6^21 - 71312721805999339170877804/1238346839877185783*c_0101_6^20 + 104939152862376472917705725/1238346839877185783*c_0101_6^19 + 13735532553430306241871810/1238346839877185783*c_0101_6^18 - 229990858559717487797134429/1238346839877185783*c_0101_6^17 + 263012704638327056336338101/1238346839877185783*c_0101_6^16 + 29366658863364381802788761/1238346839877185783*c_0101_6^15 - 353264217124469840161674707/1238346839877185783*c_0101_6^14 + 314401310824651854729409323/1238346839877185783*c_0101_6^13 + 34848826630624155288694831/1238346839877185783*c_0101_6^12 - 274955758738598361688544705/1238346839877185783*c_0101_6^11 + 190787290199263396505748339/1238346839877185783*c_0101_6^10 + 22005880277979640821840061/1238346839877185783*c_0101_6^9 - 109561076117002585362540113/1238346839877185783*c_0101_6^8 + 57867734068911993528173165/1238346839877185783*c_0101_6^7 + 6493278673587840636805490/1238346839877185783*c_0101_6^6 - 20439413821524162353850418/1238346839877185783*c_0101_6^5 + 7965824317634545493237559/1238346839877185783*c_0101_6^4 + 501046127304502891280961/1238346839877185783*c_0101_6^3 - 1310551298960204817478592/1238346839877185783*c_0101_6^2 + 392932708341542508984280/1238346839877185783*c_0101_6 - 39875262512948011447778/1238346839877185783, c_0011_4 + 21443874885107412656917/1238346839877185783*c_0101_6^27 - 204462301944465383453300/1238346839877185783*c_0101_6^26 + 440981286034402861407645/1238346839877185783*c_0101_6^25 + 1556056541380754354217916/1238346839877185783*c_0101_6^24 - 10298100869201166114810991/1238346839877185783*c_0101_6^23 + 18797840031219062279917912/1238346839877185783*c_0101_6^22 + 6383273488376391575209313/1238346839877185783*c_0101_6^21 - 82136219162615684170466766/1238346839877185783*c_0101_6^20 + 121034907982477825515300433/1238346839877185783*c_0101_6^19 + 15560350281712603972228714/1238346839877185783*c_0101_6^18 - 264940789958106122370271063/1238346839877185783*c_0101_6^17 + 303498193222736930041415959/1238346839877185783*c_0101_6^16 + 33246200465452568620543212/1238346839877185783*c_0101_6^15 - 407063547350018161840656422/1238346839877185783*c_0101_6^14 + 362985961304603062641840778/1238346839877185783*c_0101_6^13 + 39539091093205521420187016/1238346839877185783*c_0101_6^12 - 316942846498318344080387196/1238346839877185783*c_0101_6^11 + 220395783667695505551635545/1238346839877185783*c_0101_6^10 + 25041550527450357170541208/1238346839877185783*c_0101_6^9 - 126350152421953189102552356/1238346839877185783*c_0101_6^8 + 66893144139168166201344905/1238346839877185783*c_0101_6^7 + 7407394310254301857507792/1238346839877185783*c_0101_6^6 - 23586242484300345997608909/1238346839877185783*c_0101_6^5 + 9214774607346187886897330/1238346839877185783*c_0101_6^4 + 570422106505316330100613/1238346839877185783*c_0101_6^3 - 1513565427631061632309704/1238346839877185783*c_0101_6^2 + 454615647087634230135654/1238346839877185783*c_0101_6 - 46199833975638694835817/1238346839877185783, c_0101_0 - 21247787080590824542296/1238346839877185783*c_0101_6^27 + 202573357726962124327485/1238346839877185783*c_0101_6^26 - 436778493023600923244267/1238346839877185783*c_0101_6^25 - 1542101420596261501475322/1238346839877185783*c_0101_6^24 + 10202311743690186805336738/1238346839877185783*c_0101_6^23 - 18617759223087212808056952/1238346839877185783*c_0101_6^22 - 6335861321897822804513698/1238346839877185783*c_0101_6^21 + 81370287557473511844004600/1238346839877185783*c_0101_6^20 - 119861824752776120922615899/1238346839877185783*c_0101_6^19 - 15480496796857892936503493/1238346839877185783*c_0101_6^18 + 262450191226214263279087693/1238346839877185783*c_0101_6^17 - 300514160809620883677309670/1238346839877185783*c_0101_6^16 - 33073475334834176951226000/1238346839877185783*c_0101_6^15 + 403190922354832239636897578/1238346839877185783*c_0101_6^14 - 359361733334367287957886138/1238346839877185783*c_0101_6^13 - 39304027553515930467852042/1238346839877185783*c_0101_6^12 + 313884395595797330077456162/1238346839877185783*c_0101_6^11 - 218157578421709586146547434/1238346839877185783*c_0101_6^10 - 24871587512054382368877476/1238346839877185783*c_0101_6^9 + 125110108400864123504966812/1238346839877185783*c_0101_6^8 - 66200352877447820181818024/1238346839877185783*c_0101_6^7 - 7352165581029548253020763/1238346839877185783*c_0101_6^6 + 23350013533715439444992150/1238346839877185783*c_0101_6^5 - 9117383885525370925271121/1238346839877185783*c_0101_6^4 - 566357775590036621491004/1238346839877185783*c_0101_6^3 + 1498049362309977241406021/1238346839877185783*c_0101_6^2 - 449780168397445291717140/1238346839877185783*c_0101_6 + 45695179300885616941278/1238346839877185783, c_0101_2 - 9538257433167746355967/1238346839877185783*c_0101_6^27 + 90706270266690559913950/1238346839877185783*c_0101_6^26 - 193965444124791843153768/1238346839877185783*c_0101_6^25 - 696191974634522230421688/1238346839877185783*c_0101_6^24 + 4561679167532073036917038/1238346839877185783*c_0101_6^23 - 8253983718796758537609981/1238346839877185783*c_0101_6^22 - 3006574201519960109717065/1238346839877185783*c_0101_6^21 + 36397081335681792010660637/1238346839877185783*c_0101_6^20 - 52974103237800741569657047/1238346839877185783*c_0101_6^19 - 7931509277897875348282261/1238346839877185783*c_0101_6^18 + 117272166320515114068678033/1238346839877185783*c_0101_6^17 - 132262617982070687151815661/1238346839877185783*c_0101_6^16 - 17097307895354621932631563/1238346839877185783*c_0101_6^15 + 179772845590636707238026211/1238346839877185783*c_0101_6^14 - 157410950223002000250263401/1238346839877185783*c_0101_6^13 - 20044263339765950783827711/1238346839877185783*c_0101_6^12 + 139554026301828662775721528/1238346839877185783*c_0101_6^11 - 95042392817420985942478728/1238346839877185783*c_0101_6^10 - 12420984673402926969989338/1238346839877185783*c_0101_6^9 + 55407240625034209900320971/1238346839877185783*c_0101_6^8 - 28649720724757125459768770/1238346839877185783*c_0101_6^7 - 3606638119279781897073992/1238346839877185783*c_0101_6^6 + 10283138313443078995099287/1238346839877185783*c_0101_6^5 - 3916004520345241426072016/1238346839877185783*c_0101_6^4 - 284621198031541192874313/1238346839877185783*c_0101_6^3 + 654440453246515440650328/1238346839877185783*c_0101_6^2 - 192637393401331436036014/1238346839877185783*c_0101_6 + 19246246603862420460847/1238346839877185783, c_0101_5 - 11750643576921440608006/1238346839877185783*c_0101_6^27 + 112295051516449099726868/1238346839877185783*c_0101_6^26 - 243959931608963361518608/1238346839877185783*c_0101_6^25 - 848518416882102341331017/1238346839877185783*c_0101_6^24 + 5663573577541110145699223/1238346839877185783*c_0101_6^23 - 10413649839406925112218879/1238346839877185783*c_0101_6^22 - 3327413081609464904609581/1238346839877185783*c_0101_6^21 + 45165051573690909965870014/1238346839877185783*c_0101_6^20 - 67227946735493613716417690/1238346839877185783*c_0101_6^19 - 7512821908533891191617096/1238346839877185783*c_0101_6^18 + 145845268540328909832433123/1238346839877185783*c_0101_6^17 - 169149809088520244397669156/1238346839877185783*c_0101_6^16 - 15947066341405242498616653/1238346839877185783*c_0101_6^15 + 224530179699921410746065215/1238346839877185783*c_0101_6^14 - 203059924451981204748460105/1238346839877185783*c_0101_6^13 - 19307161628572970958749542/1238346839877185783*c_0101_6^12 + 175263539599366760974035693/1238346839877185783*c_0101_6^11 - 123796386662482977875985159/1238346839877185783*c_0101_6^10 - 12527401089421831652238950/1238346839877185783*c_0101_6^9 + 70100457372077195214966867/1238346839877185783*c_0101_6^8 - 37752955470399097921966167/1238346839877185783*c_0101_6^7 - 3780946576516924457998095/1238346839877185783*c_0101_6^6 + 13144695467719450254895121/1238346839877185783*c_0101_6^5 - 5226632665071590879901652/1238346839877185783*c_0101_6^4 - 286547491949486060641191/1238346839877185783*c_0101_6^3 + 848552021178891755974102/1238346839877185783*c_0101_6^2 - 258117855560399191923742/1238346839877185783*c_0101_6 + 26478712761325438248297/1238346839877185783, c_0101_6^28 - 10*c_0101_6^27 + 25*c_0101_6^26 + 63*c_0101_6^25 - 514*c_0101_6^24 + 1100*c_0101_6^23 - 110*c_0101_6^22 - 3969*c_0101_6^21 + 7426*c_0101_6^20 - 1899*c_0101_6^19 - 12694*c_0101_6^18 + 19900*c_0101_6^17 - 5030*c_0101_6^16 - 19707*c_0101_6^15 + 25756*c_0101_6^14 - 6025*c_0101_6^13 - 15641*c_0101_6^12 + 17151*c_0101_6^11 - 3609*c_0101_6^10 - 6437*c_0101_6^9 + 5859*c_0101_6^8 - 1104*c_0101_6^7 - 1261*c_0101_6^6 + 941*c_0101_6^5 - 173*c_0101_6^4 - 83*c_0101_6^3 + 54*c_0101_6^2 - 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB