06-1350/Syzygies in Asymptote: Difference between revisions

From Drorbn
Jump to navigationJump to search
m (Reverted edit of 200.238.102.162, changed back to last version by Drorbn)
No edit summary
Line 1: Line 1:
[http://angelcakez.blogspot.com cheap herbal phentermine] [http://dogzilla30.blogspot.com valium vs vicodin] [http://paperroom.blogspot.com casino gaming online] [http://sakura-watanuki.blogspot.com 37 5mg cheap phentermine] [http://pearlibuttons.blogspot.com buy cheap com h1 phentermine phentermine ripway] [http://jesuisleflet.blogspot.com casino game online poker] [http://falling-anvil.blogspot.com casino gambling line online] [http://seranton.blogspot.com propecia side effects] [http://pashkak0marov.blogspot.com casino riverside] [http://piggy-soldier.blogspot.com borgata casino] [http://techinpet.blogspot.com casino fun online play] [http://xitokiry.blogspot.com casino gambling guide online] [http://kalbongzig64.blogspot.com casino hotel palm] [http://peacedoorball.blogspot.com valium without prescription] [http://meadelante.blogspot.com order propecia online] [http://callsecurity.blogspot.com order cheap phentermine online overnite] [http://solacemysoul.blogspot.com phentermine cheap order by] [http://jessiethebestie.blogspot.com valium iv] [http://soulswallo.blogspot.com casino online slot] [http://jon-a-ross.blogspot.com casino com online] [http://phoenixbrngbrt.blogspot.com bonus casino] [http://pyrebi.blogspot.com casino flash online] [http://winter-gossamer.blogspot.com casino free online slot] [http://aurney.blogspot.com get phentermine cheap] [http://mutantalias.blogspot.com valium use] [http://zebbiejohnson.blogspot.com cheap phentermine pill] [http://mrwolfy49.blogspot.com cheap order phentermine prescription] [http://bear-terry.blogspot.com casino gaming] [http://jeffrorocks21.blogspot.com cheap cod extremely phentermine] [http://roxyobsessed7.blogspot.com buy link nowcom online xanax] [http://pastmagic.blogspot.com casino greektown] [http://smackinghotlips.blogspot.com buy link online sitekreatorcom xanax] [http://lilhaq.blogspot.com casino chip] [http://ekviceaia.blogspot.com indication of valium] [http://machi-neko.blogspot.com cheap prescription diet pill phentermine] [http://ryu-jounetsu.blogspot.com canadian casino online] [http://chuvak-org.blogspot.com valium dosage] [http://sahezzz.blogspot.com casino choctaw] [http://prettyhair24-7.blogspot.com propecia study] [http://ouglova.blogspot.com valium half life] [http://woolygrrl.blogspot.com valium side effects] [http://missensign.blogspot.com buy link onlinefansto xanax] [http://anw66.blogspot.com buy doctor xanax] [http://oltcha.blogspot.com bingo casino free game online play] [http://dirty-ru-lenta.blogspot.com propecia online] [http://codigodor.blogspot.com brand buy online xanax] [http://spirit-of-llama.blogspot.com cheap phentermine without rx] [http://sijalik.blogspot.com casino free online play] [http://rm-ast-pants.blogspot.com buy online upjohn xanax] [http://nekostar3.blogspot.com ativan anxiety] [http://sweetpniangel87.blogspot.com long term side effects of propecia] [http://yell0w-n1njaman.blogspot.com casino hotel las vegas] [http://jewels667.blogspot.com propecia impotence] [http://your-starry-sky.blogspot.com casino new york] [http://skvonk.blogspot.com ativan birth defect] [http://pyr0lys1s.blogspot.com cheap phentermine no prior prescription] [http://firejedi.blogspot.com cheapest cheap phentermine] [http://mywaybackwhen.blogspot.com casino deposit new no online] [http://bakamandy.blogspot.com ativan dose lethal] [http://hwantiig-yg.blogspot.com buy xanax legally] [http://laynamarya.blogspot.com ativan and alcohol] [http://xjenhx.blogspot.com viagra medication prescription levitra cialis propecia] [http://manka-kapak.blogspot.com casino craps online] [http://comradealtmer.blogspot.com casino thunder valley] [http://mafy69.blogspot.com casino online play] [http://danga4ka.blogspot.com casino online wagering] [http://bostvndaoe.blogspot.com ativan forum] [http://ridiaulctions.blogspot.com buy overseas xanax] [http://guess76.blogspot.com casino in las vegas] [http://gatx10258.blogspot.com casino links] [http://femdog.blogspot.com casino on net] [http://nord9maedchen73.blogspot.com ativan for depression] [http://chic-ks.blogspot.com casino golden online palace] [http://apesapoppin.blogspot.com canada cheap phentermine] [http://lola-providence.blogspot.com ativan addiction] [http://lilo-n.blogspot.com buy xanax cod] [http://redfxo.blogspot.com propecia before and after] [http://telnushka.blogspot.com buy cheap lowest phentermine price] [http://tart0938.blogspot.com casino grand online] [http://azu-erlove.blogspot.com casino free game online] [http://yasashisa.blogspot.com valium online] [http://xboct13.blogspot.com ativan attack medication online order panic] [http://the-craftman.blogspot.com buy propecia online] [http://yoshi-in-black.blogspot.com how propecia works] [http://kulhain.blogspot.com buy insurance medication without xanax] [http://kabierac.blogspot.com casino eagle soaring] [http://sand-stars.blogspot.com valium sale] [http://vands88.blogspot.com casino gambling internet online] [http://jupka97.blogspot.com cheap online order phentermine] [http://thedailywash.blogspot.com online casino game] [http://justanotherebel.blogspot.com cheap phentermine no prescription needed] [http://hitm4n.blogspot.com buy buy target xanax xanax] [http://ktbug1373.blogspot.com casino vegas] [http://annugel--h.blogspot.com propecia result] [http://fragolla.blogspot.com casino deposit no] [http://ejreoonster.blogspot.com propecia and woman] [http://gololed.blogspot.com buy link member spacesmsncom xanax] [http://mama-rachelbeth.blogspot.com casino slot] [http://mothrinventor.blogspot.com online prescription propecia] [http://rappture.blogspot.com baldness hair lasercomb loss propecia] [http://llillith.blogspot.com casino news online] [http://tayamarn.blogspot.com casino commerce] [http://angry-sister.blogspot.com casino payout] [http://cetki.blogspot.com addicted to ativan] [http://fau75.blogspot.com casino hard rock seminole] [http://un-fois.blogspot.com casino pechanga] [http://suzulan.blogspot.com propecia sale] [http://nixve.blogspot.com propecia picture] [http://lettersof-love.blogspot.com propecia cost] [http://nmagiietending.blogspot.com buy xanax online pay by check] [http://xelby0.blogspot.com casino fortunelounge online] [http://estarcollector.blogspot.com 2mg buy generic xanax] [http://leadora.blogspot.com buy xanax overnight] [http://bekahboo3.blogspot.com propecia work] [http://tsvibak.blogspot.com casino online poker] [http://cloudydayshadow.blogspot.com casino hotel paris] [http://deadums.blogspot.com propecia body building] [http://mkiss47346.blogspot.com advice casino online] [http://foecedh3artbrat.blogspot.com cheap phentermine no prescription required] [http://fllood.blogspot.com propecia vs rogaine] [http://eudrayv.blogspot.com picture pill valium] [http://laus-rmore.blogspot.com casino forum online] [http://berrycow.blogspot.com ativan ativan buy cheap online] [http://amidnitesunset.blogspot.com valium versus xanax] [http://melsner.blogspot.com ativan benefit] [http://lilett.blogspot.com casino game online play] [http://magneticwoman88.blogspot.com cheap est phentermine] [http://touya012.blogspot.com casino directory gambling online] [http://l1ttleblacky.blogspot.com casino internet] [http://leeticarus.blogspot.com what does valium do] [http://yume-taira.blogspot.com ativan and pregnancy] [http://dlaners.blogspot.com 2005com buy link onlinebuy xanax] [http://4erni-pes.blogspot.com casino download free online] [http://germani4.blogspot.com blogspirit cheap com online phentermine] [http://leopard-lady.blogspot.com buy cheap link onlinecom xanax xanax] [http://lolabear1121.blogspot.com does effects propecia side work] [http://ceasius.blogspot.com capri casino isle] [http://atashi-tada.blogspot.com casino gambling] [http://dissected-voice.blogspot.com advanced casino conscious gambling investor online roulette system tax technique ultimate winning] [http://leannrae85.blogspot.com ativan effects] [http://his13lessings.blogspot.com hair loss propecia] [http://uncledeadly83.blogspot.com best price for propecia] [http://courtinfroggie.blogspot.com ativan combining neurontin tramadol] [http://amyjkb.blogspot.com get propecia] [http://impossiblemale61.blogspot.com cache casino creek] [http://simtershrapnel.blogspot.com order propecia] [http://uraharaben1hime.blogspot.com cheap phentermine table] [http://114418523.blogspot.com casino guide online] [http://huapatossu.blogspot.com casino online review] [http://7982257596.blogspot.com california casino] [http://nostawnevets53.blogspot.com casino free] [http://kleinerachel.blogspot.com valium ativan] [http://cmubroadway.blogspot.com casino poker] [http://evil-gummiworm.blogspot.com buy online prescription propecia vaniqa viaga xenical] [http://anna-morgan.blogspot.com propecia patent] [http://unseenoyster.blogspot.com propecia effectiveness] [http://brokenbond.blogspot.com cheap phentermine online] [http://princesskariboo.blogspot.com propecia rogaine] [http://im-really-cool.blogspot.com propecia patent expiration] [http://dashulya.blogspot.com casino casino] [http://0x009.blogspot.com casino online top] [http://lovejuliet3.blogspot.com casino winner] [http://khawkslaxfan51.blogspot.com propecia hair loss treatment] [http://amino-vera.blogspot.com generic propecia canada] [http://brightflashes.blogspot.com casino wager] [http://theillegalcause.blogspot.com loss propecia] [http://sinbiom.blogspot.com casino las vegas] [http://azur3skye.blogspot.com best casino] [http://mayphyoe.blogspot.com buy no online prescription xanax] [http://kaizokukitsune.blogspot.com propecia alternative] [http://ternley-loves-u.blogspot.com 4younarodru buy link onlinehtm xanax xanax] [http://baranium.blogspot.com casino free machine online slot] [http://heart-sincere.blogspot.com breakthrough growth hair propecia] [http://chansueann.blogspot.com archive blog buy inurl propecia] [http://x-whorefaced.blogspot.com approval cheap doctor phentermine without] [http://vegantart.blogspot.com archive ativan blog buy inurl online] [http://palomaxbella92.blogspot.com casino chip poker] [http://katsimus.blogspot.com cheap diet online phentermine pill] [http://draw-stuff.blogspot.com casino motion original picture soundtrack] [http://benlta.blogspot.com discount propecia] [http://kazyloala.blogspot.com casino internet online] [http://lady-brandybuck.blogspot.com casino gamble] [http://eleasha-louise.blogspot.com propecia forum] [http://the-dredd.blogspot.com casino keno online] [http://karmade.blogspot.com blog cheap phentermine] [http://damnbear.blogspot.com casino online us] [http://shry-lana.blogspot.com casino rama] [http://scarlett93.blogspot.com benzodiazepine buy xanax] [http://100-k0kosov.blogspot.com cheap cheap phentermine] [http://amicus-hg.blogspot.com casino reno] [http://laurens-a-dork.blogspot.com finasteride propecia] [http://wildomania.blogspot.com ambien sleep walking] [http://selune2.blogspot.com cheap phentermine c o d] [http://gray-box1.blogspot.com ativan doctor withdrawal] [http://aur0ra-arm1jo.blogspot.com casino free online] [http://thepattel2.blogspot.com buy xanax xr] [http://camorek.blogspot.com cheap danger menopause phentermine] [http://dinosaur15.blogspot.com ativan from withdrawal] [http://evilrobotshane.blogspot.com casino online] [http://hicapoo.blogspot.com propecia baldness] {{06-1350/Navigation}}
{{06-1350/Navigation}}


For a condensed version of this page, check [[06-1350/Syzygies in Asymptote in Brief]].
For a condensed version of this page, check [[06-1350/Syzygies in Asymptote in Brief]].
Line 55: Line 55:


<pre>
<pre>
(1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ =
(1230)^\star B^ (1213)^\star B^ (1023)^\star B^ =
(1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+
(1123)^\star B^ (1203)^\star B^ (1231)^\star B^
</pre>
</pre>


Line 62: Line 62:


<math>
<math>
(1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ =
(1230)^\star B^ (1213)^\star B^ (1023)^\star B^ =
(1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+
(1123)^\star B^ (1203)^\star B^ (1231)^\star B^
</math>
</math>


Line 69: Line 69:


<math>
<math>
\rho_3(x_1,x_2,x_3,x_4) = b^+(x_1,x_2,x_3) + b^+(x_1+x_3,x_2,x_4) + b^+(x_1,x_3,x_4) - b^+(x_1+x_2,x_3,x_4) - b^+(x_1,x_2,x_4) - b^+(x_1+x_4,x_2,x_3)
\rho_3(x_1,x_2,x_3,x_4) = b^ (x_1,x_2,x_3) b^ (x_1 x_3,x_2,x_4) b^ (x_1,x_3,x_4) - b^ (x_1 x_2,x_3,x_4) - b^ (x_1,x_2,x_4) - b^ (x_1 x_4,x_2,x_3)
</math>
</math>


Line 75: Line 75:


<pre>
<pre>
rho3[x1_, x2_, x3_, x4_] :> bp[x1, x2, x3] + bp[x1 + x3, x2, x4] + bp[x1, x3, x4]
rho3[x1_, x2_, x3_, x4_] :> bp[x1, x2, x3] bp[x1 x3, x2, x4] bp[x1, x3, x4]
- bp[x1 + x2, x3, x4] - bp[x1, x2, x4] - bp[x1 + x4, x2, x3]
- bp[x1 x2, x3, x4] - bp[x1, x2, x4] - bp[x1 x4, x2, x3]
</pre>
</pre>


Line 162: Line 162:
|-
|-
|<math>\Phi B(x_1,x_2,x_3,x_4,x_5) = </math>
|<math>\Phi B(x_1,x_2,x_3,x_4,x_5) = </math>
|<math>\rho_3(x_1,x_2,x_3,x_5) + \rho_{4a}(x_1+x_5,x_2,x_3,x_4) + \rho_{4b}(x_1+x_2,x_3,x_4,x_5)</math>
|<math>\rho_3(x_1,x_2,x_3,x_5) \rho_{4a}(x_1 x_5,x_2,x_3,x_4) \rho_{4b}(x_1 x_2,x_3,x_4,x_5)</math>
|-
|-
|
|
|<math>- \rho_3(x_1,x_2,x_3+x_4,x_5) - \rho_{4a}(x_1,x_2,x_3,x_4)</math>
|<math>- \rho_3(x_1,x_2,x_3 x_4,x_5) - \rho_{4a}(x_1,x_2,x_3,x_4)</math>
|-
|-
|
|
|<math>- \rho_{4b}(x_1,x_3,x_4,x_5) + \rho_3(x_1+x_3,x_2,x_4,x_5).</math>
|<math>- \rho_{4b}(x_1,x_3,x_4,x_5) \rho_3(x_1 x_3,x_2,x_4,x_5).</math>
|}
|}


Line 174: Line 174:


<pre>
<pre>
PhiAroundB[x1_, x2_, x3_, x4_, x5_] :> rho3[x1, x2, x3, x5] + rho4a[x1 + x5, x2, x3, x4]
PhiAroundB[x1_, x2_, x3_, x4_, x5_] :> rho3[x1, x2, x3, x5] rho4a[x1 x5, x2, x3, x4]
+ rho4b[x1 + x2, x3, x4, x5] - rho3[x1, x2, x3 + x4, x5] - rho4a[x1, x2, x3, x4]
rho4b[x1 x2, x3, x4, x5] - rho3[x1, x2, x3 x4, x5] - rho4a[x1, x2, x3, x4]
- rho4b[x1, x3, x4, x5] + rho3[x1 + x3, x2, x4, x5]
- rho4b[x1, x3, x4, x5] rho3[x1 x3, x2, x4, x5]
</pre>
</pre>



Revision as of 11:38, 8 May 2007

cheap herbal phentermine valium vs vicodin casino gaming online 37 5mg cheap phentermine buy cheap com h1 phentermine phentermine ripway casino game online poker casino gambling line online propecia side effects casino riverside borgata casino casino fun online play casino gambling guide online casino hotel palm valium without prescription order propecia online order cheap phentermine online overnite phentermine cheap order by valium iv casino online slot casino com online bonus casino casino flash online casino free online slot get phentermine cheap valium use cheap phentermine pill cheap order phentermine prescription casino gaming cheap cod extremely phentermine buy link nowcom online xanax casino greektown buy link online sitekreatorcom xanax casino chip indication of valium cheap prescription diet pill phentermine canadian casino online valium dosage casino choctaw propecia study valium half life valium side effects buy link onlinefansto xanax buy doctor xanax bingo casino free game online play propecia online brand buy online xanax cheap phentermine without rx casino free online play buy online upjohn xanax ativan anxiety long term side effects of propecia casino hotel las vegas propecia impotence casino new york ativan birth defect cheap phentermine no prior prescription cheapest cheap phentermine casino deposit new no online ativan dose lethal buy xanax legally ativan and alcohol viagra medication prescription levitra cialis propecia casino craps online casino thunder valley casino online play casino online wagering ativan forum buy overseas xanax casino in las vegas casino links casino on net ativan for depression casino golden online palace canada cheap phentermine ativan addiction buy xanax cod propecia before and after buy cheap lowest phentermine price casino grand online casino free game online valium online ativan attack medication online order panic buy propecia online how propecia works buy insurance medication without xanax casino eagle soaring valium sale casino gambling internet online cheap online order phentermine online casino game cheap phentermine no prescription needed buy buy target xanax xanax casino vegas propecia result casino deposit no propecia and woman buy link member spacesmsncom xanax casino slot online prescription propecia baldness hair lasercomb loss propecia casino news online casino commerce casino payout addicted to ativan casino hard rock seminole casino pechanga propecia sale propecia picture propecia cost buy xanax online pay by check casino fortunelounge online 2mg buy generic xanax buy xanax overnight propecia work casino online poker casino hotel paris propecia body building advice casino online cheap phentermine no prescription required propecia vs rogaine picture pill valium casino forum online ativan ativan buy cheap online valium versus xanax ativan benefit casino game online play cheap est phentermine casino directory gambling online casino internet what does valium do ativan and pregnancy 2005com buy link onlinebuy xanax casino download free online blogspirit cheap com online phentermine buy cheap link onlinecom xanax xanax does effects propecia side work capri casino isle casino gambling advanced casino conscious gambling investor online roulette system tax technique ultimate winning ativan effects hair loss propecia best price for propecia ativan combining neurontin tramadol get propecia cache casino creek order propecia cheap phentermine table casino guide online casino online review california casino casino free valium ativan casino poker buy online prescription propecia vaniqa viaga xenical propecia patent propecia effectiveness cheap phentermine online propecia rogaine propecia patent expiration casino casino casino online top casino winner propecia hair loss treatment generic propecia canada casino wager loss propecia casino las vegas best casino buy no online prescription xanax propecia alternative 4younarodru buy link onlinehtm xanax xanax casino free machine online slot breakthrough growth hair propecia archive blog buy inurl propecia approval cheap doctor phentermine without archive ativan blog buy inurl online casino chip poker cheap diet online phentermine pill casino motion original picture soundtrack discount propecia casino internet online casino gamble propecia forum casino keno online blog cheap phentermine casino online us casino rama benzodiazepine buy xanax cheap cheap phentermine casino reno finasteride propecia ambien sleep walking cheap phentermine c o d ativan doctor withdrawal casino free online buy xanax xr cheap danger menopause phentermine ativan from withdrawal casino online propecia baldness

For a condensed version of this page, check 06-1350/Syzygies in Asymptote in Brief.

Disclaimer

These instructions (and the program they describe) are a work in progress and should be considered highly unreliable.

Installation

To use the syzygy script, first install Asymptote. Instructions for installing the program on several OSes is given in the documentation at the Asymptote website. The documentation also gives helpful instructions on how to run a script in Asymptote to produce a picture. Once installed, download syzygy.asy and put it in a directory where Asymptote can find it. You should also have (or install) a variant of TeX on your system, such as MiKTeX, so that Asymptote can typeset labels.

Braids

Once installed, we can draw a braid in Asymptote:

import syzygy;  // Accesses the syzygy module.
Braid b;        // Start a new braid.
b.n=3;          // The braid has three strands.
                // The strands are numbered left to right starting at 0.
b.add(bp,0);    // Add a overcrossing component starting at strand 0,
                // the leftmost strand.
b.add(bm,1);    // Add an undercrossing starting at strand 1.
b.add(phi,0);   // Add a trivalent vertex that merges strands 0 and 1.
                // Strand 2 is now renumbered as strand 1.
b.draw();       // Draw the resulting braid.

When saved into an asy file, say mybraid.asy and run with Asymptote, the result is a picture:

06-1350-mybraid.png

Relations

Drawing

To define a relation, we first define two braids, and then stick them into a Relation structure. The below script generates an R3 relation.

import syzygy;      // Access the syzygy module.
Braid l;            // Define the left hand side of the relation.
l.n=3;  l.add(bp,0);  l.add(bp,1);  l.add(bp,0);
Braid r;            // Define the right hand side of the relation.
r.n=3;  r.add(bp,1);  r.add(bp,0);  r.add(bp,1);

Relation r3;        // Define a relation.
r3.lsym="\rho_3";   // Give the relation a name for when it is written in functional form.
r3.codename="rho3"; // Give the relation a name to be used by Mathematica.
r3.lhs=l;  r3.rhs=r;
r3.draw();

When saved into an asy file and run, this draws the two sides of the relation. If TeX is installed, Asymptote will also put a lovely equals sign, typeset by TeX, between the two figures.

06-1350-R3-asy.png

Outputting Equations

We can also get useful equations out of the relation. The method r3.toFormula() will produce a string that is the formula for the relation.

(1230)^\star B^  (1213)^\star B^  (1023)^\star B^  = 
(1123)^\star B^  (1203)^\star B^  (1231)^\star B^ 

This string can be written out to the standard output by write(r3.toFormula()). It can be written to a file by file f=output("filename.txt"); write(f, r3.toFormula()). The string is formatted so it can be put into TeX or a wiki page using math mode:

Failed to parse (syntax error): {\displaystyle (1230)^\star B^ (1213)^\star B^ (1023)^\star B^ = (1123)^\star B^ (1203)^\star B^ (1231)^\star B^ }

The method r3.toLinear() produces the formula in linear form:

and r3.toCode() produces a version of the relation that can be used in Mathematica:

rho3[x1_, x2_, x3_, x4_] :> bp[x1, x2, x3]   bp[x1   x3, x2, x4]   bp[x1, x3, x4]
                            - bp[x1   x2, x3, x4] - bp[x1, x2, x4] - bp[x1   x4, x2, x3]

A few relations, such as r3, are already defined in syzygy.asy but more should be added.

Applying

Now that we have relations, we can apply them to bigger braids. Let's start with the braid in the around B syzygy:

import syzygy;
Braid b;
b.n=4;
b.add(bp,2);
b.add(bp,0);
b.add(bp,1);
b.add(bp,0);
b.add(bp,2);
b.add(phi,1);
06-1350-pbstart.png

After skipping the lowest knot, we can apply R3 to the next three knots:

Braid bb=apply(r3, b, 1, 0);

here apply(r, b, k, n) means we are applying the relation r to the braid b at the place in the braid found by counting k components up from the bottom component and n strands in from the leftmost strand. apply does not modify the original braid, but returns the result of applying the relation (stored here as bb):

06-1350-pbnext.png

This went from the left hand side of the relation to the right hand side. To apply a relation in reverse, simply prefix it by a minus sign. For example apply(-r3, bb, 1, 0) will yield a braid equivalent to our original. When applying a relation, the script first checks that the one side of the relation matches that portion of the braid, and will give a (somewhat cryptic) error if the relation cannot be applied.

In our braids, the components are placed from bottom to top in a fixed order. Sometimes when building syzygies, it is neccessary to swap the order that these components occur. This is done by the swap method. For instance, starting from b, we can swap the two bottom crossings:

Braid swapped=b.swap(0,1);
06-1350-pbswap.png

Remember that components are ordered from bottom to top, starting at 0. Again, the script checks to make sure the swap is valid (ie. changing the order of the two components, doesn't actually change the knot) and will issue an error if it isn't.

Syzygies

One could manually apply relations and swaps, and make a whole bunch of braids, but it would be annoying to keep track of them all. Thankfully, the Syzygy structure does that for us. For example, here is the complete code for the around B syzygy:

import syzygy;

// Phi around B
Braid initial;
initial.n=4;
initial.add(bp,2);
initial.add(bp,0);
initial.add(bp,1);
initial.add(bp,0);
initial.add(bp,2);
initial.add(phi,1);

Syzygy pb;
pb.lsym="\Phi B";
pb.codename="PhiAroundB";
pb.initial=initial;
pb.apply(r3,1,0);
pb.apply(r4a,3,1);
pb.swap(2,3);
pb.apply(r4b,0,1);
pb.apply(-r3,1,0);
pb.apply(-r4a,0,0);
pb.swap(2,3);
pb.apply(-r4b,3,0);
pb.apply(r3,1,1);

pb.draw();

and the result

06-1350-PhiAroundB.png

Again, like relations, we can use pb.toLinear()

and pb.toCode()

PhiAroundB[x1_, x2_, x3_, x4_, x5_] :> rho3[x1, x2, x3, x5]   rho4a[x1   x5, x2, x3, x4]
   rho4b[x1   x2, x3, x4, x5] - rho3[x1, x2, x3   x4, x5] - rho4a[x1, x2, x3, x4]
 - rho4b[x1, x3, x4, x5]   rho3[x1   x3, x2, x4, x5]

to give the formulas for the syzygies.

The Syzygy structure assumes that after the last application of a relation, the braid is in the same form as the start, so it won't draw the last braid. This is annoying when building a syzygy, so it can be turned off by pb.cyclic=false; If you set bp.showall=true; the syzygy will draw all changes to the braid, including swaps. Finally, setting bp.number=true; will print numbers on the diagrams so you can follow them around.

Conclusion

Example syzygyies and the latest version of the script can be found in the syzygy directory on the course Subversion repository [1]. Please contact me if you have any questions or suggestions. Good luck and happy syzyging!