Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 829468141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1784 geometric_solution 5.46168787 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 -1 0 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 0 0 0 0 0 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.342504679358 0.491827327802 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.602318802261 0.638249116156 1 4 3 5 0132 0132 3201 0132 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 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.101147028350 1.163114489082 2 5 1 4 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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.101147028350 1.163114489082 3 2 6 6 3201 0132 3201 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 -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.258003323203 0.388054237720 5 3 2 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 -0.074205523191 0.853307512853 4 6 4 6 2310 2310 0132 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 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.291136650715 0.692032959996 ==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' : 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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_1'], '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 458328265585720843504284566856812407540508259309/232568278621402800\ 2958634046743088926143079877008*c_0101_6^32 - 1739273484772201926018018443613386683433553286575/11628413931070140\ 01479317023371544463071539938504*c_0101_6^30 + 650492438043981476080845219601668954406723522523/581420696553507000\ 739658511685772231535769969252*c_0101_6^28 + 117229714004480625543004589736074065852257159288289/232568278621402\ 8002958634046743088926143079877008*c_0101_6^26 + 255642853923721841284969893160531360511332878374387/116284139310701\ 4001479317023371544463071539938504*c_0101_6^24 + 105019298783579803524069483958046661611879065729309/290710348276753\ 500369829255842886115767884984626*c_0101_6^22 - 623768509365780577460819367237304311708739319243297/232568278621402\ 8002958634046743088926143079877008*c_0101_6^20 - 6062925503491479930547781039608062121522293958379741/23256827862140\ 28002958634046743088926143079877008*c_0101_6^18 - 135127207284798163938052465358746632412794974371843/223623344828271\ 92336140711987914316597529614202*c_0101_6^16 - 1301452619861658074059691212606740714591246718223879/17889867586261\ 7538689125695903314532780236913616*c_0101_6^14 - 8618182665819588447004878149598377499844044243163343/23256827862140\ 28002958634046743088926143079877008*c_0101_6^12 + 3575525382608338886563888060346132280047264132462997/23256827862140\ 28002958634046743088926143079877008*c_0101_6^10 + 7374500991092121195041483550313111861683506903547609/23256827862140\ 28002958634046743088926143079877008*c_0101_6^8 + 3374393829397536553841846758998018185195312557562083/23256827862140\ 28002958634046743088926143079877008*c_0101_6^6 - 172327911267701996847380095485826933669535208566913/232568278621402\ 8002958634046743088926143079877008*c_0101_6^4 - 156946906135313031296177588352359813134816626586241/581420696553507\ 000739658511685772231535769969252*c_0101_6^2 - 187314040637800551799528809541169629499417873214187/232568278621402\ 8002958634046743088926143079877008, c_0011_0 - 1, c_0011_3 - 71017114765812037944378065537675897704566456/111811672414135\ 96168070355993957158298764807101*c_0101_6^32 - 476182205870887942476512665365406195366427862/111811672414135961680\ 70355993957158298764807101*c_0101_6^30 + 834811899711854506654968843256721188105763902/111811672414135961680\ 70355993957158298764807101*c_0101_6^28 + 17507171870060711250258242818216852891773336524/1118116724141359616\ 8070355993957158298764807101*c_0101_6^26 + 63683886730118822709664985079909739241846586573/1118116724141359616\ 8070355993957158298764807101*c_0101_6^24 + 71107853537163521899099368805763977680823233304/1118116724141359616\ 8070355993957158298764807101*c_0101_6^22 - 171573504238909354989195277534583120148733852338/111811672414135961\ 68070355993957158298764807101*c_0101_6^20 - 806524287667566199024886937800383113393556246856/111811672414135961\ 68070355993957158298764807101*c_0101_6^18 - 1444803806521155898749458809820373298596892323941/11181167241413596\ 168070355993957158298764807101*c_0101_6^16 - 1196001478473490877502349953994062042368695855499/11181167241413596\ 168070355993957158298764807101*c_0101_6^14 + 37908457483443470879998295359473166477067349489/1118116724141359616\ 8070355993957158298764807101*c_0101_6^12 + 856171092077502655946442198177706510569051545886/111811672414135961\ 68070355993957158298764807101*c_0101_6^10 + 489213424002598063795597730995485259117234989390/111811672414135961\ 68070355993957158298764807101*c_0101_6^8 - 38604847451611375856862090886797431161495242266/1118116724141359616\ 8070355993957158298764807101*c_0101_6^6 - 97667114804187779434908787133024157234854894209/1118116724141359616\ 8070355993957158298764807101*c_0101_6^4 - 17678661033090049036720274276932521182978121193/1118116724141359616\ 8070355993957158298764807101*c_0101_6^2 + 2139499307966946141966722805062278395489866680/11181167241413596168\ 070355993957158298764807101, c_0011_6 + 41559899747731771280081512290724998/159702322999208759999317\ 37946307034287*c_0101_6^32 + 303099760258540403330569397879514048/1\ 5970232299920875999931737946307034287*c_0101_6^30 - 319883410504515674155954578441011884/159702322999208759999317379463\ 07034287*c_0101_6^28 - 10511775953235117162522566533508650085/15970\ 232299920875999931737946307034287*c_0101_6^26 - 43404722584850368158724189645252518906/1597023229992087599993173794\ 6307034287*c_0101_6^24 - 64468623382146071404226591941924387222/159\ 70232299920875999931737946307034287*c_0101_6^22 + 74036065087645259520699409179774991687/1597023229992087599993173794\ 6307034287*c_0101_6^20 + 531977228873196988514625601827192481391/15\ 970232299920875999931737946307034287*c_0101_6^18 + 1134545348647476160462431108338648866378/15970232299920875999931737\ 946307034287*c_0101_6^16 + 1221695408364663700525929425354447014144\ /15970232299920875999931737946307034287*c_0101_6^14 + 411518894854672253720835199796285630591/159702322999208759999317379\ 46307034287*c_0101_6^12 - 515569342259703124121327368706384289147/1\ 5970232299920875999931737946307034287*c_0101_6^10 - 594039707925099683418646892540517767069/159702322999208759999317379\ 46307034287*c_0101_6^8 - 143292091808884658246492194097548000870/15\ 970232299920875999931737946307034287*c_0101_6^6 + 75804863016914111905731727197766876944/1597023229992087599993173794\ 6307034287*c_0101_6^4 + 32886542189159460985193191403723096364/1597\ 0232299920875999931737946307034287*c_0101_6^2 + 5092278095077198293723950625558684933/15970232299920875999931737946\ 307034287, c_0101_0 + 3070308131531704717755427040780067321147056451/2907103482767\ 53500369829255842886115767884984626*c_0101_6^33 + 10869920653048629876473423135010914565179554545/1453551741383767501\ 84914627921443057883942492313*c_0101_6^31 - 14074657470383073603104805648377724706309829811/1453551741383767501\ 84914627921443057883942492313*c_0101_6^29 - 768079694761092461322142225596646601380530922757/290710348276753500\ 369829255842886115767884984626*c_0101_6^27 - 1517511179249290640005174388059402213768192618733/14535517413837675\ 0184914627921443057883942492313*c_0101_6^25 - 2089658876550435927692394688073934813729792842249/14535517413837675\ 0184914627921443057883942492313*c_0101_6^23 + 5866763496996132144214670106414956825760685168797/29071034827675350\ 0369829255842886115767884984626*c_0101_6^21 + 36916836115153506057118271308431908906442757658477/2907103482767535\ 00369829255842886115767884984626*c_0101_6^19 + 2922403555512751096491060770760629103860850653044/11181167241413596\ 168070355993957158298764807101*c_0101_6^17 + 6152156683666968682631985655985645238477163051909/22362334482827192\ 336140711987914316597529614202*c_0101_6^15 + 28679561554011969523959602754935532193558745606311/2907103482767535\ 00369829255842886115767884984626*c_0101_6^13 - 25787585600077249896365990486041683816258186625071/2907103482767535\ 00369829255842886115767884984626*c_0101_6^11 - 31755602759079506309262225460026060633994444327483/2907103482767535\ 00369829255842886115767884984626*c_0101_6^9 - 10787642535943497410998372157670727662081639455919/2907103482767535\ 00369829255842886115767884984626*c_0101_6^7 + 2038845894716121224305366567903180170925727506359/29071034827675350\ 0369829255842886115767884984626*c_0101_6^5 + 959496769935208693800481704696062839275200362660/145355174138376750\ 184914627921443057883942492313*c_0101_6^3 + 490374199687917480555925945179533824149873334099/290710348276753500\ 369829255842886115767884984626*c_0101_6, c_0101_1 + 101606001529127006087714186270551078691047569/14535517413837\ 6750184914627921443057883942492313*c_0101_6^33 + 917650149402243467075345905789167118469248257/145355174138376750184\ 914627921443057883942492313*c_0101_6^31 + 120090976884614575527538245923260294055708739/145355174138376750184\ 914627921443057883942492313*c_0101_6^29 - 29583462058486103184871266842383397747303342046/1453551741383767501\ 84914627921443057883942492313*c_0101_6^27 - 145779555157278134080798346869607750289265241697/145355174138376750\ 184914627921443057883942492313*c_0101_6^25 - 247509915171963494271354205223841232037262172460/145355174138376750\ 184914627921443057883942492313*c_0101_6^23 + 236157810469175697096587582194379216359184249016/145355174138376750\ 184914627921443057883942492313*c_0101_6^21 + 1936405307535652406039519719546465468240287616035/14535517413837675\ 0184914627921443057883942492313*c_0101_6^19 + 309938342598638142580775899744802266583468046556/111811672414135961\ 68070355993957158298764807101*c_0101_6^17 + 277679491258971252030644350212412580186059058407/111811672414135961\ 68070355993957158298764807101*c_0101_6^15 - 822448213798549869216143408365526878602417349314/145355174138376750\ 184914627921443057883942492313*c_0101_6^13 - 4590272243699020059415071762039038968814634612659/14535517413837675\ 0184914627921443057883942492313*c_0101_6^11 - 2436638486202988378307302796727004127288794764513/14535517413837675\ 0184914627921443057883942492313*c_0101_6^9 + 1412978599021736835359830678336059772062525743445/14535517413837675\ 0184914627921443057883942492313*c_0101_6^7 + 1291366193011793666850940150385087085727826085914/14535517413837675\ 0184914627921443057883942492313*c_0101_6^5 + 54633880443509884554251272905711051997888037928/1453551741383767501\ 84914627921443057883942492313*c_0101_6^3 - 89298336859940290692770286669430698164935588859/1453551741383767501\ 84914627921443057883942492313*c_0101_6, c_0101_2 - 967345723747214530047637527481604037/41522603979794277599822\ 5186603982891462*c_0101_6^33 - 399488089814647792724605394492845864\ 2/207613019898971387999112593301991445731*c_0101_6^31 + 481952950307736445169506199103415818/207613019898971387999112593301\ 991445731*c_0101_6^29 + 254358067785408722468871308414690313061/415\ 226039797942775998225186603982891462*c_0101_6^27 + 621828063272700360086723938111820924980/207613019898971387999112593\ 301991445731*c_0101_6^25 + 1194162663119369141720061808437661105053\ /207613019898971387999112593301991445731*c_0101_6^23 - 616322383513561059321873188286015690913/415226039797942775998225186\ 603982891462*c_0101_6^21 - 1446267517324845615349238623466372643645\ 9/415226039797942775998225186603982891462*c_0101_6^19 - 1443363739079780051175278527105668464715/15970232299920875999931737\ 946307034287*c_0101_6^17 - 3819942245841127721656884651996178974997\ /31940464599841751999863475892614068574*c_0101_6^15 - 29120512150691932775241593492280594469453/4152260397979427759982251\ 86603982891462*c_0101_6^13 + 95334620746493432195894014426315622778\ 39/415226039797942775998225186603982891462*c_0101_6^11 + 25483898452164875691113654264026339947709/4152260397979427759982251\ 86603982891462*c_0101_6^9 + 121231700100883548604713519970688273431\ 67/415226039797942775998225186603982891462*c_0101_6^7 - 1366519538092204657887103370521718381321/41522603979794277599822518\ 6603982891462*c_0101_6^5 - 1196205285798562643280804121129704132347\ /207613019898971387999112593301991445731*c_0101_6^3 - 622271824684136791790295126263499916163/415226039797942775998225186\ 603982891462*c_0101_6, c_0101_6^34 + 22/3*c_0101_6^32 - 68/9*c_0101_6^30 - 2285/9*c_0101_6^28 - 9458/9*c_0101_6^26 - 14072/9*c_0101_6^24 + 15973/9*c_0101_6^22 + 115469/9*c_0101_6^20 + 247156/9*c_0101_6^18 + 268151/9*c_0101_6^16 + 94495/9*c_0101_6^14 - 35903/3*c_0101_6^12 - 132361/9*c_0101_6^10 - 39371/9*c_0101_6^8 + 16505/9*c_0101_6^6 + 13040/9*c_0101_6^4 + 231*c_0101_6^2 - 676/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB