Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 4071845614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s675 geometric_solution 5.17545814 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 1 0 -1 0 0 1 -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.448397396155 0.406985203397 0 3 2 4 0132 0132 1230 0132 0 0 0 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 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 0.777199771907 1.109867282485 3 0 4 1 3201 0132 2310 3012 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 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.777199771907 1.109867282485 3 1 3 2 2310 0132 3201 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 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.227646986367 0.920703876500 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645768101706 0.502009571877 4 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.237341119064 0.508824392503 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_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' : negation(d['c_0011_4']), 'c_0011_4' : 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_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), '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' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3262564051647914292908194149346957244990637099141/22406210119728298\ 675035858908879513500487775226*c_0101_5^21 + 3459387222594734810130201768063802704596724196869/11203105059864149\ 337517929454439756750243887613*c_0101_5^20 + 39478597324465231119983395075839441002109860911260/1120310505986414\ 9337517929454439756750243887613*c_0101_5^19 + 87438726483067619401898039683629358993653329140491/2240621011972829\ 8675035858908879513500487775226*c_0101_5^18 - 47143769808328028997919598029332716070997660899681/2240621011972829\ 8675035858908879513500487775226*c_0101_5^17 - 183874153063696341294212787932309077855075123589029/112031050598641\ 49337517929454439756750243887613*c_0101_5^16 - 526831066765653024610935882701283601693213732787667/224062101197282\ 98675035858908879513500487775226*c_0101_5^15 + 778816580786706097055632777542169291373489153488433/224062101197282\ 98675035858908879513500487775226*c_0101_5^14 - 654796371918511243088809614966866326473056505982103/224062101197282\ 98675035858908879513500487775226*c_0101_5^13 + 357001799384479108965712390392257910079086027110841/224062101197282\ 98675035858908879513500487775226*c_0101_5^12 + 2101032840454797398404639555102283692634518564292107/22406210119728\ 298675035858908879513500487775226*c_0101_5^11 - 1029970753345780268288076002680075783820244486253514/11203105059864\ 149337517929454439756750243887613*c_0101_5^10 + 478406655925745774881837712592981454438276290805225/224062101197282\ 98675035858908879513500487775226*c_0101_5^9 + 8249743452703732859393276745814698526275694732539/22406210119728298\ 675035858908879513500487775226*c_0101_5^8 - 635788856841126042519271782751663742405550806402967/224062101197282\ 98675035858908879513500487775226*c_0101_5^7 + 254068494219819638829827232926319727235841099022147/112031050598641\ 49337517929454439756750243887613*c_0101_5^6 - 143356855245485515499847549577741352075932723454219/224062101197282\ 98675035858908879513500487775226*c_0101_5^5 + 39497319387637649024752634702402472111759529346769/1120310505986414\ 9337517929454439756750243887613*c_0101_5^4 - 14278848878680458007976231844013384532624350835576/1120310505986414\ 9337517929454439756750243887613*c_0101_5^3 + 7580587720487078693242080968572241936957791708619/22406210119728298\ 675035858908879513500487775226*c_0101_5^2 - 1807912567292543314594924972732081830096299308344/11203105059864149\ 337517929454439756750243887613*c_0101_5 + 376701691580035939454034246970096858656431924511/224062101197282986\ 75035858908879513500487775226, c_0011_0 - 1, c_0011_4 + 275674613788801127630498047540024400342367827364/11203105059\ 864149337517929454439756750243887613*c_0101_5^21 - 788973495527392595601437544307112399292237075183/112031050598641493\ 37517929454439756750243887613*c_0101_5^20 - 6048022457466189613074769800014440352237960422062/11203105059864149\ 337517929454439756750243887613*c_0101_5^19 - 2995138622985827248981721988660632152598181901720/11203105059864149\ 337517929454439756750243887613*c_0101_5^18 + 5295789147712444262890899039511174855004871898861/11203105059864149\ 337517929454439756750243887613*c_0101_5^17 + 26283582369552772797810266638663019057901709348312/1120310505986414\ 9337517929454439756750243887613*c_0101_5^16 + 25580183830436879765353207565574029065390666421394/1120310505986414\ 9337517929454439756750243887613*c_0101_5^15 - 80666645310620322314608122186820412105720257279138/1120310505986414\ 9337517929454439756750243887613*c_0101_5^14 + 120606264150665909032938724154792569273755663769802/112031050598641\ 49337517929454439756750243887613*c_0101_5^13 - 129178821669315143569890077154380954974704644694991/112031050598641\ 49337517929454439756750243887613*c_0101_5^12 - 70973185415695361249084013022298973053408145271403/1120310505986414\ 9337517929454439756750243887613*c_0101_5^11 + 217825504333045931404651363220811489682509936323823/112031050598641\ 49337517929454439756750243887613*c_0101_5^10 - 221358189671893436442323339453016889471257964703965/112031050598641\ 49337517929454439756750243887613*c_0101_5^9 + 188760793630996338166721643100152526868901293727217/112031050598641\ 49337517929454439756750243887613*c_0101_5^8 - 100263910863845774701499976621394586842471118375632/112031050598641\ 49337517929454439756750243887613*c_0101_5^7 + 40703257877249002660544609911992786302107851588301/1120310505986414\ 9337517929454439756750243887613*c_0101_5^6 - 18647328638163483782443177897518870691674164515957/1120310505986414\ 9337517929454439756750243887613*c_0101_5^5 + 5745268139791440282506999894343643982491698694117/11203105059864149\ 337517929454439756750243887613*c_0101_5^4 - 1918941701021320632228114786873278790424230616100/11203105059864149\ 337517929454439756750243887613*c_0101_5^3 + 624435212226255515396946245753553483458384526331/112031050598641493\ 37517929454439756750243887613*c_0101_5^2 - 56819894509762034968371622415512796169546919754/1120310505986414933\ 7517929454439756750243887613*c_0101_5 + 26665448837629536206694932252855144857809269463/1120310505986414933\ 7517929454439756750243887613, c_0101_0 - 210377741838193771930704555764692662916692121608/11203105059\ 864149337517929454439756750243887613*c_0101_5^21 + 580562723814417554428379383814241237456892181997/112031050598641493\ 37517929454439756750243887613*c_0101_5^20 + 4678323744237878061936434363459290752039489780390/11203105059864149\ 337517929454439756750243887613*c_0101_5^19 + 2754269263504844482143087284434202514526270135003/11203105059864149\ 337517929454439756750243887613*c_0101_5^18 - 3833658897938518641129825354394117568847982410995/11203105059864149\ 337517929454439756750243887613*c_0101_5^17 - 20476370713042200466028628512551700904955980364498/1120310505986414\ 9337517929454439756750243887613*c_0101_5^16 - 21538460215963293731061631081103098311095397568830/1120310505986414\ 9337517929454439756750243887613*c_0101_5^15 + 59676341160574461163510611950102795476361205401140/1120310505986414\ 9337517929454439756750243887613*c_0101_5^14 - 85673619674444692747270660967429418749554261625812/1120310505986414\ 9337517929454439756750243887613*c_0101_5^13 + 88717144487712759578580998261077683777989599415398/1120310505986414\ 9337517929454439756750243887613*c_0101_5^12 + 64838039910263318440599089524379267861913210882633/1120310505986414\ 9337517929454439756750243887613*c_0101_5^11 - 161277248752314721029057147906822811925237814292545/112031050598641\ 49337517929454439756750243887613*c_0101_5^10 + 151704608746632008336875621813448994973482759708257/112031050598641\ 49337517929454439756750243887613*c_0101_5^9 - 125572468332304658176078119641769313391019627406938/112031050598641\ 49337517929454439756750243887613*c_0101_5^8 + 60704621405876395777874840632205701989222342273853/1120310505986414\ 9337517929454439756750243887613*c_0101_5^7 - 22380351410666134218939610384464099743724826471827/1120310505986414\ 9337517929454439756750243887613*c_0101_5^6 + 10424012340921671921969612111935100280903852355550/1120310505986414\ 9337517929454439756750243887613*c_0101_5^5 - 2800272005479766699811279095145174411269917696025/11203105059864149\ 337517929454439756750243887613*c_0101_5^4 + 944448444971020989130017315377955882363306645203/112031050598641493\ 37517929454439756750243887613*c_0101_5^3 - 295003350050305434847782379665452652887595685741/112031050598641493\ 37517929454439756750243887613*c_0101_5^2 - 4184020725003254915906600338811024144881459798/11203105059864149337\ 517929454439756750243887613*c_0101_5 - 8741603405173068922467809528826202122905168145/11203105059864149337\ 517929454439756750243887613, c_0101_1 - 17224742122887684831491440118974006805415968430/112031050598\ 64149337517929454439756750243887613*c_0101_5^21 + 71052677826444942709490363828571130560183185781/1120310505986414933\ 7517929454439756750243887613*c_0101_5^20 + 303396774792121796869500806323298844481498035984/112031050598641493\ 37517929454439756750243887613*c_0101_5^19 - 264303371418825064977080518047783004058392213453/112031050598641493\ 37517929454439756750243887613*c_0101_5^18 - 274861861155848900134915635653526229182545913012/112031050598641493\ 37517929454439756750243887613*c_0101_5^17 - 885191870306445051591565516346857548089409352968/112031050598641493\ 37517929454439756750243887613*c_0101_5^16 + 388258326791075805103410559103343252687030745294/112031050598641493\ 37517929454439756750243887613*c_0101_5^15 + 5756064033915252822840120220362249719053845017946/11203105059864149\ 337517929454439756750243887613*c_0101_5^14 - 15923069571033924202307488696307053836605327957494/1120310505986414\ 9337517929454439756750243887613*c_0101_5^13 + 20126523824747796201175359023167512880114487521436/1120310505986414\ 9337517929454439756750243887613*c_0101_5^12 - 8695688437173952832715601850823055493157021821748/11203105059864149\ 337517929454439756750243887613*c_0101_5^11 - 17001283242707417964083166065323045899497205205964/1120310505986414\ 9337517929454439756750243887613*c_0101_5^10 + 37572547177093034390494308884451328938244011672384/1120310505986414\ 9337517929454439756750243887613*c_0101_5^9 - 35682271792070223629156907344521201431796055327828/1120310505986414\ 9337517929454439756750243887613*c_0101_5^8 + 24339992398941248069170618648655379122707493081238/1120310505986414\ 9337517929454439756750243887613*c_0101_5^7 - 12802990144080381312778875754969355673069747716768/1120310505986414\ 9337517929454439756750243887613*c_0101_5^6 + 4179170389670760315050058710133137214933921917357/11203105059864149\ 337517929454439756750243887613*c_0101_5^5 - 1709985217543994978543886588587974010968907445875/11203105059864149\ 337517929454439756750243887613*c_0101_5^4 + 770391113870990221720510284414407056742989688128/112031050598641493\ 37517929454439756750243887613*c_0101_5^3 - 182006381114327838744200206236678863747294727935/112031050598641493\ 37517929454439756750243887613*c_0101_5^2 + 53912027848320860871408857619629725972797718724/1120310505986414933\ 7517929454439756750243887613*c_0101_5 - 6637506602414358160073618788112040043378102020/11203105059864149337\ 517929454439756750243887613, c_0101_2 - 270646621900446046773268437265966136574327957738/11203105059\ 864149337517929454439756750243887613*c_0101_5^21 + 709497646583894280935686394289214159401125092314/112031050598641493\ 37517929454439756750243887613*c_0101_5^20 + 6124406875781115590927903491627324178258591778612/11203105059864149\ 337517929454439756750243887613*c_0101_5^19 + 4369304618677632436410222909256414023359128556831/11203105059864149\ 337517929454439756750243887613*c_0101_5^18 - 4510776811243021437029001941697971178442034521786/11203105059864149\ 337517929454439756750243887613*c_0101_5^17 - 27095830706158673792877988788226778841626871628230/1120310505986414\ 9337517929454439756750243887613*c_0101_5^16 - 31250820661109113922511938256046395229633848068308/1120310505986414\ 9337517929454439756750243887613*c_0101_5^15 + 73306058375170125353347126765669540434454384542726/1120310505986414\ 9337517929454439756750243887613*c_0101_5^14 - 99183277699177183208279538006863502388542471414272/1120310505986414\ 9337517929454439756750243887613*c_0101_5^13 + 98037569448111429744979420473056302186302842746327/1120310505986414\ 9337517929454439756750243887613*c_0101_5^12 + 99277877179060823882557834585770344462814506663990/1120310505986414\ 9337517929454439756750243887613*c_0101_5^11 - 195452241303466882847987681822464981531991289544609/112031050598641\ 49337517929454439756750243887613*c_0101_5^10 + 163722215827122381315875024608533510405871833123379/112031050598641\ 49337517929454439756750243887613*c_0101_5^9 - 132221638055222858020519037845762789412909461533055/112031050598641\ 49337517929454439756750243887613*c_0101_5^8 + 56788498290423213182815651978405815093388049620490/1120310505986414\ 9337517929454439756750243887613*c_0101_5^7 - 20072639238654595632763656520422207471695596319208/1120310505986414\ 9337517929454439756750243887613*c_0101_5^6 + 11559635427517183569806105633393869688014229186130/1120310505986414\ 9337517929454439756750243887613*c_0101_5^5 - 3208735452660915545364815708241203330724351315469/11203105059864149\ 337517929454439756750243887613*c_0101_5^4 + 1174638653045689752379464884911458923901606069953/11203105059864149\ 337517929454439756750243887613*c_0101_5^3 - 366927949822309301138091540357121353509726430376/112031050598641493\ 37517929454439756750243887613*c_0101_5^2 + 15586341254110441318084322346341190653753866150/1120310505986414933\ 7517929454439756750243887613*c_0101_5 - 25508449940828510123511034431134078754661435680/1120310505986414933\ 7517929454439756750243887613, c_0101_5^22 - 10/3*c_0101_5^21 - 62/3*c_0101_5^20 - 8/27*c_0101_5^19 + 26*c_0101_5^18 + 2347/27*c_0101_5^17 + 415/9*c_0101_5^16 - 9277/27*c_0101_5^15 + 15370/27*c_0101_5^14 - 17572/27*c_0101_5^13 - 1936/27*c_0101_5^12 + 8534/9*c_0101_5^11 - 31210/27*c_0101_5^10 + 26920/27*c_0101_5^9 - 5591/9*c_0101_5^8 + 7217/27*c_0101_5^7 - 2969/27*c_0101_5^6 + 130/3*c_0101_5^5 - 350/27*c_0101_5^4 + 115/27*c_0101_5^3 - c_0101_5^2 + 1/9*c_0101_5 - 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB