Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 341149940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1967 geometric_solution 5.54422726 oriented_manifold CS_known 0.0000000000000002 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.606178936588 0.240974095909 0 2 2 0 3201 0132 1023 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 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.228198433815 0.519557172167 3 1 1 4 0132 0132 1023 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 -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.410165328064 0.428500992514 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 1 0 0 -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 -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.536311606075 0.628723417281 3 6 2 5 2031 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 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.536311606075 0.628723417281 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.214682488798 0.920635510590 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 -1 0 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 1 -1 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.406611332395 0.602770839595 ==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' : negation(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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_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' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), '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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 5604158996582274806485210818353443454/27817633604613720849689105133\ 118023*c_0101_5^29 - 268951203098651633476129199391412750139/278176\ 33604613720849689105133118023*c_0101_5^27 + 5091873756458300880842010138537924975059/27817633604613720849689105\ 133118023*c_0101_5^25 - 49693728247383020958912139443998291281150/2\ 7817633604613720849689105133118023*c_0101_5^23 + 93856701343389805911238043847229576613535/9272544534871240283229701\ 711039341*c_0101_5^21 - 352303484989121802342798247945584703601830/\ 9272544534871240283229701711039341*c_0101_5^19 + 2735944861584732152458626553843067212798609/27817633604613720849689\ 105133118023*c_0101_5^17 - 1646576661965287136753353828685011111112\ 725/9272544534871240283229701711039341*c_0101_5^15 + 2093030041779189780244822945596287058615954/92725445348712402832297\ 01711039341*c_0101_5^13 - 18841775550203943765190718235312112207357\ 19/9272544534871240283229701711039341*c_0101_5^11 + 3563989662440286622080451448949133062446614/27817633604613720849689\ 105133118023*c_0101_5^9 - 50081249331855172445926821636913155112569\ 6/9272544534871240283229701711039341*c_0101_5^7 + 382416844761306601246292903741041518386740/278176336046137208496891\ 05133118023*c_0101_5^5 - 48892056858557262865575514868591612595700/\ 27817633604613720849689105133118023*c_0101_5^3 + 2361830325164449281269413495941190637971/27817633604613720849689105\ 133118023*c_0101_5, c_0011_0 - 1, c_0011_1 + 23575061861970864838860045547628/927254453487124028322970171\ 1039341*c_0101_5^28 - 1161254702843822959317722927315222/9272544534\ 871240283229701711039341*c_0101_5^26 + 22836663702837475972989650288588927/9272544534871240283229701711039\ 341*c_0101_5^24 - 235393969127982961717434783411033146/927254453487\ 1240283229701711039341*c_0101_5^22 + 1434383148108611836261518852383906637/92725445348712402832297017110\ 39341*c_0101_5^20 - 5800500446916709555278692440879191005/927254453\ 4871240283229701711039341*c_0101_5^18 + 16312469547875162574342242413094778787/9272544534871240283229701711\ 039341*c_0101_5^16 - 32273276258565941919776554166228663666/9272544\ 534871240283229701711039341*c_0101_5^14 + 44896324008661714948370038038211131527/9272544534871240283229701711\ 039341*c_0101_5^12 - 43636735837514461290917834526662454511/9272544\ 534871240283229701711039341*c_0101_5^10 + 29061147720408269211069230361701943214/9272544534871240283229701711\ 039341*c_0101_5^8 - 12467799940378802184855768338856542023/92725445\ 34871240283229701711039341*c_0101_5^6 + 2833746272281931672756498499358765118/92725445348712402832297017110\ 39341*c_0101_5^4 - 143759623640410727377846817048168602/92725445348\ 71240283229701711039341*c_0101_5^2 - 7171239770178104037057369932595854/92725445348712402832297017110393\ 41, c_0011_4 + 147730920911362571670357364689836/92725445348712402832297017\ 11039341*c_0101_5^28 - 7203807852688224715526227294178647/927254453\ 4871240283229701711039341*c_0101_5^26 + 139550236100463694147949723383148407/927254453487124028322970171103\ 9341*c_0101_5^24 - 1406631434471783942775266149545480897/9272544534\ 871240283229701711039341*c_0101_5^22 + 8306551744652615833462135349461958448/92725445348712402832297017110\ 39341*c_0101_5^20 - 32412830397511939496855341198607709327/92725445\ 34871240283229701711039341*c_0101_5^18 + 87432372318643367853457894999892159186/9272544534871240283229701711\ 039341*c_0101_5^16 - 164485072271295392859861323909953764623/927254\ 4534871240283229701711039341*c_0101_5^14 + 216253544923087897650097260062914223053/927254453487124028322970171\ 1039341*c_0101_5^12 - 198639033562978559933179391138880479592/92725\ 44534871240283229701711039341*c_0101_5^10 + 125512880603744696747171608144498829216/927254453487124028322970171\ 1039341*c_0101_5^8 - 51320863927255736800384251216540046793/9272544\ 534871240283229701711039341*c_0101_5^6 + 11551830062303704364522372023513550964/9272544534871240283229701711\ 039341*c_0101_5^4 - 934975990510972053952824699126470836/9272544534\ 871240283229701711039341*c_0101_5^2 + 2320249869510148577938232586537341/92725445348712402832297017110393\ 41, c_0011_6 + 329905661609484297030503938698283/92725445348712402832297017\ 11039341*c_0101_5^28 - 15715644442023150974828945038397741/92725445\ 34871240283229701711039341*c_0101_5^26 + 294238835693740861789646484270908236/927254453487124028322970171103\ 9341*c_0101_5^24 - 2823976503145534912373454324773577044/9272544534\ 871240283229701711039341*c_0101_5^22 + 15627595658002851600012308372059054391/9272544534871240283229701711\ 039341*c_0101_5^20 - 57167903291580665278844372320606357780/9272544\ 534871240283229701711039341*c_0101_5^18 + 143333975573731329416973954016503118452/927254453487124028322970171\ 1039341*c_0101_5^16 - 248607586954257336966355169981527305343/92725\ 44534871240283229701711039341*c_0101_5^14 + 301097524183771914733052095756839360549/927254453487124028322970171\ 1039341*c_0101_5^12 - 255713216545698330398974525694303681141/92725\ 44534871240283229701711039341*c_0101_5^10 + 149402405006775444968162731613613352620/927254453487124028322970171\ 1039341*c_0101_5^8 - 56140414671162907138903807604865983768/9272544\ 534871240283229701711039341*c_0101_5^6 + 11550913332048553842482919280001881302/9272544534871240283229701711\ 039341*c_0101_5^4 - 818039253374308455993007272270358684/9272544534\ 871240283229701711039341*c_0101_5^2 - 5631496726037306620724152205800504/92725445348712402832297017110393\ 41, c_0101_0 + 58209485248041240273349209210203/927254453487124028322970171\ 1039341*c_0101_5^29 - 2856591385865588459946251496655632/9272544534\ 871240283229701711039341*c_0101_5^27 + 55903939678819909191681266289771673/9272544534871240283229701711039\ 341*c_0101_5^25 - 572953962964151356277403000513521223/927254453487\ 1240283229701711039341*c_0101_5^23 + 3474177220433148440795530271368785344/92725445348712402832297017110\ 39341*c_0101_5^21 - 14049311097619350049725957092661061537/92725445\ 34871240283229701711039341*c_0101_5^19 + 39735397878045293283109988642527275935/9272544534871240283229701711\ 039341*c_0101_5^17 - 79849568592870121666082900734207079747/9272544\ 534871240283229701711039341*c_0101_5^15 + 114773389188445120080912436614215008705/927254453487124028322970171\ 1039341*c_0101_5^13 - 118166084790476586676696139077981657573/92725\ 44534871240283229701711039341*c_0101_5^11 + 86293496962700596760852499147658385551/9272544534871240283229701711\ 039341*c_0101_5^9 - 43119208950067567060849494901638485562/92725445\ 34871240283229701711039341*c_0101_5^7 + 13420385529893606925699389638818197742/9272544534871240283229701711\ 039341*c_0101_5^5 - 2075816718268896668981953928984218943/927254453\ 4871240283229701711039341*c_0101_5^3 + 89303510005815646977487112713283128/9272544534871240283229701711039\ 341*c_0101_5, c_0101_2 + 1002403363574061958208420197555864/9272544534871240283229701\ 711039341*c_0101_5^29 - 47911514213418834236247203297873336/9272544\ 534871240283229701711039341*c_0101_5^27 + 901521970192536187669179215764135337/927254453487124028322970171103\ 9341*c_0101_5^25 - 8716799682205279900933151328033891879/9272544534\ 871240283229701711039341*c_0101_5^23 + 48735502680202648606009746605596085013/9272544534871240283229701711\ 039341*c_0101_5^21 - 180205829080523872368304578517474561266/927254\ 4534871240283229701711039341*c_0101_5^19 + 457756740711201961594848039911306713093/927254453487124028322970171\ 1039341*c_0101_5^17 - 806650685935745417366772762665287689677/92725\ 44534871240283229701711039341*c_0101_5^15 + 995161422511058614564321268255940355807/927254453487124028322970171\ 1039341*c_0101_5^13 - 864241071312003162293319087377265073560/92725\ 44534871240283229701711039341*c_0101_5^11 + 520853067880907242196390657969974190972/927254453487124028322970171\ 1039341*c_0101_5^9 - 206079856168512110633713050341862185309/927254\ 4534871240283229701711039341*c_0101_5^7 + 47436745538134365646854702108396302451/9272544534871240283229701711\ 039341*c_0101_5^5 - 5057231312925903509023126652855578504/927254453\ 4871240283229701711039341*c_0101_5^3 + 164322039424173697240718655256497433/927254453487124028322970171103\ 9341*c_0101_5, c_0101_5^30 - 48*c_0101_5^28 + 909*c_0101_5^26 - 8875*c_0101_5^24 + 50317*c_0101_5^22 - 189003*c_0101_5^20 + 489695*c_0101_5^18 - 885190*c_0101_5^16 + 1126938*c_0101_5^14 - 1016514*c_0101_5^12 + 642665*c_0101_5^10 - 272041*c_0101_5^8 + 69749*c_0101_5^6 - 9054*c_0101_5^4 + 453*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB