Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1107550073] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2352 geometric_solution 5.72841717 oriented_manifold CS_known -0.0000000000000004 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 0 0 0 0 0 0 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.623344302614 0.437886491432 0 2 3 0 3201 0132 0132 0132 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 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.851623263588 0.578829525131 4 1 3 5 0132 0132 1302 0132 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 -1 0 1 1 0 0 -1 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.489008881311 0.630292777386 2 5 4 1 2031 2310 1023 0132 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 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.489008881311 0.630292777386 2 6 3 6 0132 0132 1023 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 0 0 -1 0 1 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 0.735515274124 1.351570956747 5 5 2 3 1302 2031 0132 3201 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 -1 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.470508413666 0.465836874960 6 4 6 4 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554710387722 0.254078482080 ==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' : 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' : 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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), '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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), '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_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 37574427042949887918257432149/297328745966695970092574164*c_0101_6*\ c_0110_5^18 - 12419700195263446393456384627/11435720998719075772791\ 314*c_0101_6*c_0110_5^17 + 996114047004146650666598232451/297328745\ 966695970092574164*c_0101_6*c_0110_5^16 - 84032917536682268850248587111/297328745966695970092574164*c_0101_6*\ c_0110_5^15 - 7212420099480179212848400946649/148664372983347985046\ 287082*c_0101_6*c_0110_5^14 + 8765084841013757135274791622381/74332\ 186491673992523143541*c_0101_6*c_0110_5^13 + 16265333229726118571178024506209/297328745966695970092574164*c_0101\ _6*c_0110_5^12 - 119447896351693195218981907396677/2973287459666959\ 70092574164*c_0101_6*c_0110_5^11 + 21179720990896552900420717194427/148664372983347985046287082*c_0101\ _6*c_0110_5^10 + 44913564301810851654986790817778/74332186491673992\ 523143541*c_0101_6*c_0110_5^9 - 33981927785068373169742524679833/74\ 332186491673992523143541*c_0101_6*c_0110_5^8 - 140598930631979243217257455257521/297328745966695970092574164*c_010\ 1_6*c_0110_5^7 + 177723874951490015932626488285937/2973287459666959\ 70092574164*c_0101_6*c_0110_5^6 + 5679605475814298743223891244415/7\ 4332186491673992523143541*c_0101_6*c_0110_5^5 - 105541275598441884826856350500489/297328745966695970092574164*c_010\ 1_6*c_0110_5^4 + 8802037637415186708517902670527/743321864916739925\ 23143541*c_0101_6*c_0110_5^3 + 15173379102760844727381763707383/297\ 328745966695970092574164*c_0101_6*c_0110_5^2 - 398643941958252365092064196285/11435720998719075772791314*c_0101_6*\ c_0110_5 + 1447462289366042629271420743665/297328745966695970092574\ 164*c_0101_6, c_0011_0 - 1, c_0011_1 + 24843021720883158275222426/74332186491673992523143541*c_0110\ _5^18 - 16811826559980865332023521/5717860499359537886395657*c_0110\ _5^17 + 699661393317440405570330253/74332186491673992523143541*c_01\ 10_5^16 - 170852151691588041506969196/74332186491673992523143541*c_\ 0110_5^15 - 9575968343821551383540161982/74332186491673992523143541\ *c_0110_5^14 + 25094377394449033071579741448/7433218649167399252314\ 3541*c_0110_5^13 + 6920667401727975944747840805/7433218649167399252\ 3143541*c_0110_5^12 - 82751414788026170869891307309/743321864916739\ 92523143541*c_0110_5^11 + 42086032694659345999102466392/74332186491\ 673992523143541*c_0110_5^10 + 118925526944098699255706541293/743321\ 86491673992523143541*c_0110_5^9 - 112954712521220518924317254481/74\ 332186491673992523143541*c_0110_5^8 - 84353381934571796866358751052/74332186491673992523143541*c_0110_5^7 + 138570099997046341100671736634/74332186491673992523143541*c_0110_\ 5^6 + 110747526595502963159805044/74332186491673992523143541*c_0110\ _5^5 - 77851380071220019905268229405/74332186491673992523143541*c_0\ 110_5^4 + 33800887506343390101600034845/74332186491673992523143541*\ c_0110_5^3 + 9144348734889185979110715785/7433218649167399252314354\ 1*c_0110_5^2 - 693370558820602882505238642/571786049935953788639565\ 7*c_0110_5 + 1531225467324920391123716729/7433218649167399252314354\ 1, c_0011_3 + 3374747135356611184735413609/1189314983866783880370296656*c_\ 0101_6*c_0110_5^18 - 2228593377553327729321839201/91485767989752606\ 182330512*c_0101_6*c_0110_5^17 + 44621116480808855107231346717/5946\ 57491933391940185148328*c_0101_6*c_0110_5^16 - 7038114760276096205791675549/1189314983866783880370296656*c_0101_6*\ c_0110_5^15 - 1294876209915786290484152330347/118931498386678388037\ 0296656*c_0101_6*c_0110_5^14 + 3137847633275739747773145268253/1189\ 314983866783880370296656*c_0101_6*c_0110_5^13 + 737389345908626940395118054421/594657491933391940185148328*c_0101_6\ *c_0110_5^12 - 10691891689585009553407430780347/1189314983866783880\ 370296656*c_0101_6*c_0110_5^11 + 3747926504522625561944088311087/11\ 89314983866783880370296656*c_0101_6*c_0110_5^10 + 16079309714934660244028450355575/1189314983866783880370296656*c_010\ 1_6*c_0110_5^9 - 12107621004040565080672943169397/11893149838667838\ 80370296656*c_0101_6*c_0110_5^8 - 6289756312153537826130140629777/5\ 94657491933391940185148328*c_0101_6*c_0110_5^7 + 15857996378974507330649152318427/1189314983866783880370296656*c_010\ 1_6*c_0110_5^6 + 2025897479558025835400990986203/118931498386678388\ 0370296656*c_0101_6*c_0110_5^5 - 4710125283376825513634140924161/59\ 4657491933391940185148328*c_0101_6*c_0110_5^4 + 1577558397091225773545834184069/594657491933391940185148328*c_0101_\ 6*c_0110_5^3 + 1345981277313016232229729784661/11893149838667838803\ 70296656*c_0101_6*c_0110_5^2 - 71513435010803114784621355521/914857\ 67989752606182330512*c_0101_6*c_0110_5 + 33241811186461964860348981373/297328745966695970092574164*c_0101_6, c_0011_5 - 640520597707257886138286791/1189314983866783880370296656*c_0\ 101_6*c_0110_5^18 + 428765912481930910346555855/9148576798975260618\ 2330512*c_0101_6*c_0110_5^17 - 8751084798081914805901114051/5946574\ 91933391940185148328*c_0101_6*c_0110_5^16 + 2710605934694420636316287891/1189314983866783880370296656*c_0101_6*\ c_0110_5^15 + 247114555416866886554478323845/1189314983866783880370\ 296656*c_0101_6*c_0110_5^14 - 622954386984836884425780982483/118931\ 4983866783880370296656*c_0101_6*c_0110_5^13 - 119932690524966626373569158195/594657491933391940185148328*c_0101_6\ *c_0110_5^12 + 2106808554173332380419569516933/11893149838667838803\ 70296656*c_0101_6*c_0110_5^11 - 865289300828719509466622412065/1189\ 314983866783880370296656*c_0101_6*c_0110_5^10 - 3144894520839885415670167777497/1189314983866783880370296656*c_0101\ _6*c_0110_5^9 + 2561942461262956591377231433003/1189314983866783880\ 370296656*c_0101_6*c_0110_5^8 + 1213097201689524906077475447631/594\ 657491933391940185148328*c_0101_6*c_0110_5^7 - 3268859899546577041601210529189/1189314983866783880370296656*c_0101\ _6*c_0110_5^6 - 337569686603447127915898042229/11893149838667838803\ 70296656*c_0101_6*c_0110_5^5 + 956377480538851403234727826287/59465\ 7491933391940185148328*c_0101_6*c_0110_5^4 - 329941059888532358531566767707/594657491933391940185148328*c_0101_6\ *c_0110_5^3 - 273365841686939620212921412299/1189314983866783880370\ 296656*c_0101_6*c_0110_5^2 + 14527362574093590731852985839/91485767\ 989752606182330512*c_0101_6*c_0110_5 - 6520096493895632006623700659/297328745966695970092574164*c_0101_6, c_0101_0 - 35302436941108791553844545/148664372983347985046287082*c_011\ 0_5^18 + 23717383852855805310423179/11435720998719075772791314*c_01\ 10_5^17 - 488544460738935611925232178/74332186491673992523143541*c_\ 0110_5^16 + 198969540260055234523858093/148664372983347985046287082\ *c_0110_5^15 + 13575757623909574809312474999/1486643729833479850462\ 87082*c_0110_5^14 - 34839547534381042943991804373/14866437298334798\ 5046287082*c_0110_5^13 - 5581683397326022606466774991/7433218649167\ 3992523143541*c_0110_5^12 + 115600477535875011404795796237/14866437\ 2983347985046287082*c_0110_5^11 - 54877920089334024233345905723/148\ 664372983347985046287082*c_0110_5^10 - 167637645461908154944094572417/148664372983347985046287082*c_0110_5\ ^9 + 152563903838502536341610695123/148664372983347985046287082*c_0\ 110_5^8 + 60590862049709911206222058261/74332186491673992523143541*\ c_0110_5^7 - 189842962018588462942326135917/14866437298334798504628\ 7082*c_0110_5^6 - 3935859563057691722989722515/14866437298334798504\ 6287082*c_0110_5^5 + 54035502224996262754164204750/7433218649167399\ 2523143541*c_0110_5^4 - 22622484818005464205118580325/7433218649167\ 3992523143541*c_0110_5^3 - 13404634326901959818383780205/1486643729\ 83347985046287082*c_0110_5^2 + 967984037645307112783154899/11435720\ 998719075772791314*c_0110_5 - 1000445048566586768505475632/74332186\ 491673992523143541, c_0101_6^2 - 4051826799643170352058397089/2378629967733567760740593312*\ c_0110_5^18 + 2678371530792247830245317177/182971535979505212364661\ 024*c_0110_5^17 - 53702229016473355264843865861/1189314983866783880\ 370296656*c_0110_5^16 + 9064194700558804040916734917/23786299677335\ 67760740593312*c_0110_5^15 + 1555366550312541149015611931411/237862\ 9967733567760740593312*c_0110_5^14 - 3780111581924843274483335232533/2378629967733567760740593312*c_0110\ _5^13 - 876350832506855456325099010181/1189314983866783880370296656\ *c_0110_5^12 + 12875453827834823391896459573235/2378629967733567760\ 740593312*c_0110_5^11 - 4574448387319132568888401079495/23786299677\ 33567760740593312*c_0110_5^10 - 19350081335790971513234554766687/23\ 78629967733567760740593312*c_0110_5^9 + 14664735037743126803554422600925/2378629967733567760740593312*c_011\ 0_5^8 + 7557979785039968126770036862985/118931498386678388037029665\ 6*c_0110_5^7 - 19161035572263180432742097963811/2378629967733567760\ 740593312*c_0110_5^6 - 2397033202002412260529692214595/237862996773\ 3567760740593312*c_0110_5^5 + 5680481729269792674875362027921/11893\ 14983866783880370296656*c_0110_5^4 - 1915735631428500367171480067293/1189314983866783880370296656*c_0110\ _5^3 - 1612347852563887314893729774237/2378629967733567760740593312\ *c_0110_5^2 + 86613661390960823436440956153/18297153597950521236466\ 1024*c_0110_5 - 41273911437133581845504621745/594657491933391940185\ 148328, c_0110_5^19 - 9*c_0110_5^18 + 30*c_0110_5^17 - 13*c_0110_5^16 - 383*c_0110_5^15 + 1089*c_0110_5^14 + 54*c_0110_5^13 - 3355*c_0110_5^12 + 2419*c_0110_5^11 + 4323*c_0110_5^10 - 5561*c_0110_5^9 - 2270*c_0110_5^8 + 6251*c_0110_5^7 - 1321*c_0110_5^6 - 3054*c_0110_5^5 + 2082*c_0110_5^4 + 21*c_0110_5^3 - 441*c_0110_5^2 + 152*c_0110_5 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB