Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 4122241160] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3265 geometric_solution 6.39214249 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 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 0 0 0 0.640548611575 1.155819472174 0 3 5 4 0132 0132 0132 0132 0 0 0 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 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.314298647179 0.824904143083 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 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 0 0 0 0 0 0 0.314298647179 0.824904143083 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165107082317 0.971524850396 2 6 1 6 2310 0132 0132 1023 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 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 1.059167809274 1.006104969303 5 5 2 1 1302 2031 0132 0132 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 0 0 0.476674071897 1.003238321901 6 4 6 4 2031 0132 1302 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498841566258 0.215761517355 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 298777788371385847916060899769/3677171072152115620394155898*c_0101_\ 2*c_0110_6^18 + 1040927134020875940838710249545/3677171072152115620\ 394155898*c_0101_2*c_0110_6^17 + 675804241696540130181174824019/183\ 8585536076057810197077949*c_0101_2*c_0110_6^16 - 2146446306504861624437862536299/3677171072152115620394155898*c_0101\ _2*c_0110_6^15 - 10803365618494304790446026078603/36771710721521156\ 20394155898*c_0101_2*c_0110_6^14 - 4115748546832623097145772384871/1838585536076057810197077949*c_0101\ _2*c_0110_6^13 + 42400675058213034162706620008787/36771710721521156\ 20394155898*c_0101_2*c_0110_6^12 + 15242968368736526096459530958879/1838585536076057810197077949*c_010\ 1_2*c_0110_6^11 - 33336018823263924139640770359717/1838585536076057\ 810197077949*c_0101_2*c_0110_6^10 - 21386990446320141355619284934704/1838585536076057810197077949*c_010\ 1_2*c_0110_6^9 + 37680511972458694848114505262029/36771710721521156\ 20394155898*c_0101_2*c_0110_6^8 + 37295819048889103617570480057439/\ 3677171072152115620394155898*c_0101_2*c_0110_6^7 + 567554924874261506818387717451/3677171072152115620394155898*c_0101_\ 2*c_0110_6^6 - 17396779116310297169156344532447/3677171072152115620\ 394155898*c_0101_2*c_0110_6^5 - 5678512892580283422898050226867/367\ 7171072152115620394155898*c_0101_2*c_0110_6^4 + 412749628213423409884337905093/1838585536076057810197077949*c_0101_\ 2*c_0110_6^3 + 1786274502105718926784122120415/36771710721521156203\ 94155898*c_0101_2*c_0110_6^2 + 102415622908512107040931601631/18385\ 85536076057810197077949*c_0101_2*c_0110_6 - 6328032749631038330650967449/1838585536076057810197077949*c_0101_2, c_0011_0 - 1, c_0011_4 - 505147931453620103745726542/1838585536076057810197077949*c_0\ 101_2*c_0110_6^18 + 1584898425929011820137021703/183858553607605781\ 0197077949*c_0101_2*c_0110_6^17 + 3256633959342652694159833916/1838\ 585536076057810197077949*c_0101_2*c_0110_6^16 - 4257307328492317360027054768/1838585536076057810197077949*c_0101_2*\ c_0110_6^15 - 20646734817815386959474228181/18385855360760578101970\ 77949*c_0101_2*c_0110_6^14 - 16754999285696417317080090264/18385855\ 36076057810197077949*c_0101_2*c_0110_6^13 + 78794112283054634994766322203/1838585536076057810197077949*c_0101_2\ *c_0110_6^12 + 80767296031214402419758219882/1838585536076057810197\ 077949*c_0101_2*c_0110_6^11 - 151674613147574950227337140214/183858\ 5536076057810197077949*c_0101_2*c_0110_6^10 - 127105901046502020557282890751/1838585536076057810197077949*c_0101_\ 2*c_0110_6^9 + 137123704119764229314816049242/183858553607605781019\ 7077949*c_0101_2*c_0110_6^8 + 100330843293185082807702812790/183858\ 5536076057810197077949*c_0101_2*c_0110_6^7 - 37871496580788080775796146049/1838585536076057810197077949*c_0101_2\ *c_0110_6^6 - 48196452272815525981856894206/18385855360760578101970\ 77949*c_0101_2*c_0110_6^5 - 15134526545622812365734022946/183858553\ 6076057810197077949*c_0101_2*c_0110_6^4 + 12101068327284921654135958087/1838585536076057810197077949*c_0101_2\ *c_0110_6^3 + 8018325711708272984948489312/183858553607605781019707\ 7949*c_0101_2*c_0110_6^2 + 1827100605147172822986544426/18385855360\ 76057810197077949*c_0101_2*c_0110_6 - 1127038249442951533073909663/1838585536076057810197077949*c_0101_2, c_0011_5 + 4064894714892663197518956907/1838585536076057810197077949*c_\ 0101_2*c_0110_6^18 - 16402991776525384721166394021/1838585536076057\ 810197077949*c_0101_2*c_0110_6^17 - 10481282590742979410359687120/1838585536076057810197077949*c_0101_2\ *c_0110_6^16 + 38990889619201960822287029377/1838585536076057810197\ 077949*c_0101_2*c_0110_6^15 + 130343479893152707255704555586/183858\ 5536076057810197077949*c_0101_2*c_0110_6^14 + 31946388155996732883569100354/1838585536076057810197077949*c_0101_2\ *c_0110_6^13 - 633980982955675021886816362347/183858553607605781019\ 7077949*c_0101_2*c_0110_6^12 - 95884387081849939744807708231/183858\ 5536076057810197077949*c_0101_2*c_0110_6^11 + 1117171963825933017745212849530/1838585536076057810197077949*c_0101\ _2*c_0110_6^10 + 68424508999415932949872479887/18385855360760578101\ 97077949*c_0101_2*c_0110_6^9 - 788618348717158852892386111701/18385\ 85536076057810197077949*c_0101_2*c_0110_6^8 - 187222235119757088590253518525/1838585536076057810197077949*c_0101_\ 2*c_0110_6^7 + 202858184228418943502706561657/183858553607605781019\ 7077949*c_0101_2*c_0110_6^6 + 197979522945720048377589718137/183858\ 5536076057810197077949*c_0101_2*c_0110_6^5 - 6309661567439381752717987753/1838585536076057810197077949*c_0101_2*\ c_0110_6^4 - 26770446021149554372435675618/183858553607605781019707\ 7949*c_0101_2*c_0110_6^3 - 21117856584129067792133947373/1838585536\ 076057810197077949*c_0101_2*c_0110_6^2 - 874325442755813826292220604/1838585536076057810197077949*c_0101_2*c\ _0110_6 - 1710941734313812600803488901/1838585536076057810197077949\ *c_0101_2, c_0101_0 + 1177387455753570239447876640/1838585536076057810197077949*c_\ 0110_6^18 - 5333625299228470011259193806/18385855360760578101970779\ 49*c_0110_6^17 - 659671631042407002870056090/1838585536076057810197\ 077949*c_0110_6^16 + 12097134539996275780842378399/1838585536076057\ 810197077949*c_0110_6^15 + 34029014983991951866569416717/1838585536\ 076057810197077949*c_0110_6^14 - 6292397043514694331035236773/18385\ 85536076057810197077949*c_0110_6^13 - 190309820062607335665984271112/1838585536076057810197077949*c_0110_\ 6^12 + 43245768193060956820758646728/1838585536076057810197077949*c\ _0110_6^11 + 311722707172698521116720875095/18385855360760578101970\ 77949*c_0110_6^10 - 72366194372947409024921206655/18385855360760578\ 10197077949*c_0110_6^9 - 172520296469180978842639658857/18385855360\ 76057810197077949*c_0110_6^8 - 35126814345486010821894236670/183858\ 5536076057810197077949*c_0110_6^7 + 30498724821683744156811624102/1838585536076057810197077949*c_0110_6\ ^6 + 69741296677789815439491825181/1838585536076057810197077949*c_0\ 110_6^5 - 7605558614581521671144697660/1838585536076057810197077949\ *c_0110_6^4 - 5082317299347966846634948941/183858553607605781019707\ 7949*c_0110_6^3 - 10959496285166723342984062454/1838585536076057810\ 197077949*c_0110_6^2 + 2523879804688475685885113226/183858553607605\ 7810197077949*c_0110_6 - 638196320132226745138954074/18385855360760\ 57810197077949, c_0101_1 + 2004851723057565821390847247/1838585536076057810197077949*c_\ 0110_6^18 - 7712792664364377447541737226/18385855360760578101970779\ 49*c_0110_6^17 - 6369257681565843444856404333/183858553607605781019\ 7077949*c_0110_6^16 + 17081247340936274183911677045/183858553607605\ 7810197077949*c_0110_6^15 + 66928610943865390774887999939/183858553\ 6076057810197077949*c_0110_6^14 + 29430181272342056690590141288/183\ 8585536076057810197077949*c_0110_6^13 - 299905769552082901173378068097/1838585536076057810197077949*c_0110_\ 6^12 - 97616575692062247241364305691/1838585536076057810197077949*c\ _0110_6^11 + 505122217922857614392026320692/18385855360760578101970\ 77949*c_0110_6^10 + 122646149427145260189118465026/1838585536076057\ 810197077949*c_0110_6^9 - 340421762089019951810916433085/1838585536\ 076057810197077949*c_0110_6^8 - 160946915835953844315691285023/1838\ 585536076057810197077949*c_0110_6^7 + 85788696728818259361960506696/1838585536076057810197077949*c_0110_6\ ^6 + 111416434468644814870337382493/1838585536076057810197077949*c_\ 0110_6^5 - 5586418327809177924590481545/183858553607605781019707794\ 9*c_0110_6^4 - 8980092648275874896198495214/18385855360760578101970\ 77949*c_0110_6^3 - 8750086285843994578354322134/1838585536076057810\ 197077949*c_0110_6^2 + 526800652205144780138855026/1838585536076057\ 810197077949*c_0110_6 - 1576870768113777029554416941/18385855360760\ 57810197077949, c_0101_2^2 - 1277740307157422132121600789/3677171072152115620394155898*\ c_0110_6^18 + 2850894454544086563486833851/183858553607605781019707\ 7949*c_0110_6^17 - 367204747789588576250931671/36771710721521156203\ 94155898*c_0110_6^16 - 8487389549773856893231241601/367717107215211\ 5620394155898*c_0110_6^15 - 14955721589950964952848955628/183858553\ 6076057810197077949*c_0110_6^14 - 2556682270570431511967363203/3677\ 171072152115620394155898*c_0110_6^13 + 155608713557643989251616496129/3677171072152115620394155898*c_0110_\ 6^12 - 90906938969914100201844948405/3677171072152115620394155898*c\ _0110_6^11 - 86472214882763469712799944776/183858553607605781019707\ 7949*c_0110_6^10 + 113073050662099570138709468875/18385855360760578\ 10197077949*c_0110_6^9 - 48772330519989812993740878317/367717107215\ 2115620394155898*c_0110_6^8 - 59082836857309911860842619650/1838585\ 536076057810197077949*c_0110_6^7 + 54413303177462461576778393061/1838585536076057810197077949*c_0110_6\ ^6 - 1446185571796784122559885997/1838585536076057810197077949*c_01\ 10_6^5 - 11416358186073793865431822754/1838585536076057810197077949\ *c_0110_6^4 - 14392833118243402760973691115/36771710721521156203941\ 55898*c_0110_6^3 + 14265038927581336710808428791/367717107215211562\ 0394155898*c_0110_6^2 - 1860035253743374679876578601/36771710721521\ 15620394155898*c_0110_6 - 628210490007652655993218158/1838585536076\ 057810197077949, c_0110_6^19 - 45/11*c_0110_6^18 - 26/11*c_0110_6^17 + 107/11*c_0110_6^16 + 349/11*c_0110_6^15 + 68/11*c_0110_6^14 - 1729/11*c_0110_6^13 - 180/11*c_0110_6^12 + 3044/11*c_0110_6^11 + 94/11*c_0110_6^10 - 2155/11*c_0110_6^9 - 535/11*c_0110_6^8 + 633/11*c_0110_6^7 + 615/11*c_0110_6^6 - 91/11*c_0110_6^5 - 10*c_0110_6^4 - 63/11*c_0110_6^3 + 16/11*c_0110_6^2 + 2/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB