Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1191631751] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2128 geometric_solution 5.61843530 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.406350987533 0.220058808388 2 0 3 0 0132 2310 0132 0132 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 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.690784633635 0.810434731866 1 4 5 3 0132 0132 0132 2310 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 0 0 0 -1 0 0 1 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.049636894578 1.046010854649 2 5 4 1 3201 0132 3201 0132 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 -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.049636894578 1.046010854649 3 2 4 4 2310 0132 1230 3012 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 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.186477230858 1.272995768648 6 3 6 2 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 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.760224081673 1.185716795536 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473198054756 0.177999646625 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : 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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 2557573132971415265834896759092053375202858507719274962477233/91116\ 77414760372055041375008486505011884280439708427272524889296*c_0101_\ 5^34 - 842492164888652009662009955992225448862774056548141150151410\ 453/911167741476037205504137500848650501188428043970842727252488929\ 6*c_0101_5^32 + 316739291946854380036139295443811235143522735884102\ 35336338278761/4555838707380186027520687504243252505942140219854213\ 636262444648*c_0101_5^30 - 1710393659376051865274268569356524096087\ 953541505781142002847261305/911167741476037205504137500848650501188\ 4280439708427272524889296*c_0101_5^28 + 1286913689727175463458223939876038952035841297288536883388971658984\ 3/4555838707380186027520687504243252505942140219854213636262444648*\ c_0101_5^26 - 11381799060209579660610560991883295264021316482795116\ 3951576979078703/45558387073801860275206875042432525059421402198542\ 13636262444648*c_0101_5^24 + 11499382394752433147612557748312707326\ 28420394665688686317631418857909/9111677414760372055041375008486505\ 011884280439708427272524889296*c_0101_5^22 - 3467678155133126325780679810525355934201479359569439007558130970097\ 529/911167741476037205504137500848650501188428043970842727252488929\ 6*c_0101_5^20 + 644582321372897700985828743130538124021963094211998\ 7261771757366919561/91116774147603720550413750084865050118842804397\ 08427272524889296*c_0101_5^18 - 36151940212222324211940717782058386\ 19988419590369232538493077417489227/4555838707380186027520687504243\ 252505942140219854213636262444648*c_0101_5^16 + 4135025703887957957994576652590596613154872219284053619332310465574\ 215/911167741476037205504137500848650501188428043970842727252488929\ 6*c_0101_5^14 - 515451564302759443044939900312761955399356571800971\ 64269302118408123/9111677414760372055041375008486505011884280439708\ 427272524889296*c_0101_5^12 - 6035464324591716570757784420139681587\ 65392798050011316460477318135827/4555838707380186027520687504243252\ 505942140219854213636262444648*c_0101_5^10 + 1819590955151433357122079035742015645198187261720270401259333979937\ 53/4555838707380186027520687504243252505942140219854213636262444648\ *c_0101_5^8 + 57613296327979744912723410459049949075661826240259887\ 446565242683315/455583870738018602752068750424325250594214021985421\ 3636262444648*c_0101_5^6 - 6924172215194050218947254985573497933470\ 565704633735117305851181509/455583870738018602752068750424325250594\ 2140219854213636262444648*c_0101_5^4 + 4296027165380533278043405591007747041298909074955788702093436045661\ /9111677414760372055041375008486505011884280439708427272524889296*c\ _0101_5^2 - 2044423291787674992709283688061810803601345719036427272\ 19017495559/9111677414760372055041375008486505011884280439708427272\ 524889296, c_0011_0 - 1, c_0011_1 + 313284068171099606666623250881132548162565848252430585322952\ 1/2277919353690093013760343752121626252971070109927106818131222324*\ c_0101_5^34 - 14702320892189814928569915685094026359037500769394700\ 5382051671/11389596768450465068801718760608131264855350549635534090\ 65611162*c_0101_5^32 + 20886629904120144139091406584159340904664913\ 51920854571338086707/5694798384225232534400859380304065632427675274\ 81776704532805581*c_0101_5^30 - 12915371869167247133402405247059520\ 9097981842052048256473116576069/22779193536900930137603437521216262\ 52971070109927106818131222324*c_0101_5^28 + 1162344979977674664825549554139009418870297460496353257110274489083\ /2277919353690093013760343752121626252971070109927106818131222324*c\ _0101_5^26 - 593786474222469695945425125169237354457986114499847065\ 5620234043161/22779193536900930137603437521216262529710701099271068\ 18131222324*c_0101_5^24 + 90352041917166192690881901804527654395850\ 71889867259779038051290455/1138959676845046506880171876060813126485\ 535054963553409065611162*c_0101_5^22 - 3393292844293060387640254142849797802878985480664490966084156119319\ 1/2277919353690093013760343752121626252971070109927106818131222324*\ c_0101_5^20 + 96663770127760576359872773279188873632352261270730809\ 38804302151130/5694798384225232534400859380304065632427675274817767\ 04532805581*c_0101_5^18 - 11504551119267857731306096395029966734078\ 887749271530036168644987807/113895967684504650688017187606081312648\ 5535054963553409065611162*c_0101_5^16 + 1520833451815967345416607512683548732840382020649302501783565868101\ /2277919353690093013760343752121626252971070109927106818131222324*c\ _0101_5^14 + 143016423823804360275125568891172029268655675700200573\ 4557296359714/56947983842252325344008593803040656324276752748177670\ 4532805581*c_0101_5^12 - 917025556085558438303293841323333608010213\ 602825396946535255278661/113895967684504650688017187606081312648553\ 5054963553409065611162*c_0101_5^10 - 129432164641987984782715509849435361165969640989464687606600862742/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^8 + 235076139213867915484547586061357952360660439550567153178\ 2973795/11389596768450465068801718760608131264855350549635534090656\ 11162*c_0101_5^6 + 101616493720320430754327440552712124017595036073\ 1412177805128541/56947983842252325344008593803040656324276752748177\ 6704532805581*c_0101_5^4 + 3023255597116462664262369327720110849301\ 127750857120056082829973/227791935369009301376034375212162625297107\ 0109927106818131222324*c_0101_5^2 - 139424243075843160367135180882441246994301393045090993637245629/569\ 479838422523253440085938030406563242767527481776704532805581, c_0011_3 - 318553899992756333109239333424666291830890436950241260020332\ 9/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^35 + 30086477001715548508700806009233059262820420783966815\ 5434784017/11389596768450465068801718760608131264855350549635534090\ 65611162*c_0101_5^33 - 43354633008825952189344198441915421077466517\ 44419088380433049541/5694798384225232534400859380304065632427675274\ 81776704532805581*c_0101_5^31 + 13632091825090151522692837800072293\ 5504829715449622297565223182605/11389596768450465068801718760608131\ 26485535054963553409065611162*c_0101_5^29 - 629567117892970450548304714648760008689894043587107568352555162332/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^27 + 33665926587731067912007679475067955701119416938311647848\ 70517404427/5694798384225232534400859380304065632427675274817767045\ 32805581*c_0101_5^25 - 21929649011731061490551214092594003145955647\ 203612043188352387970735/113895967684504650688017187606081312648553\ 5054963553409065611162*c_0101_5^23 + 4533073815953154907783358882528286643269914553274595923502754531749\ 9/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^21 - 59641459845503089124256128117875901503182934471900934\ 942724542556697/113895967684504650688017187606081312648553505496355\ 3409065611162*c_0101_5^19 + 232295580282026340778860178920465429426\ 63863473224066798752000635508/5694798384225232534400859380304065632\ 42767527481776704532805581*c_0101_5^17 - 1494592270464054222953942154972483053083804691738426444890144853540\ 9/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^15 - 56108600443990476432950769433080813052969851903435332\ 50451367723731/1138959676845046506880171876060813126485535054963553\ 409065611162*c_0101_5^13 + 2992825000362391793585054387960491377985\ 537688680141331751781026508/569479838422523253440085938030406563242\ 767527481776704532805581*c_0101_5^11 - 436436198988213348239647990298870386421579687226567578877371992872/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^9 - 176496749308543300255733976385014059537567113702718294636\ 644349097/569479838422523253440085938030406563242767527481776704532\ 805581*c_0101_5^7 + 40818464121054319149351596794864994567337332928\ 830307212440072145/569479838422523253440085938030406563242767527481\ 776704532805581*c_0101_5^5 - 21057614285610492950372146146687330896\ 415279810422346366119333967/113895967684504650688017187606081312648\ 5535054963553409065611162*c_0101_5^3 + 3970519084295988356141644045177390488226318572703112819489842429/11\ 38959676845046506880171876060813126485535054963553409065611162*c_01\ 01_5, c_0101_0 - 570233589677222610781618138408869276699525894774582195908194\ 1/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^35 + 53766499179216957900362816873913921996925032851733245\ 7269986285/11389596768450465068801718760608131264855350549635534090\ 65611162*c_0101_5^33 - 77183953328947810230742950879072118776213681\ 01734376410191477913/5694798384225232534400859380304065632427675274\ 81776704532805581*c_0101_5^31 + 24161949305483797806013500404962203\ 6051881470275327493271796136261/11389596768450465068801718760608131\ 26485535054963553409065611162*c_0101_5^29 - 1108422568839698259842019764870761334874877869968705252114770146930\ /569479838422523253440085938030406563242767527481776704532805581*c_\ 0101_5^27 + 5860071267518826333268092708758650475701640837701520801\ 446924625181/569479838422523253440085938030406563242767527481776704\ 532805581*c_0101_5^25 - 3756611178759797762615880066188074492844877\ 3983190915892672464142297/11389596768450465068801718760608131264855\ 35054963553409065611162*c_0101_5^23 + 7605323761691356067062207397156646840751955237192285206988401307460\ 7/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^21 - 97345759591056549735477884204035617288550586248168907\ 493860761453727/113895967684504650688017187606081312648553505496355\ 3409065611162*c_0101_5^19 + 363609947037298718948822455549988761914\ 05519793916133627765107313837/5694798384225232534400859380304065632\ 42767527481776704532805581*c_0101_5^17 - 2095631637086729651130350941358595837655937013614579896830960316187\ 3/1138959676845046506880171876060813126485535054963553409065611162*\ c_0101_5^15 - 99233412841141057245463514756578512690766544200711747\ 84024504784231/1138959676845046506880171876060813126485535054963553\ 409065611162*c_0101_5^13 + 4462127577936453712013078276374053018761\ 268175025319473297030564187/569479838422523253440085938030406563242\ 767527481776704532805581*c_0101_5^11 - 531078527471583773582346079964907425243495124637933761410821717152/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^9 - 241021810250650161495609084410217463162369023770062873308\ 993696981/569479838422523253440085938030406563242767527481776704532\ 805581*c_0101_5^7 + 75786391807332738312659625812450509255266705834\ 807861957713540761/569479838422523253440085938030406563242767527481\ 776704532805581*c_0101_5^5 - 27489433877208584359670540895991783413\ 100558762186253942737537611/113895967684504650688017187606081312648\ 5535054963553409065611162*c_0101_5^3 + 4466862735693810275439643036124327783395838966416677340076689929/11\ 38959676845046506880171876060813126485535054963553409065611162*c_01\ 01_5, c_0101_1 - 427164203254999235507800246808176570147940710115072646788848\ 3/2277919353690093013760343752121626252971070109927106818131222324*\ c_0101_5^34 + 20016375999590134120125393089288536202613095840977423\ 1970191371/11389596768450465068801718760608131264855350549635534090\ 65611162*c_0101_5^32 - 28336455009381996295334620015441605680447285\ 81081315597134706951/5694798384225232534400859380304065632427675274\ 81776704532805581*c_0101_5^30 + 17447251468975539788665735334039583\ 6875313698078517523802935331683/22779193536900930137603437521216262\ 52971070109927106818131222324*c_0101_5^28 - 1559513769550614585660375301708390217600588349284770003750211376529\ /2277919353690093013760343752121626252971070109927106818131222324*c\ _0101_5^26 + 786588080468454418544839681965556657142644949903561304\ 9553254134415/22779193536900930137603437521216262529710701099271068\ 18131222324*c_0101_5^24 - 11720504568359987764095524980655963036218\ 721601826915013805124425305/113895967684504650688017187606081312648\ 5535054963553409065611162*c_0101_5^22 + 4252531802606592416247374015866086425388372138895643454803450636469\ 3/2277919353690093013760343752121626252971070109927106818131222324*\ c_0101_5^20 - 11356041060702044689553886557761687007337515082833469\ 074948682080060/569479838422523253440085938030406563242767527481776\ 704532805581*c_0101_5^18 + 1127560829254051499549647094257645128122\ 7453139639925141349323141323/11389596768450465068801718760608131264\ 85535054963553409065611162*c_0101_5^16 + 3866488628125832819204140477165262716684932431112284377209353752921\ /2277919353690093013760343752121626252971070109927106818131222324*c\ _0101_5^14 - 223337164451878976485766804738336930798870495040081818\ 2428918563553/56947983842252325344008593803040656324276752748177670\ 4532805581*c_0101_5^12 + 689438607991071001670961863014050088642606\ 300136362221930828955415/113895967684504650688017187606081312648553\ 5054963553409065611162*c_0101_5^10 + 340007664894965370836789185497564672837822231990892648291263319233/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^8 - 166859720472007843683445988313742749634886797208926279594\ 39710505/1138959676845046506880171876060813126485535054963553409065\ 611162*c_0101_5^6 - 14478128165026553877562320131687621169184703798\ 15881481118003047/5694798384225232534400859380304065632427675274817\ 76704532805581*c_0101_5^4 - 435999045763940843279518681746137315042\ 9069920965608250295056027/22779193536900930137603437521216262529710\ 70109927106818131222324*c_0101_5^2 - 431667347031135061380381572748798757379140564314245536295547357/569\ 479838422523253440085938030406563242767527481776704532805581, c_0101_4 + 24171407568562877224393629372149521634015750586642291155003/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^35 - 31045139022859492609733963506773107960774428037989460780\ 67380/5694798384225232534400859380304065632427675274817767045328055\ 81*c_0101_5^33 + 14292957317246243391404407348590669257614360510362\ 8077483480294/56947983842252325344008593803040656324276752748177670\ 4532805581*c_0101_5^31 - 322739258684969085701368767602599196810479\ 2679898020694509182235/56947983842252325344008593803040656324276752\ 7481776704532805581*c_0101_5^29 + 434794422744401792759378537484602\ 52816902542217019502751047685818/5694798384225232534400859380304065\ 63242767527481776704532805581*c_0101_5^27 - 356726244535162353117589376733221771555051652220109791069825535660/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^25 + 17304239578633803278253701833938580956787426549142962028\ 64696019880/5694798384225232534400859380304065632427675274817767045\ 32805581*c_0101_5^23 - 51134995100737736563976131532305801121339197\ 34164785764644333939553/5694798384225232534400859380304065632427675\ 27481776704532805581*c_0101_5^21 + 9425033996294436368464127678962804728282514391629372047952771881525\ /569479838422523253440085938030406563242767527481776704532805581*c_\ 0101_5^19 - 1057551669289888337372671246083639377953926129703524472\ 9252897029356/56947983842252325344008593803040656324276752748177670\ 4532805581*c_0101_5^17 + 613255256580679791091918174654801181300666\ 5930584083677047681660214/56947983842252325344008593803040656324276\ 7527481776704532805581*c_0101_5^15 - 184250593888949871106629932633270144957637375726747853700474239033/\ 569479838422523253440085938030406563242767527481776704532805581*c_0\ 101_5^13 - 17581329408281204631331223194883751143773363514250787510\ 60315128928/5694798384225232534400859380304065632427675274817767045\ 32805581*c_0101_5^11 + 57916648835925310020309086358067037515713622\ 7252680143889495397926/56947983842252325344008593803040656324276752\ 7481776704532805581*c_0101_5^9 + 1596758515337829746657535905204021\ 91684264163993384920742784180357/5694798384225232534400859380304065\ 63242767527481776704532805581*c_0101_5^7 - 32192732777854810390726247127018687177691770894453017933158376662/5\ 69479838422523253440085938030406563242767527481776704532805581*c_01\ 01_5^5 + 4489899051772337209166946370637928547160265255792811585489\ 673016/569479838422523253440085938030406563242767527481776704532805\ 581*c_0101_5^3 - 15061432091125319739135345464969396005225982868654\ 42334909320230/5694798384225232534400859380304065632427675274817767\ 04532805581*c_0101_5, c_0101_5^36 - 94*c_0101_5^34 + 2680*c_0101_5^32 - 41601*c_0101_5^30 + 376823*c_0101_5^28 - 1947629*c_0101_5^26 + 6035434*c_0101_5^24 - 11646771*c_0101_5^22 + 13876516*c_0101_5^20 - 9091762*c_0101_5^18 + 1504729*c_0101_5^16 + 1813260*c_0101_5^14 - 908994*c_0101_5^12 - 54660*c_0101_5^10 + 34482*c_0101_5^8 - 11412*c_0101_5^6 + 3297*c_0101_5^4 - 208*c_0101_5^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB