Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 4088557333] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0774 geometric_solution 4.71774805 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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.095438431182 0.275617802098 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.976368469027 3.406227463099 3 3 4 0 1023 3012 0132 0132 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 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.317928840532 1.363246339720 2 2 0 4 1230 1023 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 -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.317928840532 1.363246339720 5 5 3 2 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 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 1 -1 0 -1 0 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 -1.244827677745 1.229513320670 4 6 6 4 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 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.001290757621 0.378881268247 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 -1 1 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 -1 1 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 2.813516843046 2.817032029245 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 24391330461208713717845314522208623352636760767/1114566574202840926\ 9936178620595606906366830335*c_1100_0^19 + 6754093072121765346805174344517248923579712042/41280243488994108407\ 1710319281318774309882605*c_1100_0^18 + 9137756940742321999582801826415335264825174989/22291331484056818539\ 87235724119121381273366067*c_1100_0^17 - 1200877929313776998006568687659883890460246802331/37152219140094697\ 56645392873531868968788943445*c_1100_0^16 + 5820475904769743538625339701959122023281268046844/11145665742028409\ 269936178620595606906366830335*c_1100_0^15 + 29908018358498680752440086015867953865145526041818/1114566574202840\ 9269936178620595606906366830335*c_1100_0^14 - 82755278739006469665692967241860125199082898244794/1114566574202840\ 9269936178620595606906366830335*c_1100_0^13 - 911268606197397642776021534410729912251787310480/768666602898510984\ 13352956004107633837012623*c_1100_0^12 + 166613016425252673434333047638009857966819463552292/371522191400946\ 9756645392873531868968788943445*c_1100_0^11 + 109842356041616201255814718687426400680885425182569/371522191400946\ 9756645392873531868968788943445*c_1100_0^10 - 288344647200786008940563223462797925708968847669470/222913314840568\ 1853987235724119121381273366067*c_1100_0^9 - 190134788317487789135460360189397071802806176471342/111456657420284\ 09269936178620595606906366830335*c_1100_0^8 + 686255054935151344736388283240774835151109855087651/371522191400946\ 9756645392873531868968788943445*c_1100_0^7 - 97967119655005530749836842170006882686047086822950/2229133148405681\ 853987235724119121381273366067*c_1100_0^6 - 1425816987216141370235596773635937348504086599484621/11145665742028\ 409269936178620595606906366830335*c_1100_0^5 + 723366455642398143897093384133504751076963124005158/111456657420284\ 09269936178620595606906366830335*c_1100_0^4 + 78669908657367225002528231905074249975459477642005/2229133148405681\ 853987235724119121381273366067*c_1100_0^3 - 312812583302760486993941050581252706444387333461431/111456657420284\ 09269936178620595606906366830335*c_1100_0^2 - 707389434015024132399608100137671810304803447661/384333301449255492\ 066764780020538169185063115*c_1100_0 + 1333755952680509803814241913615040422183812294263/38433330144925549\ 2066764780020538169185063115, c_0011_0 - 1, c_0011_2 + 3250522260547601033002483490607640134786/4908471282876826207\ 74923090703113881462405*c_1100_0^19 - 24492376836976322488355248325309289598572/4908471282876826207749230\ 90703113881462405*c_1100_0^18 - 88122171096236346088033016859865696\ 4095/98169425657536524154984618140622776292481*c_1100_0^17 + 478235600466171396161696552983151980416094/490847128287682620774923\ 090703113881462405*c_1100_0^16 - 8021802093183167780727097553461516\ 25596522/490847128287682620774923090703113881462405*c_1100_0^15 - 3901732003871692196386417776863273581684324/49084712828768262077492\ 3090703113881462405*c_1100_0^14 + 111613037149597052946945990022082\ 29051882227/490847128287682620774923090703113881462405*c_1100_0^13 + 3342538536540808869429683734128548036650036/98169425657536524154984\ 618140622776292481*c_1100_0^12 - 6647057538592037647668910552413015\ 1327387073/490847128287682620774923090703113881462405*c_1100_0^11 - 39490143457916755015777403241505197607061646/4908471282876826207749\ 23090703113881462405*c_1100_0^10 + 37660028416486953457496227354282281661115066/9816942565753652415498\ 4618140622776292481*c_1100_0^9 + 1539552745670105530480139200319579\ 2395062291/490847128287682620774923090703113881462405*c_1100_0^8 - 258668089213409802241948145919827040555475089/490847128287682620774\ 923090703113881462405*c_1100_0^7 + 14351263436220161495261834978581292435162407/9816942565753652415498\ 4618140622776292481*c_1100_0^6 + 1666796068429374585853999616555852\ 44478043658/490847128287682620774923090703113881462405*c_1100_0^5 - 90828081479996532868945935891910252986656734/4908471282876826207749\ 23090703113881462405*c_1100_0^4 - 793933574037427580023723616011672\ 3678881006/98169425657536524154984618140622776292481*c_1100_0^3 + 34070218710513280381839779215976179763474508/4908471282876826207749\ 23090703113881462405*c_1100_0^2 + 102781577495357259066613779722598\ 4682511367/490847128287682620774923090703113881462405*c_1100_0 - 3258673283302138156637378061337426406436066/49084712828768262077492\ 3090703113881462405, c_0011_4 + 34370070281873069126064976688118825424914/142345667203427960\ 02472769630390302562409745*c_1100_0^19 - 244253674440967741619461190427246733584063/142345667203427960024727\ 69630390302562409745*c_1100_0^18 - 28871569777172496980867501819476494174263/2846913344068559200494553\ 926078060512481949*c_1100_0^17 + 4939873361956024958334537208185863\ 608800776/14234566720342796002472769630390302562409745*c_1100_0^16 - 6341057454189011997071818996309814558486388/14234566720342796002472\ 769630390302562409745*c_1100_0^15 - 43030326744190543554568358635891376984751896/1423456672034279600247\ 2769630390302562409745*c_1100_0^14 + 97427683156666867073627458352112755166900468/1423456672034279600247\ 2769630390302562409745*c_1100_0^13 + 1464133624826912352511033383797867461281833/98169425657536524154984\ 618140622776292481*c_1100_0^12 - 5871869848092967871362558212312826\ 69305933792/14234566720342796002472769630390302562409745*c_1100_0^1\ 1 - 653721555170205082982205982824771331589117224/14234566720342796\ 002472769630390302562409745*c_1100_0^10 + 317451396975791745180600133471792727407080151/284691334406855920049\ 4553926078060512481949*c_1100_0^9 + 849135082941434686763982854559246691603256724/142345667203427960024\ 72769630390302562409745*c_1100_0^8 - 2109581775098226203914381327880215702217591426/14234566720342796002\ 472769630390302562409745*c_1100_0^7 - 58129137837067987836590919111308181165431523/2846913344068559200494\ 553926078060512481949*c_1100_0^6 + 1491602820237440477892196987224766397399114997/14234566720342796002\ 472769630390302562409745*c_1100_0^5 - 153137983221720678958815531592876196868866596/142345667203427960024\ 72769630390302562409745*c_1100_0^4 - 113331677028515346663321779505608161955803996/284691334406855920049\ 4553926078060512481949*c_1100_0^3 + 153558400895189924902713192884018648323827202/142345667203427960024\ 72769630390302562409745*c_1100_0^2 + 3738136775407943565444203645817152757113997/49084712828768262077492\ 3090703113881462405*c_1100_0 - 153256735402637641812746239952546968\ 9042766/490847128287682620774923090703113881462405, c_0101_0 - 46880955723123873607239105518516179552989/142345667203427960\ 02472769630390302562409745*c_1100_0^19 + 353284396039625845376366572864435750887868/142345667203427960024727\ 69630390302562409745*c_1100_0^18 + 12829208806589724116837502871437899615100/2846913344068559200494553\ 926078060512481949*c_1100_0^17 - 6903159643841076576179882684156070\ 035315346/14234566720342796002472769630390302562409745*c_1100_0^16 + 11562529605393765256263436829740095040346753/1423456672034279600247\ 2769630390302562409745*c_1100_0^15 + 56419101388032525182644295253430791394522986/1423456672034279600247\ 2769630390302562409745*c_1100_0^14 - 161076630020964647756303802900811967026051308/142345667203427960024\ 72769630390302562409745*c_1100_0^13 - 1673969588532068983324396398762719340868248/98169425657536524154984\ 618140622776292481*c_1100_0^12 + 9613959994641490123266518131801634\ 15102023892/14234566720342796002472769630390302562409745*c_1100_0^1\ 1 + 580822903655160154102025846360062295409206419/14234566720342796\ 002472769630390302562409745*c_1100_0^10 - 547809825789915808459796714844474765955377439/284691334406855920049\ 4553926078060512481949*c_1100_0^9 - 268029145242826515222657932246725739521005724/142345667203427960024\ 72769630390302562409745*c_1100_0^8 + 3824340622114431813532320732864568043263016946/14234566720342796002\ 472769630390302562409745*c_1100_0^7 - 188040660148330808612003821808289416053167966/284691334406855920049\ 4553926078060512481949*c_1100_0^6 - 2595726971094467267871784986593932072816986257/14234566720342796002\ 472769630390302562409745*c_1100_0^5 + 1263816187505889415956539933514244587512593291/14234566720342796002\ 472769630390302562409745*c_1100_0^4 + 152873169475006790275568978065064305852427402/284691334406855920049\ 4553926078060512481949*c_1100_0^3 - 539429278225172985332790691762815962538522037/142345667203427960024\ 72769630390302562409745*c_1100_0^2 - 2665196509947083871885830587734304732265367/49084712828768262077492\ 3090703113881462405*c_1100_0 + 263943805017462283850759825711524989\ 4211176/490847128287682620774923090703113881462405, c_0101_1 - 54161581060053017625945425/98219822128147634243390345047*c_1\ 100_0^19 + 492492729012955785760304527/9821982212814763424339034504\ 7*c_1100_0^18 - 604820587468516483710468253/98219822128147634243390\ 345047*c_1100_0^17 - 7706946438458725866097251533/98219822128147634\ 243390345047*c_1100_0^16 + 25385949307220306288459527200/9821982212\ 8147634243390345047*c_1100_0^15 + 38133577087045814913959220016/982\ 19822128147634243390345047*c_1100_0^14 - 268914694439728685618600390266/98219822128147634243390345047*c_1100\ _0^13 + 44416982195819176636358743351/98219822128147634243390345047\ *c_1100_0^12 + 1343011946863530815633849486099/98219822128147634243\ 390345047*c_1100_0^11 - 1077227557070417184243728002588/98219822128\ 147634243390345047*c_1100_0^10 - 3156096368838168756937073604409/98\ 219822128147634243390345047*c_1100_0^9 + 4070581857417356051780886660842/98219822128147634243390345047*c_110\ 0_0^8 + 2295116827951030215636988519851/982198221281476342433903450\ 47*c_1100_0^7 - 5654180738879613489966202455073/9821982212814763424\ 3390345047*c_1100_0^6 + 1054259560438139049881560463918/98219822128\ 147634243390345047*c_1100_0^5 + 2864526899953701769665605065101/982\ 19822128147634243390345047*c_1100_0^4 - 1686271147121993772210719956157/98219822128147634243390345047*c_110\ 0_0^3 - 269011586319078022954701671705/9821982212814763424339034504\ 7*c_1100_0^2 + 500760536436043122032010418360/982198221281476342433\ 90345047*c_1100_0 - 42465078322319311845225058525/98219822128147634\ 243390345047, c_0101_6 + 2550438906623843432710786356092673638602/1423456672034279600\ 2472769630390302562409745*c_1100_0^19 - 49291224939926942987661180547430949840609/1423456672034279600247276\ 9630390302562409745*c_1100_0^18 + 496349795478227147062994196428454\ 00181938/2846913344068559200494553926078060512481949*c_1100_0^17 + 211046966047180605886729717711694829940618/142345667203427960024727\ 69630390302562409745*c_1100_0^16 - 4940105490704733049011031874427301909534699/14234566720342796002472\ 769630390302562409745*c_1100_0^15 + 7863247053441245607439784596016300866885732/14234566720342796002472\ 769630390302562409745*c_1100_0^14 + 36390242854158029947898187546441692835006779/1423456672034279600247\ 2769630390302562409745*c_1100_0^13 - 777493970972064862642266948702804268579346/981694256575365241549846\ 18140622776292481*c_1100_0^12 - 10956863284858955301306342557671923\ 6619293336/14234566720342796002472769630390302562409745*c_1100_0^11 + 634778173897407858846299725883942928728022638/1423456672034279600\ 2472769630390302562409745*c_1100_0^10 + 2446374376085414000327734511114223168328909/28469133440685592004945\ 53926078060512481949*c_1100_0^9 - 165295237455099284751415206993222\ 6110400776903/14234566720342796002472769630390302562409745*c_1100_0\ ^8 + 819190395987806697901817127479807663096312872/1423456672034279\ 6002472769630390302562409745*c_1100_0^7 + 340573368673720737629434388926684288267936413/284691334406855920049\ 4553926078060512481949*c_1100_0^6 - 1500559171056655193409354882147512418969562844/14234566720342796002\ 472769630390302562409745*c_1100_0^5 - 466239605666559862556314150873239195334032408/142345667203427960024\ 72769630390302562409745*c_1100_0^4 + 175797040184390509013424358258621509686606227/284691334406855920049\ 4553926078060512481949*c_1100_0^3 - 153019762443431426554189602890568271862900314/142345667203427960024\ 72769630390302562409745*c_1100_0^2 - 5418490027602289236000410025494362109596574/49084712828768262077492\ 3090703113881462405*c_1100_0 + 215435744418567006833744821059335108\ 7933717/490847128287682620774923090703113881462405, c_1100_0^20 - 8*c_1100_0^19 + 2*c_1100_0^18 + 149*c_1100_0^17 - 316*c_1100_0^16 - 1107*c_1100_0^15 + 4046*c_1100_0^14 + 3683*c_1100_0^13 - 23468*c_1100_0^12 - 2928*c_1100_0^11 + 66926*c_1100_0^10 - 22929*c_1100_0^9 - 90245*c_1100_0^8 + 64639*c_1100_0^7 + 49568*c_1100_0^6 - 61242*c_1100_0^5 - 1056*c_1100_0^4 + 21773*c_1100_0^3 - 5916*c_1100_0^2 - 2088*c_1100_0 + 841 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB