Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2766485626] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1490 geometric_solution 5.30258115 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.459922870085 0.416947828594 0 2 3 0 3201 0132 0132 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 0 -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.896724270415 0.357386163655 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.709327644612 0.646097859803 2 5 4 1 2031 0132 0132 0132 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 0 0 0 0 0.709327644612 0.646097859803 2 4 4 3 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174022091270 0.691270063734 6 3 2 6 0132 0132 0132 3201 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 -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.427539775142 0.159099732597 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 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.352130777489 1.085568318566 ==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_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : 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' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_0101_0, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1362780905656072762086775898941524550672902468063/10451654655355307\ 7351293348459684141656067677568*c_1001_1^21 + 3886001760770560369607367878199423453590117491497/26129136638388269\ 337823337114921035414016919392*c_1001_1^20 + 439623079998539198625804489296734905913635501875/816535519949633416\ 806979284841282356688028731*c_1001_1^19 - 8136596579441454795731960896216855420322802138213/13064568319194134\ 668911668557460517707008459696*c_1001_1^18 - 538868568095490084741508896762681781219917287682149/522582732767765\ 38675646674229842070828033838784*c_1001_1^17 - 2398762927301098488794046257061817925303057361385997/10451654655355\ 3077351293348459684141656067677568*c_1001_1^16 + 966561222800698869441257041602970584408734411079271/261291366383882\ 69337823337114921035414016919392*c_1001_1^15 + 357776885104278759153197446050148782077204011650325/163307103989926\ 6833613958569682564713376057462*c_1001_1^14 + 6771867355970118384462887531554166245769969979420139/10451654655355\ 3077351293348459684141656067677568*c_1001_1^13 - 40886756544280840292107708086302720777287454937634473/5225827327677\ 6538675646674229842070828033838784*c_1001_1^12 - 55439884149519055276894161265727148999128807917981381/1045165465535\ 53077351293348459684141656067677568*c_1001_1^11 + 69126102304084863355639648874140370964139807601588089/5225827327677\ 6538675646674229842070828033838784*c_1001_1^10 + 121931590857691987847678855039013928492606032782404067/104516546553\ 553077351293348459684141656067677568*c_1001_1^9 - 29389726687530206015475815344806800068362272388712873/2612913663838\ 8269337823337114921035414016919392*c_1001_1^8 - 32785264775910374779874433389645171801485048014149313/2612913663838\ 8269337823337114921035414016919392*c_1001_1^7 + 43410410731313047379742417533620041743230299228560253/1045165465535\ 53077351293348459684141656067677568*c_1001_1^6 + 69946991555956290806523130759170198095433320545019303/1045165465535\ 53077351293348459684141656067677568*c_1001_1^5 - 1928318116751742100931823089739198592891366690311181/10451654655355\ 3077351293348459684141656067677568*c_1001_1^4 - 15458588623992721089404515160082866772683632294264521/1045165465535\ 53077351293348459684141656067677568*c_1001_1^3 - 209029362271159064992018578266617428826278241381637/261291366383882\ 69337823337114921035414016919392*c_1001_1^2 + 132098117218239517361814247058379796201871678177265/130645683191941\ 34668911668557460517707008459696*c_1001_1 - 378369851063512392792655951417084551531259089757/816535519949633416\ 806979284841282356688028731, c_0011_0 - 1, c_0011_1 - 31869018581104758406640996616711627240721463/163307103989926\ 6833613958569682564713376057462*c_1001_1^21 - 722627919604254928694241077405556576846104949/326614207979853366722\ 7917139365129426752114924*c_1001_1^20 - 643879579465770420692421097313273034090822552/816535519949633416806\ 979284841282356688028731*c_1001_1^19 + 823148525736551900710717379069201856570249482/816535519949633416806\ 979284841282356688028731*c_1001_1^18 + 12598643506802265313043418065766143821066558460/8165355199496334168\ 06979284841282356688028731*c_1001_1^17 + 27041588522268914042021877968685264315343813636/8165355199496334168\ 06979284841282356688028731*c_1001_1^16 - 193401987012262545177195320867205038420028436865/326614207979853366\ 7227917139365129426752114924*c_1001_1^15 - 266319858407191857836531013545148584205202601025/816535519949633416\ 806979284841282356688028731*c_1001_1^14 - 106973112495961083019618392575365224466189072799/163307103989926683\ 3613958569682564713376057462*c_1001_1^13 + 3941210318338574277255569948661974071590150542419/32661420797985336\ 67227917139365129426752114924*c_1001_1^12 + 567131237013788379254027936281168312052367341372/816535519949633416\ 806979284841282356688028731*c_1001_1^11 - 7071343811377815091759944482132734800812397064453/32661420797985336\ 67227917139365129426752114924*c_1001_1^10 - 1305508070711858708730181029239941907978269166649/81653551994963341\ 6806979284841282356688028731*c_1001_1^9 + 6752451125553415046469546679248913186206928194107/32661420797985336\ 67227917139365129426752114924*c_1001_1^8 + 1472222607964440048627106634255245477851575462539/81653551994963341\ 6806979284841282356688028731*c_1001_1^7 - 1683017397491256033279991528890203008123384947453/16330710398992668\ 33613958569682564713376057462*c_1001_1^6 - 3418816762946287905784847433772010226165470401461/32661420797985336\ 67227917139365129426752114924*c_1001_1^5 + 814617570650120955977913941502310917799023056337/326614207979853366\ 7227917139365129426752114924*c_1001_1^4 + 920798071706870801209654859578727701386983621069/326614207979853366\ 7227917139365129426752114924*c_1001_1^3 - 127691160883870743118006929663126216126239698837/326614207979853366\ 7227917139365129426752114924*c_1001_1^2 - 23756411312239535006681000089381837744473426515/8165355199496334168\ 06979284841282356688028731*c_1001_1 + 3795298784519230588209941939567890868381542965/81653551994963341680\ 6979284841282356688028731, c_0011_3 + 220831367232004011487554813837532716915895355/13064568319194\ 134668911668557460517707008459696*c_1001_1^21 + 1174540254177124648552141899144739036949624441/65322841595970673344\ 55834278730258853504229848*c_1001_1^20 + 902312429296449607529327032730410344000526843/163307103989926683361\ 3958569682564713376057462*c_1001_1^19 - 2154430776835944786308790211295278881094501307/16330710398992668336\ 13958569682564713376057462*c_1001_1^18 - 83031998073833166412936619983321154478927760529/6532284159597067334\ 455834278730258853504229848*c_1001_1^17 - 259912726093094287403536406166862333219939708853/130645683191941346\ 68911668557460517707008459696*c_1001_1^16 + 450197073865526671364207865278689106759039162297/653228415959706733\ 4455834278730258853504229848*c_1001_1^15 + 404086601825156084778402318729563224166966989961/163307103989926683\ 3613958569682564713376057462*c_1001_1^14 - 1496941069563531613975773552880069520918222181241/13064568319194134\ 668911668557460517707008459696*c_1001_1^13 - 3423849754881027010442875024450612505958263677877/32661420797985336\ 67227917139365129426752114924*c_1001_1^12 + 41378190697236093325583479836324754595081621139/1306456831919413466\ 8911668557460517707008459696*c_1001_1^11 + 1667150545956325265694038437778925986187890641423/81653551994963341\ 6806979284841282356688028731*c_1001_1^10 + 5304827917714712381106002595718140484138394817379/13064568319194134\ 668911668557460517707008459696*c_1001_1^9 - 14051073595783537695543998115105351999752402170271/6532284159597067\ 334455834278730258853504229848*c_1001_1^8 - 2356379888886829943726753055733235439414941788931/32661420797985336\ 67227917139365129426752114924*c_1001_1^7 + 16093499225932642520518468845409243824978702533369/1306456831919413\ 4668911668557460517707008459696*c_1001_1^6 + 6751443796016422050670779205992954952823065354989/13064568319194134\ 668911668557460517707008459696*c_1001_1^5 - 4599044677101337278624719718804457439855769658867/13064568319194134\ 668911668557460517707008459696*c_1001_1^4 - 1893575750234471978943605569610781763557001553799/13064568319194134\ 668911668557460517707008459696*c_1001_1^3 + 310220631110592151182168090051905062843857077733/653228415959706733\ 4455834278730258853504229848*c_1001_1^2 + 9654901874278791626349192184834973250553455312/81653551994963341680\ 6979284841282356688028731*c_1001_1 - 2058894227231603581621948661771952440291802336/81653551994963341680\ 6979284841282356688028731, c_0101_0 + 225978153296605532332160970056874160134832731/13064568319194\ 134668911668557460517707008459696*c_1001_1^21 + 163031331069905351579070354247741345453606951/816535519949633416806\ 979284841282356688028731*c_1001_1^20 + 603929305516667470319922405913901807540854819/816535519949633416806\ 979284841282356688028731*c_1001_1^19 - 1219418765842400844208994945246612690412335765/16330710398992668336\ 13958569682564713376057462*c_1001_1^18 - 90519866499227892336783426005927861112082456401/6532284159597067334\ 455834278730258853504229848*c_1001_1^17 - 421194957415773205390962816550057487938041126985/130645683191941346\ 68911668557460517707008459696*c_1001_1^16 + 75350283966146888764691045603849056168347353027/1633071039899266833\ 613958569682564713376057462*c_1001_1^15 + 244961961706742460013399951182810106327884880791/816535519949633416\ 806979284841282356688028731*c_1001_1^14 + 1583877699408486323282383848448254740307049846823/13064568319194134\ 668911668557460517707008459696*c_1001_1^13 - 6864782710844446997163979990288941845238363585327/65322841595970673\ 34455834278730258853504229848*c_1001_1^12 - 11103257158494281083347422860005229707515086532673/1306456831919413\ 4668911668557460517707008459696*c_1001_1^11 + 11392256207232780813505095386163603400350023053923/6532284159597067\ 334455834278730258853504229848*c_1001_1^10 + 23832009049609990050788657005959337951793082800679/1306456831919413\ 4668911668557460517707008459696*c_1001_1^9 - 2317178921589981098167942152725471605506947876619/16330710398992668\ 33613958569682564713376057462*c_1001_1^8 - 6330965738734580866268353525923130178768628679981/32661420797985336\ 67227917139365129426752114924*c_1001_1^7 + 5774671989296758551002885854587432814192051960337/13064568319194134\ 668911668557460517707008459696*c_1001_1^6 + 13385204653291202238081179246052703318178294387303/1306456831919413\ 4668911668557460517707008459696*c_1001_1^5 + 543689467448890136266456507266667005114251038939/130645683191941346\ 68911668557460517707008459696*c_1001_1^4 - 2909361184580387534162691062947327751503294053377/13064568319194134\ 668911668557460517707008459696*c_1001_1^3 - 36843850275390606240915850216396300003046552755/1633071039899266833\ 613958569682564713376057462*c_1001_1^2 + 21554334268308242177580411862127934975195840731/1633071039899266833\ 613958569682564713376057462*c_1001_1 - 790124769462534492475863457817406259683151758/816535519949633416806\ 979284841282356688028731, c_0101_4 + 24866389096011262185279174448402541501638803/130645683191941\ 34668911668557460517707008459696*c_1001_1^21 + 168628044145648792085402885824828685014300391/653228415959706733445\ 5834278730258853504229848*c_1001_1^20 + 194259230379349783636683545709584340404842615/163307103989926683361\ 3958569682564713376057462*c_1001_1^19 + 9991183870908661605511355146500053022148043/16330710398992668336139\ 58569682564713376057462*c_1001_1^18 - 12791165277316999808036597008156040994604796113/6532284159597067334\ 455834278730258853504229848*c_1001_1^17 - 82095097522354639021523748339151453683546873445/1306456831919413466\ 8911668557460517707008459696*c_1001_1^16 + 19916677362947691209670792214253013741324257887/6532284159597067334\ 455834278730258853504229848*c_1001_1^15 + 88431951977846500150525925602484833088983801911/1633071039899266833\ 613958569682564713376057462*c_1001_1^14 + 796540444428008547780424491433166436826935836879/130645683191941346\ 68911668557460517707008459696*c_1001_1^13 - 312323093855238371253932225075043603433499991483/163307103989926683\ 3613958569682564713376057462*c_1001_1^12 - 4476691582985717879416084096495179813019643916013/13064568319194134\ 668911668557460517707008459696*c_1001_1^11 + 1170270728254274197852988088916397391384250683427/32661420797985336\ 67227917139365129426752114924*c_1001_1^10 + 9664889987195166285755981566152152425824641121395/13064568319194134\ 668911668557460517707008459696*c_1001_1^9 - 2094594159920671624048162752666763421128434184289/65322841595970673\ 34455834278730258853504229848*c_1001_1^8 - 2720081774788269799652696729735847816743934097623/32661420797985336\ 67227917139365129426752114924*c_1001_1^7 + 1196219374584332905408803922432001917019176437473/13064568319194134\ 668911668557460517707008459696*c_1001_1^6 + 6493934770549505781293959193697630467544290246281/13064568319194134\ 668911668557460517707008459696*c_1001_1^5 + 422433905860278990687670949676529551382865051937/130645683191941346\ 68911668557460517707008459696*c_1001_1^4 - 1815932380586972374965294033114460788946702121475/13064568319194134\ 668911668557460517707008459696*c_1001_1^3 - 78933781133454250956494389658361276354261424949/6532284159597067334\ 455834278730258853504229848*c_1001_1^2 + 11891214527884617126705562388033399471429923139/8165355199496334168\ 06979284841282356688028731*c_1001_1 - 654495223389034772234645909359747749660324806/816535519949633416806\ 979284841282356688028731, c_0101_6 - 285649781575878891484845265017145411223379147/13064568319194\ 134668911668557460517707008459696*c_1001_1^21 - 409386779379039846927834819058009277737945339/163307103989926683361\ 3958569682564713376057462*c_1001_1^20 - 1492986889570061946691428727445828453359594677/16330710398992668336\ 13958569682564713376057462*c_1001_1^19 + 1677471830698040965537012081504891668180033507/16330710398992668336\ 13958569682564713376057462*c_1001_1^18 + 114104714941704089335658579959243831275008802593/653228415959706733\ 4455834278730258853504229848*c_1001_1^17 + 512977125333477956329458251015274236107017369817/130645683191941346\ 68911668557460517707008459696*c_1001_1^16 - 50857447717972827793236198113123546583245194426/8165355199496334168\ 06979284841282356688028731*c_1001_1^15 - 612854625556993016506783010835992524925965765587/163307103989926683\ 3613958569682564713376057462*c_1001_1^14 - 1535992261315131825460685226800092266129196454231/13064568319194134\ 668911668557460517707008459696*c_1001_1^13 + 8849476154977285256761932090447859078390934886659/65322841595970673\ 34455834278730258853504229848*c_1001_1^12 + 12413743403204764327662113645793879644518730088921/1306456831919413\ 4668911668557460517707008459696*c_1001_1^11 - 15441489057400219475947115065553919231093360923815/6532284159597067\ 334455834278730258853504229848*c_1001_1^10 - 27415513300802589822720100346705342001652350533215/1306456831919413\ 4668911668557460517707008459696*c_1001_1^9 + 1743317123118774838587058284515036846086981798731/81653551994963341\ 6806979284841282356688028731*c_1001_1^8 + 7516615521888018738819406689321268168025821133819/32661420797985336\ 67227917139365129426752114924*c_1001_1^7 - 12158590794925862868476402273734866155314600685985/1306456831919413\ 4668911668557460517707008459696*c_1001_1^6 - 16842956333179403134836372711896257472611423221359/1306456831919413\ 4668911668557460517707008459696*c_1001_1^5 + 1947437872778672445538166522125703087197674034469/13064568319194134\ 668911668557460517707008459696*c_1001_1^4 + 4262427546743728947993509198635433664324965118209/13064568319194134\ 668911668557460517707008459696*c_1001_1^3 - 26687325282783322225285111264393031605072872607/1633071039899266833\ 613958569682564713376057462*c_1001_1^2 - 25458581551062802446256556669524152905007195619/8165355199496334168\ 06979284841282356688028731*c_1001_1 + 3552488920883366002616255306671824098083755558/81653551994963341680\ 6979284841282356688028731, c_1001_1^22 + 12*c_1001_1^21 + 48*c_1001_1^20 - 24*c_1001_1^19 - 822*c_1001_1^18 - 2227*c_1001_1^17 + 1844*c_1001_1^16 + 18608*c_1001_1^15 + 14773*c_1001_1^14 - 58174*c_1001_1^13 - 76747*c_1001_1^12 + 81182*c_1001_1^11 + 152717*c_1001_1^10 - 39500*c_1001_1^9 - 153804*c_1001_1^8 - 20189*c_1001_1^7 + 76873*c_1001_1^6 + 27501*c_1001_1^5 - 15607*c_1001_1^4 - 7500*c_1001_1^3 + 1128*c_1001_1^2 + 512*c_1001_1 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB