Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 2884253514] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1900 geometric_solution 5.51188010 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 1 -1 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.561499092057 0.400437728137 0 3 2 4 0132 0132 3012 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 -1 1 0 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.819466396369 0.841907317242 4 1 3 0 1023 1230 0132 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 1 -1 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.819466396369 0.841907317242 5 1 5 2 0132 0132 2310 0132 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 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.507366169584 1.271218658885 6 2 1 6 0132 1023 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933299974644 0.521668167883 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457652907704 0.153803069686 4 6 6 4 0132 3201 2310 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.229066428240 0.312953739983 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(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_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 445936005403890203631138406733854193/137096648888193169541091159588\ 20625*c_0101_3*c_0101_6^18 - 133346011169082864863185737514862663/2\ 492666343421693991656202901603750*c_0101_3*c_0101_6^17 - 26616468788898624338894445567215864/1661777562281129327770801934402\ 5*c_0101_3*c_0101_6^16 - 89115978955502106264381401693416227277/274\ 19329777638633908218231917641250*c_0101_3*c_0101_6^15 - 19042217176945520996893116752368785289/9139776592546211302739410639\ 213750*c_0101_3*c_0101_6^14 + 616772875746181514384077156348781411/\ 415444390570282331942700483600625*c_0101_3*c_0101_6^13 + 1915374271350055817862027573881722367/41544439057028233194270048360\ 0625*c_0101_3*c_0101_6^12 + 1959023345468168310929016559375679954/1\ 82795531850924226054788212784275*c_0101_3*c_0101_6^11 + 153389887151180085047986733744781254007/913977659254621130273941063\ 9213750*c_0101_3*c_0101_6^10 - 443519555822299867003238672982921417\ 752/13709664888819316954109115958820625*c_0101_3*c_0101_6^9 + 59747923202359681916383243312741145211/1827955318509242260547882127\ 842750*c_0101_3*c_0101_6^8 - 10656533360772035122300361796809718584\ 63/27419329777638633908218231917641250*c_0101_3*c_0101_6^7 + 785406659023328128590912900333005646953/274193297776386339082182319\ 17641250*c_0101_3*c_0101_6^6 - 527118826029917421649518217094692064\ 483/27419329777638633908218231917641250*c_0101_3*c_0101_6^5 + 80242695503498335145133699382622140669/9139776592546211302739410639\ 213750*c_0101_3*c_0101_6^4 - 45921916357738167785415094268502862672\ /13709664888819316954109115958820625*c_0101_3*c_0101_6^3 + 203452432587093551937611749955524643/498533268684338798331240580320\ 750*c_0101_3*c_0101_6^2 - 600748382893111715330063693989338562/1370\ 9664888819316954109115958820625*c_0101_3*c_0101_6 - 888053603767997611583819245100323169/913977659254621130273941063921\ 3750*c_0101_3, c_0011_0 - 1, c_0011_2 - 113336855817246640302064655664/66471102491245173110832077376\ 1*c_0101_3*c_0101_6^18 + 1180481204453081252284251633920/1994133074\ 737355193324962321283*c_0101_3*c_0101_6^17 + 15719133010810738384465151538556/1994133074737355193324962321283*c_\ 0101_3*c_0101_6^16 + 1080460141900578204740764286526/66471102491245\ 1731108320773761*c_0101_3*c_0101_6^15 - 39991963513614503930046568701107/1994133074737355193324962321283*c_\ 0101_3*c_0101_6^14 - 16029497828609785653885424396994/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^13 - 1684330636951230874898943007821/664711024912451731108320773761*c_01\ 01_3*c_0101_6^12 - 5175675745853231820359524145980/6647110249124517\ 31108320773761*c_0101_3*c_0101_6^11 + 6541419837035683383651229957486/664711024912451731108320773761*c_01\ 01_3*c_0101_6^10 + 211686394299024472413698618550376/66471102491245\ 1731108320773761*c_0101_3*c_0101_6^9 - 1007303634427179613697117726941409/1994133074737355193324962321283*\ c_0101_3*c_0101_6^8 + 320035984477546014265472956526851/66471102491\ 2451731108320773761*c_0101_3*c_0101_6^7 - 897323397796155813575467785063253/1994133074737355193324962321283*c\ _0101_3*c_0101_6^6 + 634504853288303384549525079151912/199413307473\ 7355193324962321283*c_0101_3*c_0101_6^5 - 332214058428938226500890845382069/1994133074737355193324962321283*c\ _0101_3*c_0101_6^4 + 38595437161736986041829044693677/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^3 - 17227313866399627715186224871257/1994133074737355193324962321283*c_\ 0101_3*c_0101_6^2 - 3710843390306199923920776721217/199413307473735\ 5193324962321283*c_0101_3*c_0101_6 + 1686200532258165544246467914537/1994133074737355193324962321283*c_0\ 101_3, c_0101_0 + 177429347313513914571764014544/66471102491245173110832077376\ 1*c_0101_6^18 - 742105080153363886403927822732/19941330747373551933\ 24962321283*c_0101_6^17 - 26516994255165338068989935767372/19941330\ 74737355193324962321283*c_0101_6^16 - 19884305877886149820666974489525/664711024912451731108320773761*c_0\ 101_6^15 - 43029909020559123024839357339173/19941330747373551933249\ 62321283*c_0101_6^14 + 8881058660092737887817728641723/664711024912\ 451731108320773761*c_0101_6^13 + 30117018073600995671343860275792/6\ 64711024912451731108320773761*c_0101_6^12 + 63377809559400562322132053392240/664711024912451731108320773761*c_0\ 101_6^11 + 100553087353705961302881294712522/6647110249124517311083\ 20773761*c_0101_6^10 - 164944717824142266701382778023610/6647110249\ 12451731108320773761*c_0101_6^9 + 346751443015982944578649376992103\ /1994133074737355193324962321283*c_0101_6^8 - 143066910482036002071554168504044/664711024912451731108320773761*c_\ 0101_6^7 + 282978290044179635103636779991829/1994133074737355193324\ 962321283*c_0101_6^6 - 158994040475101618466813939153332/1994133074\ 737355193324962321283*c_0101_6^5 + 53946090835155471478645708845334/1994133074737355193324962321283*c_\ 0101_6^4 - 7308024996537541104870800390790/664711024912451731108320\ 773761*c_0101_6^3 - 404053800023187526728711434774/1994133074737355\ 193324962321283*c_0101_6^2 - 4781511462685755576270921153910/199413\ 3074737355193324962321283*c_0101_6 - 54542303545625699809379485496/1994133074737355193324962321283, c_0101_1 + 454080522943900567708623345100/66471102491245173110832077376\ 1*c_0101_3*c_0101_6^18 - 1790845681388243279612007732736/1994133074\ 737355193324962321283*c_0101_3*c_0101_6^17 - 67656306964933342916883917819831/1994133074737355193324962321283*c_\ 0101_3*c_0101_6^16 - 52889865739766043269910317275211/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^15 - 139970627477232009351310381742444/1994133074737355193324962321283*c\ _0101_3*c_0101_6^14 + 8276769159247138138287626754540/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^13 + 73947281031945596898240990403289/664711024912451731108320773761*c_0\ 101_3*c_0101_6^12 + 177988817578115530711663817998741/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^11 + 287876597046412017833669718669963/664711024912451731108320773761*c_\ 0101_3*c_0101_6^10 - 367479962276226816118483099196110/664711024912\ 451731108320773761*c_0101_3*c_0101_6^9 + 945841218885016842634006274075638/1994133074737355193324962321283*c\ _0101_3*c_0101_6^8 - 475801420364355604131790600200114/664711024912\ 451731108320773761*c_0101_3*c_0101_6^7 + 963667664329121881295327069272610/1994133074737355193324962321283*c\ _0101_3*c_0101_6^6 - 641329949365427237840841126469910/199413307473\ 7355193324962321283*c_0101_3*c_0101_6^5 + 320664746759796456289087624621268/1994133074737355193324962321283*c\ _0101_3*c_0101_6^4 - 53767169067333994299886209299709/6647110249124\ 51731108320773761*c_0101_3*c_0101_6^3 + 26507291972197352941678459945367/1994133074737355193324962321283*c_\ 0101_3*c_0101_6^2 - 9407575404119800966840633681643/199413307473735\ 5193324962321283*c_0101_3*c_0101_6 - 5204220836788806577832404183843/1994133074737355193324962321283*c_0\ 101_3, c_0101_2 + 1383551491973268501857077495886/1994133074737355193324962321\ 283*c_0101_6^18 - 2179352564536111684004914076837/19941330747373551\ 93324962321283*c_0101_6^17 - 22825688412272649293951661807903/66471\ 1024912451731108320773761*c_0101_6^16 - 142731975182255215889388735323258/1994133074737355193324962321283*c\ _0101_6^15 - 29554250026053942708137870327419/664711024912451731108\ 320773761*c_0101_6^14 + 26477035653282679436558515950090/6647110249\ 12451731108320773761*c_0101_6^13 + 72402914366691676949926590165805/664711024912451731108320773761*c_0\ 101_6^12 + 152988910367407238438893543348185/6647110249124517311083\ 20773761*c_0101_6^11 + 236506288544864641438544972385964/6647110249\ 12451731108320773761*c_0101_6^10 - 1398144293412229054235567730935942/1994133074737355193324962321283*\ c_0101_6^9 + 394190612297249823912808549484082/66471102491245173110\ 8320773761*c_0101_6^8 - 1382270552633408475096425030730421/19941330\ 74737355193324962321283*c_0101_6^7 + 1014218094084226784088919744943008/1994133074737355193324962321283*\ c_0101_6^6 - 612158519131984040501715134614282/19941330747373551933\ 24962321283*c_0101_6^5 + 83009367990932023684586500432361/664711024\ 912451731108320773761*c_0101_6^4 - 97785440424856332447520954829854/1994133074737355193324962321283*c_\ 0101_6^3 + 11603261166108828861704876517493/19941330747373551933249\ 62321283*c_0101_6^2 - 3606490215092677249373356324285/1994133074737\ 355193324962321283*c_0101_6 - 165598950705437980954300358262/664711\ 024912451731108320773761, c_0101_3^2 - 1016928856213609398483779572016/66471102491245173110832077\ 3761*c_0101_6^18 + 5370450154416782865211100180006/1994133074737355\ 193324962321283*c_0101_6^17 + 149975166338426151263710447586023/199\ 4133074737355193324962321283*c_0101_6^16 + 95642581673348342835365179849467/664711024912451731108320773761*c_0\ 101_6^15 + 143749767029246779721052741530560/1994133074737355193324\ 962321283*c_0101_6^14 - 65214809137630965169565552181166/6647110249\ 12451731108320773761*c_0101_6^13 - 144857762676036864723593947008503/664711024912451731108320773761*c_\ 0101_6^12 - 310138272969843053470024928289012/664711024912451731108\ 320773761*c_0101_6^11 - 467293728811835495215939779384852/664711024\ 912451731108320773761*c_0101_6^10 + 1107841741640097273719340429751129/664711024912451731108320773761*c\ _0101_6^9 - 3257117372751612359567887768722497/19941330747373551933\ 24962321283*c_0101_6^8 + 1215046397394041900207597276439944/6647110\ 24912451731108320773761*c_0101_6^7 - 2851345320048783445600965652969969/1994133074737355193324962321283*\ c_0101_6^6 + 1824940455467237549318577870026530/1994133074737355193\ 324962321283*c_0101_6^5 - 823716931120324008634254124814293/1994133\ 074737355193324962321283*c_0101_6^4 + 104715622262181228652030694855919/664711024912451731108320773761*c_\ 0101_6^3 - 47741768777980937951907153425068/19941330747373551933249\ 62321283*c_0101_6^2 + 5044458862155154106162432572753/1994133074737\ 355193324962321283*c_0101_6 + 2945938257461064301829916085925/19941\ 33074737355193324962321283, c_0101_6^19 - 3/2*c_0101_6^18 - 99/2*c_0101_6^17 - 107*c_0101_6^16 - 155/2*c_0101_6^15 + 38*c_0101_6^14 + 297/2*c_0101_6^13 + 348*c_0101_6^12 + 561*c_0101_6^11 - 925*c_0101_6^10 + 854*c_0101_6^9 - 1023*c_0101_6^8 + 681*c_0101_6^7 - 877/2*c_0101_6^6 + 165*c_0101_6^5 - 107/2*c_0101_6^4 - 6*c_0101_6^3 + c_0101_6^2 - 3*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB