Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3137021526] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1956 geometric_solution 5.53888219 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 2 -2 0 0 0 0 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.487522632889 0.244730130724 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121745719110 0.325552848274 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711050206813 0.411458094723 2 5 4 6 0132 0132 3201 0132 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 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.353755705207 0.917371117293 3 6 2 5 2310 0132 0132 1023 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 -1 1 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.353755705207 0.917371117293 5 3 5 4 2031 0132 1302 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 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.535500923689 0.430167380364 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082282652540 0.831325316947 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 23286903894063455597521305678645202321/3389796103035526099076661223\ 5418018*c_0110_5^30 + 1271821701890797000127017049789855258705/6779\ 5922060710521981533224470836036*c_0110_5^28 - 12113253057145383076133053891068643908759/6779592206071052198153322\ 4470836036*c_0110_5^26 - 22460009696302954907361454184078014425603/\ 67795922060710521981533224470836036*c_0110_5^24 + 1203269538977792052535217414799170745836027/67795922060710521981533\ 224470836036*c_0110_5^22 - 2168604589510006923598048476770699992208\ 581/16948980515177630495383306117709009*c_0110_5^20 + 7244646578480245253421039320950940169012306/16948980515177630495383\ 306117709009*c_0110_5^18 - 5310924028409268801085540835175264557817\ 5927/67795922060710521981533224470836036*c_0110_5^16 + 57922934178110575935860729676064707914011789/6779592206071052198153\ 3224470836036*c_0110_5^14 - 205163160880130532082726978567090072887\ 55887/33897961030355260990766612235418018*c_0110_5^12 + 21188805141318321554485591091730873618524577/6779592206071052198153\ 3224470836036*c_0110_5^10 - 867241108896352353494584383683246194984\ 4605/67795922060710521981533224470836036*c_0110_5^8 + 2620170058060636736500903071668991652598033/67795922060710521981533\ 224470836036*c_0110_5^6 - 47225125146023840331591825575478892777217\ 3/67795922060710521981533224470836036*c_0110_5^4 + 17999492459460303640967999341473708326617/3389796103035526099076661\ 2235418018*c_0110_5^2 - 135775743526662767905517862665414789389/338\ 97961030355260990766612235418018, c_0011_0 - 1, c_0011_1 + 481916065974010494455287067326774/20644312442360085865265902\ 701229*c_0110_5^30 - 13175137676284130653293167044907776/2064431244\ 2360085865265902701229*c_0110_5^28 + 125747344916718537372681867268714588/206443124423600858652659027012\ 29*c_0110_5^26 + 228632866173372857069570274017674263/2064431244236\ 0085865265902701229*c_0110_5^24 - 124595237578124695956294604908113\ 62341/20644312442360085865265902701229*c_0110_5^22 + 90144805750247662927964486376587700270/2064431244236008586526590270\ 1229*c_0110_5^20 - 302511360509149140714270632676050061473/20644312\ 442360085865265902701229*c_0110_5^18 + 557859642399237201265114748381466117831/206443124423600858652659027\ 01229*c_0110_5^16 - 613164794051111441685207792945930857218/2064431\ 2442360085865265902701229*c_0110_5^14 + 437666648605747083882231749650399094329/206443124423600858652659027\ 01229*c_0110_5^12 - 227129228433022825050190519879170352652/2064431\ 2442360085865265902701229*c_0110_5^10 + 93327650802155899248210017764482307501/2064431244236008586526590270\ 1229*c_0110_5^8 - 28425719212479776951123337011816213134/2064431244\ 2360085865265902701229*c_0110_5^6 + 5185996176857545536401424088795558534/20644312442360085865265902701\ 229*c_0110_5^4 - 399267348292852888720615309017514845/2064431244236\ 0085865265902701229*c_0110_5^2 + 2917405649210502705946627944590389\ /20644312442360085865265902701229, c_0011_4 + 853050472392574460323694388061041895/16948980515177630495383\ 306117709009*c_0110_5^31 - 23310034163058389652340172234287780600/1\ 6948980515177630495383306117709009*c_0110_5^29 + 222276865421299823852131201381359242267/169489805151776304953833061\ 17709009*c_0110_5^27 + 407591660472290715320087268342712183726/1694\ 8980515177630495383306117709009*c_0110_5^25 - 22048128418523288737883384681099908160846/1694898051517763049538330\ 6117709009*c_0110_5^23 + 159271074882197854318567036197150229387261\ /16948980515177630495383306117709009*c_0110_5^21 - 533447094972136533439315115329774299384826/169489805151776304953833\ 06117709009*c_0110_5^19 + 98110743757726676439504170906232468689931\ 2/16948980515177630495383306117709009*c_0110_5^17 - 1074777615237720993814998372430390622875151/16948980515177630495383\ 306117709009*c_0110_5^15 + 7646590017274560842541703042686985126447\ 75/16948980515177630495383306117709009*c_0110_5^13 - 395967276744586371489853642832362907549972/169489805151776304953833\ 06117709009*c_0110_5^11 + 16242318862205139575243323554838817890826\ 7/16948980515177630495383306117709009*c_0110_5^9 - 49297011491412375613428501199054042041168/1694898051517763049538330\ 6117709009*c_0110_5^7 + 8945214264447910364685877823499640060443/16\ 948980515177630495383306117709009*c_0110_5^5 - 684889809786333850549312581542390919120/169489805151776304953833061\ 17709009*c_0110_5^3 + 4871232173541692460567650864296472719/1694898\ 0515177630495383306117709009*c_0110_5, c_0101_0 + 219576128496552504266544789225356781/33897961030355260990766\ 612235418018*c_0110_5^31 - 2991714321521708899758474701374761529/16\ 948980515177630495383306117709009*c_0110_5^29 + 56768700659728425931000947450614087025/3389796103035526099076661223\ 5418018*c_0110_5^27 + 54512694592734383312948473491030302602/169489\ 80515177630495383306117709009*c_0110_5^25 - 2832650466900943646981030401796193199129/16948980515177630495383306\ 117709009*c_0110_5^23 + 20286129906038016328016637650201686115806/1\ 6948980515177630495383306117709009*c_0110_5^21 - 134414769182953981210074423155927372963701/338979610303552609907666\ 12235418018*c_0110_5^19 + 12177629735622490522198449512811017860626\ 2/16948980515177630495383306117709009*c_0110_5^17 - 130947293342137990183623290654038512051002/169489805151776304953833\ 06117709009*c_0110_5^15 + 18305518154639008770676989216926614909575\ 1/33897961030355260990766612235418018*c_0110_5^13 - 46876288981565672416765821973619294308430/1694898051517763049538330\ 6117709009*c_0110_5^11 + 38123253639737306831963473884911289412557/\ 33897961030355260990766612235418018*c_0110_5^9 - 5679730991869030343564295493556568478498/16948980515177630495383306\ 117709009*c_0110_5^7 + 1005073380967878102570364017730531696518/169\ 48980515177630495383306117709009*c_0110_5^5 - 76649713417849359737679052704871490670/1694898051517763049538330611\ 7709009*c_0110_5^3 + 782305853575015036635824481079010019/169489805\ 15177630495383306117709009*c_0110_5, c_0101_2 - 860480522396723523193842857923920812/16948980515177630495383\ 306117709009*c_0110_5^31 + 23527191684011288140559889915019485389/1\ 6948980515177630495383306117709009*c_0110_5^29 - 224592642682443808751615616928540141813/169489805151776304953833061\ 17709009*c_0110_5^27 - 407629736437278102540553472179817362325/1694\ 8980515177630495383306117709009*c_0110_5^25 + 22248481313386948956278225277737002310801/1694898051517763049538330\ 6117709009*c_0110_5^23 - 161019757105415625314141491350537942483633\ /16948980515177630495383306117709009*c_0110_5^21 + 540570137409153798174779711492174373309376/169489805151776304953833\ 06117709009*c_0110_5^19 - 99738476329085177253877587981562757909991\ 0/16948980515177630495383306117709009*c_0110_5^17 + 1096947474084803898592691025794435797416908/16948980515177630495383\ 306117709009*c_0110_5^15 - 7834259890116447709826058215407974536287\ 73/16948980515177630495383306117709009*c_0110_5^13 + 406704661698558879157139076015913679177776/169489805151776304953833\ 06117709009*c_0110_5^11 - 16716169457631833391191136521912547305296\ 3/16948980515177630495383306117709009*c_0110_5^9 + 50941704671813772308934781395935291933397/1694898051517763049538330\ 6117709009*c_0110_5^7 - 9300678910961607553946592834030087974712/16\ 948980515177630495383306117709009*c_0110_5^5 + 716095226738647181246340330277759867521/169489805151776304953833061\ 17709009*c_0110_5^3 - 5111626156463693296894822785840624968/1694898\ 0515177630495383306117709009*c_0110_5, c_0101_3 + 617055985496746029520278770557177/20644312442360085865265902\ 701229*c_0110_5^30 - 16862565423073934926738192183107401/2064431244\ 2360085865265902701229*c_0110_5^28 + 160816659434522990530394520551170625/206443124423600858652659027012\ 29*c_0110_5^26 + 294535641814028791879041821899104940/2064431244236\ 0085865265902701229*c_0110_5^24 - 159492824737702848002128781314338\ 81725/20644312442360085865265902701229*c_0110_5^22 + 115239735697340646913099120863729926601/206443124423600858652659027\ 01229*c_0110_5^20 - 386079020437010836781601050856775982182/2064431\ 2442360085865265902701229*c_0110_5^18 + 710333919759328822394418311339911012682/206443124423600858652659027\ 01229*c_0110_5^16 - 778506694777942619065037857905874376191/2064431\ 2442360085865265902701229*c_0110_5^14 + 554115795644582505460907868703938342486/206443124423600858652659027\ 01229*c_0110_5^12 - 287025134749421950369237597165177106316/2064431\ 2442360085865265902701229*c_0110_5^10 + 117766218424546200965314570541641499534/206443124423600858652659027\ 01229*c_0110_5^8 - 35761074031370331550590985353906657073/206443124\ 42360085865265902701229*c_0110_5^6 + 6494317894489497147472087452393855305/20644312442360085865265902701\ 229*c_0110_5^4 - 497983062888288008537349989137192586/2064431244236\ 0085865265902701229*c_0110_5^2 + 3639552598155746187626169533415581\ /20644312442360085865265902701229, c_0110_5^32 - 28*c_0110_5^30 + 279*c_0110_5^28 + 302*c_0110_5^26 - 26168*c_0110_5^24 + 204142*c_0110_5^22 - 751325*c_0110_5^20 + 1572256*c_0110_5^18 - 2036770*c_0110_5^16 + 1748031*c_0110_5^14 - 1070544*c_0110_5^12 + 504567*c_0110_5^10 - 186714*c_0110_5^8 + 49650*c_0110_5^6 - 7920*c_0110_5^4 + 552*c_0110_5^2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB