Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 593674177] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0553 geometric_solution 4.57459071 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 0 0 0 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 0 0 0 0 0 0 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 -2.153953616790 1.377283101927 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393723166496 0.349579112632 3 4 1 3 1230 0132 0132 1302 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 -1 0 1 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.639312242622 0.619075054035 4 2 2 1 0132 3012 2031 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.639312242622 0.619075054035 3 2 5 5 0132 0132 2310 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 1 -1 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.960651102986 1.694643218150 6 4 4 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170726030781 0.408524275123 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 2.528294742508 0.681769005719 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : 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_0101_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0011_5, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 189672199878521373642108873770001868541949629/140649510353641247850\ 80517445763313505949400*c_0101_6^21 + 114491998357871708986928463588678875042283751/140649510353641247850\ 80517445763313505949400*c_0101_6^20 + 777446894037331502989994380580870543022564533/703247551768206239254\ 025872288165675297470*c_0101_6^19 - 49016440653509778484834238190050485703714297719/1406495103536412478\ 5080517445763313505949400*c_0101_6^18 - 5112976092482294649123704185712390650191514453/58603962647350519937\ 8354893573471396081225*c_0101_6^17 + 62252587753233913134295509942308715012239864533/2009278719337732112\ 154359635109044786564200*c_0101_6^16 + 356685808641816659909079422888785526197321827253/140649510353641247\ 85080517445763313505949400*c_0101_6^15 - 2131962878867876167782567791636128881624984359411/14064951035364124\ 785080517445763313505949400*c_0101_6^14 - 2263693220605926414838251933533995016656875364439/14064951035364124\ 785080517445763313505949400*c_0101_6^13 + 341427063342306035345311569434400982721726744843/175811887942051559\ 8135064680720414188243675*c_0101_6^12 + 1986567600594808054093403741169125459496472579261/70324755176820623\ 92540258722881656752974700*c_0101_6^11 - 719298445370575224347501076007818768576661604543/703247551768206239\ 2540258722881656752974700*c_0101_6^10 - 439029336618900889603271410682335299617777819363/200927871933773211\ 2154359635109044786564200*c_0101_6^9 + 206649108962381169496900883566652696922064842139/703247551768206239\ 2540258722881656752974700*c_0101_6^8 + 30759197043549907202161200059315737943500621558/3516237758841031196\ 27012936144082837648735*c_0101_6^7 - 10440445432764611725195463768059069522860850471/2009278719337732112\ 154359635109044786564200*c_0101_6^6 - 181522595826535562366340549167138771126436711143/703247551768206239\ 2540258722881656752974700*c_0101_6^5 + 14358779251925286141331386710080329619119487957/7032475517682062392\ 540258722881656752974700*c_0101_6^4 + 69127314077576201319637866271787825956476356657/1406495103536412478\ 5080517445763313505949400*c_0101_6^3 - 573386947230562674171952684812465572810839777/351623775884103119627\ 0129361440828376487350*c_0101_6^2 - 501101044062698649857239794852045431315516299/140649510353641247850\ 8051744576331350594940*c_0101_6 + 485857730461939235655480873487161\ 188456349481/14064951035364124785080517445763313505949400, c_0011_0 - 1, c_0011_2 + 50716020785139695031404529651373952833/334879786556288685359\ 0599391848407977607*c_0101_6^21 - 118105556218754461622551579977885\ 506702/3348797865562886853590599391848407977607*c_0101_6^20 - 4071475293569698581489198403123305790787/33487978655628868535905993\ 91848407977607*c_0101_6^19 + 20218369605965949030136847204115485164\ 454/3348797865562886853590599391848407977607*c_0101_6^18 + 2502533873522304632749285338388968374348/11162659551876289511968664\ 63949469325869*c_0101_6^17 - 16122668348643088479660665395408657945\ 9328/3348797865562886853590599391848407977607*c_0101_6^16 + 115759481151967997868259911090142057742434/334879786556288685359059\ 9391848407977607*c_0101_6^15 + 635897835761455585834509788769945794\ 835931/3348797865562886853590599391848407977607*c_0101_6^14 - 343016816333204969500738859308831780734359/334879786556288685359059\ 9391848407977607*c_0101_6^13 - 135557251539838550364037692443586286\ 3124447/3348797865562886853590599391848407977607*c_0101_6^12 + 140828056228050929762159520745399787200661/334879786556288685359059\ 9391848407977607*c_0101_6^11 + 138993410023783109779592021387891017\ 8712040/3348797865562886853590599391848407977607*c_0101_6^10 + 98026039952498759581628343849272151217507/3348797865562886853590599\ 391848407977607*c_0101_6^9 - 61972389976707449491797427672911726914\ 9641/3348797865562886853590599391848407977607*c_0101_6^8 - 26142388764757658124368684257510859619539/3348797865562886853590599\ 391848407977607*c_0101_6^7 - 33495172317686639522495872543155969333\ 439/3348797865562886853590599391848407977607*c_0101_6^6 - 24457427126644952993050185367577591142817/3348797865562886853590599\ 391848407977607*c_0101_6^5 + 40536944953246870121003932134117085982\ 192/3348797865562886853590599391848407977607*c_0101_6^4 + 54531311221016168045366547247227980902766/3348797865562886853590599\ 391848407977607*c_0101_6^3 - 19045647634379570808418213645308052905\ 013/3348797865562886853590599391848407977607*c_0101_6^2 - 5974823094939795323905311896747615356324/33487978655628868535905993\ 91848407977607*c_0101_6 + 1880337923537661174191762676180817574671/\ 3348797865562886853590599391848407977607, c_0011_5 - 2318103283024070504820339481804173254480/3348797865562886853\ 590599391848407977607*c_0101_6^21 + 642059901277927275728485620594532160524/334879786556288685359059939\ 1848407977607*c_0101_6^20 + 190484985004218770267311445129926239859\ 381/3348797865562886853590599391848407977607*c_0101_6^19 - 536729502119534027344823003773179121529107/334879786556288685359059\ 9391848407977607*c_0101_6^18 - 564983481555907131282237251088680634\ 678492/1116265955187628951196866463949469325869*c_0101_6^17 + 4813758869252455008985408485218653933401778/33487978655628868535905\ 99391848407977607*c_0101_6^16 + 61463898003834860821235979343961297\ 72137321/3348797865562886853590599391848407977607*c_0101_6^15 - 24418118932573131542610718144586455267252688/3348797865562886853590\ 599391848407977607*c_0101_6^14 - 3661347552361473749095504042451571\ 0975826994/3348797865562886853590599391848407977607*c_0101_6^13 + 23470432637586864949872574966795986499137739/3348797865562886853590\ 599391848407977607*c_0101_6^12 + 6171702614004363161733984934493825\ 3063228096/3348797865562886853590599391848407977607*c_0101_6^11 + 3118107494648040713636678746117720449223766/33487978655628868535905\ 99391848407977607*c_0101_6^10 - 43763895404080790627969421178654531\ 706742302/3348797865562886853590599391848407977607*c_0101_6^9 - 13756201279948469012942918726021967378971398/3348797865562886853590\ 599391848407977607*c_0101_6^8 + 13728662213038996664804592153678721\ 467074611/3348797865562886853590599391848407977607*c_0101_6^7 + 7118061607253953621127225064697306657207712/33487978655628868535905\ 99391848407977607*c_0101_6^6 - 217187899970099237306381490131462334\ 8830408/3348797865562886853590599391848407977607*c_0101_6^5 - 1281410435285619990593702683514820416927995/33487978655628868535905\ 99391848407977607*c_0101_6^4 + 245732538465157636430658282017747578\ 450025/3348797865562886853590599391848407977607*c_0101_6^3 + 121574447097129274741548551915139264681977/334879786556288685359059\ 9391848407977607*c_0101_6^2 - 3311077391410461822559898664138921870\ 8665/3348797865562886853590599391848407977607*c_0101_6 - 8903665850196996737748336886841138490161/33487978655628868535905993\ 91848407977607, c_0101_1 - 3091755915509749244800056635770021899073/3348797865562886853\ 590599391848407977607*c_0101_6^21 + 955269236188816676972334776643015764300/334879786556288685359059939\ 1848407977607*c_0101_6^20 + 254171495759797923117935587717529548495\ 154/3348797865562886853590599391848407977607*c_0101_6^19 - 724083245148920040648736699844799245204264/334879786556288685359059\ 9391848407977607*c_0101_6^18 - 749742679484851102055171964651628358\ 837223/1116265955187628951196866463949469325869*c_0101_6^17 + 6529772291935116974320986043482131677200794/33487978655628868535905\ 99391848407977607*c_0101_6^16 + 80786170089367660650879337398923502\ 83227460/3348797865562886853590599391848407977607*c_0101_6^15 - 33150548238308609869290436396215354139029103/3348797865562886853590\ 599391848407977607*c_0101_6^14 - 4802077824617045534876657133080124\ 4490377726/3348797865562886853590599391848407977607*c_0101_6^13 + 34387861736352391155375898518074531353734842/3348797865562886853590\ 599391848407977607*c_0101_6^12 + 8287376360822172143861668688380247\ 8352611459/3348797865562886853590599391848407977607*c_0101_6^11 - 257132358134315113250124656667568939723208/334879786556288685359059\ 9391848407977607*c_0101_6^10 - 611877911622322557656223129512546411\ 64056269/3348797865562886853590599391848407977607*c_0101_6^9 - 15945678496805898975997913981709316050067541/3348797865562886853590\ 599391848407977607*c_0101_6^8 + 20575202846866702914876413952463266\ 729310259/3348797865562886853590599391848407977607*c_0101_6^7 + 9003608109857302717811834431153856505246358/33487978655628868535905\ 99391848407977607*c_0101_6^6 - 353968785780666064701988808899033657\ 7379632/3348797865562886853590599391848407977607*c_0101_6^5 - 1670732028800308955162790596178409162329716/33487978655628868535905\ 99391848407977607*c_0101_6^4 + 424487184349808868739679598256668519\ 225799/3348797865562886853590599391848407977607*c_0101_6^3 + 119467093926018914142305439616428648033301/334879786556288685359059\ 9391848407977607*c_0101_6^2 - 4736094466653033373434122816728809207\ 2159/3348797865562886853590599391848407977607*c_0101_6 - 8917971291155264587297985581830672557590/33487978655628868535905993\ 91848407977607, c_0101_2 - 1258478790755093860758830122321731650266/3348797865562886853\ 590599391848407977607*c_0101_6^21 + 393412975700946916710625362018743446394/334879786556288685359059939\ 1848407977607*c_0101_6^20 + 103411167641314401068663932232467613998\ 490/3348797865562886853590599391848407977607*c_0101_6^19 - 295071774588736319521508250922906598553545/334879786556288685359059\ 9391848407977607*c_0101_6^18 - 303564083611390275072955986826748706\ 636295/1116265955187628951196866463949469325869*c_0101_6^17 + 2648480370407627695752193529273449305648575/33487978655628868535905\ 99391848407977607*c_0101_6^16 + 32526017345100981306649508924263313\ 07662423/3348797865562886853590599391848407977607*c_0101_6^15 - 13397174944970029110659443794036579170475664/3348797865562886853590\ 599391848407977607*c_0101_6^14 - 1944261172901153236066456348887694\ 0137521776/3348797865562886853590599391848407977607*c_0101_6^13 + 13564992196236846318836440719363925658981255/3348797865562886853590\ 599391848407977607*c_0101_6^12 + 3326490005542078942296911030218069\ 0728468991/3348797865562886853590599391848407977607*c_0101_6^11 + 391451484547305372890224771092414491405050/334879786556288685359059\ 9391848407977607*c_0101_6^10 - 242456710144510032645473775308914964\ 88456991/3348797865562886853590599391848407977607*c_0101_6^9 - 6786255358963908315674419723710590963558153/33487978655628868535905\ 99391848407977607*c_0101_6^8 + 794125426461457743610742771479039271\ 4143915/3348797865562886853590599391848407977607*c_0101_6^7 + 3779228039146959460430607494498144124326632/33487978655628868535905\ 99391848407977607*c_0101_6^6 - 131546543638009487378409203031191237\ 4693995/3348797865562886853590599391848407977607*c_0101_6^5 - 687528840149958834278036767477498692358343/334879786556288685359059\ 9391848407977607*c_0101_6^4 + 1479706061360914558540681280980056234\ 94108/3348797865562886853590599391848407977607*c_0101_6^3 + 58962868543225131703287464423940467476696/3348797865562886853590599\ 391848407977607*c_0101_6^2 - 20225504045716765678095967894409541330\ 164/3348797865562886853590599391848407977607*c_0101_6 - 6734543227524934584165314450505179826511/33487978655628868535905993\ 91848407977607, c_0101_3 + 1499157553962950546876593368504813162577/3348797865562886853\ 590599391848407977607*c_0101_6^21 - 425573541332053441257620065414567385156/334879786556288685359059939\ 1848407977607*c_0101_6^20 - 123226758948950520058500111304552200880\ 694/3348797865562886853590599391848407977607*c_0101_6^19 + 347921849549561547895501057056375145868738/334879786556288685359059\ 9391848407977607*c_0101_6^18 + 365675676301933438757488810413413910\ 135998/1116265955187628951196866463949469325869*c_0101_6^17 - 3125699820326023423895532983473262129307824/33487978655628868535905\ 99391848407977607*c_0101_6^16 - 39937878162507080513157764683720047\ 75485015/3348797865562886853590599391848407977607*c_0101_6^15 + 15864142288104791537900579615903578965337468/3348797865562886853590\ 599391848407977607*c_0101_6^14 + 2377120265777592159153424974925819\ 1348544412/3348797865562886853590599391848407977607*c_0101_6^13 - 15626238240965293783779569737147940838648968/3348797865562886853590\ 599391848407977607*c_0101_6^12 - 4091537656161192990297755617722494\ 5070057902/3348797865562886853590599391848407977607*c_0101_6^11 - 2160291042103008022448971426062599726394097/33487978655628868535905\ 99391848407977607*c_0101_6^10 + 29570271347760688700589922146453069\ 895651045/3348797865562886853590599391848407977607*c_0101_6^9 + 9798499242124927389060548863545846172260578/33487978655628868535905\ 99391848407977607*c_0101_6^8 - 936771958677782622653299692497105264\ 4016295/3348797865562886853590599391848407977607*c_0101_6^7 - 5231381898188532102566989395788199899968612/33487978655628868535905\ 99391848407977607*c_0101_6^6 + 141258121094827465597163512458931727\ 8024094/3348797865562886853590599391848407977607*c_0101_6^5 + 967526401213432404515966529580143272509721/334879786556288685359059\ 9391848407977607*c_0101_6^4 - 1432096875707318749482938050982288645\ 48059/3348797865562886853590599391848407977607*c_0101_6^3 - 93356898370543486849598083558683205997935/3348797865562886853590599\ 391848407977607*c_0101_6^2 + 25151712131025270173498466186613081950\ 188/3348797865562886853590599391848407977607*c_0101_6 + 7599147116084498598223826922035510577859/33487978655628868535905993\ 91848407977607, c_0101_6^22 - c_0101_6^21 - 82*c_0101_6^20 + 291*c_0101_6^19 + 566*c_0101_6^18 - 2615*c_0101_6^17 - 1159*c_0101_6^16 + 12533*c_0101_6^15 + 8153*c_0101_6^14 - 21898*c_0101_6^13 - 19266*c_0101_6^12 + 18610*c_0101_6^11 + 19941*c_0101_6^10 - 8460*c_0101_6^9 - 10356*c_0101_6^8 + 1653*c_0101_6^7 + 3208*c_0101_6^6 - 254*c_0101_6^5 - 521*c_0101_6^4 + 58*c_0101_6^3 + 46*c_0101_6^2 - 9*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB