Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 846441995] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0128 geometric_solution 3.63840763 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 1.434298063194 0.031190219967 0 2 2 0 3201 0132 1023 0132 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 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 1.229616771987 0.041007059712 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 0 0 0 0 0 -1 1 -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.628018128711 0.256923748004 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 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.321085672875 0.481870439891 3 3 5 6 2310 0132 0132 0132 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 -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.003138726113 0.505589256851 6 6 6 4 1230 3012 2031 0132 0 0 0 0 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 -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.997486293276 1.008713054887 5 5 4 5 1230 3012 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997486293276 1.008713054887 ==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_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], '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_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3784700366935118826415138997914881666814859686950397535/12783222870\ 2053674631367653742484501097585063510324071*c_0101_5^21 - 27606368588414071459299837894056027620316738126091197604/4261074290\ 0684558210455884580828167032528354503441357*c_0101_5^20 - 587883650487037077138234392800584425341794185426902640659/127832228\ 702053674631367653742484501097585063510324071*c_0101_5^19 - 87866470871705804324774406451851235527485256916669092482/1826174695\ 7436239233052521963212071585369294787189153*c_0101_5^18 + 1226891878056804251220377480880709191408051706939811180221/18261746\ 957436239233052521963212071585369294787189153*c_0101_5^17 + 27383327102445337115211735988349925312902167966149081979721/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^16 - 4146603392605676879922737156061994479018031927297215357943/42610742\ 900684558210455884580828167032528354503441357*c_0101_5^15 - 66184723342744726474834153670825199483223755308405287037053/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^14 - 6982042659957743187018920562917597834357309478174756666332/18261746\ 957436239233052521963212071585369294787189153*c_0101_5^13 + 60547029034574651170312835341580889221211417270743568096410/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^12 + 32268019982970582292702802111587771422385352868426489750696/4261074\ 2900684558210455884580828167032528354503441357*c_0101_5^11 - 5516025287661310942602825951571956200496529017946385592782/60872489\ 85812079744350840654404023861789764929063051*c_0101_5^10 - 69943846781465876282393642864757744256709341334614584358904/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^9 + 165862198251358229223038141616308013225796758428730663560908/127832\ 228702053674631367653742484501097585063510324071*c_0101_5^8 + 54165758307210128939222687566549208366928381894526294176062/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^7 - 81217954720241878330587035303516788436740857067012016358241/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^6 - 25498814062006394769244427274720734424144834583641751244503/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^5 + 13215312441683038477229001595937705504540536865112118644712/1278322\ 28702053674631367653742484501097585063510324071*c_0101_5^4 + 1388699204600777260557593101720808418680421926197805642961/42610742\ 900684558210455884580828167032528354503441357*c_0101_5^3 - 366277353818783286917151374891852257915053623384338548586/127832228\ 702053674631367653742484501097585063510324071*c_0101_5^2 - 35872795906437641842686940287087465499820241578666246473/4261074290\ 0684558210455884580828167032528354503441357*c_0101_5 - 12529473441483388806794272042650149675077187279800762654/1278322287\ 02053674631367653742484501097585063510324071, c_0011_0 - 1, c_0011_1 - 382685695765116155218919263907148472104340586136020/60872489\ 85812079744350840654404023861789764929063051*c_0101_5^21 - 8247162944604288709445996522742627186818206641017415/60872489858120\ 79744350840654404023861789764929063051*c_0101_5^20 - 56974764812635342155524495765245745585025034453684534/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^19 - 49194006332109150733633140507871899090287137914228215/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^18 + 842142953353685096947411363387238623565848972899304866/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^17 + 2438036466229926498786322203967606306768007514885580488/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^16 - 1479519380071627799027496483307312351115671571903726884/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^15 - 4198934432281533048076067496707281397815957017934657189/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^14 - 3957172321155095909103436550290938757235537327127552791/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^13 + 3386684974925038080382699555361290493959878948316288345/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^12 + 4475367265682351834034391012879758863963746678255916824/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^11 - 10875444888477422389337560671503764207909560508521808612/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^10 + 2311929206065826431598950472645533308484829801176089919/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^9 + 9450081935456302756952412739855682538956876351743242317/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^8 - 1509529500837312093955747395560571002306463489628641571/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^7 + 1079162025339498784474614230560811520185836394508881411/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^6 + 881062967377002944861809542534772256150434944304237845/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^5 - 1015514901220838916911392338609675297389706115222082938/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^4 - 203673768827679752927678468120447580753835425394190302/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^3 + 55922638331245391915949022722654231898364132124883435/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^2 + 20492298302853851121718881019654510451078222033040867/6087248985812\ 079744350840654404023861789764929063051*c_0101_5 + 1302546326452684515744900120406881179716106012663366/60872489858120\ 79744350840654404023861789764929063051, c_0011_5 - 371078123285157959656985856287073990222693227152706/60872489\ 85812079744350840654404023861789764929063051*c_0101_5^21 - 8226558681223405327334907624288489216054416997853456/60872489858120\ 79744350840654404023861789764929063051*c_0101_5^20 - 59973427677615192207439245979712109327720193639419005/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^19 - 76979856371558211115226791818084341087751460417950562/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^18 + 823126044168695834696652402641115162047823588059524083/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^17 + 2919276935132104193371438409140760133870807878845444023/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^16 - 445715781476018022590508234365955483963939635396432791/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^15 - 6715547734281156043229806389743778362598255382311685992/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^14 - 6379920064971221699463473668146274050036317516870412797/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^13 + 4385390716084331305964539889529425204135644633935561967/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^12 + 10526580591378717085441725526364447516195052110251151640/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^11 - 9111879469888724346683219942246228024286053282145404641/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^10 - 9576156479223710044938298162574162195182235218146488413/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^9 + 14980355051907716948399532302640015619306828438379373801/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^8 + 8812374205601909444608928623565953711086752772291694450/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^7 - 6715212752338576219402344112498777838148299395292227904/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^6 - 3300061014762891495617775089718329030127990927118543945/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^5 + 880322320732397190616293286476287957831716460645407879/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^4 + 367114546561651269948942479405156644908958266659514933/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^3 + 7214604935562810779718122398633060704436758517876716/60872489858120\ 79744350840654404023861789764929063051*c_0101_5^2 - 8297718075207705437101443802619410661957737151072694/60872489858120\ 79744350840654404023861789764929063051*c_0101_5 - 1778358613869103391863762505768589407267852424170256/60872489858120\ 79744350840654404023861789764929063051, c_0101_0 + 607028932029489381359384872874169225778292460309294/60872489\ 85812079744350840654404023861789764929063051*c_0101_5^21 + 11819851314882588212100430163360782517915137956446444/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^20 + 62530046568744744589218189386852409672593288711625986/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^19 - 123282878007186194786221160661843024009767835784338171/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^18 - 1582895702586198232215048562042254311215553525552074781/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^17 - 1089915011359106387085091907590685258951577478500865927/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^16 + 11917162673769136405194069412587983762574984465407934384/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^15 + 4778263606906129826831167924014402182749029172970913921/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^14 - 14040304192989244097308652099166067202919135624271500972/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^13 - 25115061321230736916884910114522411181847699395971774347/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^12 + 5260182563538979984925206976114106293612861345769937884/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^11 + 46653106752410464003614556184771239320351526446731643153/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^10 - 35646969521975885320811887771827698349786534685405435751/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^9 - 37403714168694832911646874579209854419761608362706123708/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^8 + 48840721661213253404927867701686999272881203135411814164/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^7 + 17976643538780599466724278513572609368237863349859806842/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^6 - 16301989238743949635284488332056255187481960481848532762/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^5 - 2978256229345599212815645846738782779018539959250238447/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^4 + 1547559600322917151169850509962265601256538049977162186/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^3 + 98772858353542582102887957022749460308317265878291869/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^2 + 8666765294961905341733150139599054765114030150388190/60872489858120\ 79744350840654404023861789764929063051*c_0101_5 - 8106896668290464528468737911166303019077024814169990/60872489858120\ 79744350840654404023861789764929063051, c_0101_2 - 3160173354053849809013941331400343449449519162466339/6087248\ 985812079744350840654404023861789764929063051*c_0101_5^21 - 69318943764756335639863661490874784771934253099852781/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^20 - 495270028896777344852032830320613336711496570396722618/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^19 - 556167426731107824597854459989772667545021206091809010/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^18 + 7022239413272427591315450704069997879970189894536310260/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^17 + 23087448691758674669364656974312315937001656963881612300/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^16 - 7529385715038668821735918547667324533696372361716551117/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^15 - 50007350014584051477409179310145067128108751341061190299/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^14 - 44492808518371838901668232966677566984865893556468432648/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^13 + 36694801025026465020483218654203915848225762463093015619/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^12 + 70945373249396258422811040762553659336997343440215744659/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^11 - 86476585508172728904271268628379794392751841095741317214/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^10 - 46509413087930581722988712035887572392374535482785726448/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^9 + 117597437669149149758627334197231942767984195946326185155/608724898\ 5812079744350840654404023861789764929063051*c_0101_5^8 + 39798690319753916010361488753896493874818438530840720322/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^7 - 40246274707915980744092333286585345305028268979166086645/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^6 - 12427234593950939894311250695435055858552359296202355038/6087248985\ 812079744350840654404023861789764929063051*c_0101_5^5 + 3858948645844197512130398540674205611841973028069176905/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^4 + 1306095320916034999630696241207040844036103006194961079/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^3 + 63315593041975563944331215367798962822401441884118958/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^2 - 41457908937163807259896009494650700141819560962002189/6087248985812\ 079744350840654404023861789764929063051*c_0101_5 - 4669987084579552985490726296726453773640847103950664/60872489858120\ 79744350840654404023861789764929063051, c_0101_3 - 355065113126107722014029918390751369834853092608245/60872489\ 85812079744350840654404023861789764929063051*c_0101_5^21 - 7822680532206466398877581817928806312799820442126003/60872489858120\ 79744350840654404023861789764929063051*c_0101_5^20 - 56514356266676641032367909261181325139974157808906002/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^19 - 70385309644766757611569414641483665078924798108036230/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^18 + 765175647589395315096213593720558735413547208767673173/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^17 + 2652241544162030828051020187242071799431764745485165336/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^16 - 338161428592380486113256684922913493226506453108217932/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^15 - 4899396050823158339819444967530495052550604817284218454/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^14 - 5903910982614250566660516282890271511917021215254084568/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^13 + 2021614633052893891637112419568423734260533538823370298/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^12 + 6955884021938157972667369047475967085167115679028544453/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^11 - 7675404970068270543172504605493759675948876209786526296/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^10 - 4073379525191417589031998716187923156859764258003071899/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^9 + 9391074114550672208122138290345483836325544990775339664/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^8 + 5015267273212152383607429843810956227200181294703500690/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^7 - 230472756003757879082737048045807364312756433235997013/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^6 - 1228540226604682426714143171746774907145079257706270580/60872489858\ 12079744350840654404023861789764929063051*c_0101_5^5 - 566657511419080771575590711685319592309417760258888140/608724898581\ 2079744350840654404023861789764929063051*c_0101_5^4 + 81781679953145310461802546273655176443147517298045470/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^3 + 28055624277114823454359342132374079900109385432351759/6087248985812\ 079744350840654404023861789764929063051*c_0101_5^2 + 5370102103316205601725059205595948448408137565275839/60872489858120\ 79744350840654404023861789764929063051*c_0101_5 + 1464308780112401838449027321806371897922700982473584/60872489858120\ 79744350840654404023861789764929063051, c_0101_5^22 + 22*c_0101_5^21 + 158*c_0101_5^20 + 183*c_0101_5^19 - 2233*c_0101_5^18 - 7473*c_0101_5^17 + 2231*c_0101_5^16 + 16997*c_0101_5^15 + 14670*c_0101_5^14 - 12867*c_0101_5^13 - 25012*c_0101_5^12 + 27645*c_0101_5^11 + 19396*c_0101_5^10 - 40453*c_0101_5^9 - 16476*c_0101_5^8 + 17230*c_0101_5^7 + 5863*c_0101_5^6 - 2628*c_0101_5^5 - 743*c_0101_5^4 + 92*c_0101_5^3 + 26*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB