Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 1048551941] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0102 geometric_solution 3.63233505 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 0 0 -1 1 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.694673811959 0.021394616458 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.371816868569 0.083107077154 3 1 3 1 0132 0132 2310 1023 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 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 -6.287027939650 5.345667844368 2 2 4 4 0132 3201 3201 0132 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 -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.128877667598 0.165074867352 3 5 3 6 2310 0132 0132 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 -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.973592979928 1.983039285758 6 4 6 6 3201 0132 3012 2310 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 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.002402644091 0.989143084093 5 5 4 5 3201 1230 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002402644091 0.989143084093 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], '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_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 10565109449006527922427862670/197281399225824414580705977*c_0101_3^\ 21 - 88397193192165412980086708993/197281399225824414580705977*c_01\ 01_3^20 + 7604235426025993695364705087/6802806869856014295886413*c_\ 0101_3^19 + 1543288416459771790121535946154/19728139922582441458070\ 5977*c_0101_3^18 - 2592297618635188884671091702542/1972813992258244\ 14580705977*c_0101_3^17 - 10734627141247613853516476783593/19728139\ 9225824414580705977*c_0101_3^16 + 17971717312024150846092217168570/\ 197281399225824414580705977*c_0101_3^15 + 37286714059695236850532339893745/197281399225824414580705977*c_0101\ _3^14 - 790337021961252265373953164790/2267602289952004765295471*c_\ 0101_3^13 - 22449191111459671928901040331463/6576046640860813819356\ 8659*c_0101_3^12 + 4900070965690224155123090979605/6802806869856014\ 295886413*c_0101_3^11 + 2298925167346043536024745076484/68028068698\ 56014295886413*c_0101_3^10 - 4123495484377180985641375312551/505849\ 7416046779861043743*c_0101_3^9 - 42087403385737572734379565690031/1\ 97281399225824414580705977*c_0101_3^8 + 33510260895975314731090951438182/65760466408608138193568659*c_0101_\ 3^7 + 57729133027747864007887667923/517798948099276678689517*c_0101\ _3^6 - 866734886361034810340409927739/5058497416046779861043743*c_0\ 101_3^5 - 8543524730150467640500612041604/1972813992258244145807059\ 77*c_0101_3^4 + 5291002882410713544983382157529/1972813992258244145\ 80705977*c_0101_3^3 + 1581473678810468115126933213775/1972813992258\ 24414580705977*c_0101_3^2 - 2148208342202494812452861188/1553396844\ 297830036068551*c_0101_3 - 95491719920680582057511222731/1972813992\ 25824414580705977, c_0011_0 - 1, c_0011_4 + 4020123326310593610391264/5058497416046779861043743*c_0101_3\ ^21 + 25730875572974106719363982/5058497416046779861043743*c_0101_3\ ^20 - 4491684912561406346702455/174430945380923443484267*c_0101_3^1\ 9 - 307686709431015873740318777/5058497416046779861043743*c_0101_3^\ 18 + 1434984329778456705156921704/5058497416046779861043743*c_0101_\ 3^17 + 1090141642533990569595155976/5058497416046779861043743*c_010\ 1_3^16 - 7377989882033071244402208995/5058497416046779861043743*c_0\ 101_3^15 - 95864933785709643321256314/5058497416046779861043743*c_0\ 101_3^14 + 676129444327992802699062163/174430945380923443484267*c_0\ 101_3^13 - 6660229292973002224928110264/5058497416046779861043743*c\ _0101_3^12 - 997922956234209946963107378/174430945380923443484267*c\ _0101_3^11 + 492733244984367235976098851/174430945380923443484267*c\ _0101_3^10 + 24610390548197803592924799135/505849741604677986104374\ 3*c_0101_3^9 - 12733989070126804908708393041/5058497416046779861043\ 743*c_0101_3^8 - 12278803106714557944131592367/50584974160467798610\ 43743*c_0101_3^7 + 41476486754534359239608430/398306883153289752838\ 09*c_0101_3^6 + 3577666659022898489504155793/5058497416046779861043\ 743*c_0101_3^5 - 944317090286189930042943776/5058497416046779861043\ 743*c_0101_3^4 - 530544649356688651187932112/5058497416046779861043\ 743*c_0101_3^3 + 61171831431928749818318846/50584974160467798610437\ 43*c_0101_3^2 + 221736984407262444688543/39830688315328975283809*c_\ 0101_3 - 3486797075626583480846052/5058497416046779861043743, c_0011_6 - 15330013117277517036514040/5058497416046779861043743*c_0101_\ 3^21 - 78123882601999403104829054/5058497416046779861043743*c_0101_\ 3^20 + 20908307681958867308262567/174430945380923443484267*c_0101_3\ ^19 + 428319506525226970695966388/5058497416046779861043743*c_0101_\ 3^18 - 6299869548056814580197491947/5058497416046779861043743*c_010\ 1_3^17 + 3599799275442254859403499206/5058497416046779861043743*c_0\ 101_3^16 + 26327848049086373619159514407/5058497416046779861043743*\ c_0101_3^15 - 33221414618868676627812825123/50584974160467798610437\ 43*c_0101_3^14 - 1557282442180873284340319786/174430945380923443484\ 267*c_0101_3^13 + 89739330639024712658269538316/5058497416046779861\ 043743*c_0101_3^12 + 870924226812054267793734309/174430945380923443\ 484267*c_0101_3^11 - 3797392124031569141551355284/17443094538092344\ 3484267*c_0101_3^10 + 9897834970779468949522032228/5058497416046779\ 861043743*c_0101_3^9 + 69584298698803764217488299660/50584974160467\ 79861043743*c_0101_3^8 - 15040446185884726457897965327/505849741604\ 6779861043743*c_0101_3^7 - 194740523868068947880895655/398306883153\ 28975283809*c_0101_3^6 + 5440701958255836512354925010/5058497416046\ 779861043743*c_0101_3^5 + 5078946561732183638005162111/505849741604\ 6779861043743*c_0101_3^4 - 799875809788863134911667789/505849741604\ 6779861043743*c_0101_3^3 - 536783406726952572139621745/505849741604\ 6779861043743*c_0101_3^2 + 292753893288192211907745/398306883153289\ 75283809*c_0101_3 + 22596058089014326378056811/50584974160467798610\ 43743, c_0101_0 + 69001988632611314572393768/5058497416046779861043743*c_0101_\ 3^21 + 366608403265985482413064458/5058497416046779861043743*c_0101\ _3^20 - 91413154296486162528971767/174430945380923443484267*c_0101_\ 3^19 - 2510636429385948701049182391/5058497416046779861043743*c_010\ 1_3^18 + 27851666843461868785794003792/5058497416046779861043743*c_\ 0101_3^17 - 10107129255626648823063646364/5058497416046779861043743\ *c_0101_3^16 - 121041751171134774506805875763/505849741604677986104\ 3743*c_0101_3^15 + 123391620018004013457601676134/50584974160467798\ 61043743*c_0101_3^14 + 7965820968382031375305886449/174430945380923\ 443484267*c_0101_3^13 - 355351394731299642619783891431/505849741604\ 6779861043743*c_0101_3^12 - 6558946601446017910543532009/1744309453\ 80923443484267*c_0101_3^11 + 15769016546362065927292931778/17443094\ 5380923443484267*c_0101_3^10 + 48453004059839555578052664100/505849\ 7416046779861043743*c_0101_3^9 - 302917008914202245846979264533/505\ 8497416046779861043743*c_0101_3^8 + 11805632772093956524933890239/5058497416046779861043743*c_0101_3^7 + 872862587699751755833841796/39830688315328975283809*c_0101_3^6 - 7236793707479251808931280096/5058497416046779861043743*c_0101_3^5 - 22338748498375767991490474935/5058497416046779861043743*c_0101_3^4 + 1112027037855471628503610056/5058497416046779861043743*c_0101_3^3 + 2265886698420043095377545116/5058497416046779861043743*c_0101_3^2 - 428747209768941291649580/39830688315328975283809*c_0101_3 - 93112747221854616212218016/5058497416046779861043743, c_0101_1 + 2224825972561003141387254/5058497416046779861043743*c_0101_3\ ^21 + 5233611549675461655605187/5058497416046779861043743*c_0101_3^\ 20 - 4343965851526665253165244/174430945380923443484267*c_0101_3^19 + 142202119133458649066534254/5058497416046779861043743*c_0101_3^18 + 1344576632395721153279673950/5058497416046779861043743*c_0101_3^1\ 7 - 2763994933737717270194353756/5058497416046779861043743*c_0101_3\ ^16 - 5099143192384118205236665663/5058497416046779861043743*c_0101\ _3^15 + 16111263075703800106206612317/5058497416046779861043743*c_0\ 101_3^14 + 174127256314164745269355573/174430945380923443484267*c_0\ 101_3^13 - 42111964952640092540521154244/5058497416046779861043743*\ c_0101_3^12 + 337493196550715508645434454/174430945380923443484267*\ c_0101_3^11 + 1988499335444698319565273718/174430945380923443484267\ *c_0101_3^10 - 26629023024765573622047314576/5058497416046779861043\ 743*c_0101_3^9 - 45075258932442226038936342860/50584974160467798610\ 43743*c_0101_3^8 + 23812162799664945809659320995/505849741604677986\ 1043743*c_0101_3^7 + 167299496103372764268897189/398306883153289752\ 83809*c_0101_3^6 - 9930759572292021950819419671/5058497416046779861\ 043743*c_0101_3^5 - 6021567810027913455767946722/505849741604677986\ 1043743*c_0101_3^4 + 1886277903884731888965418705/50584974160467798\ 61043743*c_0101_3^3 + 889701320831966365169469182/50584974160467798\ 61043743*c_0101_3^2 - 1003369491528149544852761/3983068831532897528\ 3809*c_0101_3 - 48099590551430291868875330/505849741604677986104374\ 3, c_0101_2 - 52048811104331854384334966/5058497416046779861043743*c_0101_\ 3^21 - 275944465396321868356694285/5058497416046779861043743*c_0101\ _3^20 + 69065207417475812484647771/174430945380923443484267*c_0101_\ 3^19 + 1872096996562282096786176594/5058497416046779861043743*c_010\ 1_3^18 - 21030205307796787581500242522/5058497416046779861043743*c_\ 0101_3^17 + 7841871897048253659114227020/5058497416046779861043743*\ c_0101_3^16 + 91212884900606234202858356034/50584974160467798610437\ 43*c_0101_3^15 - 93940733592537792326319321063/50584974160467798610\ 43743*c_0101_3^14 - 5973485053331583174877323030/174430945380923443\ 484267*c_0101_3^13 + 269294499347131367533448999856/505849741604677\ 9861043743*c_0101_3^12 + 4855418998401219391800684881/1744309453809\ 23443484267*c_0101_3^11 - 11893789385131975143790944043/17443094538\ 0923443484267*c_0101_3^10 - 33765712220106458291235645491/505849741\ 6046779861043743*c_0101_3^9 + 226833841525353544213799029577/505849\ 7416046779861043743*c_0101_3^8 - 9959007689141219415732124829/50584\ 97416046779861043743*c_0101_3^7 - 646403247664407173159712575/39830\ 688315328975283809*c_0101_3^6 + 5416696559539543869269053389/505849\ 7416046779861043743*c_0101_3^5 + 16270992701746409048434779137/5058\ 497416046779861043743*c_0101_3^4 - 758682015298767708952866954/5058497416046779861043743*c_0101_3^3 - 1605359795018099963191055530/5058497416046779861043743*c_0101_3^2 + 257266846199461711912827/39830688315328975283809*c_0101_3 + 63937150871482523241458605/5058497416046779861043743, c_0101_3^22 + 11/2*c_0101_3^21 - 75/2*c_0101_3^20 - 44*c_0101_3^19 + 799/2*c_0101_3^18 - 67*c_0101_3^17 - 1810*c_0101_3^16 + 2915/2*c_0101_3^15 + 3814*c_0101_3^14 - 9191/2*c_0101_3^13 - 8025/2*c_0101_3^12 + 12731/2*c_0101_3^11 + 4569/2*c_0101_3^10 - 9225/2*c_0101_3^9 - 1769/2*c_0101_3^8 + 3759/2*c_0101_3^7 + 303*c_0101_3^6 - 851/2*c_0101_3^5 - 155/2*c_0101_3^4 + 48*c_0101_3^3 + 21/2*c_0101_3^2 - 2*c_0101_3 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB