Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1646526016] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s365 geometric_solution 4.58484232 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395016897911 0.238326089682 2 0 3 0 0132 2310 0132 0132 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 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.749029269926 0.881429094942 1 4 3 3 0132 0132 3012 1230 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 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 1.258490375639 1.190760204687 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 1 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 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 1.258490375639 1.190760204687 5 2 5 3 0132 0132 1023 0132 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 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.620300461975 0.705658804438 4 5 4 5 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529757172485 0.137541625951 ==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' : negation(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' : negation(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' : d['1'], 's_1_2' : d['1'], 's_1_1' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], '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_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 21389571538079954493828236823064373/1417311679727620798415132760238\ 514*c_0101_4^19 + 89343759859050682172054356864729851/1417311679727\ 620798415132760238514*c_0101_4^18 + 227148147122033334219947059987364809/708655839863810399207566380119\ 257*c_0101_4^17 - 1618357611601218724313201938988707759/14173116797\ 27620798415132760238514*c_0101_4^16 - 1574120348486837463151077027210570193/70865583986381039920756638011\ 9257*c_0101_4^15 + 11855694494162507258147736874816516475/141731167\ 9727620798415132760238514*c_0101_4^14 + 8388496006791121836134711555642794195/70865583986381039920756638011\ 9257*c_0101_4^13 - 20108216889863607751432464063570322175/141731167\ 9727620798415132760238514*c_0101_4^12 - 41517783098307973102581954541427731059/1417311679727620798415132760\ 238514*c_0101_4^11 - 10440854564241879498442041940387895212/7086558\ 39863810399207566380119257*c_0101_4^10 + 27731671889699418001788051839670126929/1417311679727620798415132760\ 238514*c_0101_4^9 + 25396035158474553344676384863522767180/70865583\ 9863810399207566380119257*c_0101_4^8 + 8199568855401860910043604598969639/70865583986381039920756638011925\ 7*c_0101_4^7 - 8762651668991335447786531149957777668/70865583986381\ 0399207566380119257*c_0101_4^6 + 7176692938861099941169826639478250\ 914/708655839863810399207566380119257*c_0101_4^5 + 7710331694341029300270908316161951633/14173116797276207984151327602\ 38514*c_0101_4^4 - 4368391469012584747183730387442903801/1417311679\ 727620798415132760238514*c_0101_4^3 - 33723391447837347458665277560501147/1417311679727620798415132760238\ 514*c_0101_4^2 + 125657100815140307673560953472359705/1417311679727\ 620798415132760238514*c_0101_4 - 4923513564583376170483054303264817\ 2/708655839863810399207566380119257, c_0011_0 - 1, c_0011_1 - 3295105322178877994600448959161/4168563763904767054162155177\ 1721*c_0101_4^19 + 13479047932835302288309444414561/416856376390476\ 70541621551771721*c_0101_4^18 + 70848941317547897916527091280037/41\ 685637639047670541621551771721*c_0101_4^17 - 242105567387610056246115275396075/41685637639047670541621551771721*\ c_0101_4^16 - 498880586846350311830114028626781/4168563763904767054\ 1621551771721*c_0101_4^15 + 1764348410399123640467879484102819/4168\ 5637639047670541621551771721*c_0101_4^14 + 2681206890037500691090905050898328/41685637639047670541621551771721\ *c_0101_4^13 - 2728043952014640947333409638005710/41685637639047670\ 541621551771721*c_0101_4^12 - 6311167417508637100845947956215212/41\ 685637639047670541621551771721*c_0101_4^11 - 3887297673306185452632058143531572/41685637639047670541621551771721\ *c_0101_4^10 + 3237175629297898515719031439137583/41685637639047670\ 541621551771721*c_0101_4^9 + 7455062198863769284203086086327406/416\ 85637639047670541621551771721*c_0101_4^8 + 782237422421469510247616307961872/41685637639047670541621551771721*\ c_0101_4^7 - 1770467942240258346620938698604585/4168563763904767054\ 1621551771721*c_0101_4^6 + 2475023933962805806526604931802943/41685\ 637639047670541621551771721*c_0101_4^5 + 1260160514034097369587771272949651/41685637639047670541621551771721\ *c_0101_4^4 - 446789619090918065618280738273243/4168563763904767054\ 1621551771721*c_0101_4^3 + 138342759359982435240553937881406/416856\ 37639047670541621551771721*c_0101_4^2 + 47499234256837321222382085556848/41685637639047670541621551771721*c\ _0101_4 - 30190186905742916134094339280081/416856376390476705416215\ 51771721, c_0011_3 + 4332829041846612321123909500363/4168563763904767054162155177\ 1721*c_0101_4^19 - 18891370312132472013126063991461/416856376390476\ 70541621551771721*c_0101_4^18 - 88642930559829289144788904054931/41\ 685637639047670541621551771721*c_0101_4^17 + 344519725527114307147320332701020/41685637639047670541621551771721*\ c_0101_4^16 + 575704803249779152240850514707696/4168563763904767054\ 1621551771721*c_0101_4^15 - 2516083851108745672021572699823908/4168\ 5637639047670541621551771721*c_0101_4^14 - 2938872279730082723456536654617466/41685637639047670541621551771721\ *c_0101_4^13 + 4679015552822279341928572283417884/41685637639047670\ 541621551771721*c_0101_4^12 + 7537810905130474405297799902573920/41\ 685637639047670541621551771721*c_0101_4^11 + 2636719624741084615207630985261998/41685637639047670541621551771721\ *c_0101_4^10 - 6145962945974550294937044691465605/41685637639047670\ 541621551771721*c_0101_4^9 - 8922347862735021499533165380291529/416\ 85637639047670541621551771721*c_0101_4^8 + 1974008905313726744933574269481963/41685637639047670541621551771721\ *c_0101_4^7 + 3258520609794602062311457169052466/416856376390476705\ 41621551771721*c_0101_4^6 - 3924729522562109437733220130827983/4168\ 5637639047670541621551771721*c_0101_4^5 - 1033252500954002908445013334129307/41685637639047670541621551771721\ *c_0101_4^4 + 1234793321259295998967751472158071/416856376390476705\ 41621551771721*c_0101_4^3 - 223060385710816092385621564348243/41685\ 637639047670541621551771721*c_0101_4^2 - 69885541004092867268261792195527/41685637639047670541621551771721*c\ _0101_4 + 14297155634760503466553461149310/416856376390476705416215\ 51771721, c_0101_0 - 8257115537687135125230401773469/4168563763904767054162155177\ 1721*c_0101_4^19 + 34658827714734714596814024527595/416856376390476\ 70541621551771721*c_0101_4^18 + 174869939121655896679216586604516/4\ 1685637639047670541621551771721*c_0101_4^17 - 629458229775656449908278743096112/41685637639047670541621551771721*\ c_0101_4^16 - 1205483030041994317956329603189677/416856376390476705\ 41621551771721*c_0101_4^15 + 4621857276661357898369045449836782/416\ 85637639047670541621551771721*c_0101_4^14 + 6389218707309558156232193502757519/41685637639047670541621551771721\ *c_0101_4^13 - 8030715032894693224964368100734020/41685637639047670\ 541621551771721*c_0101_4^12 - 15873932053981829316144194510640290/4\ 1685637639047670541621551771721*c_0101_4^11 - 7435007093072802862870816760634849/41685637639047670541621551771721\ *c_0101_4^10 + 11055356349629433189808950398642326/4168563763904767\ 0541621551771721*c_0101_4^9 + 19275998705115706808147941801581904/4\ 1685637639047670541621551771721*c_0101_4^8 - 948486155004344188799285721782820/41685637639047670541621551771721*\ c_0101_4^7 - 7032494117711290351880995512508522/4168563763904767054\ 1621551771721*c_0101_4^6 + 6037322092803183001621504315671445/41685\ 637639047670541621551771721*c_0101_4^5 + 3072786634618801144506470413818278/41685637639047670541621551771721\ *c_0101_4^4 - 1755722130346496271185811929161226/416856376390476705\ 41621551771721*c_0101_4^3 + 66434102624487567315204965581337/416856\ 37639047670541621551771721*c_0101_4^2 + 104113556231201281957129538186605/41685637639047670541621551771721*\ c_0101_4 - 14790014372887942749202318656952/41685637639047670541621\ 551771721, c_0101_3 - 4885160167397219293482345817516/4168563763904767054162155177\ 1721*c_0101_4^19 + 20430022360774202388295256641005/416856376390476\ 70541621551771721*c_0101_4^18 + 103361298111059718089968549014926/4\ 1685637639047670541621551771721*c_0101_4^17 - 369118028979188864455437287962518/41685637639047670541621551771721*\ c_0101_4^16 - 710134048245301728738481488130388/4168563763904767054\ 1621551771721*c_0101_4^15 + 2693321360412004326086010395419155/4168\ 5637639047670541621551771721*c_0101_4^14 + 3760232716394408263896422954342540/41685637639047670541621551771721\ *c_0101_4^13 - 4477301265702912900511163805027320/41685637639047670\ 541621551771721*c_0101_4^12 - 9122974839246675074426422087679928/41\ 685637639047670541621551771721*c_0101_4^11 - 4853078167961489443491341502351792/41685637639047670541621551771721\ *c_0101_4^10 + 5610022441817151878744095378026913/41685637639047670\ 541621551771721*c_0101_4^9 + 10931149214189362367314644452186538/41\ 685637639047670541621551771721*c_0101_4^8 + 154379566693716641394025748945189/41685637639047670541621551771721*\ c_0101_4^7 - 3082189365443873682161557796212586/4168563763904767054\ 1621551771721*c_0101_4^6 + 3692565165098415867333792518580842/41685\ 637639047670541621551771721*c_0101_4^5 + 1488093269977320512500107109250665/41685637639047670541621551771721\ *c_0101_4^4 - 903692949242353243502306313478609/4168563763904767054\ 1621551771721*c_0101_4^3 + 271920313556635971703589057873572/416856\ 37639047670541621551771721*c_0101_4^2 + 31335509584865538669688061743494/41685637639047670541621551771721*c\ _0101_4 - 37275162445599913601082967518734/416856376390476705416215\ 51771721, c_0101_4^20 - 4*c_0101_4^19 - 22*c_0101_4^18 + 72*c_0101_4^17 + 161*c_0101_4^16 - 530*c_0101_4^15 - 885*c_0101_4^14 + 814*c_0101_4^13 + 2120*c_0101_4^12 + 1296*c_0101_4^11 - 1158*c_0101_4^10 - 2615*c_0101_4^9 - 389*c_0101_4^8 + 860*c_0101_4^7 - 538*c_0101_4^6 - 493*c_0101_4^5 + 158*c_0101_4^4 + 41*c_0101_4^3 - 11*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB