Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 1646526094] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0683 geometric_solution 4.64994156 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497224081737 0.063635214545 2 0 2 0 0132 2310 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 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.524020538422 0.189607795505 1 3 1 3 0132 0132 1023 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 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.190374779091 3.068444811256 2 2 5 4 3201 0132 0132 0132 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 -1 0 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 0 0 0 0 -0.397786028052 0.551080862895 5 5 3 6 1302 1023 0132 0132 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 0 -1 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.342046589675 0.731095973587 4 4 6 3 1023 2031 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342046589675 0.731095973587 6 5 4 6 3012 3201 0132 1230 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 0 1.474983785317 1.122178241823 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], '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_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 269093984532345746759035200003106356/243428039749319243214850317941\ 4923*c_0101_6^25 + 7516058714241528326294567769290245101/2434280397\ 493192432148503179414923*c_0101_6^23 + 46033775183590340982030011010568697412/2434280397493192432148503179\ 414923*c_0101_6^21 - 657903205364160698165291778404913493958/243428\ 0397493192432148503179414923*c_0101_6^19 + 2165475454644150366441444443315096105191/24342803974931924321485031\ 79414923*c_0101_6^17 - 1172127975370906145353297104172304868879/243\ 4280397493192432148503179414923*c_0101_6^15 - 1381524355251705761815821791748799256162/24342803974931924321485031\ 79414923*c_0101_6^13 - 13955005433430386894405542718611301757312/24\ 34280397493192432148503179414923*c_0101_6^11 + 24410164630305704223544196296055711401902/2434280397493192432148503\ 179414923*c_0101_6^9 - 12531379873268032071127306833507070569172/24\ 34280397493192432148503179414923*c_0101_6^7 + 2284126695641003797656093001328724154476/24342803974931924321485031\ 79414923*c_0101_6^5 - 122536247521970592480078100331887498813/24342\ 80397493192432148503179414923*c_0101_6^3 + 145393208341331434186330635029026992/243428039749319243214850317941\ 4923*c_0101_6, c_0011_0 - 1, c_0011_1 + 154837250315108962719251939215238/24342803974931924321485031\ 79414923*c_0101_6^24 + 4353706226794760866877782020732521/243428039\ 7493192432148503179414923*c_0101_6^22 + 27301782350831576059336405102084296/2434280397493192432148503179414\ 923*c_0101_6^20 - 373458410751328233597385626461116425/243428039749\ 3192432148503179414923*c_0101_6^18 + 1176179096814590960095605324858498432/24342803974931924321485031794\ 14923*c_0101_6^16 - 454031470196528453690938443127039221/2434280397\ 493192432148503179414923*c_0101_6^14 - 882323277897504688809659069241979020/243428039749319243214850317941\ 4923*c_0101_6^12 - 8190700774426769630845723277136270165/2434280397\ 493192432148503179414923*c_0101_6^10 + 12514939527780922337665826696267065959/2434280397493192432148503179\ 414923*c_0101_6^8 - 4864350420337035427594875886293454639/243428039\ 7493192432148503179414923*c_0101_6^6 + 362106846714145368712294354632708087/243428039749319243214850317941\ 4923*c_0101_6^4 + 31480574465043586294489559378369170/2434280397493\ 192432148503179414923*c_0101_6^2 + 348394718177449068627184669939882/243428039749319243214850317941492\ 3, c_0011_4 + 157426401986975426942945284697500/24342803974931924321485031\ 79414923*c_0101_6^25 + 4417376630076845741615210107650178/243428039\ 7493192432148503179414923*c_0101_6^23 + 27496759855877354377000529693782491/2434280397493192432148503179414\ 923*c_0101_6^21 - 381449685769508596676493888024904110/243428039749\ 3192432148503179414923*c_0101_6^19 + 1216988953074589135220367328133233115/24342803974931924321485031794\ 14923*c_0101_6^17 - 519624667271972524521501321727921426/2434280397\ 493192432148503179414923*c_0101_6^15 - 903930142067018234585681274842988714/243428039749319243214850317941\ 4923*c_0101_6^13 - 8269905262493822784797272479296181344/2434280397\ 493192432148503179414923*c_0101_6^11 + 13235686933942873508967513054906554293/2434280397493192432148503179\ 414923*c_0101_6^9 - 5422834523179301918197525400930267970/243428039\ 7493192432148503179414923*c_0101_6^7 + 333151793160328956738445691952470844/243428039749319243214850317941\ 4923*c_0101_6^5 + 86509793141739161692930769660936951/2434280397493\ 192432148503179414923*c_0101_6^3 + 1303135921247578242219077081714619/24342803974931924321485031794149\ 23*c_0101_6, c_0011_6 + 81868350118362362160397431187709/243428039749319243214850317\ 9414923*c_0101_6^24 + 2300487261836308180323638306610820/2434280397\ 493192432148503179414923*c_0101_6^22 + 14393230245432222379464819550575530/2434280397493192432148503179414\ 923*c_0101_6^20 - 197739516779438323722885275941364755/243428039749\ 3192432148503179414923*c_0101_6^18 + 625353425405838967685730776809746205/243428039749319243214850317941\ 4923*c_0101_6^16 - 250072222602891487442951054981225993/24342803974\ 93192432148503179414923*c_0101_6^14 - 465251112584428006635824496705080878/243428039749319243214850317941\ 4923*c_0101_6^12 - 4323898187410421920683717170712615792/2434280397\ 493192432148503179414923*c_0101_6^10 + 6698478823825274943072275033857012147/24342803974931924321485031794\ 14923*c_0101_6^8 - 2659474326097110987711875053815854725/2434280397\ 493192432148503179414923*c_0101_6^6 + 221095322437254107123521877488683557/243428039749319243214850317941\ 4923*c_0101_6^4 + 7140904979819488684025123100500545/24342803974931\ 92432148503179414923*c_0101_6^2 + 640759119565568161541201611905219\ /2434280397493192432148503179414923, c_0101_0 - 146714470654441191837457601101060/24342803974931924321485031\ 79414923*c_0101_6^25 - 4143360870414058754436059766599835/243428039\ 7493192432148503179414923*c_0101_6^23 - 26370356663141318679891368532438848/2434280397493192432148503179414\ 923*c_0101_6^21 + 350874644636760177012035053964073632/243428039749\ 3192432148503179414923*c_0101_6^19 - 1069702926897727296921275101949545151/24342803974931924321485031794\ 14923*c_0101_6^17 + 277244974900010868041349778840178806/2434280397\ 493192432148503179414923*c_0101_6^15 + 935685656206533317921288576557228781/243428039749319243214850317941\ 4923*c_0101_6^13 + 7856404863130720711248343378160363041/2434280397\ 493192432148503179414923*c_0101_6^11 - 10942329285705834220653140285443337484/2434280397493192432148503179\ 414923*c_0101_6^9 + 2784668933849333291101862358619874555/243428039\ 7493192432148503179414923*c_0101_6^7 + 665573280075695792906140070685158013/243428039749319243214850317941\ 4923*c_0101_6^5 - 178470457708183838219565321230998123/243428039749\ 3192432148503179414923*c_0101_6^3 - 3247593589973155527417556978999763/24342803974931924321485031794149\ 23*c_0101_6, c_0101_1 + 51681866106311788233729192486678/243428039749319243214850317\ 9414923*c_0101_6^24 + 1455962207332154251424751620894351/2434280397\ 493192432148503179414923*c_0101_6^22 + 9191703134167718193822716030869914/24342803974931924321485031794149\ 23*c_0101_6^20 - 124139955058531657727730863646913541/2434280397493\ 192432148503179414923*c_0101_6^18 + 386056781496398161906957726584083949/243428039749319243214850317941\ 4923*c_0101_6^16 - 132502927832853801813897053529480090/24342803974\ 93192432148503179414923*c_0101_6^14 - 296718929660164525910438812503063150/243428039749319243214850317941\ 4923*c_0101_6^12 - 2750546904991432639127215453493843398/2434280397\ 493192432148503179414923*c_0101_6^10 + 4025967849013374046095075052242359132/24342803974931924321485031794\ 14923*c_0101_6^8 - 1446718693371608163244315942668437516/2434280397\ 493192432148503179414923*c_0101_6^6 + 87820281775292432513314894663151043/2434280397493192432148503179414\ 923*c_0101_6^4 + 3888118856540259695374190368933904/243428039749319\ 2432148503179414923*c_0101_6^2 + 949537624443267901978305082757440/\ 2434280397493192432148503179414923, c_0101_6^26 + 28*c_0101_6^24 + 173*c_0101_6^22 - 2433*c_0101_6^20 + 7879*c_0101_6^18 - 3807*c_0101_6^16 - 5413*c_0101_6^14 - 52225*c_0101_6^12 + 87119*c_0101_6^10 - 40448*c_0101_6^8 + 5517*c_0101_6^6 + 9*c_0101_6^4 - 10*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB