Magma V2.19-8 Tue Aug 20 2013 16:19:19 on localhost [Seed = 4172899833] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3436 geometric_solution 6.60903867 oriented_manifold CS_known 0.0000000000000002 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.310987505222 0.254562987687 2 0 3 0 0132 2310 0132 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.763578575262 1.321526735901 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 -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.410156769594 0.923339397438 6 5 4 1 3201 0132 3201 0132 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 -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.410156769594 0.923339397438 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 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 1 0 -1 0 0 1 -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.381149452366 0.974517406357 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582938878916 0.823866559791 6 6 2 3 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 -1 0 1 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.505384158466 0.730301593873 ==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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_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' : negation(d['c_0011_6']), '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' : d['c_0011_6'], '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' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t + 797885270421237656470741644591036269184600903/766824904168231544937\ 0688106266740891189683*c_0101_4^23 + 3505262790313506875205599257272368454107160355/15336498083364630898\ 741376212533481782379366*c_0101_4^22 - 25190756661378216803839882520936380559170133007/7668249041682315449\ 370688106266740891189683*c_0101_4^21 + 106547668796434661745136841057632860535797119833/153364980833646308\ 98741376212533481782379366*c_0101_4^20 + 13108783772703443489386718036496175501190452631/1533649808336463089\ 8741376212533481782379366*c_0101_4^19 - 121378127007374599113100088645219725767067448023/766824904168231544\ 9370688106266740891189683*c_0101_4^18 - 472661220286446024846368032235942782025141084067/153364980833646308\ 98741376212533481782379366*c_0101_4^17 - 140654829817776516375260407360866306003545198397/153364980833646308\ 98741376212533481782379366*c_0101_4^16 + 1006546864361991847877692676002056900446838002085/76682490416823154\ 49370688106266740891189683*c_0101_4^15 + 286675602060775711798518751360973548148277556441/153364980833646308\ 98741376212533481782379366*c_0101_4^14 - 6093529379418609388257317239441666201006681653171/15336498083364630\ 898741376212533481782379366*c_0101_4^13 - 7645045261824918873869632740875649782091450102129/15336498083364630\ 898741376212533481782379366*c_0101_4^12 - 411404671951690308201060359140950802661896127102/766824904168231544\ 9370688106266740891189683*c_0101_4^11 + 7284893813031302185835299487564740384883665928221/15336498083364630\ 898741376212533481782379366*c_0101_4^10 + 8525466290459222434877632849781267003859097510853/15336498083364630\ 898741376212533481782379366*c_0101_4^9 + 1072442767934495174256094979162235599915834931558/76682490416823154\ 49370688106266740891189683*c_0101_4^8 - 2874393469904962536411981270106916748869274093609/15336498083364630\ 898741376212533481782379366*c_0101_4^7 - 1307176135197360566489631382824888117863525355304/76682490416823154\ 49370688106266740891189683*c_0101_4^6 - 377418438344063643782754226458048449423003473091/153364980833646308\ 98741376212533481782379366*c_0101_4^5 + 251672622779584081636767079982105993068292842471/766824904168231544\ 9370688106266740891189683*c_0101_4^4 + 139079058494944001393186706944035719539292571181/153364980833646308\ 98741376212533481782379366*c_0101_4^3 + 4915198511625003226830465674301453542166617057/76682490416823154493\ 70688106266740891189683*c_0101_4^2 + 3693061823323178349109753278787825764741965323/15336498083364630898\ 741376212533481782379366*c_0101_4 - 6711432053249073369928778512286566848109352243/15336498083364630898\ 741376212533481782379366, c_0011_0 - 1, c_0011_1 + 1885873609974180955655141225509697743733634/7668249041682315\ 449370688106266740891189683*c_0101_4^23 + 4044643888687115297612702160934411286712205/76682490416823154493706\ 88106266740891189683*c_0101_4^22 - 59399096410723168205717533643500463250044352/7668249041682315449370\ 688106266740891189683*c_0101_4^21 + 129779439380205259201641192219469336528003429/766824904168231544937\ 0688106266740891189683*c_0101_4^20 - 2236515233896883799453015513101537890510829/76682490416823154493706\ 88106266740891189683*c_0101_4^19 - 263364686656521625887910849641909083425565603/766824904168231544937\ 0688106266740891189683*c_0101_4^18 - 544089750693013350279607430795477680430957702/766824904168231544937\ 0688106266740891189683*c_0101_4^17 - 186098353622145335859161290183525945890083604/766824904168231544937\ 0688106266740891189683*c_0101_4^16 + 2284115848385657514400135878892160082821159468/76682490416823154493\ 70688106266740891189683*c_0101_4^15 + 175654186076999954011919171627186068896875353/766824904168231544937\ 0688106266740891189683*c_0101_4^14 - 6793328571836533333006829307851158987152097116/76682490416823154493\ 70688106266740891189683*c_0101_4^13 - 8622538339915793063637697702565264124587775829/76682490416823154493\ 70688106266740891189683*c_0101_4^12 - 1769425786210117482020203309720790955004039511/76682490416823154493\ 70688106266740891189683*c_0101_4^11 + 7010382805167350008393193112481861134499547080/76682490416823154493\ 70688106266740891189683*c_0101_4^10 + 9203343607491179842896433344807577958130615478/76682490416823154493\ 70688106266740891189683*c_0101_4^9 + 3235117969279523761341321653048772839594853251/76682490416823154493\ 70688106266740891189683*c_0101_4^8 - 1819910919799821905078703322432041654995101073/76682490416823154493\ 70688106266740891189683*c_0101_4^7 - 2241775388023503293857860943845474985692670924/76682490416823154493\ 70688106266740891189683*c_0101_4^6 - 526520487171002592030612146205702418260917344/766824904168231544937\ 0688106266740891189683*c_0101_4^5 + 273002380979188516975871965731076460714685391/766824904168231544937\ 0688106266740891189683*c_0101_4^4 + 53016107339907799516002470947155522943597602/7668249041682315449370\ 688106266740891189683*c_0101_4^3 + 39256025769158446438333385178035320138155792/7668249041682315449370\ 688106266740891189683*c_0101_4^2 - 1376837096326724845884174778588123789720315/76682490416823154493706\ 88106266740891189683*c_0101_4 - 80479094468529889721985054378141630\ 12589268/7668249041682315449370688106266740891189683, c_0011_3 - 4692989145669108953977858323825693690345792/7668249041682315\ 449370688106266740891189683*c_0101_4^23 - 10459285043837154388731660493250513215161397/7668249041682315449370\ 688106266740891189683*c_0101_4^22 + 147610122575269927351911860565928971987525123/766824904168231544937\ 0688106266740891189683*c_0101_4^21 - 309108699862684614941884449903813286662709407/766824904168231544937\ 0688106266740891189683*c_0101_4^20 - 41576025924475663562459490923138654216749654/7668249041682315449370\ 688106266740891189683*c_0101_4^19 + 698344130907353985430645794353663075955121352/766824904168231544937\ 0688106266740891189683*c_0101_4^18 + 1410172038565249315477848182226076903648017608/76682490416823154493\ 70688106266740891189683*c_0101_4^17 + 491713688570964086474002513068237781252225420/766824904168231544937\ 0688106266740891189683*c_0101_4^16 - 5839311035020107506661482707995701369042914186/76682490416823154493\ 70688106266740891189683*c_0101_4^15 - 1000404185525548687735284709206203411783771384/76682490416823154493\ 70688106266740891189683*c_0101_4^14 + 17622571999478026727964954532121332015270266569/7668249041682315449\ 370688106266740891189683*c_0101_4^13 + 22996766654020880415254519106627179241158897504/7668249041682315449\ 370688106266740891189683*c_0101_4^12 + 3965628110058783144990612817689386413790711093/76682490416823154493\ 70688106266740891189683*c_0101_4^11 - 20212267588095233713632233356673494401837622399/7668249041682315449\ 370688106266740891189683*c_0101_4^10 - 25409165231228940886293605571302435991538524354/7668249041682315449\ 370688106266740891189683*c_0101_4^9 - 7893327299368994076415898617554375355775857691/76682490416823154493\ 70688106266740891189683*c_0101_4^8 + 7055016748838839714511159709360596716168317510/76682490416823154493\ 70688106266740891189683*c_0101_4^7 + 7408208506538331698551568974358255944106223165/76682490416823154493\ 70688106266740891189683*c_0101_4^6 + 1486419613214334011927523195877471591982790663/76682490416823154493\ 70688106266740891189683*c_0101_4^5 - 1178062334839816804289165713791370614294653045/76682490416823154493\ 70688106266740891189683*c_0101_4^4 - 341158411386355253870172202393892803689603471/766824904168231544937\ 0688106266740891189683*c_0101_4^3 - 50954588053978601103109055489083892321351233/7668249041682315449370\ 688106266740891189683*c_0101_4^2 - 13922944226079126973241601239309937768472298/7668249041682315449370\ 688106266740891189683*c_0101_4 + 1357143325368641955965152862424452\ 1243775637/7668249041682315449370688106266740891189683, c_0011_6 - 3031249785604094308656560654567584799180141/7668249041682315\ 449370688106266740891189683*c_0101_4^23 - 7197914802103825407213224895490113491135392/76682490416823154493706\ 88106266740891189683*c_0101_4^22 + 94138202358050634697247108147923696418735386/7668249041682315449370\ 688106266740891189683*c_0101_4^21 - 186331915022506141008400192330671317451363520/766824904168231544937\ 0688106266740891189683*c_0101_4^20 - 49346047958644247586970137246421237063633726/7668249041682315449370\ 688106266740891189683*c_0101_4^19 + 435524524528887562757612524529100037941637959/766824904168231544937\ 0688106266740891189683*c_0101_4^18 + 970175251541265743812221580279760980266936776/766824904168231544937\ 0688106266740891189683*c_0101_4^17 + 479153305650905080040590184837662026491900651/766824904168231544937\ 0688106266740891189683*c_0101_4^16 - 3646410832798729540479063720766048362171597915/76682490416823154493\ 70688106266740891189683*c_0101_4^15 - 1138726179335169257154163318438525680922841483/76682490416823154493\ 70688106266740891189683*c_0101_4^14 + 11044948370175811361548564296759010348373405950/7668249041682315449\ 370688106266740891189683*c_0101_4^13 + 16364776460928090355922796994221917073524182410/7668249041682315449\ 370688106266740891189683*c_0101_4^12 + 5472974403370294874518537020952761995074879026/76682490416823154493\ 70688106266740891189683*c_0101_4^11 - 11284645260791393177818943404931886552646529024/7668249041682315449\ 370688106266740891189683*c_0101_4^10 - 17496113098082272116299692109735317969802050309/7668249041682315449\ 370688106266740891189683*c_0101_4^9 - 8021626918658213759455306520159220961923438468/76682490416823154493\ 70688106266740891189683*c_0101_4^8 + 2444029209667418131820416707962002386276964370/76682490416823154493\ 70688106266740891189683*c_0101_4^7 + 4488851292113606355306426608300237824332281348/76682490416823154493\ 70688106266740891189683*c_0101_4^6 + 1521650089502476343016698528132603626627988538/76682490416823154493\ 70688106266740891189683*c_0101_4^5 - 404429267753611830249417171942628256135514005/766824904168231544937\ 0688106266740891189683*c_0101_4^4 - 210241808270264205596837850890788131248675788/766824904168231544937\ 0688106266740891189683*c_0101_4^3 - 57227586647182771875914871877572246411229346/7668249041682315449370\ 688106266740891189683*c_0101_4^2 - 10765012732081453894152240160140273615321909/7668249041682315449370\ 688106266740891189683*c_0101_4 + 9518355072536921044463707549856484\ 510704515/7668249041682315449370688106266740891189683, c_0101_0 + 6147162163808028769172147331833404014040725/7668249041682315\ 449370688106266740891189683*c_0101_3*c_0101_4^23 + 14211751222912600057278684397878533494662754/7668249041682315449370\ 688106266740891189683*c_0101_3*c_0101_4^22 - 192594995952861472678806668301870275140920131/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^21 + 387940640124534070029322902959052596014044166/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^20 + 100274934165962791741749965391925347787310014/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^19 - 935857260053405572530773764315680275760620683/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^18 - 1925533423246455926745164836197627629213285250/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^17 - 740658719010531770172940309430658409309245227/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^16 + 7705651340762298339252066336787665639200953927/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^15 + 1994195414821782986982432072989695263488511520/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^14 - 23437738392332994201657288718951003270474910159/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^13 - 32104335759253385493959911969195471481435457534/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^12 - 6293638027052437247167311076130018578926095999/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^11 + 27851829710168532174118844577411335123552494578/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^10 + 35956018031728544266365719434782033692118043016/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^9 + 11813479806589530750976835245230007657247539238/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^8 - 10241549662945762126344374404022797773329055944/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^7 - 11267405392713226148713214257570937169545757410/7668249041682315449\ 370688106266740891189683*c_0101_3*c_0101_4^6 - 2532171014986564320871072357891456101574156575/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^5 + 1749120826198345262853916291208462552212834998/76682490416823154493\ 70688106266740891189683*c_0101_3*c_0101_4^4 + 707117253900758438879959400048487257870735274/766824904168231544937\ 0688106266740891189683*c_0101_3*c_0101_4^3 + 78150391316861558013502620627450612856853889/7668249041682315449370\ 688106266740891189683*c_0101_3*c_0101_4^2 + 23477165592609628807654545608107945279645987/7668249041682315449370\ 688106266740891189683*c_0101_3*c_0101_4 - 26610732194369005104150989310917747148918786/7668249041682315449370\ 688106266740891189683*c_0101_3, c_0101_3^2 + 272896668738753386302419709915015799244937/766824904168231\ 5449370688106266740891189683*c_0101_4^23 + 948859108450622375246985572809864549431936/766824904168231544937068\ 8106266740891189683*c_0101_4^22 - 788933414790995056118411724273859\ 8764551853/7668249041682315449370688106266740891189683*c_0101_4^21 + 7192852815974020978822690614446950828157341/76682490416823154493706\ 88106266740891189683*c_0101_4^20 + 27059849279502241282980899086584369109414033/7668249041682315449370\ 688106266740891189683*c_0101_4^19 - 44333244049855397030995006035407778341544692/7668249041682315449370\ 688106266740891189683*c_0101_4^18 - 127636271712945726233851912192725315834340950/766824904168231544937\ 0688106266740891189683*c_0101_4^17 - 122258877941397385015824324858214238182957516/766824904168231544937\ 0688106266740891189683*c_0101_4^16 + 313322959605115163774744481089394004189430635/766824904168231544937\ 0688106266740891189683*c_0101_4^15 + 467284826564063346265464410361177326222393784/766824904168231544937\ 0688106266740891189683*c_0101_4^14 - 1039440554209611440948374834790769497034833515/76682490416823154493\ 70688106266740891189683*c_0101_4^13 - 2538862219079583311927500929728747634447362183/76682490416823154493\ 70688106266740891189683*c_0101_4^12 - 1658978179883959844753491101186219393443968418/76682490416823154493\ 70688106266740891189683*c_0101_4^11 + 937559574974344714259949353398572747346097656/766824904168231544937\ 0688106266740891189683*c_0101_4^10 + 2673127633507217836556089567846882911962230319/76682490416823154493\ 70688106266740891189683*c_0101_4^9 + 1951836300148540006231579128587353832472166927/76682490416823154493\ 70688106266740891189683*c_0101_4^8 + 55218668925049110130101068825336866174895288/7668249041682315449370\ 688106266740891189683*c_0101_4^7 - 718879595388369049507436551207691588121748012/766824904168231544937\ 0688106266740891189683*c_0101_4^6 - 390825129731723179414737745648337145079553777/766824904168231544937\ 0688106266740891189683*c_0101_4^5 + 26613876800269266136830493790019754531326726/7668249041682315449370\ 688106266740891189683*c_0101_4^4 + 61886509088848617906195079884151693062959400/7668249041682315449370\ 688106266740891189683*c_0101_4^3 - 10930959747983221250910004110364562424643632/7668249041682315449370\ 688106266740891189683*c_0101_4^2 + 1381458603017915806077200689734325706078902/76682490416823154493706\ 88106266740891189683*c_0101_4 - 18858736099741809556551412255096977\ 43733634/7668249041682315449370688106266740891189683, c_0101_4^24 + 2*c_0101_4^23 - 32*c_0101_4^22 + 73*c_0101_4^21 - 5*c_0101_4^20 - 154*c_0101_4^19 - 265*c_0101_4^18 - 31*c_0101_4^17 + 1276*c_0101_4^16 - 73*c_0101_4^15 - 3850*c_0101_4^14 - 4021*c_0101_4^13 + 408*c_0101_4^12 + 4597*c_0101_4^11 + 4383*c_0101_4^10 + 298*c_0101_4^9 - 2000*c_0101_4^8 - 1218*c_0101_4^7 + 102*c_0101_4^6 + 352*c_0101_4^5 + 14*c_0101_4^4 - 12*c_0101_4^3 + c_0101_4^2 - 5*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB