Magma V2.19-8 Tue Aug 20 2013 16:18:42 on localhost [Seed = 139040121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2868 geometric_solution 6.08702794 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 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.328477546120 0.334073932283 2 0 3 0 0132 2310 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 0 0 0 0 0 0 0 -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.175061312443 1.187882937932 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.384399992326 0.395654759670 6 5 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -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 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.384399992326 0.395654759670 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641645977969 1.449357469117 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815613799192 1.164161719739 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 -1 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 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.239219678321 1.252672041988 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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' : negation(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_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 5202930507699078170844402141383951307412/13526215528482867136991027\ 46681605676791*c_1001_2^20 - 48662898641141856654053401311252972620\ 977/9468350869938006995893719226771239737537*c_1001_2^19 - 531273946977150617688584370035560975251732/946835086993800699589371\ 9226771239737537*c_1001_2^18 + 137998409370480975561994528339892524\ 5662287/9468350869938006995893719226771239737537*c_1001_2^17 + 1809909648527751211946141136543812603640139/94683508699380069958937\ 19226771239737537*c_1001_2^16 + 10621129352286182999957306716187247\ 388599619/9468350869938006995893719226771239737537*c_1001_2^15 - 537180607163417752458916161065364503441009/135262155284828671369910\ 2746681605676791*c_1001_2^14 + 825493119912584384692531890006204442\ 1906522/9468350869938006995893719226771239737537*c_1001_2^13 - 42244154128306113824170172286310008746067393/9468350869938006995893\ 719226771239737537*c_1001_2^12 - 1131633716491519939766260892064731\ 7386838204/9468350869938006995893719226771239737537*c_1001_2^11 - 9107209361787637236337174773896524516757453/94683508699380069958937\ 19226771239737537*c_1001_2^10 + 54129853627092737272034298648289103\ 173060/1352621552848286713699102746681605676791*c_1001_2^9 + 65030989687750849980299672891450309865033601/9468350869938006995893\ 719226771239737537*c_1001_2^8 + 11259694973377514410714051377504317\ 969343920/9468350869938006995893719226771239737537*c_1001_2^7 + 25722837643792766917510493364386745478280785/9468350869938006995893\ 719226771239737537*c_1001_2^6 - 45762775878361539727982452698815387\ 266161568/9468350869938006995893719226771239737537*c_1001_2^5 + 10746403912718275699039949638147833919145945/9468350869938006995893\ 719226771239737537*c_1001_2^4 - 26468027458821829368204427838904593\ 789622273/9468350869938006995893719226771239737537*c_1001_2^3 + 530301955786740732884235997151679552923359/946835086993800699589371\ 9226771239737537*c_1001_2^2 + 4203118720113480768201496588264894694\ 846309/9468350869938006995893719226771239737537*c_1001_2 - 1169814867617826801904670275731420121797646/94683508699380069958937\ 19226771239737537, c_0011_0 - 1, c_0011_1 + 17847817801182527798535219366148213258/135262155284828671369\ 9102746681605676791*c_1001_2^20 + 160708603349309300254118436293361\ 51745/1352621552848286713699102746681605676791*c_1001_2^19 + 252920583220180979169704978891101297921/135262155284828671369910274\ 6681605676791*c_1001_2^18 - 785953011959189288142618380547755367972\ /1352621552848286713699102746681605676791*c_1001_2^17 - 550469522518618840205506962903200056058/135262155284828671369910274\ 6681605676791*c_1001_2^16 - 493727389817721255484885213985248120361\ 7/1352621552848286713699102746681605676791*c_1001_2^15 + 3951403089446153182176993792946184826763/13526215528482867136991027\ 46681605676791*c_1001_2^14 - 56957396415694778182717181642360959307\ 46/1352621552848286713699102746681605676791*c_1001_2^13 + 22932194622346723921865418840708994738039/1352621552848286713699102\ 746681605676791*c_1001_2^12 - 3747245390096025001233436932600741566\ 061/1352621552848286713699102746681605676791*c_1001_2^11 + 6122579065459729435863194560705498667006/13526215528482867136991027\ 46681605676791*c_1001_2^10 - 72609407703551111708310641490272781246\ 0/1352621552848286713699102746681605676791*c_1001_2^9 - 30775665241807058597722856085809708806079/1352621552848286713699102\ 746681605676791*c_1001_2^8 + 76719263635330207218117885930824733031\ 99/1352621552848286713699102746681605676791*c_1001_2^7 - 15652808869501146181797023579223393929909/1352621552848286713699102\ 746681605676791*c_1001_2^6 + 26257242116058868914584195043685934560\ 459/1352621552848286713699102746681605676791*c_1001_2^5 - 18499708304014057949821957792869937820662/1352621552848286713699102\ 746681605676791*c_1001_2^4 + 18393607344847982922758675812700722956\ 863/1352621552848286713699102746681605676791*c_1001_2^3 - 8387948737960336976988530219478230278115/13526215528482867136991027\ 46681605676791*c_1001_2^2 - 186065906271035561288781133071940952350\ /1352621552848286713699102746681605676791*c_1001_2 + 1231142956686744961351322836175650147314/13526215528482867136991027\ 46681605676791, c_0011_3 - 23021486024864971458106398921696591735/135262155284828671369\ 9102746681605676791*c_1001_2^20 - 374073141580895675710295944840940\ 10508/1352621552848286713699102746681605676791*c_1001_2^19 - 345518429869717897008043959409738160455/135262155284828671369910274\ 6681605676791*c_1001_2^18 + 768147465475447858457139967198000004212\ /1352621552848286713699102746681605676791*c_1001_2^17 + 1369184758604757817585488474556833589291/13526215528482867136991027\ 46681605676791*c_1001_2^16 + 69706707145451762467257443854532095946\ 40/1352621552848286713699102746681605676791*c_1001_2^15 - 280474852741019347343551972853985485384/135262155284828671369910274\ 6681605676791*c_1001_2^14 + 521152943688472955586140868962603104850\ 3/1352621552848286713699102746681605676791*c_1001_2^13 - 23048739376078127821041855126872610338555/1352621552848286713699102\ 746681605676791*c_1001_2^12 - 1291678304553671010131455110482742337\ 8277/1352621552848286713699102746681605676791*c_1001_2^11 - 5663186178566038912289380529125848163495/13526215528482867136991027\ 46681605676791*c_1001_2^10 - 52139214429259483223589560811598486869\ 40/1352621552848286713699102746681605676791*c_1001_2^9 + 35388982075843774954012900820790371384761/1352621552848286713699102\ 746681605676791*c_1001_2^8 + 12259125260667845934769763575071666092\ 036/1352621552848286713699102746681605676791*c_1001_2^7 + 12921510808628086007075359249275330136395/1352621552848286713699102\ 746681605676791*c_1001_2^6 - 21551133430892827459569676266196632761\ 366/1352621552848286713699102746681605676791*c_1001_2^5 + 2693657545601388587483904145824903046554/13526215528482867136991027\ 46681605676791*c_1001_2^4 - 886944833940092265165024826760917382014\ 9/1352621552848286713699102746681605676791*c_1001_2^3 - 3450150000173295662588831332622550636145/13526215528482867136991027\ 46681605676791*c_1001_2^2 + 565594747454719069926638815251941309840\ 5/1352621552848286713699102746681605676791*c_1001_2 - 19775886592040183745006083767580150811/1352621552848286713699102746\ 681605676791, c_0101_0 + 33153786501247052883407913272923991568/135262155284828671369\ 9102746681605676791*c_1001_2^20 + 392279493386731895142926977616390\ 07904/1352621552848286713699102746681605676791*c_1001_2^19 + 475881435126853885415650181482278128423/135262155284828671369910274\ 6681605676791*c_1001_2^18 - 133295285580784361831603687626499345063\ 6/1352621552848286713699102746681605676791*c_1001_2^17 - 1470017753804421571737936649342794827563/13526215528482867136991027\ 46681605676791*c_1001_2^16 - 93967722484576408534766223997759411244\ 93/1352621552848286713699102746681605676791*c_1001_2^15 + 5035384216475573923701144457715398644017/13526215528482867136991027\ 46681605676791*c_1001_2^14 - 76894741079595950689986940156255070285\ 65/1352621552848286713699102746681605676791*c_1001_2^13 + 39806992535195414409555724954351286213286/1352621552848286713699102\ 746681605676791*c_1001_2^12 + 3852374503989273582019832348043455162\ 786/1352621552848286713699102746681605676791*c_1001_2^11 + 5053143711299755771068059286189216768739/13526215528482867136991027\ 46681605676791*c_1001_2^10 - 48301153332990048858489981084364794831\ 18/1352621552848286713699102746681605676791*c_1001_2^9 - 59960904038764436149855327032082153364159/1352621552848286713699102\ 746681605676791*c_1001_2^8 - 12738204421763853018089476427186357060\ 8/1352621552848286713699102746681605676791*c_1001_2^7 - 18193218033018147989000432918086133346110/1352621552848286713699102\ 746681605676791*c_1001_2^6 + 50725923099399835577647617684733076754\ 871/1352621552848286713699102746681605676791*c_1001_2^5 - 13501766376173419128492210943946638690778/1352621552848286713699102\ 746681605676791*c_1001_2^4 + 25173935462845920774485719822400155010\ 259/1352621552848286713699102746681605676791*c_1001_2^3 - 7365030280531212966696920540824599830367/13526215528482867136991027\ 46681605676791*c_1001_2^2 - 384090789473282002209566367134566136482\ 9/1352621552848286713699102746681605676791*c_1001_2 + 239850913033592583671467800821045757799/135262155284828671369910274\ 6681605676791, c_0101_1 + 3161855084694397898790557010865534463/1352621552848286713699\ 102746681605676791*c_1001_2^20 + 1728107975032164695356650518053863\ 6960/1352621552848286713699102746681605676791*c_1001_2^19 + 70252504960719483667603965940845856765/1352621552848286713699102746\ 681605676791*c_1001_2^18 + 85321745710986822793014965386573997787/1\ 352621552848286713699102746681605676791*c_1001_2^17 - 537978061600375279938816841601781039994/135262155284828671369910274\ 6681605676791*c_1001_2^16 - 172062909152047621391318948678597782300\ 7/1352621552848286713699102746681605676791*c_1001_2^15 - 3885950349048033244559580274912971936483/13526215528482867136991027\ 46681605676791*c_1001_2^14 - 17934353559811580496785344900529809572\ 56/1352621552848286713699102746681605676791*c_1001_2^13 - 894810863874681633203240500369958614350/135262155284828671369910274\ 6681605676791*c_1001_2^12 + 121465395840463467722870157813653697193\ 49/1352621552848286713699102746681605676791*c_1001_2^11 + 9289300722153296693133343257087726561968/13526215528482867136991027\ 46681605676791*c_1001_2^10 + 81298660576329345858142896851884468814\ 99/1352621552848286713699102746681605676791*c_1001_2^9 + 3280961629773024873430546817369607893988/13526215528482867136991027\ 46681605676791*c_1001_2^8 - 152001969937600501620434232974968619011\ 96/1352621552848286713699102746681605676791*c_1001_2^7 - 9909438090465867637005163815867965779047/13526215528482867136991027\ 46681605676791*c_1001_2^6 - 839381648189146348401140525720885003726\ 5/1352621552848286713699102746681605676791*c_1001_2^5 + 4544940521883577911344171678278666170398/13526215528482867136991027\ 46681605676791*c_1001_2^4 - 378825664685897051689871102932265641054\ 2/1352621552848286713699102746681605676791*c_1001_2^3 + 4049816868097534388937683033151975407139/13526215528482867136991027\ 46681605676791*c_1001_2^2 + 151688831104033231246384383750206316590\ 7/1352621552848286713699102746681605676791*c_1001_2 - 693436271812004834507083872642622148108/135262155284828671369910274\ 6681605676791, c_0101_3 - 28226891685319932062580020811476218066/135262155284828671369\ 9102746681605676791*c_1001_2^20 - 487835360140137694856682770911400\ 85622/1352621552848286713699102746681605676791*c_1001_2^19 - 435190291519885226939264757578975638035/135262155284828671369910274\ 6681605676791*c_1001_2^18 + 889383529474640436193477283914796301921\ /1352621552848286713699102746681605676791*c_1001_2^17 + 1677259692106658204984996495548708049454/13526215528482867136991027\ 46681605676791*c_1001_2^16 + 89841671320770474227720353278809939426\ 33/1352621552848286713699102746681605676791*c_1001_2^15 + 857786392844006357671826125808907693140/135262155284828671369910274\ 6681605676791*c_1001_2^14 + 832239662732234720356303624807916033393\ 0/1352621552848286713699102746681605676791*c_1001_2^13 - 28416559096668472653977066762753978291920/1352621552848286713699102\ 746681605676791*c_1001_2^12 - 1707363382607780270705457319969564167\ 6978/1352621552848286713699102746681605676791*c_1001_2^11 - 16503580199755828180946947325327417579270/1352621552848286713699102\ 746681605676791*c_1001_2^10 - 8642774478771067090149350176957614215\ 016/1352621552848286713699102746681605676791*c_1001_2^9 + 40484246928627304372132194890576380509803/1352621552848286713699102\ 746681605676791*c_1001_2^8 + 18582400184664191143021421340792637709\ 315/1352621552848286713699102746681605676791*c_1001_2^7 + 27811155396002793857681855931732947060096/1352621552848286713699102\ 746681605676791*c_1001_2^6 - 23993872455654561616265176791962276363\ 185/1352621552848286713699102746681605676791*c_1001_2^5 + 6573308422988718092229934456628445844824/13526215528482867136991027\ 46681605676791*c_1001_2^4 - 164674587388795512975748906551464609387\ 35/1352621552848286713699102746681605676791*c_1001_2^3 - 1351983065601429993848854477121118423321/13526215528482867136991027\ 46681605676791*c_1001_2^2 + 179607870529661262802257536369230410189\ 6/1352621552848286713699102746681605676791*c_1001_2 + 1262329348731954902718663676401533512241/13526215528482867136991027\ 46681605676791, c_1001_2^21 + c_1001_2^20 + 14*c_1001_2^19 - 43*c_1001_2^18 - 39*c_1001_2^17 - 270*c_1001_2^16 + 209*c_1001_2^15 - 220*c_1001_2^14 + 1228*c_1001_2^13 - 51*c_1001_2^12 - 11*c_1001_2^11 - 164*c_1001_2^10 - 1823*c_1001_2^9 + 291*c_1001_2^8 - 351*c_1001_2^7 + 1579*c_1001_2^6 - 613*c_1001_2^5 + 662*c_1001_2^4 - 251*c_1001_2^3 - 207*c_1001_2^2 + 58*c_1001_2 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB