- ntg-context - Mailing Lists

some (older) problems
by Thomas Floeren 18 Aug '09

18 Aug '09

Hi, on 2009-06-18 there was a mail on the list with a collection of mkIV problems, a big part related to references and captions. (original text below) I just did a quick re-check with the actual minimals and lua, with the following result: Problems 2), 3) and b) are gone, problems 1), 4), 5), a) and c) are still there. I'm not sure if the remaining problems are due to bugs or rather a result of my poor comprehension of certain changes/new things in the mkIV code (especially c). Any help would be appreciated. Thomas This is LuaTeX, Version beta-0.42.0-2009081521 ConTeXt ver: 2009.08.16 18:21 MKIV fmt: 2009.8.17 int: english/english ---Original text: Author: Thomas Floeren Date: 2009-06-18 22:17 +200 To: mailing list for ConTeXt users Subject: Re: [NTG-context] Lots of problems in mkiv 2009/6/18, richard.stephens@??? <richard.stephens@???>: > > I've recently started using mkiv because of the fonts, but I have found > lots of things that don't work. > The trouble is, I don't know if it's just me, or whether I need to go back > to mkii until things settle down. > > Can someone, PLEASE, tell me if they get any of the following problems with > mkiv (I've included code snippets): > Everything below works perfectly in mkii. > > 1) References to equations appear as '??' in the final document > > \placeformula[eq:pythag] > \startformula > a^2 = b^2 + c^2 > \stopformula > Pythagoras proposed \in{equation}[eq:pythag]. > > > 2) References to footnotes appear as '??' inside > \startlocalfootnotes...\stoplocalfootnotes > > \startlocalfootnotes > This has a note.\footnote[fn]{Footnote.} > See note \note[fn]. > \stoplocalfootnotes > > 3) References to sections are repeated (e.g. reference to section 1 appears > as '11' or ref to section 1.1 appears as '1.11.1') > > \section[sec:one]{Section one} > It was in \in{section}[sec:one]. > > 4) \digits command falls over at periods or commas with "\textfont1 is > undefined (character 58)." > > \digits{1.6} > > 5) \infull command does not work for abbreviations: falls over with > "Missing } inserted." > > \abbreviation {KF} {Kalman filter} > Rudolph Kalman invented the \infull{KF}. > > > Please help!! > > Richard > > Same thing here with 1,3,4,5. 2 works fine. I've noticed also 3 problems since I switched to MKIV: a) Floatcaptions are no longer placed: \externalfigure[dummy] \placefloatcaption[figure]{blabla} b) \start...\stopregister results in an error: hmmpf\startregister[index][identifier]{Hmmpf}\page[yes] \dorecurse{2}{hmmpf\page[yes]} hmmpf\stopregister[index][identifier]\page[yes] \placeregister[index][compress=no] c) I'm not able to build caption numbers with the chapter number as prefix: I want for example "Fig. 2.6" where "2" is the chapter number and "6" the figure number by chapter. I tried all the options I found for setupcaptions (at least I think so), but I dont get the chapter number in the caption. LuaTeX, Version beta-0.40.5-2009061123 (Web2C 2009) ConTeXt ver: 2009.06.14 21:01 MKIV fmt: 2009.6.18 Thanks in advance for any hint Greetings Tom

2 2

Re: [NTG-context] astronomy symbols
by Wolfgang Werners-Lucchini 18 Aug '09

18 Aug '09

Hallo Wolfgang, > > But what is wrong with my code? Why does it not work? > > Take a look at the log file when the font is read. > > load afm | reading > /Users/wolf/context/tex/texmf/fonts/afm/public/wasy/ > wasy10.afm > load afm | unifying /Users/wolf/context/tex/texmf/fonts/afm/public/ > wasy/wasy10.afm > afm glyph | assigning private slot U+F0000 for unknown glyph name > AC > afm glyph | assigning private slot U+F0001 for unknown glyph name > kreuz > ... > afm glyph | assigning private slot U+F0016 for unknown glyph name > saturn > ... I can not find such lines in the log file. Do you have some special switches? Wolfgang

2 1

Can I use pdftex and texexec with latest download.
by John Culleton 17 Aug '09

17 Aug '09

Been away from Context for a while so please bear with me. I just downloaded context-minimal to my home directory using the sh ./first-setup.sh script. I want to use pdftex primarily and now and then regular Context with texexec. I note that the download has references to luatex however, which I don't need/don't want to fool with. Is this download OK for my purposes or must I use another download method? -- John Culleton Create Book Covers with Scribus/e-book $5.95 http://www.booklocker.com/books/4055.html

2 1

hdotsfor replacement
by Michail Vidiassov 17 Aug '09

17 Aug '09

Dear All, is there a replacement of "hdotsfor" from LaTeX to fill several cells in a matrix row with one long series of dots? Sincerely, Michail

2 2

Integration limits with Cambria Math
by Michail Vidiassov 17 Aug '09

17 Aug '09

Dear All, if I process the following with "ConTeXt ver: 2009.08.14 10:48 MKIV/LuaTeX, Version beta-0.42.0-2009071723" I get too much space between the integral sign and limits of integration. Sum limits are positioned OK. Without "cambria" lines integral is also fine. --------------- \usetypescript[cambria] \setupbodyfont[cambria] \starttext Inline $ \sum_{x=a}^{b}{f(x)g(x)}=\int_{a}^{b}{f(x)g(x)dx} $. \startformula \sum_{x=a}^{b}{f(x)g(x)}=\int_{a}^{b}{f(x)g(x)dx}. \stopformula \stoptext -------------- Is it a bug? Are there fixes/workarounds? Sincerely, Michail

4 7

Re: [NTG-context] astronomy symbols
by Wolfgang Werners-Lucchini 17 Aug '09

17 Aug '09

Hallo Wolfgang, > > I can not produce astronomy symbols. > > % Unicode Fonts: http://users.teilar.gr/~g1951d/ > % > % the font for the symbols is hardcoded but as we have in mkiv > fonts > % with more symbols a command to change the font would make sense > > \definefontsynonym [UnicodeSymbols] [name:unicodesymbols] > > \def\UnicodeSymbol#1{\getglyph{UnicodeSymbols}{\utfchar{#1}}} > > \startsymbolset [miscellaneoussymbols] > > \definesymbol[blacktelephone][\UnicodeSymbol{"260E}] > \definesymbol[whitetelephone][\UnicodeSymbol{"260F}] > > \definesymbol[mercury] [\UnicodeSymbol{"263F}] > \definesymbol[earth] [\UnicodeSymbol{"2641}] > \definesymbol[jupiter] [\UnicodeSymbol{"2643}] > \definesymbol[saturn] [\UnicodeSymbol{"2644}] > \definesymbol[uranus] [\UnicodeSymbol{"2645}] > \definesymbol[neptune] [\UnicodeSymbol{"2646}] > \definesymbol[pluto] [\UnicodeSymbol{"2647}] > > \stopsymbolset > > Wolfgang It is good to know, that there is an alternative. I will try it! But what is wrong with my code? Why does it not work? Wolfgang

4 4

Help:Your luatex binary is way too old
by Derek CORDEIRO 17 Aug '09

17 Aug '09

I just tried to install context minimals on Windows. I have ruby and lua installed. I chose the command line installation(done today). Trying to generate a bare minimum(Hello World) pdf, I encounter the following error. I do not use Windows much so it may be my ignorance, what am I doing wrong? --------- LuaTools | merging library c:/contextminimal/tex/texmf-context/tex/context/base/ luat-cnf.lua LuaTools | saving merge from cont-en.lua LuaTools | using compiled initialization file: cont-en.luc LuaTools | using lua initialization file: cont-en.luc LuaTools | running command: luatex --ini --lua="cont-en.luc" "c:/contextminimal/ tex/texmf-context/tex/context/base/cont-en.tex" \dump This is LuaTeX, Version beta-0.40.6-2009081408 (Web2C 2009) (INITEX) \write18 enabled. (c:/contextminimal/tex/texmf-context/tex/context/base/cont-en.tex (c:/contextmin imal/tex/texmf-context/tex/context/base/context.tex (c:/contextminimal/tex/texmf -context/tex/context/base/context.mkiv (c:/contextminimal/tex/texmf-context/tex/ context/base/syst-ini.tex Warning: support for multiple lua states has been dropped. Please stop using a number after \directlua and \latelua. ) !!!!: Your luatex binary is way too old, you need at least version 0.42. ) ) ) node memory in use: 90 words out of 500 rapidly available: 2:2, 3:5 nodes current usage: 7 glue_spec, 1 dir nodes No pages of output. Transcript written on cont-en.log. LuaTools | LuaTools | runtime: 0.516 seconds MTXrun | run 1: luatex --fmt="c:/contextminimal/tex/texmf-cache/luatex-cache/con text/d1d2ccfb3346ff481f4c4dab022cb26d/formats/cont-en" --lua="c:/contextminimal/ tex/texmf-cache/luatex-cache/context/d1d2ccfb3346ff481f4c4dab022cb26d/formats/co nt-en.luc" --backend=pdf "./math.tex" This is LuaTeX, Version beta-0.40.6-2009081408 (Web2C 2009) \write18 enabled. luatex: c:/contextminimal/tex/texmf-cache/luatex-cache/context/d1d2ccfb3346ff481 f4c4dab022cb26d/formats/cont-en.fmt: No such file or directory MTXrun | fatal error, return code: 1 -- _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Blog: http://www.derekcordeiro.com Follow Me: http://twitter.com/derekcordeiro Get a great webhosting deal: http://is.gd/jrA2

3 7

Fwd: [tex-fonts] IrianisADFMath font
by Wolfgang Schuster 17 Aug '09

17 Aug '09

Hi all, the following mail was send to the tex-fonts list a few minutes ago, all people who are interested to test the font can download it from http://arkandis.tuxfamily.org/tugfonts.htm To prevent you from writing your own typescripts you can use my test code: \starttypescript [math] [irianis] [name] \definefontsynonym [MathRoman] [name:irianisadfmathregular] [features=math] \stoptypescript \starttypescript [serif] [irianis] [name] \setups[font:fallback:serif] \definefontsynonym [Serif] [name:irianisadfmathregular] [features=default] \stoptypescript \starttypescript [irianis] \definetypeface [irianis] [rm] [serif] [irianis] [default] \definetypeface [irianis] [ss] [modern] [modern] [default] \definetypeface [irianis] [tt] [mono] [modern] [default] \definetypeface [irianis] [mm] [math] [irianis] [default] \stoptypescript \usetypescript[irianis] \setupbodyfont[irianis] \starttext some text and math \startformula c^2 = a^2 + b^2 \stopformula \stoptext Wolfgang > Von: Hirwen HARENDAL <harendalh(a)hotmail.com> > Datum: 16. August 2009 15:52:30 MESZ > An: ML tex-fonts <tex-fonts(a)math.utah.edu> > Betreff: [tex-fonts] IrianisADFMath font > > Hi to all > > First, thanks for all Emails sent off list, and more especialy > to Karl BERRY. I hope that your document was very useful. > > Irianis ADF Math is now available for download, see release > note. The regular version is an addition for the Irianis ADF > collection, in order to offer math "old style" design. > > This is for now a test version, and bracebig etc. aren't > including in the font and in the MATH table variantes too. > > Regards > > Hirwen > > Vous voulez savoir ce que vous pouvez faire avec le nouveau Windows > Live ? Lancez-vous !_______________________________________________ > tex-fonts mailing list > tex-fonts(a)math.utah.edu > http://mail.math.utah.edu/mailman/listinfo/tex-fonts

2 2

Problem with metapost textbackgrounds on Windows
by Kevin D. Robbins 17 Aug '09

17 Aug '09

Hello all, In the example below, I mean for a gray box with rounded corners to be placed behind \startC ... \stopC blocks. This example compiles properly on Linux with the latest ConTeXt beta and LuaTeX synced from the minimals just minutes ago. On Windows, also updated from minimals this morning, I get the following error and no text background: mplib : initializing instance 'metafun' using format 'metafun' mplib : loading 'metafun.mp' from 'C:/context/tex/texmf-cache/luatex-c ache/context/2fea56f92e5267d7cc9662e4d5f52e1e/formats/cont-en-metafun.mem' ! Emergency stop. <inserted text> ...ore.mp ; fi ; ;;;]===], false)} \processMPgraphic ...s ;\!!es , \MPaskedfigure )}} \egroup \global \MPinstanc... \useMPpositiongraphic ...tartMPcode #3\stopMPcode \egroup \doMPpositiongraphic ...riables \getvalue {MPG:#1} } \doMPpositiongraphic ...fined {MPG:#1}\donothing } \removelastspace }\smashbo... \dohandleMPpositiongraphicrange ...raphic {#3}{#4} \fi \fi ... l.59 \stoptext ! ==> Fatal error occurred, no output PDF file produced!MTXrun | fatal error, r eturn code: 1 Here is the example: %%%%% \unprotect \startuseMPgraphic{mpos:par:myexample} path p; for i = 1 upto nofmultipars : p := multipars[1] topenlarged 4pt bottomenlarged 4pt cornered 2mm ; fill p withcolor 0.9white ; draw p withcolor black withpen pencircle scaled \MPvar{linewidth}; endfor; \stopuseMPgraphic \definetextbackground [listingbackground] [state=start, mp=mpos:par:myexample, location=paragraph, leftoffset=0em, rulethickness=1pt] \definetyping [C] [option=commands] \setuptyping [C] [bodyfont=8pt, margin=1em, before=% {\blank[big] \setupinterlinespace[line=1.6ex] \starttextbackground[listingbackground]}, after=% {\stoptextbackground \blank[big]}] \protect \starttext \input tufte \starttyping namespace Example { int a; int b; } \stoptyping \input knuth \startC namespace Example { int a; int b; } \stopC \stoptext %%%%%

4 4

\overbar in math mode
by Xan 16 Aug '09

16 Aug '09

Hi, Just a question: what's the equivalent of \overbar in math mode. \underbar works in math mode, but \overbar does not. Thanks a lot, Xan.

2 1

Round-corner textbox with shadow
by Tom 16 Aug '09

16 Aug '09

Shadows on round-corner textboxes are producing square-corner shaded boxes with square-corner shadows. The following code illustrates the problem and should run asis. \def\Demos{ \startuniqueMPgraphic{shadow} fill OverlayBox shifted (4pt,-4pt) withcolor .8white ; fill OverlayBox withcolor .8white ; draw OverlayBox withcolor black ; setbounds currentpicture to OverlayBox ; \stopuniqueMPgraphic \defineoverlay [shadow] [\uniqueMPgraphic{shadow}] \setupcolors[state=start] \startframedtext[ height=fit, width=\textwidth, location=inmargin , align=low, frame=on, % framecolor=black, framecorner=round, frameradius=.0625 in, background=shadow, %substitute screen for shadow and get clean box BUT no shadow backgroundscreen=0.9, backgroundcorner=round, backgroundradius=.0625 in, bodyfont=9pt, offset=0.05 in ] \setuptables[distance=small,bodyfont={9pt,sansserif}] \starttable[s1|Br|o4l|Br|l|] \NC Name: \NC \getvariable{Book:Demos}{name} \NC Nickname: \NC \getvariable{Book:Demos}{nickname} \NC\AR \NC DOB: \NC \getvariable{Book:Demos}{dob} \NC Height: \NC \getvariable{Book:Demos}{height} \NC\AR \NC Weight: \NC \getvariable{Book:Demos}{weight} \NC Age: \NC \getvariable{Book:Demos}{age} \NC\AR \NC Tribe: \NC \getvariable{Book:Demos}{tribe} \NC Home: \NC \getvariable{Book:Demos}{home} \NC\AR \NC Parents: \NC \THREE \getvariable{Book:Demos}{parents} \NC\AR \doifnot {\getvariable{Book:Demos}{parentsextra}}{}{\NC \NC \THREE \getvariable{Book:Demos}{parentsextra} \NC\AR} \stoptable \starttable[s1|Br|l|] \NC Early Schooling: \NC \getvariable{Book:Demos}{earlyschooling} \NC\AR \doifnot {\getvariable{Book:Demos}{laterschooling}}{}{\NC Later Schooling: \NC \getvariable{Book:Demos}{laterschooling} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors1}}{}{\NC Honors: \NC \getvariable{Book:Demos}{honors1} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors2}}{}{\NC \NC \getvariable{Book:Demos}{honors2} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors3}}{}{\NC \NC \getvariable{Book:Demos}{honors3} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors4}}{}{\NC \NC \getvariable{Book:Demos}{honors4} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors5}}{}{\NC \NC \getvariable{Book:Demos}{honors5} \NC\AR} \doifnot {\getvariable{Book:Demos}{honors6}}{}{\NC \NC \getvariable{Book:Demos}{honors6} \NC\AR} \stoptable \stopframedtext } \starttext \setvariables[Book:Demos] [name={Glenn Scobey Warner}, nickname={Pop, The Old Fox}, dob={4/5/1871}, height={6'0"}, weight={205}, age={}, tribe={N/A}, home={Springville, NY}, parents={William H. Warner, Adaline Scobey}, parentsextra={}, earlyschooling={Griffith Instatute}, laterschooling={Cornell University}, honors1={College Football Hall of Fame, Charter Member, 1951}, honors2={Helm's Athletic Foundation Hall of Fame, 1951}, honors3={Stanford Athletic Hall of Fame}, honors4={Greater Buffalo Hall of Fame, 2001}, honors5={}, honors6={} ] \Demos \stoptext Tom Benjey 717-258-9733 voice 717-243-0074 fax Twitter: @TomBenjey Football player w C small

3 2

Order of results of \placepbulications
by Gerben Wierda 16 Aug '09

16 Aug '09

Whatever I do, I cannot get another order than some default ordering (order in which they are used in the main document) with \placepublications. ConTeXt wiki is no help nor is Google. So here is the question: how can I get my references list in order of author name or in order of year? Thanks, G

3 5

[OT] New emacs 23.1
by luigi scarso 16 Aug '09

16 Aug '09

It seems that new emacs 23.1 allows viewing of pdf, cfr. http://www.gnu.org/software/emacs/NEWS.23.1 """ ** DocView mode allows viewing of PDF, PostScript and DVI documents. One can also search for a regular expression in the document. For details, see the commentary in doc-view.el. PDF and DVI files are now opened in Doc View mode by default. In Postcript mode, C-c C-c launches Doc View minor mode for viewing the postscript file. """ I believe that each page of pdf is converted in png, so maybe there is no refresh . -- luigi -- luigi

1 0

section head number
by epsilon cygni 15 Aug '09

15 Aug '09

hi, I need to place a 'dot' in front of every section and subsection head number, for example, section '2.3' must be displayed as section '2.3.' How can I add this dot? Thanks in advance. -- ana

3 4

astronomy symbols
by Wolfgang Werners-Lucchini 15 Aug '09

15 Aug '09

Hallo, I can not produce astronomy symbols. I use: LuaTeX, Version beta-0.40.6-2009070100 (Web2C 2009) ConTeXt ver: 2009.06.14 21:01 MKIV fmt: 2009.7.16 int: english/english Here a testfile: ---------------------------------- \usesymbols[was] \setupsymbolset [wasy astronomy] \def\Sat{\symbol[saturn]} \starttext \Sat \stoptext ---------------------------------- The testfile works ok with MK II Wolfgang

4 3

How to move an inframed block?
by rene hassel 15 Aug '09

15 Aug '09

Hello Everybody, does somebody know how to move an inframed text, or framed text, RELATIVE to another framed text ( or inframed text). Minimal example: ### begin example: \setupcolors[state=start] \starttext \framed{\inframed{Hello} Everybody} \stoptext ### end example. How to move "\inframed{Hello}" relative to the framed text "\framed{ Everybody}"? Idea is to have a framed text with a head like "Example", "Definition" or "Theorem", just as the "Zapf-examples" in the MetaFun manual on page 132 and further. But I want a solution "without" the use of MetaFun. Can I put the text "Hello" in a frame on the boundary of the frame "\framed{ Everybody}"? If so, I'm interested how the backgrounds or overlays of the different frames react. I'm intersted in an easy solution, best regards, Rene' van Hassel

4 3

ConTeXt Ver 2009.08.14 Crashes with \reference
by Tad Ashlock 15 Aug '09

15 Aug '09

The following code causes the 2009.08.14 version of ConTeXt to crash (see below). But it works in the 2009.07.23 version of ConTeXt. \setupinteraction[state=start] \starttext \reference[ref:UsersMan]{User's manual} \input tufte\par User's manual~\at[ref:UsersMan] \stoptext ========================================================================= > This is LuaTeX, Version beta-0.42.0-2009071712 > \write18 enabled. > (test.tex > > ConTeXt ver: 2009.08.14 10:48 MKIV fmt: 2009.8.14 int: english/english > > system : cont-new loaded > (C:/context/tex/texmf-context/tex/context/base/cont-new.tex > systems : beware: some patches loaded from cont-new.tex > (C:/context/tex/texmf-context/tex/context/base/cont-new.mkiv)) > system : cont-fil loaded > (C:/context/tex/texmf-context/tex/context/base/cont-fil.tex > loading : ConTeXt File Synonyms > ) > system : cont-sys.rme loaded > (C:/context/tex/texmf-context/tex/context/user/cont-sys.rme (C:/context/tex/texmf-context/tex/context/base/type-tmf.tex (C:/context/tex/texmf-context/tex/context/base/type-tmf.mkiv)) (C:/context/tex/texmf-context/tex/context/base/type-siz.tex (C:/context/tex/texmf-context/tex/context/base/type-siz.mkiv)) (C:/context/tex/texmf-context/tex/context/base/type-otf.tex (C:/context/tex/texmf-context/tex/context/base/type-otf.mkiv))) > system : test.top loaded > (test.top) > fonts : preloading latin modern fonts > bodyfont : 12pt rm is loaded > language : language en is active > systems : begin file test at line 2 > (C:/context/tex/texmf-context/tex/context/sample/tufte.tex) > fonts : resetting map file list > {C:/context/tex/texmf-context/fonts/map/pdftex/context/original-empty.map} > fonts : using map file: original-base > {C:/context/tex/texmf-context/fonts/map/pdftex/context/original-base.map} > fonts : using map file: original-ams-base > {C:/context/tex/texmf-context/fonts/map/pdftex/context/original-ams-base.map} > fonts : using map file: original-ams-euler > {C:/context/tex/texmf-context/fonts/map/pdftex/context/original-ams-euler.map} > fonts : using map file: original-public-lm > {C:/context/tex/texmf-context/fonts/map/pdftex/context/original-public-lm.map} > fonts : using map file: lm-math > {C:/context/tex/texmf/fonts/map/dvips/lm/lm-math.map} > fonts : using map file: lm-rm > {C:/context/tex/texmf/fonts/map/dvips/lm/lm-rm.map} > ! LuaTeX error ...text/tex/texmf-context/tex/context/base/node-ref.lua:47: attempt to call upvalue 'list_dimensions' (a nil value) > stack traceback: > ...text/tex/texmf-context/tex/context/base/node-ref.lua:47: in function 'dimensions' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:71: in function 'inject_range' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:302: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ... > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function 'inject_area' > ...text/tex/texmf-context/tex/context/base/node-ref.lua:299: in function <...text/tex/texmf-context/tex/context/base/node-ref.lua:279> > (tail call): ? > <local nodes_cleanup_page = nodes.cleanup_page...>:14: in function <<local nodes_cleanup_page = nodes.cleanup_page...>:10> > (tail call): ? > (tail call): ? > <main ctx instance>:1: in main chunk. > \finalizeshipoutbox ..._page(tex.box[\number #1])} > > \actualshipout ...0\hbox {#1}\finalizeshipoutbox 0 > \setbox \scratchbox \hbox ... > \myshipout ...\@@ppmethod }\gobbleoneargument {#1} > \setnextrealpageno \afters... > \dofinaloutput ...hbox {\vbox {\dopagebody #1#2}}} > \the \everyaftershipout \a... > \finaloutput ...EAEAEA \dofinaloutput \fi \fi #1#2 > \resetselectiepagina \incr... > \sidefloatoutput ...e \else \finalsidefloatoutput > \global \sidefloatvsize \n... > ... > l.6 \stoptext > > ? ========================================================================= Thanks, Tad PS: By the way, the LuaTeX version being distributed in the latest Windows minimals is back to 40.6.

2 1

Re: [NTG-context] Exporting figures
by richard.stephens＠converteam.com 14 Aug '09

14 Aug '09

1 0

latest beta has trouble loading fonts on OS X
by Thomas A. Schmitz 14 Aug '09

14 Aug '09

Hi all, Hans, I have trouble using my own fonts with the latest beta on my OS X box. The problem appears to be that it is unable to create the database. When I run (on mtxrun --script fonts --list I get as the last lines of my output MTXrun | fontnames: globbing path /Library/Fonts/**.dfont MTXrun | fontnames: globbing path /System/Library/Fonts/**.dfont font loading failed for /System/Library/Fonts/Keyboard.dfont It appears this particular font cannot be loaded, so the entire database fails. On my linux laptop, everything works as expected. So my questions are: 1. What can be done about it? 2. Where is OSFONTDIR set on mkiv? I specifically do NOT want my system fonts used by ConTeXt; everything I want to use with TeX is in one of my texmf trees. How can I prevent mkiv from taking the system paths into account? All best Thomas

5 7

Bold letters in math and does tikz work
by Curiouslearn 14 Aug '09

14 Aug '09

Aditya, thanks very much for your reply. Is the default font in context, a unicode font. The layout of my file is \startenvironment Layout \setuppapersize[letter][letter] \setuplayout[width=5.5in,height=10in,backspace=1.5in,topspace=0.5in,header=1.25in,footer=1.25in] \setupwhitespace[medium] \setuppagenumbering[location=] \setupcolors[state=start] \setupcolor[xwi] \setupcaption[figure][headstyle=\tfx\bf,style=\tfx] \setuphead[chapter][color=midnightblue,after=\vskip 2ex] \setuphead[subject][color=midnightblue] \setupitemize[stopper=),left=(] \setupitemize[headstyle=bold] definetextbackground[Quote] [backgroundcolor=linen, backgroundoffset=0.25cm, frame=off, location=paragraph, before=\vskip 1ex\startnarrower, after=\stopnarrower\vskip 2.5ex] \def\Ex#1{{\bf Exercise #1}} \def\Dfn#1{{\bf Definition #1}} \def\bb#1{\blackboard{#1}} \stopenvironment I do NOT get bold with $ {\bf x} $ command. It is upright, but not bold. Thanks for your help. On Wed, Aug 12, 2009 at 10:31 AM, Aditya Mahajan <adityam(a)umich.edu> wrote: > On Wed, 12 Aug 2009, Curiouslearn wrote: > > Hello, >> >> Can someone please tell me how to get bold math symbols in Context. I am >> using >> >> ConTeXt ver: 2009.06.14 21:01 MKIV fmt: 2009.7.7 int: english/english >> > > ${\bi A}$ (bold italic) or with a unicode font use can also use ${\bf A}$ > (bold upright). > > Also, does Tikz work with the latest version of context minimals? >> > > This needs to be fixed by Till Tantanu. There was a long email discussion > on this. > > Aditya > > > ___________________________________________________________________________________ > If your question is of interest to others as well, please add an entry to > the Wiki! > > maillist : ntg-context(a)ntg.nl / > http://www.ntg.nl/mailman/listinfo/ntg-context > webpage : http://www.pragma-ade.nl / http://tex.aanhet.net > archive : https://foundry.supelec.fr/projects/contextrev/ > wiki : http://contextgarden.net > > ___________________________________________________________________________________ >

4 7

Alignment in tables
by Curiouslearn 14 Aug '09

14 Aug '09

Can someone please tell me why the following does not center the text in the first row? Thanks in advance. \setupTABLE[row][1][align={middle}] \setupTABLE[column][1][width=2.5in,align={lohi}] \setupTABLE[column][2][width=3in,align={lohi}] \bTABLE \bTR \bTD {\bf Concept} \eTD \bTD {\bf Definition} \eTD \eTR \bTR \bTD {\bf Closure} of a set $ E \subset M $ ($ \text{cl}(E) $) \eTD \bTD \hskip 1em $ \text{cl}(E) = \cap\{ F : E \subset F, F \text{ is closed} \}$ \eTD \eTR \bTR \bTD $ x $ is a {\bf contact point} or {\bf accumulation point} of $ E $ if \eTD \bTD \hskip 1em $ \forall \varepsilon > 0, B_{\varepsilon}(x) \cap E \neq \emptyset $ \eTD \eTR \eTABLE

2 4

Buglet in figure placement
by Willi Egger 14 Aug '09

14 Aug '09

Hi Hans, I was busy to place figures in a text. One of them should be placed left and surrounded by text. I saw then that the text was (partly) typeset over the figure. This has to do with \quotation{...}. If I place a \strut before the \quotation the text is correctly placed next to the figure. Would you be so kind to have a look into this matter? example: \startbuffer[ward] \input ward \stopbuffer \setuplayout[location=middle] \starttext \placefigure [left,none] [] {} {\externalfigure[hacker][height=.3\textheight]} \quotation{\getbuffer[ward]} % \strut\quotation{\getbuffer[ward]} \stoptext Running LuaTeX 0.42 and Context 14-08-2009 Kind regards Willi

2 1

Exporting figures
by richard.stephens＠converteam.com 14 Aug '09

14 Aug '09

3 2

Re: [NTG-context] Multi-line labels in MetaPost
by richard.stephens＠converteam.com 14 Aug '09

14 Aug '09

2 1

loop textext and \MPstring{…}
by Andreas Harder 13 Aug '09

13 Aug '09

Hi, I am trying to achieve the following: \setMPtext{1}{ABC} \setMPtext{2}{DEF} \setMPtext{3}{GHI} \starttext \startMPpage[offset=1ex,width=\paperwidth,height=\paperheight] for i=1 upto 3: draw textext(\MPstring{i}) shifted(i*cm,i*cm) ; endfor; \stopMPpage \stoptext There is no error but no content either. What's wrong? Thanks Andreas

4 12

forced JavaScript injection (mkiv)
by Peter Rolf 13 Aug '09

13 Aug '09

Hi Hans, is there a switch to disable the default /JavaScript injection? For a good reason PDF/X doesn't allow JS in the document. And the preflight only checks the existence of the /JavaScript key, but not if there is any JS code in it. Best wishes, Peter

2 2

leqslant for Cambria Math
by Michail Vidiassov 13 Aug '09

13 Aug '09

Dear All, using Cambria + Cambria Math (\usetypescript[cambria] \setupbodyfont[cambria]) makes Unicode math input and typesetting instantly possible (great for a newbie, even if not FSF-kosher) - but for missing glyphs for leqslant\geqslant. What is the right way to fix or work around such problems? (Complaining to MS does not count). Sincerely, Michail

3 4

Re: [NTG-context] problem with layers and line spacing
by Brian R. Landy 12 Aug '09

12 Aug '09

Understood, but actually it is obeying the 12pt switchtobodyfont for the interline spacing in the backgrounds. It is not using either the layer's switchtobodyfont, which I think should be correct behavior, nor is it obeying the setupbodyfont. Note that the font size is correct, it is the interline spacing that is incorrect. Thanks, Brian On Aug 11, 2009, at 6:11 PM, Hans Hagen <pragma(a)wxs.nl> wrote: > Brian R. Landy wrote: >> Hi, I am attempting to do some work with layers that can repeat >> (and update) using \startsetups & \stopsetups. However I find that >> the line spacing in a \framed in the layers is not alterable and >> instead tracks the font size on the page. I'm attaching a simple >> example (it shows the same issue under MKII and MKIV, although the >> \vbox{} example does not work under MKII). >> If you remove the \startsetups and \stopsetups the line spacing >> works like it should. While they are used, the line spacing in the >> layer's \framed tracks the setting in \switchtobodyfont[12pt]. It >> does not track to either 6pt or 8pt. And I can't find a way to >> reset the spacing (I tried adding in a \setupinterlinespace[reset]). >> Am I doing something wrong? I've tried with MKIV 2009.06.03 and >> 2009.08.07, and MKII at contextgarden. >> Thanks! >> Brian >> \setupbodyfont[8pt]% >> \starttext >> \definelayer[RCheaderleft][preset=lefttop,width=\paperwidth, height= >> \paperheight]% >> \definelayer[RCheaderright][preset=lefttop,width=\paperwidth, >> height=\paperheight]% >> \startsetups[RClayers]% >> \setlayer[RCheaderleft][hoffset=\backspace,voffset=\topspace]{\vbox >> {Line 1\\ Line 2}}% >> \setlayer[RCheaderright][hoffset=\backspace,voffset=\topspace] >> {\switchtobodyfont[6pt]\framed[align= >> {middle,flushright},width=broad]{Line 1\\ Line 2}}% >> \stopsetups >> \setupbackgrounds[page][setups=RClayers,background= >> {RCheaderleft,RCheaderright}]% \switchtobodyfont[12pt] >> \dorecurse{250}{test\par} >> \stoptext > > there is a difference between: > > \setupbodyfont : global usage, document wide > \switchtobodyfont : local usage, does not affect the header, footer > etc > > so, when the backgrounds are constructed, the 8pt is in charge > > Hans > > > ----------------------------------------------------------------- > Hans Hagen | PRAGMA ADE > Ridderstraat 27 | 8061 GH Hasselt | The Netherlands > tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com > | www.pragma-pod.nl > ----------------------------------------------------------------- > ___________________________________________________________________________________ > If your question is of interest to others as well, please add an > entry to the Wiki! > > maillist : ntg-context(a)ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context > webpage : http://www.pragma-ade.nl / http://tex.aanhet.net > archive : https://foundry.supelec.fr/projects/contextrev/ > wiki : http://contextgarden.net > ___________________________________________________________________________________ >

3 3

fit & width don't seem to get along in itemize lists
by U Avalos 12 Aug '09

12 Aug '09

As per the wiki & mailing lists, the following should give me a numbered list with the numbers right aligned: \startitemize[n,fit,packed] [itemalign=flushright,distance=12pt,width=60pt] \dorecurse{10}{\item blablabla} \stopitemize Unfortunately, with the "fit" setting, the "width" setting stops working. (However, "fit" seems to be necessary for the right-alignment.) What I would like to do is finetune the spacing after the number. Any ideas? Thanks!

1 1

Multi-line labels in MetaPost
by richard.stephens＠converteam.com 12 Aug '09

12 Aug '09

2 1

Bold letters in math and does tikz work
by Curiouslearn 12 Aug '09

12 Aug '09

Sorry for sending this again. I forgot to change the subject in the previous email and as a result my post got tagged on to an unrelated post. Can someone please tell me how to get bold math symbols in Context. I am using ConTeXt ver: 2009.06.14 21:01 MKIV fmt: 2009.7.7 int: english/english Also, does Tikz work with the latest version of context minimals? Thank you for your help.

1 0

Context and Circuitikz
by Massimo Redaelli 12 Aug '09

12 Aug '09

Hi all. After a request to make Circuitikz compatible with Context, I tried my hand at it a bit and I would say it's mostly done. I'm having some trouble with the module mechanism of context though (inputting the t-context.tex file seems to work, but using the module does not), and I'd need some help with this. Could I send anybody the code as it is, and possibly get some feedback on the kind of errors I get? Thank you! M. Redaelli

3 4

\seeindex problems
by Xan 12 Aug '09

12 Aug '09

hi, \seeindex gets me the follwing error (see bellow). This error is the same as described in http://www.ntg.nl/pipermail/ntg-context/2004/005992.html. This message is too old. I just want to now how can I solve it (not there is three cont-new: cont-new.tex, cont-new.mkii and cont.new.mkiv). I have this version of MKII: texexec --version TeXExec | version 6.2.0 - 1997-2006 - PRAGMA ADE/POD in ubuntu. Thanks a lot, Xan. PS; Please CCme subsubsubject : - Els grafs de Cayley i el problema de la paraula subsubject : - Diagrames de van Kampen {vertical mode: \tracingstats} {\tracingpages} {\tracingoutput} {\tracinglostchars} {\tracingmacros} {\tracingparagraphs} {\tracingrestores} {\showboxbreadth} {\showboxdepth} {\tracinggroups} {\tracingifs} {\tracingscantokens} {\tracingnesting} {\tracingassigns} {into \tracingassigns=2} {\errorstopmode} {\tracingonline} {changing \tracingonline=1} Completed box being shipped out [18.18] Memory usage before: 6738&771290; after: 880&767571; still untouched: 931790 title : - Refer\dochar {232}ncies [19.19] [20.20] title : - Llista de símbols (./memoria.tuo) columns : balanced in 7 step(s) [21.21] title : - Índex alfabètic (./memoria.tuo ! Extra \else. <argument> ...\or \s!entryb \else \s!entryc \else \s!entryd \fi \getvalue #1->\csname #1 \endcsname <argument> ...else \s!entryc \else \s!entryd \fi } {\doregisterpagehowto {\v!... \firstoftwoarguments #1#2->#1 l.291 ...t per quasi isometries}{2--0-0-0-0-0-0-0} % ? x {/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/texmf/fonts/enc/dvip s/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/t exmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-m athex.enc}</usr/share/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/ fonts/type1/public/lm/lmex10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10 .pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/share/texmf/fonts/ type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.pfb></u sr/share/texmf/fonts/type1/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/pu blic/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/ texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/fonts/type1/public/lm/lm r8.pfb></usr/share/texmf/fonts/type1/public/lm/lmr9.pfb></usr/share/texmf/fonts /type1/public/lm/lmri10.pfb></usr/share/texmf/fonts/type1/public/lm/lmro10.pfb> </usr/share/texmf/fonts/type1/public/lm/lmro9.pfb></usr/share/texmf/fonts/type1 /public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/s hare/texmf/fonts/type1/public/lm/lmsy8.pfb></usr/share/texmf/fonts/type1/public /lm/lmsy9.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></usr/share/te xmf-texlive/fonts/type1/bluesky/ams/msam10.pfb></usr/share/texmf-texlive/fonts/ type1/bluesky/ams/msbm10.pfb> Output written on memoria.pdf (21 pages, 426300 bytes). Transcript written on memoria.log. TeXExec | runtime: 10.699569

2 9

lpeg substitution
by Thomas A. Schmitz 12 Aug '09

12 Aug '09

Hi all, I'm working on my Greek module again and am trying to filter and massage the input via lpeg, but there's something I don't quite get. As a minimal example: suppose I want to substitute A and B in my input with X and leave all other letters alone. Here's my attempt: \startluacode do local replace = { A = "X", B = "X", } local dosub = (lpeg.Cs(1)) / replace local subs = (dosub)^0 function test (string) tex.sprint(lpeg.match(subs,string)) end end \stopluacode \def\Substitute#1{\ctxlua{test("#1")}} \starttext \Substitute{ABC} \stoptext It substitutes alright, but the "C" is not included in the stream which ctxlua gives to TeX. How can I modify my lpeg pattern? Thanks, and all best Thomas

3 8

Change whitespace before item?
by U Avalos 12 Aug '09

12 Aug '09

Say I want to change the whitespace before an item in an enumeration. The diagram below: |.....(a) Item 2 |.....(b) item 2 Say I want to change the whitespace (represented by the dots) in a list? How can I do that? Tried various settings: changing margin, adding hskip, but nothing seems to do the trick. There doesn't seem to be anything in the docs... How can I get a question answered on this list, BTW? It seems that no one either knows anything or are too busy for simple questions. FYI, devs, this language is going to die if you don't get more users....

8 17

problem with layers and line spacing
by Brian R. Landy 12 Aug '09

12 Aug '09

Hi, I am attempting to do some work with layers that can repeat (and update) using \startsetups & \stopsetups. However I find that the line spacing in a \framed in the layers is not alterable and instead tracks the font size on the page. I'm attaching a simple example (it shows the same issue under MKII and MKIV, although the \vbox{} example does not work under MKII). If you remove the \startsetups and \stopsetups the line spacing works like it should. While they are used, the line spacing in the layer's \framed tracks the setting in \switchtobodyfont[12pt]. It does not track to either 6pt or 8pt. And I can't find a way to reset the spacing (I tried adding in a \setupinterlinespace[reset]). Am I doing something wrong? I've tried with MKIV 2009.06.03 and 2009.08.07, and MKII at contextgarden. Thanks! Brian \setupbodyfont[8pt]% \starttext \definelayer[RCheaderleft][preset=lefttop,width=\paperwidth, height=\paperheight]% \definelayer[RCheaderright][preset=lefttop,width=\paperwidth, height=\paperheight]% \startsetups[RClayers]% \setlayer[RCheaderleft][hoffset=\backspace,voffset=\topspace]{\vbox{Line 1\\ Line 2}}% \setlayer[RCheaderright][hoffset=\backspace,voffset=\topspace] {\switchtobodyfont[6pt]\framed[align={middle,flushright},width=broad]{Line 1\\ Line 2}}% \stopsetups \setupbackgrounds[page][setups=RClayers,background={RCheaderleft,RCheaderright}]% \switchtobodyfont[12pt] \dorecurse{250}{test\par} \stoptext

3 2

missing space between text and a formula
by Bostjan Vesnicer 12 Aug '09

12 Aug '09

Hi, I found the solution to my problem about missing space between text and a formula in MKII when using \indenting[next] (see http://archive.contextgarden.net/message/20080424.112935.a81d9346.en.html) however it seems to me that the proposed fix hasn't been applied to the ConTeXt distribution after that. Bostjan

2 1

\currentdate and language deo
by Thomas A. Schmitz 12 Aug '09

12 Aug '09

Hi all, something doesn't work with language deo in the latest current. Testfile: \mainlanguage[deo] \starttext test: \currentdate \stoptext Switching language to de makes the file compile. All best Thomas

4 7

beta: \dopresetsymbol
by Peter Rolf 12 Aug '09

12 Aug '09

Hi, the macro \dopresetsymbol is used in \dohandlefitfield (scrn-fld.mkiv), but no longer defined. Peter

2 3

addtransparencygroup()
by Peter Rolf 11 Aug '09

11 Aug '09

Hi, in the function codeinjections.addtransparencygroup() there is a tostring() around the dictionary. This results in '/Group (<< dictionary >>)'. Removing the tostring function gives the desired result. BTW: thanks for keeping this part open. I'm currently trying to adapt my 'codeinjection' stuff and it helps a lot, if you can do this without patching some files. I need to insert stuff into /Info, /Catalog, PDFpageattribute and PDFdocumentcolorspace (guess that's all). Best wishes, Peter

2 1

Using verbatim text with combinations
by Črt Gorup 11 Aug '09

11 Aug '09

Hi, I am having some problems using two (side by side) frames containing verbatim text. Can anybody suggest the right approach to this problem? As long as indents are at the right position, I can also survive without the frame around the text. Thanks, Crt. \definetyping[ontology][tab=1,style=small,option=commands] \starttext \startcombination[2]{ % first frame goes here }{kemijska klasifikacija}{ % second frame goes here }{farmakoloska klasifikacija} \stopcombination % frame example \startframedtext[width=5cm] \startontology Organic Chemicals Carboxylic Acids Acids, Carbocyclic Benzoic Acids Hydroxybenzoic Acids Salicylic Acids Aspirin \stopontology \stopframedtext \stoptext

2 2

Re: [NTG-context] type problems
by Wolfgang Werners-Lucchini 11 Aug '09

11 Aug '09

Hallo Wolfgang, it is amazing to see, that you are always able to draw a new white rabbit out of your context-hat! is \mono the youngest incarnation of \type, \retype ...? > \starttext > \mono{\%}\mono{\letterpercent} > \mono{\{}\mono{\letterleftbrace} % \mono{\{} works only with MkIV > \mono{\#}\mono{\letterhash} > \startlines > \mono{bla}blub > \stoplines > \stoptext What about \mono{Dies|Das}? Is'nt it frustrating? Wolfgang

2 1

git repository
by Patrick Gundlach 11 Aug '09

11 Aug '09

Hi, I don't know if you have noticed that the git repository has been replaced by a newer one. Due to the contradiction between the rather linear development and the non-linear storage in the repository I have chosen that all releases will be in a single branch 'master' and tagged as stable or beta. Please consider the git repository as experimental, at least until the end of the conference in delft. (see also: <http://contextgarden.wordpress.com/2009/07/29/news-from-the-git-repository/>) Patrick -- ConTeXt wiki and more: http://contextgarden.net

3 4

Ruby 1.9.1 and non-ascii char parsing in .tui file
by Jose Augusto 10 Aug '09

10 Aug '09

Hi all, A few weeks ago I reported a problem with ruby 1.9.1, which was solved by removing the offending .tui line (Mojca and Hans AFAIR). The problem was related with the existence of non-ascii chars in the .tui file. Sadly it strikes again, now when chars with accents appear in titles (sections, subsections, etc...). The parsing of the line signaled below in the end of this message, from a .tui file, fails in ruby 1.9.1, but not in ruby 1.8.7. The error which is returned is also shown. If I remove the chars with accents from the section title all goes well. I'm using Mkii (--context=current). One of the advantages of ruby 1.8 over 1.8 is tht it is 3 times faster... However, ruby made lots of changes in string manipulation and storing when moving from 1.8 to 1.9, and that must be the source of the problem. I tracked the error to texutil.rb, line 1035: when /^c (.*)$/o then @plugins.reader('MyCommands', [$1]) but then i got lost in the Classes/Modules jungle :-) in that script. Perhaps it is this this procedure, in line 403 of texutil.rb, which triggers the error? def MyCommands::reader(logger,data) @@commands.push(data.shift+data.collect do |d| "\{#{d}\}" end.join) end Thx for your support in advance. If I can help in the solution of the problem please direct me in the task. I have some experience with ruby (I started using it when the 1st pickaxe book edition was published, around 2001) and with perl. But not with Lua :-)... Although I read alraedy quite a lot of Roberto's Lua book, I didn't started coding in Lua yet :-) Kind Regards J. Augusto ############## TUI file and trigered error ################### ## .tui snippet ........ c \mainreference{}{a}{2--0-1-1-0-0-0-0--1}{1}{1.1} >>>>>> c \listentry{subsection}{3}{1.1.1}{Title with accents: Ãçê}{2--0-1-1-1-0-0-0--1}{1} c \mainreference{}{b}{2--0-1-1-1-0-0-0--1}{1}{1.2} ### error pdfTeX warning: pdftex.exe: no GlyphToUnicode entry has been inserted yet! Output written on test1.pdf (1 page, 72793 bytes). Transcript written on test1.log. TeXUtil | parsing file test1.tui TeXUtil | fatal error in parsing test1.tui TeXUtil | check loading of file 'test1', begin/end problem TeXUtil | shortcuts : 169 TeXUtil | expansions: 308 #############################

2 10

\setupfigures does not exist???
by Xan 10 Aug '09

10 Aug '09

Hi, In the manual (page 273) mentions that we can fix figures parameters with \setupfigures, but when I put that, I receive the following error: ! Undefined control sequence. l.233 \setupfigures [before={\blank[big]},after={\blank[big]}] ?x Is this a typo of the manual or bug of software? Thanks, Xan.

2 1

back to Context
by Ciro Soto 09 Aug '09

09 Aug '09

I started a small project of ~100 pages and tried to do it with Scribus since it required pictures, inserts, etc. I found that Scribus was not going to be able to handle the task so easily. So I am back to Context. Here is my task: in the right pages, I want the text (~50 pages of text) and in the left pages I would like a picture and a quotation coming from the right page (this quotation I am willing to do manually). My question is, how do I make one \setuplayout for the odd pages, and another for the even pages? I may use pictures that bleed over the upper left corner of the left page. I used the option \placefigure [opposite], which puts the picture in the opposite page, very nice. However, I have two problems with it: it may put the picture in the right page (opposite to the text in the left page), and I can't make the picture bleed because my \setuplayout is for both pages. I can work with what I have done so far, but I wonder if my task is possible with the current Context macros. thank you Ciro -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com https://www.createspace.com/3392936

2 2

space between text and formula
by Bostjan Vesnicer 09 Aug '09

09 Aug '09

Hi, when I use \indenting [yes, next, big] there is no space between a text and a formula (MKII only) BTW, what is the difference between \indenting and \setupindenting ? \indenting [yes, next, big] \starttext Watch the space between this line and the formula. \startformula E = m c^2 \stopformula \stoptext

1 0

Latest beta doesn't load modules
by Thomas A. Schmitz 08 Aug '09

08 Aug '09

Hi Hans, the latest beta is unabel to load external modules. luatools knows where the module is: luatools t-simpleslides.tex /Users/tas/texmf/tex/context/third/simple-slides/t-simpleslides.tex And yet, it claims it's unable to find it (after saying it has loaded the module): system : module simpleslides.tex loaded ! I can't find file `t-simpleslides'. <to be read again> \relax \dodoreadfile ...ax \inputgivenfile \readfilename \relax \the \everyafterrea... \next ...)}\settrue \moduleisloaded } \donothing } \stopreadingfile <argument> ...es \f!thirdprefix {simpleslides.tex} \dododousemodules \empty {... \firstoftwoarguments #1#2->#1 \dodousemodules ...}}{\dododousemodules {#1-}{#2}} \ifconditional \moduleislo... ... l.6 Same file compiles fine with current stable. All best Thomas

2 3

correction of the question about \useURL
by rene hassel 07 Aug '09

07 Aug '09

Hello Members, I have a problem with the use of \useURL \useURL[pragma-document-url][http://www.pragma-ade.com/document-1.htm]<http://www.pragma-ade.com/document-1.htm%5D%5B%5D%5Bpragma-document> [][pragma-document] with \from[pragma-document-url] I get http://www.pragma-ade.com/document-1.htm in the text, but not pragma-document \useURL[geocities-url][http://www.geocities.com/alex_stef/mylist.html]<http://www.geocities.com/alex_stef/mylist.html%5D%5B%5D%5Bgeocities> [][geocities] works well with \from[geocities-url] (In the first question I wrote: \from[geocities]) I get a reference to geocities. May be is the problem the difference between the .htm and the .html file? Then is the question how to handle .htm files? best regards, Rene van Hassel

2 1

fontfeatures
by Wolfgang Schuster 07 Aug '09

07 Aug '09

Hi Hans, what happened with the option to set font features with more memorizable names you mentioned in http://www.ntg.nl/pipermail/ntg-context/2007/028330.html It would be nice to write \definefontfeature[mine][smallcaps=yes] instead of \definefontfeature[mine][smcp=yes] where you have to know the four letter code for the feature. Wolfgang

2 5

texworks with context on linux
by Alex Lubberts 07 Aug '09

07 Aug '09

Hi, Yesterday I wanted to try out texworks for editing and typesetting my context documents. I installed texworks from the ubuntu launchpad ppa since '--goodies=texworks' doesn't work on linux-64, yet. Then I ran into a few problems: * The script mtx-texworks.lua wasn't able to start texworks because "unable to locate texworks". In the loop that's searching all the binpaths I put in 'logs.simple("%s",p)' and found out that binpaths only consists of one element: the complete PATH variable. I guess it means that there's something wrong with the function file.split_path, but I don't understand what's happening there. When I replaced the loop with 'p="/usr/bin/texworks"' texworks started as expected. * However the typesetting engines were not correctly set up. Texworks (at least on linux) seems to be looking for a file TeXworks.ini. The one in the minimals distribution is called texworks.ini. Renaming this solved it... * ... almost. In the TeXworks.ini file I also had to replace all occurunces of 'mtxrun.cmd' (doesn't work on linux, is this correct for Windows?) with 'mtxrun'. I wish I could help solve these points, but since I'm not much of a programmer I cannot solve the first issue, and the other are just a matter of renaming/replacing?? Regards, Alex -- Alex Lubberts <alex(a)lubberts.org>

2 2

useURL how to use?
by rene hassel 07 Aug '09

07 Aug '09

Hello Members, I have a problem with the use of \useURL \useURL[pragma-document-url][ http://www.pragma-ade.com/document-1.htm][][pragma-document] with \from[pragma-document-url] I get http://www.pragma-ade.com/document-1.htm in the text, but not pragma-document \useURL[geocities-url][ http://www.geocities.com/alex_stef/mylist.html][][geocities] works well with \from[geocities] may be is the problem the .htm and the .html file? Then is the question how to handle .htm files? best regards, Rene van Hassel

1 0

Re: [NTG-context] metaobj and luatex 0.42.0
by Matthew Claus 07 Aug '09

07 Aug '09

Thank you Taco and Hans for the very quick explanation. Regards, Matt

1 0

Wrap an item in a frame?
by U Avalos 06 Aug '09

06 Aug '09

Hi all is there a way to automatically wrap an \item in a frame or frametext box? This my be an obvious question but can't seem to figure it out... Tried this \setupitemize[1][ before=\startframedtext after=\stopframedtext ] But that didn't work.

1 0

Layers don't repeat in Mk IV
by Derek CORDEIRO 06 Aug '09

06 Aug '09

I've been trying to use layers for a simple logo that repeats on all pages. Something along the lines of the code below: \definelayer[mybg][x=0mm, y=0mm,width=\paperwidth, height=\paperheight,repeat=yes] \setlayer [mybg] [hoffset=1cm, voffset=1cm] {\framed[frame=on, width=3cm, height=2cm]{\externalfigure[cow][width=1cm] }} \setupbackgrounds[page][background=mybg] \starttext \dorecurse{6}{\input tufte\par} \stoptext It works as expected using Mk II but does not work under Mk IV: The layer appears only on the first page. Please Help, Derek

3 5

how to get minimals working?
by Hans van der Meer 06 Aug '09

06 Aug '09

I downloaded and installed the minimals. Running LuaTeX MKIV then hangs in TeXShop and must be aborted. Does someone knows what is amiss here? I use the following runscript in TeXShop: #!/bin/bash export MINIMAL="$HOME/TeX/context/beta" $MINIMAL/tex/setuptex export PATH=$MINIMAL/tex/texmf-osx-ppc/bin:$PATH export TEXMFCACHE="$MINIMAL/tex/texmf-cache" context "$1" Minimals: Setting "/Users/hans/TeX/context/beta/tex" as TEXROOT. This is LuaTeX, Version beta-0.42.0-2009071723 \write18 enabled. (reign.tex ConTeXt ver: 2009.07.23 20:11 MKIV fmt: 2009.8.3 int: english/english system : cont-new loaded (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- new.tex systems : beware: some patches loaded from cont-new.tex (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- new.mkiv)) system : cont-fil loaded (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- fil.tex loading : ConTeXt File Synonyms ) system : cont-sys loaded (/Users/hans/TeX/context/beta/tex/texmf-local/tex/context/user/cont- sys.tex) system : reign.top loaded (reign.top) fonts : preloading latin modern fonts (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/type- tmf.tex (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/ base/type-tmf.mkiv)) (/Users/hans/TeX/context/beta/tex/texmf-context/ tex/context/base/type-siz.tex (/Users/hans/TeX/context/beta/tex/texmf- context/tex/context/base/type-siz.mkiv)) (/Users/hans/TeX/context/beta/ tex/texmf-context/tex/context/base/type-otf.tex (/Users/hans/TeX/ context/beta/tex/texmf-context/tex/context/base/type-otf.mkiv)) (/ Users/hans/TeX/context/beta/tex/texmf-local/tex/context/user/type- luc.tex) (/Users/hans/TeX/context/beta/tex/texmf-local/tex/context/ user/type-mti.tex) (/Users/hans/TeX/context/beta/tex/texmf-local/tex/ context/user/type-psc.tex Process aborted Old version that runs to completion (albeit refusing to resize externalfigures): (reign.tex ConTeXt ver: 2008.10.31 13:58 MKIV fmt: 2008.12.17 int: english/ english language : language en is active system : cont-new loaded (/usr/local/texlive/texmf-local/tex/context/base/cont-new.tex systems : beware: some patches loaded from cont-new.tex (/usr/local/texlive/texmf-local/tex/context/base/cont-new.mkiv) (/usr/ local/texlive/texmf-local/tex/context/base/cont-mtx.tex)) system : cont-fil loaded (/usr/local/texlive/texmf-local/tex/context/base/cont-fil.tex loading : Context File Synonyms ) system : cont-sys loaded (/Users/hans/Library/texmf/tex/context/user/cont-sys.tex) bodyfont : 12pt rm is loaded specials : pdftex loaded system : reign.top loaded (reign.top) (/usr/local/texlive/texmf-local/tex/context/base/type- tmf.tex) (/usr/local/texlive/texmf-local/tex/context/base/type- siz.tex) (/usr/local/texlive/texmf-local/tex/context/base/type- otf.tex) (/Users/hans/Library/texmf/tex/context/user/type-luc.tex) bodyfont : style fx (fax) defined bodyfont : style ssit (sansitalic) defined bodyfont : style tts (monosans) defined (/Users/hans/Library/texmf/tex/context/user/type-mti.tex) (/Users/hans/ Library/texmf/tex/context/user/type-psc.tex) (/Users/hans/Library/ texmf/tex/context/user/math-luc.tex etcetera Hans van der Meer

5 10

type problems
by Wolfgang Werners-Lucchini 06 Aug '09

06 Aug '09

Hallo, I have always problems with verbatim text. Sometimes I found a solution, sometimes a workaround. Are there solutions to - print text with a verbatim '%' sign - print text with a verbatim '{' why is in the following example '#' --> '##'? why is there a newline between 'bla' and 'blub'? \starttext %\type{%} %\type{{} \retype{#} \startlines \retype{bla}blub \stoplines \stoptext Thank you Wolfgang

2 1

checking spelling of a tex document
by Ciro Soto 06 Aug '09

06 Aug '09

Hi all I wonder what the people in this list is using for checking the spelling of a tex document.... I am in Linux and I have going back and forth from tex to OOwriter to do this, but that is a pain. Any other suggestion? thank you Ciro -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com https://www.createspace.com/3392936

3 2

List of Figures by chapter?
by epsilon cygni 06 Aug '09

06 Aug '09

Hi, I'm working on my thesis essay. I've been asked to present a list of figures divided by chapters, that is, one single list of figures splitted by chapters: Chapter 1 fig. 1.1 Figure a fig. 1.2 Figure b Chapter 2 fig. 2.1 Figure c fig. 2.2 Figure d ... you get the idea. At my first attempt I thought * \completelistoffigures[criterium=chapter]* might do the trick, unluckily It didn't work out. Then I figured I could make up a specific list of figures for each chapter by defining a float: \definefloat [ChapOnefigure] [ChapOnefigures] [figure] and use \placeChapOnefigure at chapter one whenever I would put up a figure. The list would be listed where appropiate by: \completelistofChapOnefigures and so on for as many chapters I got. This actually works :D ! What I have not been able to achive is to customize each list, i.e. change attributes like number style, page number style, add labels.. I thought that would be the easiest after getting the lists running.. I tried with *\setupfloats*, *\setuplist* and nothing yet. How can I change the apperance of these lists? I would very much appreciate any help. - Ana Hdz

1 0

writestatus not flushing
by Hans van der Meer 05 Aug '09

05 Aug '09

I am trying to follow the problems my typescripts create in mkiv. Using the \writestatus{}{} it turned out that its output to the console is delayed. And because the process seems to have entered an endless loop, I cannot zoom in on the error. The .log file turned out to be empty to. Is there a better solution? Hans van der Meer

2 1

TOP 3 BEST SELLING PACKs: 10-Viagr+10-Cialix: $69.99; 60-Cialix: $198.40; 10-Viagr+10-Cialix+10-Levitr: $119.98 ttuftn fx4
by Verdie Thora 05 Aug '09

05 Aug '09

Cheapest Price Guaranteed. Savings of up to 90% on common prescriptions drugs and OTC drugs. Discounted Drugs. Guaranteed Quality Drugs & Fast Shipping, Safe Pharmacy Network No PrescriptionNeeded You pay & we ship out, Absolutely No QUESTIONs asked TOP 3 BEST SELLING PACKs: 1) Viagr + Cialix: $69.99 10 x Viagr 100 mg + 10 x Cialix 20 mg 2) Cialix: $198.40 60 pills x 20 mg + 4 Free pills 3) Viagr + Cialix + Levitr: $119.98 10 x Viagr 100 mg + 10 x Cialix 20 mg + 10 x Levitr 20 mg Viagr: $1.15/pill Cialix: $1.99/pill Cialix Super Active+: $3.65/pill Levitr: $2.35/pill Acomplia: $$0.50/pill http://gn9emledmy.spaces.live.com/

4 3

XXX
by Schuster 05 Aug '09

05 Aug '09

Hier die angefragte Webseite: www.chef95.com Diese Angebot sind sofort lieferbar! Besten Gruss Gerd Trabert mailstopping(a)inbox.ru ntg-context(a)ntg.nl

1 0

is yours PenisSmall? how small? Doctor guarantees minimum 3-inch 1onger with this natural herbal pill fyqgk 3pw
by Gabriel Bobbye 05 Aug '09

05 Aug '09

^^ BiggerPenis Pill ^^ Yours average or smallerPenis? yours 5 inches or shorter? Doctor Guarantees Minimum 3 inches longer with this You have nothing to lose to give it a try, but your will regret if you don't TRY! 1 Bottle BigPenisPill = $59.95 3 Bottles of BigPenisPill + 1 Free Bottle = $149.95 4 Bottles of BigPenisPill + 2 Free Bottles =$199.95 (Note: 1 bottle = 1 month supply, good result = 4-6 months) pick the package you can afford to be a BIG-MAN! http://aeiachno.cn

1 0

module sync'ing
by Peter Münster 04 Aug '09

04 Aug '09

Hello, How should module contributions (t-vim, t-french, t-letter, etc.) find their way to the minimals today? (There are so many possibilities, I'm a bit lost: modules.contextgarden.net, svn, git, ctan, rsync, email to Mojca, email to Hans, and so on... ;) Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

3 4

lost curved left quotes
by Ciro Soto 04 Aug '09

04 Aug '09

I am resending this just in case it got lost when the server was down. Hi all, Somehow my left quotes are straight, not curved as my right quotes. How could I make them curved? (I am using `` for the left quotes, and '' for the right quotes.) (If I use \quotation {qwerty} I get the curved quotes in both sides) thank you in advanced Ciro -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com<http://www.theguitarmakerexploration.com/> http://www.myspace.com/sotoaguirre

3 2

filecontents
by Peter Münster 04 Aug '09

04 Aug '09

Hello, It would be nice, if this module could be integrated in the distribution: http://wiki.contextgarden.net/Filecontents Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

1 0

pages not full
by Ciro Soto 04 Aug '09

04 Aug '09

I am having a minor but persistent problem. The text area don't get full of text. It jumps to the next page leaving several (4 ,5, 6) lines empty at the bottom of the text area. It happens in the middle of a paragraph. Any switch I should be setting up? ciro -- -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com https://www.createspace.com/3392936

1 0

framed box in between
by Ciro Soto 04 Aug '09

04 Aug '09

I am resending this note in case it got lost when the server was down. ciro Hi all, I would like to have a quote inserted in a framed box that is part in the margin and part in the text, and surrounded by the text. I found the command to have it in the margin or in the text area, but couldn't figure out how to locate the frame partially in the text area, and partially in the margin. How could I do that? thank you, Ciro -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com<http://www.theguitarmakerexploration.com/> http://www.myspace.com/sotoaguirre -- -- Links of your interest: http://www-personal.engin.umd.umich.edu/~cirosoto/ http://www.TheGuitarMakerExploration.com https://www.createspace.com/3392936

1 0

Problem with \definetextbackground
by Helmut Schwertner 04 Aug '09

04 Aug '09

Hello, I have a problem with the following file: %%%%%%%%%%%%%%%%test.tex%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \setupcolors[state=start] \definetextbackground[verbatim] [background=color,backgroundcolor=yellow,backgroundoffset=0cm,offset=0.5cm,frame=on,framecolor=black,location=paragraph,color=black] \setuptyping[typing][margin=1cm,bodyfont=8.0pt,before={\starttextbackground[verbatim]},after={\stoptextbackground}] \starttext \starttyping This is the first line. This is the second line. \stoptyping \stoptext %%%%%%%%%%%%%%%%test.tex%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% I use contextminimals (latest version) with mkii (texexec testfile) and get the sign of interrogation: color : system rgb is global activated (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) (./test.tuo) ! Undefined control sequence. \initializeparbackgrounds ...e \enableparposition \fi <inserted text> ...page \initializeparbackgrounds \loadctxpreplist \checkref... \doateverystarttext ->\the \everystarttext \global \everystarttext \emptytoks \starttext ->\doateverystarttext \ifcase \textlevel \registerfileinfo [begin... l.22 \starttext ? (./test.tuo) ... When I press the "return"-button all works fine and I get the pdf-document as I want it. What can I do to get the pdf without stop? When I use mkiv (context test) I get the following message without any pdf: mplib : initializing instance 'metafun' using format 'metafun' mplib : loading 'metafun.mp' from 'C:/context/tex/texmf-cache/luatex-c ache/context/2fea56f92e5267d7cc9662e4d5f52e1e/formats/cont-en-metafun.mem' ! Emergency stop. <inserted text> ...ore.mp ; fi ; ;;;]===], false)} \processMPgraphic ...s ;\!!es , \MPaskedfigure )}} \egroup \global \MPinstanc... \useMPpositiongraphic ...tartMPcode #3\stopMPcode \egroup \doMPpositiongraphic ...riables \getvalue {MPG:#1} } \doMPpositiongraphic ...fined {MPG:#1}\donothing } \removelastspace }\smashbo... \dohandleMPpositiongraphicrange ...raphic {#3}{#4} \fi \fi ... l.27 \stoptext ! ==> Fatal error occurred, no output PDF file produced!MTXrun | fatal error, r eturn code: 1 What can I do? Thanks a lot! Helmut -- ******************************************************** Helmut Schwertner Kirchweg 154 28201 Bremen Phone: 0421 528 58 22 Mobil: 01577 195 37 78 eMail: helmut.schwertner(a)gmx.de

1 0

minimals not working
by Hans van der Meer 04 Aug '09

04 Aug '09

I downloaded and installed the minimals. Running LuaTeX MKIV then hangs in TeXShop and must be aborted. Does someone knows what is amiss here? I use the following runscript in TeXShop: #!/bin/bash export MINIMAL="$HOME/TeX/context/beta" $MINIMAL/tex/setuptex export PATH=$MINIMAL/tex/texmf-osx-ppc/bin:$PATH export TEXMFCACHE="$MINIMAL/tex/texmf-cache" context "$1" Minimals: Setting "/Users/hans/TeX/context/beta/tex" as TEXROOT. This is LuaTeX, Version beta-0.42.0-2009071723 \write18 enabled. (reign.tex ConTeXt ver: 2009.07.23 20:11 MKIV fmt: 2009.8.3 int: english/english system : cont-new loaded (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- new.tex systems : beware: some patches loaded from cont-new.tex (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- new.mkiv)) system : cont-fil loaded (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/cont- fil.tex loading : ConTeXt File Synonyms ) system : cont-sys loaded (/Users/hans/TeX/context/beta/tex/texmf-local/tex/context/user/cont- sys.tex) system : reign.top loaded (reign.top) fonts : preloading latin modern fonts (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/base/type- tmf.tex (/Users/hans/TeX/context/beta/tex/texmf-context/tex/context/ base/type-tmf.mkiv)) (/Users/hans/TeX/context/beta/tex/texmf-context/ tex/context/base/type-siz.tex (/Users/hans/TeX/context/beta/tex/texmf- context/tex/context/base/type-siz.mkiv)) (/Users/hans/TeX/context/beta/ tex/texmf-context/tex/context/base/type-otf.tex (/Users/hans/TeX/ context/beta/tex/texmf-context/tex/context/base/type-otf.mkiv)) (/ Users/hans/TeX/context/beta/tex/texmf-local/tex/context/user/type- luc.tex) (/Users/hans/TeX/context/beta/tex/texmf-local/tex/context/ user/type-mti.tex) (/Users/hans/TeX/context/beta/tex/texmf-local/tex/ context/user/type-psc.tex Process aborted Old version that runs to completion: (reign.tex ConTeXt ver: 2008.10.31 13:58 MKIV fmt: 2008.12.17 int: english/ english language : language en is active system : cont-new loaded (/usr/local/texlive/texmf-local/tex/context/base/cont-new.tex systems : beware: some patches loaded from cont-new.tex (/usr/local/texlive/texmf-local/tex/context/base/cont-new.mkiv) (/usr/ local/texlive/texmf-local/tex/context/base/cont-mtx.tex)) system : cont-fil loaded (/usr/local/texlive/texmf-local/tex/context/base/cont-fil.tex loading : Context File Synonyms ) system : cont-sys loaded (/Users/hans/Library/texmf/tex/context/user/cont-sys.tex) bodyfont : 12pt rm is loaded specials : pdftex loaded system : reign.top loaded (reign.top) (/usr/local/texlive/texmf-local/tex/context/base/type- tmf.tex) (/usr/local/texlive/texmf-local/tex/context/base/type- siz.tex) (/usr/local/texlive/texmf-local/tex/context/base/type- otf.tex) (/Users/hans/Library/texmf/tex/context/user/type-luc.tex) bodyfont : style fx (fax) defined bodyfont : style ssit (sansitalic) defined bodyfont : style tts (monosans) defined (/Users/hans/Library/texmf/tex/context/user/type-mti.tex) (/Users/hans/ Library/texmf/tex/context/user/type-psc.tex) (/Users/hans/Library/ texmf/tex/context/user/math-luc.tex etcetera.... Hans van der Meer

1 0

New to TeX, ConTeXt - How to conditionally include document sections?
by Stephen Gadsby 24 Jul '09

24 Jul '09

Good day, Please pardon my newness to TeX, ConTeXt, and this list. If I violate list etiquette, I apologize and hope you will let me know. Thank you. I'm attempting to abandon the use of Word for a maintaining a growing set of 30 to 60 page documents that provide information on similar, but not identical, equipment at a range of locations. My idea was to create one ConTeXt project that, depending upon the definition of one string in the project file, appropriately adjusts the resulting document's title and pulls in component "foo" for location "A", "bar" for location "B", etc. My problem is, after playing with if, ifx, and ifcase for some time and digging through all the ConTeXt and TeX documentation I can find, I'm still not understanding how to accomplish the TeX/ConTeXt equivalent of: if <string in variable> equals <string> then do thing 1 ... do thing n else if... I've repeatedly come across information on ifthenelse in LaTeX, and in some quick tests, it does appear to do exactly what I want. However, while I've admittedly only played with LaTeX for a few hours, it seems to make specifying exact formatting somewhat difficult. As I'll be turning these documents into PDFs myself, rather than sending them off to a publisher, that's a concern for me. If someone would please point me to documentation or an example of how to accomplish string comparison based if-thens in ConTeXt, I'd greatly appreciate it. Thank you. -Stephen J. Gadsby, Multimedia Specialist Web & Multimedia Services, Information Technology Millersville University of Pennsylvania, USA

3 3

[OT] mupdf
by luigi scarso 24 Jul '09

24 Jul '09

http://ccxvii.net/mupdf/ It seems a valid alternative to xpdf -- luigi

8 13

How to frame a float together with the caption?
by Marcin Borkowski 24 Jul '09

24 Jul '09

As in the subject. When I do \setupcaption[intermezzo][ location=top, number=no, style=italic, ] \setupfloat[intermezzo][ frame=on, ] only the content gets framed; I'd like to have a frame (or background, for that matter) around all the float _and_ the caption. Any ideas? -- Marcin Borkowski (http://mbork.pl) Well, I admit that I quite like the Emacs operating system. The only problem with it is that it lacks a good ASCII editor.

1 0

"Double" chapter titles
by Marcin Borkowski 24 Jul '09

24 Jul '09

Hi all, I'd like to have "double" chapter titles (i.e., a title and a subtitle of each chapter). Is that possible using the standard ConTeXt "head" mechanism? Regards -- Marcin Borkowski (http://mbork.pl) Wstawać. Chodzić. Słodzić. Wozić. Ruszać się. Lubić. Słodzić. Mówić. Grozić. Wzruszać się. Czy to jest wieczne? (40i30na70)

2 2

Re: [NTG-context] Problems with @incollection + strange trouble--> short (not with log)
by Xan 24 Jul '09

24 Jul '09

En/na Xan ha escrit: > Taco, > > I have strange problems: > > 1) > With \setuppublicationlayout[incollection]{% > \insertartauthors{}{}{\insertthekey{}{, }{}}% > \insertarttitle{, \bgroup }{\egroup}{}% > \inserttitle > {, in % > \bgroup\it}% > {\egroup > \inserteditors{, edited by }% > {}% > {} > \insertseries > {\insertvolume{, number }{~in }{ }}% > {}% > {}% > \insertchap{\unskip, }{ }{ }% > \insertpubyear{(% > \insertpublisher{}{, }%{}% > }{)\insertEdition{, }{ ed. }{}}{}% > \insertpages{\unskip, p.~}{. }{\unskip. }% > }% > {In \insertcrossref{}{}{}% > \insertchap{\unskip, }{ }{ }% > \insertpages{\unskip, p.~}{. }{\unskip. }% > }% > \insertNote{ }{.}{}% > } > > then I get this error > > subject : - Eines geomètrics per fer front al problema de la > paraula > {vertical mode: \tracingstats} > {\tracingpages} > {\tracingoutput} > {\tracinglostchars} > {\tracingmacros} > {\tracingparagraphs} > {\tracingrestores} > {\showboxbreadth} > {\showboxdepth} > {\tracinggroups} > {\tracingifs} > {\tracingscantokens} > {\tracingnesting} > {\tracingassigns} > {into \tracingassigns=2} > {\errorstopmode} > > {\tracingonline} > {changing \tracingonline=1} > > Completed box being shipped out [9.9] > Memory usage before: 4840&640775; after: 726&638324; still untouched: > 931790 > > Completed box being shipped out [10.10] > Memory usage before: 2101&638568; after: 528&638393; still untouched: > 931790 > title : - Refer\dochar {232}ncies > ! Extra \endcsname. > <argument> ...}{, }\csname @@pb@pubyear\endcsname > )\insertEdition {, }{ > ed. }{} > > \firstoftwoarguments #1#2->#1 > <argument> ... }}{)\insertEdition {, }{ ed. > }{}}{} > \insertpages {\unskip > , p.... > > \firstoftwoarguments #1#2->#1 > \@@pvdataincollection ...p , p.~}{. > }{\unskip . }} > \insertNote { > }{.}{}\unskip > \dotypesetapublication ...ve {\getvalue {pbdt-#1}} > \fi \egroup > ... > l.519 \completepublications[criterium=cite] > %all per tots > ? > > > and when I commented (as originally): > > \setuppublicationlayout[incollection]{% > \insertartauthors{}{}{\insertthekey{}{, }{}}% > \insertarttitle{, \bgroup }{\egroup}{}% > \inserttitle > {, in % > \bgroup\it}% > {\egroup > \inserteditors{, edited by }% > {}% > {} > \insertseries > {\insertvolume{, number }{~in }{ }}% > {}% > {}% > \insertchap{\unskip, }{ }{ }% > \insertpubyear{(% > \insertpublisher{}%{, }%{}% > }{)\insertEdition{, }{ ed. }{}}{}% > \insertpages{\unskip, p.~}{. }{\unskip. }% > }% > {In \insertcrossref{}{}{}% > \insertchap{\unskip, }{ }{ }% > \insertpages{\unskip, p.~}{. }{\unskip. }% > }% > \insertNote{ }{.}{}% > } > > all works. > > I did **not** add your example yet. > > 2) when I substitute all "subjects" ({sub}*subjects too) for > "section", then the references are empty. > > > do you have any idea? > I have MKII. > > I attach the files. % interface=en output=pdftex %\environment capcalera.context % Capçalera % Regime \enableregime[utf] % Choose a font \setupbodyfont [cmr,11pt] % cmr, 11pt % Be tolerant with paragraph building \setuptolerance [horizontal,verytolerant,stretch] % Choose a language, and associated hyphenation rules. %\language [ca] \mainlanguage[ca] % Page number \setuppagenumbering [location={footer}] % White space between paragraphs %\setupwhitespace [big] % Paper size \setuppapersize [a4] % Margins %\setuplayout [grid=yes, footer=0.5\footerheight, header=0.5\headerheight] %\setuplayout[footer=2cm, header=2cm] %\showlayout %\showframe %\showsetups % Format de marges %\setuplayout[topspace=1.5cm, % marge d'adalt %margin=1.5cm, %marges dels costats %header=1.0cm,%separació entre adalt i primera línia %footer=1.0cm,%separació entre abaix i darrera línia %width=fit,height=fit,backspace=2cm] % Enable colors and activate hyperlinks \setupcolors [state=start] \definecolor[lightblue][r=0.5, g=0.5, b=1.0] %\setupinteraction [state=start, color=lightBlue] %\setupurl[style=small, space=yes] \setupurl[space=yes] % Enumerate the URLs %\useURL[wiki][http://wiki.contextgarden.net][][\ConTeXt\ wiki] %\useURL[nagorko-pdf][http://www.math.bgu.ac.il/~barakw/probseminar/nagorko/slides.pdf][][http://www.math.bgu.ac.il/\~{}barakw/\quad\quad\quad\quad probseminar/nagorko/slides.pdf] %\useURL[govern-me][http://sgtrelinst.caib.es/llibrestil/00index.html][][http://sgtrelinst.caib.es/llibrestil/00index.html] %\useURL[context-manual-pdf][http://www.pragma-ade.com/general/manuals/cont-eni.pdf][][http://www.pragma-ade.com/general/manuals/ cont-eni.pdf] %\useURL [contextgarden] [{http://www.contextgarden.net}] %\useURL [mccammond][{http://www.math.ucsb.edu/~jon.mccammond/geogrouptheory/}][] [{\tf http://www.math.ucsb.edu/\~{}jon.mccammond/geogrouptheory/}] % Fonts %% Chapters... \setupheads[align=flushleft] \setuphead[chapter][style={\bfd}] \setuphead[section][style={\bfc}, header=nomarking] \setuphead[subsection][style={\bfb}] \setuphead[subsubsection][style={\bfa}] %\setuphead[section][textstyle=bold] % Bibliography options % BIBTEX \usemodule[bib] %\usemodule[bibltx] \setupbibtex[database=memoria,sort=author] \setuppublications [alternative=ams,numbering=yes, sorttype=bbl, criterium=cite]% \setupheadtext[ca][pubs=Referències] \setuppublicationlist[authoretallimit=3] \setuppublicationlist[authoretaltext={\it\ et al.}] \setuppublicationlist[authoretaldisplay=1] %Indentation \setupheads[indentnext=yes] \setupindenting[yes,small,first] %\setupformulae[indentnext=yes] % Vertical spaces between paragraphs \setupwhitespace[small] %Itemize \setupitemize[each][indentnext=no,margin=2em] % [identnext=yes,margin=2em] \setupitemize[each][headstyle=bold] %\setupitemize[a][right=),stopper=] % Mathematical packets \usemodule[newmat] \usemodule[math-ams] % Heads and footers %\setupfootertexts[][{\tfxx \currentdate}] %\setupfootertexts[\pagenumber/\lastpage] %\setupfooter[text][before=\hrule] %\setupheader[text][after=\hrule] %\setupheadertexts[{\tfx Màster de Matemàtiques}][{\tfx \jobname.\ConTeXt{}.\currentdate}] %\setupheadertexts[][{\tfx \currentdate}] % hyphenating \hyphenation{do-cu-ment} \hyphenation{pro-ble-ma} \hyphenation{es-crip-tu-ra} \hyphenation{ge-ne-ra-lit-za-ció} \hyphenation{cor-res-po-nents} \hyphenation{pa-rells} \hyphenation{ge-ne-rat} \hyphenation{re-so-lu-ble} % Modules %\usemodule[tikz] %\usemodule[pgfmath] %\usetikzlibrary[mindmap,arrows,calc,decorations.pathmorphing,decorations.markings] %\usetikzlibrary[trees] % AMSTHM equivalent %% Exercici \defineenumeration [exercici] [text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,before={\bgroup\startframedtext[background=screen,frame=off,width=broad]},after={\stopframedtext\egroup}] %% Lema \defineenumeration [lema] [text={Lema}, % Què es mostra before={\blank[big]}, % abans de lema, un bigskip after={\blank[big]}, % després de lema, un bigskip headstyle=bold, % Negreta per la capçaleras %between=\blank, % Entre Lemmes una línia en blanc titledistance=.5em, % espai entre número i parèntesis. textdistance=.5em, % espai entre ) i text stopper={.\space}, % Com acaba. Després de parèntesis un '.' location=serried, width=fit, % que ocupi tot l'espai style=italic, % estil del text title=yes, % si puc posar o no arguments opcionals titlestyle=bf, % estil del títol way=bytext, % enumerar en tot el document conversion=numbers,indenting=yes] % enumera amb arabic %% Proposició, corol·laris, teoremes. %% Comparteix els nombres amb lema %% Si volem que vagin a part, hem de posar 'number=proposition' \defineenumeration [proposition] [lema] [text={Proposició}] \defineenumeration [corollary] [lema] [text={Corol·lari}] \defineenumeration [theorem] [lema] [text={Teorema}] %% Definició \defineenumeration [definition] [lema] [text={Definició},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [notation] [definition] [text={Notació},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [nota] [definition] [text={Nota},style=tf,titlestyle=bf,indenting=yes] %% Demostració \defineenumeration[demo][text={Demostració.\space},number=no,location=serried,width=fit,headstyle=italic,indentnext=yes,between=\blank,textdistance=.5em,closesymbol={\mathematics{\Box}},style=normal,indenting=yes] % Table of contents %% dots between... and subsubsubsection are not listed \setupcombinedlist[content][level=4,alternative=c] %% section = bold. % width= 10mm --> less space between num-letter %% line break after section. \setuplist[section][style=bold,width=10mm] \setuplist[section][before=\blank] %% margin = 10 mm. Put the subsection just bottom section. \setuplist[subsection][margin=10mm,width=10mm] \setuplist[subsubsection][margin=20mm,width=10mm] %\setuplist[subsection] %[distance=1em] % section = bold. % % Això ho trec d'un manual: %\setuplist[subsection] % [margin=1em, % numbercommand=\NumCom] %\def\NumCom#1{\hbox to 2em{\hfill #1}} % Set "Índex" like "Índex de continguts" \setupheadtext [ca] [content=Índex] % Definitions/abbreviations \define[1]\dist{d(\sigma_g(#1), \sigma_h(#1))} \define[1]\imp{{\bgroup\startframedtext[background=screen,frame=on,width=broad]#1\stopframedtext\egroup}} %\define[1]\imp{{\bgroup\startframedtext[background=color,backgroundcolor=lightblue,frame=on,width=broad]#1\stopframedtext\egroup}} % SPLIT \def\startsplit {\startalign} % no number by default \def\stopsplit {&\doalignNR[+][]\crcr % for a number on last line \stopalign} % Other \setupunderbar[alternative=b] % Fix underline style % For putting underline with spaces: \underbar{\dorecurse{40}~} % Define new register for the Index of Symbols \defineregister[mysymbol][mysymbols] % Start the text \starttext \version[concept] %\title{Introducció} \title{Preliminars} En aquests preliminars s'introdueixen les definicions i notacions bàsiques que s'empraran al llarg d'aquesta memòria. La primera secció està dedicada a recordar les definicions i teoremes bàsics de la Teoria de Grups i a enunciar en què consisteix el problema de la paraula per a grups. A la segona secció, s'introdueixen els conceptes estàndard de la Teoria Geomètrica de Grups. Entre aquests es mencionen els conceptes de diagrames de van Kampen, grafs de Cayley i funcions de Dehn. \subject{Conceptes bàsics} \subsubject{Paraules sobre un alfabet} En aquest apartat farem memòria de la definició de paraula (sobre un alfabet) i introduirem certes notacions i operacions estàndards que farem servir posteriorment. Recordem que un {\em alfabet}\index{alfabet} és un conjunt qualsevol de símbols, els quals anomenarem {\em lletres}\index{lletres}. Si $A$ és un alfabet, aleshores una {\em paraula $w$ sobre $A$}\index{paraula} és una successió finita de lletres de $A$, que escriurem com $w = w_1 \ldots w_k$. Indicarem amb $\varepsilon$ la paraula que no té cap lletra, la qual anomenarem {\em paraula buida}\index{paraula+buida}. Quan $w$ consti de dues o més lletres iguals consecutives, per comoditat, podrem agrupar-les usant la notació multiplicativa. Per exemple si $A = \{a,b\}$, aleshores $ab^3a^2b$ denotarà la paraula $abbbaab$. La {\em concatenació}\index{concatenació de paraules} de dues paraules $w_1$, $w_2$ sobre $A$, que indicarem amb $w_1 \cdot w_2$, és la juxtaposició de $w_1$ i $w_2$, és a dir, si $w_1 = a_1 \ldots a_k$ i $w_2 = b_1 \ldots b_s$, aleshores \startformula w_1 \cdot w_2 = a_1 \ldots a_k b_1 \ldots b_s, \stopformula amb la convenció que $w_1 \cdot \varepsilon = \varepsilon \cdot w_1 = w_1$. Sovint ometrem el símbol $\cdot$ i escriurem $u v$ per denotar $u \cdot v$. Si $w$ és una paraula sobre $A$, aleshores $l(w)$\mysymbol{$l(w)$} denotarà la seva {\em longitud}\index{longitud+d'una paraula}, és a dir, el seu nombre de símbols. De forma clara, $l(u \cdot v) = l(u) + l(v)$, per a qualssevol paraules $u, v$ sobre $A$. D'altra banda, indicarem amb $w(t)$ el {\em prefix de $w$ de longitud $t$}\index{paraula+prefix de longitud $t$,}. Formalment, si $w = \varepsilon$, $w(t) = \varepsilon$ i si $w = w_1 \ldots w_k$, aleshores $w(t) = w_1 \ldots w_t$. Per últim, indicarem amb $A^*$ el {\em monoide lliure sobre $A$}\index{monoide lliure}, és a dir, el conjunt de totes les paraules sobre $A$. \subsubject{Grups lliures} En aquesta secció construirem el {\em grup lliure} de base $X$ un conjunt qualsevol i descriurem algunes de les seves propietats a mode de teoremes. Donat $X$ un conjunt qualsevol, agafem un conjunt d'inverses formals de $X$, que indicarem amb $X^{-1}$, format per símbols $x^{-1}$ per a cada $x \in X$. Formalment, $X^{-1}$ és un conjunt del mateix cardinal que $X$ juntament amb una funció bijectiva ${}^{-1} \colon X \to X^{-1}$, de manera que, per a tot $x \in X$, la imatge de $x$ per ${}^{-1}$ s'escriu $x^{-1}$. Amb aquests conjunts podem formar el monoide lliure ${(X \cup X^{-1})}^*$ els elements del qual són llistes finites d'elements de $X$ i de les seves inverses formals. Enfatitzem que els elements de $X^{-1}$ són inverses formals: si $X = \{a, b\}$, aleshores $b$, $aba^{-1}$, $ab$ i $aba^{-1}a$ són elements diferents en el monoide lliure ${(X \cup X^{-1})}^*$. Afegirem dues convencions: abusant del llenguatge, si $a \in X^{-1}$ i $a = x^{-1}$ per a algun $x \in X$, aleshores $a^{-1}$ denotarà $x$, o sigui, de manera informal, el que feim és fer involutiva la funció ${}^{-1}$. D'altra banda, estendrem les inverses formals a les paraules. Per a la paraula buida definim $\varepsilon^{-1} = \varepsilon$, i si \startformula w=x_1 x_2 \ldots x_{k-1}x_k \in {(X \cup X^{-1})}^*, \stopformula aleshores $w^{-1}$ indicarà la paraula \startformula w^{-1} = x_k^{-1}x_{k-1}^{-1}\ldots x_2^{-1} x_1^{-1} \in {(X \cup X^{-1})}^*. \stopformula En poques paraules, amb aquestes convencions, hem aconseguit que ${}^{-1}$ sigui un morfisme en ${(X \cup X^{-1})}^*$ respecte de la concatenació de paraules. Sobre ${(X \cup X^{-1})}^*$ definim la relació $\sim$ definida de la manera següent: dues paraules $u$, $v$ són equivalents, i.e., $u \sim v$, si, i només si, podem passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$. \stopitemize És clar que $\sim$ és una relació d'equivalència. A més, preserva l'estructura de ${(X \cup X^{-1})}^*$: si $u_1 \sim u_2$ i $v_1 \sim v_2$, aleshores $u_1 \cdot v_1 \sim u_2 \cdot v_2$ i $u_1^{-1} \sim u_2^{-1}$. Per tot això, es pot veure fàcilment que ${(X \cup X^{-1})}^*/\sim$ és un grup (l'element neutre és $[\varepsilon]_\sim$ i la inversa de $[w]_\sim$ és $[w^{-1}]_\sim$). Anomenarem a aquest grup el {\em grup lliure de base $X$}\index{grup+lliure}, i l'indicarem amb $F(X)$\mysymbol{$F(X)$}. Si $X$ té només un sol element, aleshores $F(X) \cong \integers$, el qual és l'únic grup lliure abelià no trivial. Si $X = \emptyset$, aleshores $F(X) \cong \{1\}$. Una paraula sobre $X \cup X^{-1}$ és {\em reduïda}\index{paraula+reduïda} si no conté cap ocurrència de la forma $xx^{-1}$, amb $x \in X \cup X^{-1}$. Qualsevol paraula que només conté una lletra i $aba^{-1}$ són paraules reduïdes. La paraula buida també és reduïda. En canvi $abb^{-1}b$ i $aba^{-1}abb^{-1}a^{-1}$ no són paraules reduïdes. Donada una paraula $w \in {(X \cup X^{-1})}^*$, existeix una paraula reduïda $u$ tal que $w \sim u$, obtinguda aplicant un nombre finit de passes de reducció \cite[extras={, Lema~6.1}][grillet], la qual indicarem amb $red(w)$\mysymbol{$red(w)$}. A més, aquesta paraula és única, o sigui, no existeix cap altra paraula reduïda dins la classe d'equivalència de $w$ \cite[right={; }, extras={, Lema~6.4}][grillet]\cite[left=,extras={, Teorema~2.1.2}][robinson]. Això fa que el grup lliure $F(X)$ sigui isomorf al grup format pel conjunt de paraules reduïdes sobre $X \cup X^{-1}$ amb l'operació binària consistent en la concatenació de dues paraules reduïdes seguida de la reducció (per exemple, l'aplicació que envia cada paraula reduïda $u$ a la classe d'equivalència $[u]_\sim$ és un isomorfisme entre aquests grups). Estrictament parlant $X$ no està inclòs dins $F(X)$, ara bé, tenim la inclusió natural $\eta$ de $X$ en $F(X)$ tal que $\eta(x) = [x]_\sim$, per a tot $x \in X$. A més, aquesta inclusió es pot estendre per a $X^{-1}$ de la forma $\eta(x^{-1}) = [x^{-1}]_\sim$, per a tot $x \in X$. Per construcció de $F(X)$, això fa que tot element de $F(X)$ es pugui posar com a producte de elements de $\eta(X)$ i els seus inversos, la qual cosa implica el resultat següent: \starttheorem{\cite[right={; }, extras={, Proposició~6.6}][grillet]\cite[left=,extras={, Proposició~1.6}][cgt]}El grup lliure $F(X)$ està generat per $\eta(X)$. \stoptheorem Una propietat molt important que compleix el grup lliure, la qual el caracteritza, és la {\em propietat universal}\index{propietat universal}, que podem enunciar com el resultat següent: \starttheorem{\cite[extras={, Teorema~6.7}][grillet]} Sigui $\eta \colon X \to F(X)$ la inclusió natural. Per a tota funció $f$ de $X$ a un grup qualsevol $G$, existeix un únic morfisme $\nu \colon F(X) \to G$ tal que $\nu \circ \eta = f$. \stoptheorem \startcorollary[thme:gruplliure-imatge]{\cite[grillet, robinson]} Sigui $G$ un grup generat per un conjunt $X$. Aleshores existeix un homomorfisme exhaustiu de $F(X)$ a $G$, o sigui, tot grup és imatge del grup lliure per a qualque homomorfisme. \stopcorollary Altres propietats interessants del grup lliure són les seguents: \starttheorem{\cite[extras={, Teorema~2.1.3}][robinson]} Sigui $G$ un grup i $X$ un subconjunt de $G$. Si tot element $g$ de $G$ es pot escriure de forma única com a $g = x_1^{l_1} \ldots x_r^{l_r}$ amb $r \geq 0$, $x_i \in X$, $l_i \in \integers$ tals que $l_i \neq 0$ i $x_i \neq x_{i+1}$, per a tot $i \in \{0, \ldots, r\}$, aleshores $G$ és lliure de base $X$. \stoptheorem \starttheorem{\cite[extras={, Proposició~1.9}][cgt]} Sigui $X$ un subconjunt de $G$ tal que $X \cap X^{-1} = \emptyset$. Aleshores $X$ és una base d'un subgrup lliure de $G$ si, i només so, no hi ha cap producte de la forma $x_1 \ldots x_r$ que sigui trivial, amb $r \geq 1$, $x_i \in X \cup X^{-1}$ i $x_i \neq x_{i+1}^{-1}$, on $i \in \{0, \ldots, r\}$. \stoptheorem \starttheorem{\cite[robinson,cgt]}Siguin $X$, $Y$ conjunts qualssevol. Aleshores $F(X) \cong F(Y)$ si, i només si, $\lvert X \rvert = \lvert Y \rvert$. \stoptheorem Aquest darrer teorema permet definir el {\em rang d'un grup lliure}\index{grup+lliure+rang,} com el cardinal de qualsevol de les seves bases. En aquest sentit, indicarem amb $F_n$\mysymbol{$F_n$} el {\em grup lliure de rang $n$}. Per últim, introduirem notació. Si $w$ és una paraula sobre $X \cup X^{-1}$, la {\em longitud reduïda} de $w$\index{longitud+reduïda d'una paraula}, que indicarem amb $\lvert w \rvert$\mysymbol{$\lvert w \rvert$}, és la longitud de la paraula reduïda de $w$, és a dir, $l(red(w))$. De forma òbvia tenim que, per a totes paraules $u, v$ sobre $X \cup X^{-1}$, $\lvert uv \rvert \leq \lvert u \rvert + \lvert v \rvert$. D'altra banda, si $v, w \in {(X \cup X^{-1})}^*$, aleshores direm que $v$ i $w$ són {\em iguals dins el grup lliure $F(X)$}\index{paraules+iguals dins el grup lliure} si $red(v) = red(w)$ o, equivalentment, si $[v]_\sim = [w]_\sim \in F(X)$. \subsubject{Presentacions de grups} Una presentació d'un grup és una generalització del concepte de taula de productes d'un grup. Donat un grup $G$, la seva taula de valors proporciona informació sobre el resultat del producte entre dos elements qualssevol. Però, en aquesta taula, hi ha valors que són obvis (per exemple, sempre $g g^{-1} = 1$, per a tot $g \in G$) o que es poden deduir d'altres productes (per exemple, si $g^3 = 1$, aleshores $g^2 = g^{-1}$ per a tot $g \in G$). Per tant, hi ha certes relacions {\em importants} entre els elements d'un grup que el determinen. Intuïtivament, per exemple, la relació $a^n = 1$ determina el grup $\integers_n$. Ara bé, així com és important especificar les relacions que governen el grup, també ho és especificar el seus elements, ja que el grup $\integers_n \oplus \integers$ amb $a = (1,0)$ i $b = (0,1)$ també compleix que $a^n = 1$. Per tant, informalment, una presentació no serà res més que un conjunt d'elements, que direm {\em generadors}, i un conjunt de {\em relacions} entre ells. Per definir formalment les presentacions de grups ens fa falta recordar què s'entèn per grup quocient. \startdefinition Sigui $G$ un grup i $N$ un subgrup normal de $G$. El {\em grup quocient de $G$ per $N$} (també anomenat {\em grup quocient de $G$ mòdul $N$})\index{grup+quocient}, que indicarem amb $G/N$\mysymbol{$G/N$}, és el grup format pels cosets de $N$, $\{g N \mid g \in G\}$, i el producte $\cdot$ definit com \startformula a N \cdot b N = ab N. \stopformula A més, l'aplicació $x \mapsto xN = Nx$ és un morfisme exhaustiu entre $G$ i $G/N$ el nucli del qual és $N$. Aquesta aplicació s'anomena {\em projecció canònica dins el grup quocient $G/N$}\index{grup+quocient+projecció canònica,}.%\cite[grillet] \stopdefinition D'ara en endavant, si $G$ és un grup i $X$ és un subconjunt de $G$, indicarem amb $\langle \langle X \rangle \rangle$\mysymbol{$\langle \langle X \rangle \rangle$} la {\em clausura normal de $X$ en $G$}\index{clausura normal}, és a dir, el subgrup normal més petit que conté $X$. La clausura normal de $X$ està caracteritzada pel resultat següent: \startdefinition Donat un element $x$ d'un grup $G$, els {\em conjugats de $x$}\index{conjugat d'un element d'un grup} són els elements de $G$ de la forma $a^{-1} x a$, amb $a \in G$. \stopdefinition \startproposition[thmi:clausuranormal] Donat un grup $G$ i $X$ un subconjunt de $G$, la clausura normal $\langle \langle X \rangle \rangle$ consisteix en tots els productes de conjugats d'elements de $X \cup X^{-1}$, i.e., \startformula \langle \langle X \rangle \rangle = \{a_1^{-1} x_1^{e_1} a_1 \cdots a_r^{-1} x_r^{e_r} a_r \mid a_i \in G, x_i \in X, e_i = \pm 1, r \geq 0, i \in \{1, \ldots, r\}\}. \stopformula \stopproposition \startdemo Indiquem amb $Y$ el conjunt format pels productes de conjugats d'elements de $X \cup X^{-1}$. Hem de veure que $\langle \langle X \rangle \rangle = Y$. Com que $X \subseteq Y$ i $Y$ és normal (ja que, per a tot $g \in G$, $g^{-1} Y g \subseteq Y$), aleshores, per definició de clausura normal, tenim que $\langle \langle X \rangle \rangle \subseteq Y$. D'altra banda, per a tot $x \in X$, tenim que $x^{-1}$, $a^{-1} x a$, $a^{-1} x^{-1} a \in \langle \langle X \rangle \rangle$, perquè $X \subseteq \langle \langle X \rangle \rangle$ i la normalitat de $\langle \langle X \rangle \rangle$. Per tant, els productes d'aquests elements també hi pertanyen, la qual cosa implica que $Y \subseteq \langle \langle X \rangle \rangle$. \stopdemo \startdefinition Una {\em presentació {\cal P} amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$\mysymbol{${\cal P} = \langle X \mid R \rangle$}, és un parell ordenat $(X, R)$, on $X$ és un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ és una relació binària sobre el grup lliure $F(X)$. Una presentació defineix el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, que indicarem amb $G({\cal P})$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Dues presentacions ${\cal P}$ i ${\cal P'}$ són {\em equivalents}\index{presentació+equivalent} si els seus grups $G({\cal P})$ i $G({\cal P^\prime})$ són isomorfs. Freqüentment, per abús de llenguatge, s'identifica la presentació ${\cal P}$ i el seu grup $G({\cal P})$. \stopdefinition Per exemple, si $X = \{a \}$ i $R = \{(a^8,1) \mid a \in X\}$, aleshores $\langle X \mid R \rangle = \integers_8$ (realment el que passa és que el grup que representa aquesta presentació és isomorf a $\integers_8$). Per comoditat, sovint s'abusa de la notació i s'escriuen els parells ordenats de la relació $R$ com una igualtat. Així, l'exemple anterior s'ecriuria com $\langle a \mid a^8 = 1\rangle$. A més, moltes vegades les relacions del tipus $u = v$ són escrites en la forma $uv^{-1} = 1$. Per exemple, $\langle a, b \mid ab = ba \rangle = \langle a, b \mid aba^{-1}b^{-1} = 1\rangle$ i $\langle a \mid a^8 = a^3\rangle = \langle a \mid a^5 = 1\rangle$. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ una presentació. Direm que ${\cal P}$ és una {\em presentació de $G$}\index{presentació+d'un grup} si $G({\cal P}) \cong G$. \stopdefinition \startdefinition Una presentació ${\cal P} = \langle X \mid R\rangle$ és {\em finita}\index{presentació+finita} quan $X$ i $R$ són ambdós finits. I un grup $G$ és {\em finitament presentable}\index{grup+finitament presentat} si existeix una presentació finita de $G$. \stopdefinition Notem que, pel Corol·lari \in[thme:gruplliure-imatge], tenim que tot grup és imatge del grup lliure. Per tant, aplicant el Primer Teorema d'Isomorfia, tenim que tot grup és isomorf a un grup d'una presentació. D'altra banda, la definició que hem donat és equivalent a una definició basada en relacions d'equivalència (amb una construcció anàloga del grup lliure): si $X$ és un conjunt qualsevol i $R$ és un subconjunt de ${(X \cup X^{-1})}^*$, es pot definir la relació d'equivalència $\approx$ definida de la manera següent: dues paraules $u, v \in {(X \cup X^{-1})}^*$ són tals que $u \approx v$ si, i només si, es pot passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \stopitemize Es pot veure que $\approx$ és d'equivalència i que $F(X)/\approx$ és un grup, que coincideix amb $G({\cal P})$ amb ${\cal P} = \langle X \mid R'\rangle$, on $R' = \{(red(r),1) \mid r \in R\} \subseteq F(X) \times F(X)$ \cite[magnus]. Tot seguit, oferim diverses presentacions dels grups més usuals: \startitemize[n] \item El grup lliure $F(X)$ té presentació $\langle X \mid \emptyset\rangle$. En particular $\integers$ té $\langle a \mid \emptyset \rangle$ com a presentació (recordem que $\integers$ és isomorf al grup lliure $F_1$ de rang $1$). \item El grup $\integers$ (com els altres grups) també té altres presentacions menys {\em naturals}, com, per exemple, $\langle a, b \mid ababa = 1\rangle$ \cite[millerIII]. \item Qualsevol grup finit $G = \{a_1, \ldots, a_n\}$ té una presentació finita: la corresponent a agafar tots els seus elements com a generadors i totes les relacions de la taula de productes de $G$ (aquestes tenen la forma $a_i a_j = a_k$ i n'hi ha $n^2$). \item $\integers_n \cong \langle a \mid a^n = 1 \rangle$. \item $\integers \oplus \integers$ té $\langle a, b \mid ab = ba\rangle$ com a presentació. \item Una presentació de $\integers_n \oplus \integers$ és $\langle a, b \mid a^n = 1\rangle$. \item El grup dièdric $D_n$ d'ordre $2n$ té com a presentació \startformula \langle a, b \mid a^2 = 1, b^n = 1, a^{-1}ba = b^{-1} \rangle. \stopformula \item El grup trivial té com a presentacions \startformula \langle a, b \mid a^{-1} b a = b^2, b^{-1}a b=a^2 \rangle \stopformula i \startformula \langle a, b \mid a^{-1} b^n a = b^{n+1}, a = w \rangle, \stopformula on $w$ és una paraula sobre $\{a, b\}$ tal que la suma dels exponents de $a$ és 0 i $n > 0$ \cite[millerIII, millerIII-article]. Per tant, no és gens senzill saber si una presentació correspon al grup trivial. \item Siguin $m, n \in \integers$. El {\em grup de Baumslag-Solitar}\index{grup+Baumslag-Solitar,}, que indicarem amb $BS(m,n)$\mysymbol{$BS(m,n)$}, és el subgrup del grup $\text{Homeo}(\reals)$ de les funcions homeomorfes de $\reals$ generat per les funcions lineals $a(x) = nx$ i $b(x) = x + m$ \cite[meier]. Aquest grup té com a presentació $\langle a, b\mid ab^m a^{-1}= b^n \rangle$. \stopitemize Finalment, notem que si ${\cal P} = \langle X \mid R\rangle$ és una presentació, aleshores tenim l'aplicació $\iota \colon X \rightarrow G({\cal P})$ definida com la composició $p \circ \eta$ de la inclusió natural $\eta \colon X \to F(X)$, tal que $\eta(x) = [x]$ per a tot $x \in X \cup X^{-1}$, i la projecció natural $p \colon F(X) \to F(X)/N$, on $N = \langle \langle R_* \rangle \rangle$, tal que $p([w]) = [w]N$, per a tot $[w] \in F(X)$. Aquesta aplicació es pot estendre a ${(X \cup X^{-1})}^*$ com \startformula \iota(w) = \iota(w_1) \cdots \iota(w_r) \in G({\cal P}), \stopformula per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. \starttheorem Per a tota presentació {\cal P} = \langle X \mid R \rangle, $\iota(X)$ genera $G({\cal P})$. \stoptheorem \startdemo Sigui $g \in G({\cal P})$, aleshores $g = [w]N$ per a alguna paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. Per tant, \startformula g = [w_1 \ldots w_r]N = ([w_1]\cdots [w_r])N = [w_1]N \cdots [w_r]N. \stopformula Cada $w_i$ és de $X$ o de $X^{-1}$. Si $w_i = x^{-1}$ per a algun $x \in X$, aleshores $[w_i]N = [x^{-1}]N = [x]^{-1}N = \iota(x)^{-1}$. Per tant, $g$ es pot posar com a producte d'elements de $\iota(X)$ i els seus inversos. \stopdemo De forma habitual s'identifica $X$ amb $\iota(X)$, denotant els seus elements amb els mateixos símbols i, per tant, de forma freqüent es diu que $X$ {\em genera} $G({\cal P})$. Per exemple, pel grup $\integers \oplus \integers = \langle a, b \mid ab = ba \rangle$, identifiquem $a$ i $b$ amb $\iota(a)=(1,0)$ i $\iota(b) = (0,1)$, respectivament. \subsubject{El problema de la paraula} Sigui $G$ un grup i $X$ un subconjunt de $G$. Aleshores l'aplicació $\pi \colon {(X \cup X^{-1})}^* \to G$\mysymbol{$\pi$} consistent a enviar cada lletra $x \in X$ a l'element corresponent $\pi(x) = x \in G$ es pot estendre de manera natural a totes les paraules de $X \cup X^{-1}$ de la forma següent: \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize Per tant, $\pi$ és un morfisme de monoides entre ${(X \cup X^{-1})}^*$ i $G$. De forma òbvia, si $X$ és un conjunt de generadors de $G$, aleshores $\pi$ és exhaustiva. En particular, si ${\cal P} = \langle X \mid R \rangle$ és una presentació, aleshores, com que $X$ és un conjunt de generadors de $G({\cal P})$, llavors $\pi \colon {(X \cup X^{-1})}^* \to G({\cal P})$ és un morfisme exhaustiu\footnote{Recordem que abusem del llenguatge, identificant $\iota(X)$ i $X$, i que, realment, $\iota(X)$ és el generador de $G({\cal P})$.}. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ és una presentació de $G$. Una paraula $w$ sobre $X \cup X^{-1}$ és {\em nul-homotòpica per ${\cal P}$}\index{paraula+nul-homotòpica per una presentació} si, i només si, $\pi(w) = 1 \in G$. \stopdefinition \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ una presentació de $G$. El {\em problema de la paraula per a {\cal P}}\index{problema de la paraula+per una presentació} consisteix en trobar un algorisme que, donada una paraula $w \in {(X \cup X^{-1})}^*$, decideixi si $\pi(w) = 1$ o $\pi(w) \neq 1$. \stopdefinition Si $G$ és un grup i ${\cal P}$ i ${\cal P'}$ són presentacions {\em finites} de $G$, aleshores existeix un algorisme que decideixi si una paraula és nul-homotòpica per ${\cal P}$ si, i només si, n'existeix un altre per ${\cal P'}$ \cite[crm]. Per aquest motiu es parla del {\em problema de la paraula de $G$}\index{problema de la paraula+per un grup}, consistent en decidir la resolubilitat del problema de la paraula d'alguna (i de totes) presentació de $G$. Donarem, tot seguit, un criteri per saber si una paraula és nul-homotòpica per una presentació {\em finita} donada. \starttheorem Sigui ${\cal P} = \langle X \mid R \rangle$ amb $X = \{ x_1, \ldots, x_n \}$ i $R = \{ r_1 = 1, \ldots, r_k = 1\}$ una presentació finita i $w$ una paraula sobre $X \cup X^{-1}$. Llavors tenim que $w$ és nul-homotòpica per ${\cal P}$ si, i només si, $w$ compleix la igualtat següent dins el grup lliure $F(X)$: \startformula w = \prod_{i=1}^N u_i^{-1} r_i^{e_i} u_i, \stopformula per a alguns $N \in \naturalnumbers$, $r_i \in R$, $e_i = \pm 1$ i $u_i \in F(X)$, amb $i \in \{1, \ldots, N\}$. \stoptheorem \startdemo Sigui $N = \langle \langle r_1, \ldots, r_k \rangle \rangle \subseteq F(X)$. Si $w \in {(X \cup X^{-1})}^*$, aleshores $\pi(w) = 1 \iff w N = 1 \in G({\cal P}) \iff w \in N \subseteq F(X)$. Per la Proposició \in[thmi:clausuranormal], això vol dir que $w$ és producte de conjugats d'elements de $\{r_1, \ldots, r_k\}$ o dels seus inversos (dins el grup lliure $F(X)$). \stopdemo Aquest darrer resultat ens dóna una aproximació natural al problema de la paraula per a presentacions finites. Donada una presentació finita ${\cal P} = \langle x_1, \ldots, x_n \mid r_1 = 1, \ldots, r_k = 1\}$, podem enumerar en una llista totes les expressions de la forma \placeformula[eq:llista-conjugats] \startformula u_1^{-1} r_1^{\pm 1} u_1 \cdots u_m^{-1} r_m^{\pm 1} u_m, \stopformula amb $u_i \in F(X)$ i $m \geq 0$. Si una paraula $w$ és tal que $\pi(w) = 1$, aleshores $w$ apareixerà, prest o tard, en aquesta llista. El problema és si $w$ {\em no} satisfà que $\pi(w)=1$: està clar que $w$ no apareixerà en la llista, però no ho podrem saber amb un temps finit. Tècnicament, pareix que el conjunt de paraules nul-homotòpiques per ${\cal P}$ és recursivament enumerable però no recursiu (és a dir, el seu complement no és recursivament enumerable). Això fa que el problema de la paraula per una presentació pareixi indecidible. Aquest fet és, precisament, el que va establir Novikov el qual va ser el primer en demostrar, l'any 1955, que existeixen grups finitament presentables amb el problema de la paraula no resoluble \cite[novikov]. Des de la dècada de 1960 fins a mitjans dels anys vuitantes (del segle XX), s'introdueixen diverses tècniques noves que permeten simplificar la demostració original, de 143 pàgines. Es pot trobar una demostració curta de la tesi de Novikov a l'article de Stillwell \cite[stillwell]. Hi ha diverses referències sobre el problema de la paraula que es poden consultar per obtenir-ne més informació \cite[magnus,stillwell,millerIIIa2]. Per mor d'aquest resultat negatiu, cal imposar condicions al grup $G$ per a què aquest tengui el problema de la paraula resoluble. Aquest és el cas, per exemple, de la classe de grups {\em residualment finits}, tal com mostra el resultat següent: \startdefinition Un grup $G$ és {\em residualment finit}\index{grup+residualment finit} si, donat $g \neq 1$ en $G$, existeix un subgrup normal $N$ de $G$ tal que $g \not \in N$ i $G/N$ és finit. \stopdefinition \startproposition{\cite[robinson]} Sigui $G$ un grup residualment finit i finitament presentat. Aleshores $G$ té el problema de la paraula resoluble. \stopproposition \startdemo He de posar la demostració. I llevar la referència del títol. \stopdemo Una altra manera d'aconseguir que un grup $G$ tengui el problema de la paraula resoluble és, donada una presentació ${\cal P}$ de $G$, fitar el nombre de productes de conjugats de les relacions de ${\cal P}$ (i de les seves inverses) que hem de llistar (o sigui, que apareixen a la llista d'elements (\in[eq:llista-conjugats])), per saber que $w$ no és nul-homotòpica. Això s'aconsegueix mitjançant les funcions de Dehn. La Proposició \in[thmi:WP-Dehn-recursiu] mostra la seva importància. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R \rangle$ una presentació finita de $G$. \startitemize[a] \item Si $w$ és una paraula nul-homotòpica per ${\cal P}$, llavors l'{\em àrea algebraica de $w$ respecte de ${\cal P}$}\index{\`{a}rea+algebraica d'una paraula}\mysymbol{$\text{\tf area}_{a, {\cal P}}(w)$} és \startformula \text{\tf area}_{a, {\cal P}}(w) = \min \{ N \mid w = \prod_{i=1}^N x_i^{-1} r_i x_i \text{ dins } F(A), \text{ amb } x_i \in F(A), r_i \in R^{\pm 1}\}. \stopformula \item Una funció $f\colon \naturalnumbers \rightarrow \naturalnumbers$ és una {\em funció isoperimètrica per a ${\cal P}$}\index{funció isoperimètrica} si, per a tota paraula $w$ nul-homotòpica per ${\cal P}$ tal que $l(w) \leq n$, es té $\text{area}_{a, {\cal P}}(w) \leq f(n)$. El mínim, punt a punt, d'aquestes funcions és la {\em funció de Dehn de ${\cal P}$}\index{funció de Dehn}\mysymbol{$\delta_{{\cal P}}$}, i.e., la funció $\delta_{\cal P}\colon \naturalnumbers \rightarrow \naturalnumbers$ definida per \startformula \delta_{{\cal P}} = \max \{ \text{area}_{a, {\cal P}}(w) \mid \pi(w) = 1, l(w) \leq n\}. \stopformula \stopitemize \stopdefinition De forma òbvia, si ${\cal P} = \langle X \mid R \rangle$ és una presentació finita de $G$ i $u, v$ són paraules nul-homotòpiques per ${\cal P}$, aleshores la seva concatenació $u \cdot v$ és nul-homotòpica per ${\cal P}$ ($\pi$ és un morfisme) i $\text{area}_{a, {\cal P}}(u v) \leq \text{area}_{a, {\cal P}}(u) + \text{area}_{a, {\cal P}}(v)$. \startdefinition Siguin $f$, $g \colon \naturalnumbers \to \naturalnumbers$. Sigui $\preceq$ la relació definida com $f \preceq g$\mysymbol{$\preceq$} si, i només si, existeix $k > 0$ tal que \startformula f(x) \leq k g(kx + k) + kx + k, \stopformula per a tot $x \in \naturalnumbers$. Si $f \preceq g$ i $g \preceq f$, ho indicarem amb $f \simeq g$\mysymbol{$\simeq$}, i direm que són {\em $\simeq$-equivalents}\index{funcions $\simeq$-equivalents}. \stopdefinition Si ${\cal P}$ i ${\cal P}'$ són presentacions finites de $G$, $f$ és una funció isoperimètrica per a ${\cal P}$ i $g$ és una funció isoperimètrica per a ${\cal P}$, aleshores $f \simeq g$ \cite[bridson-tutorial]. En particular, si $f$ i $g$ són funcions de Dehn de ${\cal P}$ i ${\cal P}'$, respectivament. És per això que podem parlar, llevat de transformacions lineals, de {\em la} funció de Dehn {\em de $G$}, $\delta_G$, o de les funcions isoperimètriques {\em de $G$}. \startproposition[thmi:WP-Dehn-recursiu]{\cite[bridson-tutorial,gersten]} Sigui ${\cal P} = \langle X \mid R \rangle$ una presentació finita de $G$. Aleshores són equivalents: \startitemize[a] \item $G({\cal P})$ té el problema de la paraula resoluble. \item La funció de Dehn de ${\cal P}$ és recursiva. \item ${\cal P}$ admet una funció isoperimètrica recursiva. \stopitemize \stopproposition El problema de la paraula va sorgir de forma natural de la Topologia Algebraica a finals de segle XIX i principis de segle XX associat a problemes sobre grups fonamentals de superfícies \cite[stillwell]. Dehn va ser el primer a enunciar aquest problema, l'any 1911 (cita a Dehn de CRM). A part d'aquest problema, Dehn en va enunciar dos més que tracten de decidir sobre propietats locals i globals d'un grup. Les propietats locals d'un grup s'ocupen de determinar si certs elements compleixen o no determinades relacions i les propietats globals tracten d'esbrinar les característiques que té el grup sencer com a estructura. \startitemize[1] \item Problema dels conjugats. Donat un grup $G$ i una presentació ${\cal P} = \langle X \mid R \rangle$, deteminar si existeix un algorisme tal que decideixi si dues paraules $u$, $w$ sobre $X \cup X^{-1}$ són tals que $\pi(u)$ és un conjugat de $\pi(w)$. \item Problema de l'isomorfisme. Donats dos grups, trobar un algorisme que determini si són isomorfs o no. \stopitemize El problema de la paraula i dels conjugats són problemes de decissió sobre propietats locals mentre que el problema de l'isomorfisme és un problema sobre una relació global. Notem que el problema de si, donada una presentació, aquesta correspon o no al grup lliure és un cas particular del problema de l'isomorfisme. Aquests problemes tenen la seva importància, tant històrica com teòrica. Es poden consultar diverses fonts per obtenir més informació al respecte (cites). \subject{Eines geomètrics per fer front al problema de la paraula} %\cite[prova] \completepublications[criterium=cite] %all per tots \title{Llista de símbols} \placemysymbol \title{Índex alfabètic} \placeindex \stoptext

1 0

Re: [NTG-context] Hyphenation pattern exceptions (was: I can't change ...)
by Xan 24 Jul '09

24 Jul '09

En/na Javier Bezos ha escrit: > Mojca Miklavec escribió: > >> So - Javier, I'm sorry, you should ignore my email. > > Don't worry :-). Anyway, if I can help, just let me know. Spanish > is a lot more regular than, say, English, and therefore "exceptions" > (which are more or less systematic) are handled with patterns, too. > > Cheers > Javier Hola Javier, I don't know if you can help. Mojca surely know that. ;-) I don't know what the hyphens really know. I just detect some "wrong" hyphens in catalan. The Catalan maintainer is Gonçal Badenes: % Source: cahyph.tex (2003-09-08) % Author: Gonçal Badenes <g.badenes at ieee.org> % Anyone knows how to submit my hyphens? I just have a few of that: \hyphenation{do-cu-ment} \hyphenation{pro-ble-ma} \hyphenation{es-crip-tu-ra} \hyphenation{cor-res-po-nents} \hyphenation{pa-rells} \hyphenation{ge-ne-rat} \hyphenation{re-so-lu-ble} Regards, Xan.

1 0

Problems with @incollection
by Xan 24 Jul '09

24 Jul '09

Hi, When I use @incollection{millerIIIa2, title = "Decision problems for groups: survey and reflections", author = "Charles F. {{Miller III}}", year = "1992" } no problem, but when I change to @incollection{millerIIIa2, title = "Decision problems for groups: survey and reflections", author = "Charles F. {{Miller III}}", booktitle = "Algorithms and Classification in Combinatorial Group Theory", year = "1992" } then I receive: ! Extra \endcsname. <argument> ...er {}\csname @@pb@pubyear\endcsname )\insertEdition {, }{ ed. }{} \firstoftwoarguments #1#2->#1 <argument> ...{}}{)\insertEdition {, }{ ed. }{}}{} \insertpages {\unskip , p.... \firstoftwoarguments #1#2->#1 \@@pvdataincollection ...p , p.~}{. }{\unskip . }} \insertNote { }{.}{}\unskip \dotypesetapublication ...ve {\getvalue {pbdt-#1}} \fi \egroup ... l.462 \completepublications[criterium=cite] %all per tots I suspect that /usr/share/texmf/tex/context/bib/bibl-ams.tex has an error. Taco can you confirm it. I have MKII. Xan.

2 1

Hyphenation pattern exceptions (was: I can't change ...)
by Mojca Miklavec 23 Jul '09

23 Jul '09

On Thu, Jul 23, 2009 at 17:42, Xan wrote: > En/na Hans Hagen ha escrit: >> >>>>> % hyphenating >>>>> \hyphenation{do-cu-ment} >>>>> \hyphenation{pro-ble-ma} >>>>> \hyphenation{es-crip-tu-ra} >>>>> \hyphenation{ge-ne-ra-lit-za-ció} >>>>> \hyphenation{cor-res-po-nents} >>>>> \hyphenation{pa-rells} >>>>> \hyphenation{ge-ne-rat} >>>> % collect these exceptions and send then to mojca or arthur >>> >>> Okay. It's a pleasure to give to you. >>> How can I see what is, if there is, the lists of hyphenated words? >> >> best ask mojca or arthur who to contact as they are in charge of pattern >> management for all tex distributions > > Okay, In private or public mail? We don't (yet) decide what goes in and what not. If any exception should be added, I would prefer to have author's confirmation (Javier Bezos). See http://www.tex-tipografia.com/spanish_hyphen.html We could start collecting exceptions, but I have no idea where/how to do that systematically. Mojca

3 4

\index does not behaves correctly with accents
by Xan 23 Jul '09

23 Jul '09

Hi, When I have \index{àrea algebraica d'una paraula}\mysymbol{$area_a(w)$} then context puts me this in "R" entry of index. but when I have \index{\`{a}rea algebraica d'una paraula}\mysymbol{$area_a(w)$} Is it something knew? I have MKII. Xan. PS: Please, CCme.

1 0

Linux Libertine type
by Derek CORDEIRO 23 Jul '09

23 Jul '09

Hi, I have downloaded and installed the typescripts from http://modules.contextgarden.net In myTeX file, I have at the beginning of the file: \usetypescriptfile[type-linuxlibertine] \usetypescript[linuxlibertine] \setupbodyfont[linuxlibertine,12pt] The following is a part of the context output. ) (/home/derek/context/tex/texmf-local/tex/context/third/typescripts/type-linuxlibertine.tex (/home/derek/context/tex/texmf-local/tex/context/third/typescripts/type-linuxlibertine.mkiv)) fontnames | identifying tree font files with suffix otf fontnames | identifying tree font files with suffix OTF fontnames | 161 tree files identified, 161 hash entries added, runtime 0.244 seconds fontnames | identifying tree font files with suffix ttf fontnames | identifying tree font files with suffix TTF fontnames | 5 tree files identified, 5 hash entries added, runtime 0.215 seconds fontnames | identifying tree font files with suffix ttc fontnames | identifying tree font files with suffix TTC fontnames | 0 tree files identified, 0 hash entries added, runtime 0.208 seconds fontnames | identifying tree font files with suffix afm fontnames | identifying tree font files with suffix AFM fontnames | 76 tree files identified, 65 hash entries added, runtime 0.336 seconds fontnames | identifying system font files with suffix otf fontnames | identifying system font files with suffix OTF fontnames | 0 system files identified, 0 hash entries added, runtime 0.000 seconds fontnames | identifying system font files with suffix ttf fontnames | identifying system font files with suffix TTF fontnames | 0 system files identified, 0 hash entries added, runtime 0.000 seconds fontnames | identifying system font files with suffix ttc fontnames | identifying system font files with suffix TTC fontnames | 0 system files identified, 0 hash entries added, runtime 0.000 seconds fontnames | identifying system font files with suffix afm fontnames | identifying system font files with suffix AFM fontnames | 0 system files identified, 0 hash entries added, runtime 0.000 seconds define font | font with name Linux Libertine O is not found define font | unknown font Linux Libertine O, loading aborted define font | unable to define Linux Libertine O as \*linuxlibertine12ptrmtf* Output of the command «fc-list | grep "Linux Libertine"» is as follows Linux Libertine:style=Bold Linux Libertine O:style=Bold Italic Linux Libertine O C:style=Regular Linux Libertine O:style=Regular Linux Libertine C:style=Regular Linux Libertine U:style=Regular Linux Libertine O:style=Italic Linux Libertine:style=Italic Linux Libertine:style=Bold Italic Linux Libertine O:style=Bold Linux Libertine:style=Regular ConTeXt ver: 2009.07.22 21:46 MKIV fmt: 2009.7.23 int: english/english What am I doing wrong? Help would be much appreciated, Derek

4 11

I can't change startitemize[n]--> startitemize[1]
by Xan 23 Jul '09

23 Jul '09

Hi Hans, First of all, thank you very much for helping in the above problem. Can you solve this now ? ;-) When I change startitemize[n] to startitemize[1] in line 394 I get this error: ! Argument of \dodoregister has an extra }. <inserted text> \par <to be read again> } \doattributes ...name #1#2\@EA \endcsname \fi {#4} \dostopattributes \dolistitem ...evel \c!style \c!color {\listitem } \fi \fi }\ifconditional \f... \complexdoitemgroupitem ...obreak \fi \dolistitem \relax \ifconditional \pac... <to be read again> $ l.395 \item $ \pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. ? x Why? I attach the source file and log file. This is a long file, I know, but I don't know why with 'n' works and '1' does not. Thanks in advance, Xan. PS: Please, CCme. % interface=en output=pdftex %\environment capcalera.context % Capçalera % Regime \enableregime[utf] % Choose a font \setupbodyfont [cmr,11pt] % cmr, 11pt % Be tolerant with paragraph building \setuptolerance [horizontal,verytolerant,stretch] % Choose a language, and associated hyphenation rules. %\language [ca] \mainlanguage[ca] % Page number \setuppagenumbering [location={footer}] % White space between paragraphs %\setupwhitespace [big] % Paper size \setuppapersize [a4] % Margins %\setuplayout [grid=yes, footer=0.5\footerheight, header=0.5\headerheight] %\setuplayout[footer=2cm, header=2cm] %\showlayout %\showframe %\showsetups % Format de marges %\setuplayout[topspace=1.5cm, % marge d'adalt %margin=1.5cm, %marges dels costats %header=1.0cm,%separació entre adalt i primera línia %footer=1.0cm,%separació entre abaix i darrera línia %width=fit,height=fit,backspace=2cm] % Enable colors and activate hyperlinks \setupcolors [state=start] \definecolor[lightblue][r=0.5, g=0.5, b=1.0] %\setupinteraction [state=start, color=lightBlue] %\setupurl[style=small, space=yes] \setupurl[space=yes] % Enumerate the URLs %\useURL[wiki][http://wiki.contextgarden.net][][\ConTeXt\ wiki] %\useURL[nagorko-pdf][http://www.math.bgu.ac.il/~barakw/probseminar/nagorko/slides.pdf][][http://www.math.bgu.ac.il/\~{}barakw/\quad\quad\quad\quad probseminar/nagorko/slides.pdf] %\useURL[govern-me][http://sgtrelinst.caib.es/llibrestil/00index.html][][http://sgtrelinst.caib.es/llibrestil/00index.html] %\useURL[context-manual-pdf][http://www.pragma-ade.com/general/manuals/cont-eni.pdf][][http://www.pragma-ade.com/general/manuals/ cont-eni.pdf] %\useURL [contextgarden] [{http://www.contextgarden.net}] %\useURL [mccammond][{http://www.math.ucsb.edu/~jon.mccammond/geogrouptheory/}][] [{\tf http://www.math.ucsb.edu/\~{}jon.mccammond/geogrouptheory/}] % Fonts %% Chapters... \setupheads[align=flushleft] \setuphead[chapter][style={\tfd\bf}] \setuphead[section][style={\bfc}, header=nomarking] \setuphead[subsection][style={\bfb}] \setuphead[subsubsection][style={\bfa}] %\setuphead[section][textstyle=bold] % Bibliography options % BIBTEX \usemodule[bib] \usemodule[bibltx] \setupbibtex[database=memoria,sort=author] \setuppublications [alternative=ams,numbering=yes, sorttype=bbl, criterium=cite]% \setupheadtext[ca][pubs=Referències] \setuppublicationlist[authoretallimit=3] \setuppublicationlist[authoretaltext={\it\ et al.}] \setuppublicationlist[authoretaldisplay=1] %Indentation \setupheads[indentnext=yes] \setupindenting[yes,small,first] %\setupformulae[indentnext=yes] % Vertical spaces between paragraphs \setupwhitespace[small] %Itemize \setupitemize[each][indentnext=no,margin=2em] % [identnext=yes,margin=2em] \setupitemize[each][headstyle=bold] %\setupitemize[a][right=),stopper=] % Mathematical packets \usemodule[newmat] \usemodule[math-ams] % Heads and footers \setupfootertexts[][{\tfxx \currentdate}] %\setupfootertexts[\pagenumber/\lastpage] %\setupfooter[text][before=\hrule] %\setupheader[text][after=\hrule] %\setupheadertexts[{\tfx Màster de Matemàtiques}][{\tfx \jobname.\ConTeXt{}.\currentdate}] %\setupheadertexts[][{\tfx \currentdate}] % hyphenating \hyphenation{do-cu-ment} \hyphenation{pro-ble-ma} \hyphenation{es-crip-tu-ra} \hyphenation{ge-ne-ra-lit-za-ció} \hyphenation{cor-res-po-nents} \hyphenation{pa-rells} \hyphenation{ge-ne-rat} % Modules \usemodule[tikz] \usemodule[pgfmath] \usetikzlibrary[mindmap,arrows,calc,decorations.pathmorphing,decorations.markings] %\usetikzlibrary[trees] % AMSTHM equivalent %% Exercici \defineenumeration [exercici] [text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,before={\bgroup\startframedtext[background=screen,frame=off,width=broad]},after={\stopframedtext\egroup}] %% Lema \defineenumeration [lema] [text={Lema}, % Què es mostra before={\blank[big]}, % abans de lema, un bigskip after={\blank[big]}, % després de lema, un bigskip headstyle=bold, % Negreta per la capçaleras %between=\blank, % Entre Lemmes una línia en blanc titledistance=.5em, % espai entre número i parèntesis. textdistance=.5em, % espai entre ) i text stopper={.\space}, % Com acaba. Després de parèntesis un '.' location=serried, width=fit, % que ocupi tot l'espai style=italic, % estil del text title=yes, % si puc posar o no arguments opcionals titlestyle=bf, % estil del títol way=bytext, % enumerar en tot el document conversion=numbers,indenting=yes] % enumera amb arabic %% Proposició, corol·laris, teoremes. %% Comparteix els nombres amb lema %% Si volem que vagin a part, hem de posar 'number=proposition' \defineenumeration [proposition] [lema] [text={Proposició}] \defineenumeration [corollary] [lema] [text={Corol·lari}] \defineenumeration [theorem] [lema] [text={Teorema}] %% Definició \defineenumeration [definition] [lema] [text={Definició},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [notation] [definition] [text={Notació},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [nota] [definition] [text={Nota},style=tf,titlestyle=bf,indenting=yes] %% Demostració \defineenumeration[demo][text={Demostració.\space},number=no,location=serried,width=fit,headstyle=italic,indentnext=yes,between=\blank,textdistance=.5em,closesymbol={\mathematics{\Box}},style=normal,indenting=yes] % Table of contents %% dots between... and subsubsubsection are not listed \setupcombinedlist[content][level=4,alternative=c] %% section = bold. % width= 10mm --> less space between num-letter %% line break after section. \setuplist[section][style=bold,width=10mm] \setuplist[section][before=\blank] %% margin = 10 mm. Put the subsection just bottom section. \setuplist[subsection][margin=10mm,width=10mm] \setuplist[subsubsection][margin=20mm,width=10mm] %\setuplist[subsection] %[distance=1em] % section = bold. % % Això ho trec d'un manual: %\setuplist[subsection] % [margin=1em, % numbercommand=\NumCom] %\def\NumCom#1{\hbox to 2em{\hfill #1}} % Set "Índex" like "Índex de continguts" \setupheadtext [ca] [content=Índex] % Definitions/abbreviations \define[1]\dist{d(\sigma_g(#1), \sigma_h(#1))} \define[1]\imp{{\bgroup\startframedtext[background=screen,frame=on,width=broad]#1\stopframedtext\egroup}} %\define[1]\imp{{\bgroup\startframedtext[background=color,backgroundcolor=lightblue,frame=on,width=broad]#1\stopframedtext\egroup}} % SPLIT \def\startsplit {\startalign} % no number by default \def\stopsplit {&\doalignNR[+][]\crcr % for a number on last line \stopalign} % Other \setupunderbar[alternative=b] % Fix underline style % For putting underline with spaces: \underbar{\dorecurse{40}~} % Define new register for the Index of Symbols \defineregister[symbol][symbols] % Start the text \starttext %\version[concept] \subsubsubject{Paraules sobre un alfabet} En aquest apartat farem memòria de la definició de paraula (sobre un alfabet) i introduirem certes notacions i operacions estàndards que farem servir posteriorment. Recordem que un {\em alfabet}\index{alfabet} és un conjunt qualsevol de símbols, els quals anomenarem {\em lletres}\index{lletres}. Si $A$ és un alfabet, aleshores una {\em paraula $w$ sobre $A$}\index{paraula} és una successió finita de lletres de $A$, que escriurem com $w = w_1 \ldots w_k$. Indicarem amb $\varepsilon$ la paraula que no té cap lletra, la qual anomenarem {\em paraula buida}\index{paraula+buida}. Quan $w$ consti de dues o més lletres iguals consecutives, per comoditat, podrem agrupar-les usant la notació multiplicativa. Per exemple si $A = \{a,b\}$, aleshores $ab^3a^2b$ denotarà la paraula $abbbaab$. La {\em concatenació}\index{concatenació de paraules} de dues paraules $w_1$, $w_2$ sobre $A$, que indicarem amb $w_1 \cdot w_2$, és la juxtaposició de $w_1$ i $w_2$, és a dir, si $w_1 = a_1 \ldots a_k$ i $w_2 = b_1 \ldots b_s$, aleshores \startformula w_1 \cdot w_2 = a_1 \ldots a_k b_1 \ldots b_s, \stopformula amb la convenció que $w_1 \cdot \varepsilon = \varepsilon \cdot w_1 = w_1$. Sovint ometrem el símbol $\cdot$ i escriurem $u v$ per denotar $u \cdot v$. Si $w$ és una paraula sobre $A$, aleshores $l(w)$\symbol{$l(w)$} denotarà la seva {\em longitud}\index{longitud+d'una paraula}, és a dir, el seu nombre de símbols. De forma clara, $l(u \cdot v) = l(u) + l(v)$, per a qualssevol paraules $u, v$ sobre $A$. D'altra banda, indicarem amb $w(t)$ el {\em prefix de $w$ de longitud $t$}\index{paraula+prefix de longitud $t$,}. Formalment, si $w = \varepsilon$, $w(t) = \varepsilon$ i si $w = w_1 \ldots w_k$, aleshores $w(t) = w_1 \ldots w_t$. Per últim, indicarem amb $A^*$ el {\em monoide lliure sobre $A$}\index{monoide lliure}, és a dir, el conjunt de totes les paraules sobre $A$. \subsubsubject{Grups lliures} En aquesta secció construirem el {\em grup lliure} de base $X$ un conjunt qualsevol i descriurem algunes de les seves propietats a mode de teoremes. Donat $X$ un conjunt qualsevol, agafem un conjunt d'inverses formals de $X$, que indicarem amb $X^{-1}$, format per símbols $x^{-1}$ per a cada $x \in X$. Formalment, $X^{-1}$ és un conjunt del mateix cardinal que $X$ juntament amb una funció bijectiva ${}^{-1} \colon X \to X^{-1}$, de manera que, per a tot $x \in X$, la imatge de $x$ per ${}^{-1}$ s'escriu $x^{-1}$. Amb aquests conjunts podem formar el monoide lliure ${(X \cup X^{-1})}^*$ els elements del qual són llistes finites d'elements de $X$ i de les seves inverses formals. Enfatitzem que els elements de $X^{-1}$ són inverses formals: si $X = \{a, b\}$, aleshores $b$, $aba^{-1}$, $ab$ i $aba^{-1}a$ són elements diferents en el monoide lliure ${(X \cup X^{-1})}^*$. Afegirem dues convencions: abusant del llenguatge, si $a \in X^{-1}$ i $a = x^{-1}$ per a algun $x \in X$, aleshores $a^{-1}$ denotarà $x$, o sigui, de manera informal, el que feim és fer involutiva la funció ${}^{-1}$. D'altra banda, estendrem les inverses formals a les paraules. Per a la paraula buida definim $\varepsilon^{-1} = \varepsilon$, i si \startformula w=x_1 x_2 \ldots x_{k-1}x_k \in {(X \cup X^{-1})}^*, \stopformula aleshores $w^{-1}$ indicarà la paraula \startformula w^{-1} = x_k^{-1}x_{k-1}^{-1}\ldots x_2^{-1} x_1^{-1} \in {(X \cup X^{-1})}^*. \stopformula En poques paraules, amb aquestes convencions, hem aconseguit que ${}^{-1}$ sigui un morfisme en ${(X \cup X^{-1})}^*$ respecte de la concatenació de paraules. Sobre ${(X \cup X^{-1})}^*$ definim la relació $\sim$ definida de la manera següent: dues paraules $u$, $v$ són equivalents, i.e., $u \sim v$, si, i només si, podem passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$. \stopitemize És clar que $\sim$ és una relació d'equivalència. A més, preserva l'estructura de ${(X \cup X^{-1})}^*$: si $u_1 \sim u_2$ i $v_1 \sim v_2$, aleshores $u_1 \cdot v_1 \sim u_2 \cdot v_2$ i $u_1^{-1} \sim u_2^{-1}$. Per tot això, es pot veure fàcilment que ${(X \cup X^{-1})}^*/\sim$ és un grup (l'element neutre és $[\varepsilon]_\sim$ i la inversa de $[w]_\sim$ és $[w^{-1}]_\sim$). Anomenarem a aquest grup el {\em grup lliure de base $X$}\index{grup+lliure}, i l'indicarem amb $F(X)$\symbol{$F(X)$}. Si $X$ té només un sol element, aleshores $F(X) \cong \integers$, el qual és l'únic grup lliure abelià no trivial. Si $X = \emptyset$, aleshores $F(X) \cong \{1\}$. Una paraula sobre $X \cup X^{-1}$ és {\em reduïda}\index{paraula+reduïda} si no conté cap ocurrència de la forma $xx^{-1}$, amb $x \in X \cup X^{-1}$. Qualsevol paraula que només conté una lletra i $aba^{-1}$ són paraules reduïdes. La paraula buida també és reduïda. En canvi $abb^{-1}b$ i $aba^{-1}abb^{-1}a^{-1}$ no són paraules reduïdes. Donada una paraula $w \in {(X \cup X^{-1})}^*$, existeix una paraula reduïda $u$ tal que $w \sim u$, obtinguda aplicant un nombre finit de passes de reducció \cite[extras={, Lema~6.1}][grillet], la qual indicarem amb $red(w)$\symbol{$red(w)$}. A més, aquesta paraula és única, o sigui, no existeix cap altra paraula reduïda dins la classe d'equivalència de $w$ \cite[right={; }, extras={, Lema~6.4}][grillet]\cite[left=,extras={, Teorema~2.1.2}][robinson]. Això fa que el grup lliure $F(X)$ sigui isomorf al grup format pel conjunt de paraules reduïdes sobre $X \cup X^{-1}$ amb l'operació binària consistent en la concatenació de dues paraules reduïdes seguida de la reducció (per exemple, l'aplicació que envia cada paraula reduïda $u$ a la classe d'equivalència $[u]_\sim$ és un isomorfisme entre aquests grups). Estrictament parlant $X$ no està inclòs dins $F(X)$, ara bé, tenim la inclusió natural $\eta$ de $X$ en $F(X)$ tal que $\eta(x) = [x]_\sim$, per a tot $x \in X$. A més, aquesta inclusió es pot estendre per a $X^{-1}$ de la forma $\eta(x^{-1}) = [x^{-1}]_\sim$, per a tot $x \in X$. Per construcció de $F(X)$, això fa que tot element de $F(X)$ es pugui posar com a producte de elements de $\eta(X)$ i els seus inversos, la qual cosa implica el resultat següent: \starttheorem{\cite[right={; }, extras={, Proposició~6.6}][grillet]\cite[left=,extras={, Proposició~1.6}][cgt]}El grup lliure $F(X)$ està generat per $\eta(X)$. \stoptheorem Una propietat molt important que compleix el grup lliure, la qual el caracteritza, és la {\em propietat universal}\index{propietat universal}, que podem enunciar com el resultat següent: \starttheorem{\cite[extras={, Teorema~6.7}][grillet]} Sigui $\eta \colon X \to F(X)$ la inclusió natural. Per a tota funció $f$ de $X$ a un grup qualsevol $G$, existeix un únic morfisme $\nu \colon F(X) \to G$ tal que $\nu \circ \eta = f$. \stoptheorem \startcorollary[thme:gruplliure-imatge]{\cite[grillet, robinson]} Sigui $G$ un grup generat per un conjunt $X$. Aleshores existeix un homomorfisme exhaustiu de $F(X)$ a $G$, o sigui, tot grup és imatge del grup lliure per a qualque homomorfisme. \stopcorollary Altres propietats interessants del grup lliure són les seguents: \starttheorem{\cite[extras={, Teorema~2.1.3}][robinson]} Sigui $G$ un grup i $X$ un subconjunt de $G$. Si tot element $g$ de $G$ es pot escriure de forma única com a $g = x_1^{l_1} \ldots x_r^{l_r}$ amb $r \geq 0$, $x_i \in X$, $l_i \in \integers$ tals que $l_i \neq 0$ i $x_i \neq x_{i+1}$, per a tot $i \in \{0, \ldots, r\}$, aleshores $G$ és lliure de base $X$. \stoptheorem \starttheorem{\cite[extras={, Proposició~1.9}][cgt]} Sigui $X$ un subconjunt de $G$ tal que $X \cap X^{-1} = \emptyset$. Aleshores $X$ és una base d'un subgrup lliure de $G$ si, i només so, no hi ha cap producte de la forma $x_1 \ldots x_r$ que sigui trivial, amb $r \geq 1$, $x_i \in X \cup X^{-1}$ i $x_i \neq x_{i+1}^{-1}$, on $i \in \{0, \ldots, r\}$. \stoptheorem \starttheorem{\cite[robinson,cgt]}Siguin $X$, $Y$ conjunts qualssevol. Aleshores $F(X) \cong F(Y)$ si, i només si, $\lvert X \rvert = \lvert Y \rvert$. \stoptheorem Aquest darrer teorema permet definir el {\em rang d'un grup lliure}\index{grup+lliure+rang,} com el cardinal de qualsevol de les seves bases. En aquest sentit, indicarem amb $F_n$\symbol{$F_n$} el {\em grup lliure de rang $n$}. Per últim, introduirem notació. Si $w$ és una paraula sobre $X \cup X^{-1}$, la {\em longitud reduïda} de $w$\index{longitud+reduïda d'una paraula}, que indicarem amb $\lvert w \rvert$\symbol{$\lvert w \rvert$}, és la longitud de la paraula reduïda de $w$, és a dir, $l(red(w))$. De forma òbvia tenim que, per a totes paraules $u, v$ sobre $X \cup X^{-1}$, $\lvert uv \rvert \leq \lvert u \rvert + \lvert v \rvert$. D'altra banda, si $v, w \in {(X \cup X^{-1})}^*$, aleshores direm que $v$ i $w$ són {\em iguals dins el grup lliure $F(X)$}\index{paraules+iguals dins el grup lliure} si $red(v) = red(w)$ o, equivalentment, si $[v]_\sim = [w]_\sim \in F(X)$. \subsubsubject{Presentacions de grups} Una presentació d'un grup és una generalització del concepte de taula de productes d'un grup. Donat un grup $G$, la seva taula de valors proporciona informació sobre el resultat del producte entre dos elements qualssevol. Però, en aquesta taula, hi ha valors que són obvis (per exemple, sempre $g g^{-1} = 1$, per a tot $g \in G$) o que es poden deduir d'altres productes (per exemple, si $g^3 = 1$, aleshores $g^2 = g^{-1}$ per a tot $g \in G$). Per tant, hi ha certes relacions {\em importants} entre els elements d'un grup que el determinen. Intuïtivament, per exemple, la relació $a^n = 1$ determina el grup $\integers_n$. Ara bé, així com és important especificar les relacions que governen el grup, també ho és especificar el seus elements, ja que el grup $\integers_n \oplus \integers$ amb $a = (1,0)$ i $b = (0,1)$ també compleix que $a^n = 1$. Per tant, informalment, una presentació no serà res més que un conjunt d'elements, que direm {\em generadors}, i un conjunt de {\em relacions} entre ells. Per definir formalment les presentacions de grups ens fa falta recordar què s'entèn per grup quocient. \startdefinition Sigui $G$ un grup i $N$ un subgrup normal de $G$. El {\em grup quocient de $G$ per $N$} (també anomenat {\em grup quocient de $G$ mòdul $N$})\index{grup+quocient}, que indicarem amb $G/N$\symbol{$G/N$}, és el grup format pels cosets de $N$, $\{g N \mid g \in G\}$, i el producte $\cdot$ definit com \startformula a N \cdot b N = ab N. \stopformula A més, l'aplicació $x \mapsto xN = Nx$ és un morfisme exhaustiu entre $G$ i $G/N$ el nucli del qual és $N$. Aquesta aplicació s'anomena {\em projecció canònica dins el grup quocient $G/N$}\index{grup+quocient+projecció canònica,}.%\cite[grillet] \stopdefinition D'ara en endavant, si $G$ és un grup i $X$ és un subconjunt de $G$, indicarem amb $\langle \langle X \rangle \rangle$\symbol{$\langle \langle X \rangle \rangle$} la {\em clausura normal de $X$ en $G$}\index{clausura normal}, és a dir, el subgrup normal més petit que conté $X$. \startdefinition Una {\em presentació {\cal P} amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$\symbol{${\cal P} = \langle X \mid R \rangle$}, és un parell ordenat $(X, R)$, on $X$ és un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ és una relació binària sobre el grup lliure $F(X)$. Una presentació defineix el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, que indicarem amb $G({\cal P})$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Dues presentacions ${\cal P}$ i ${\cal P'}$ són {\em equivalents}\index{presentació+equivalent} si els seus grups $G({\cal P})$ i $G({\cal P^\prime})$ són isomorfs. Freqüentment, per abús de llenguatge, s'identifica la presentació ${\cal P}$ i el seu grup $G({\cal P})$. \stopdefinition Per exemple, si $X = \{a \}$ i $R = \{(a^8,1) \mid a \in X\}$, aleshores $\langle X \mid R \rangle = \integers_8$ (realment el que passa és que el grup que representa aquesta presentació és isomorf a $\integers_8$). Per comoditat, sovint s'abusa de la notació i s'escriuen els parells ordenats de la relació $R$ com una igualtat. Així, l'exemple anterior s'ecriuria com $\langle a \mid a^8 = 1\rangle$. A més, moltes vegades les relacions del tipus $u = v$ són escrites en la forma $uv^{-1} = 1$. Per exemple, $\langle a, b \mid ab = ba \rangle = \langle a, b \mid aba^{-1}b^{-1} = 1\rangle$ i $\langle a \mid a^8 = a^3\rangle = \langle a \mid a^5 = 1\rangle$. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ una presentació. Direm que ${\cal P}$ és una {\em presentació de $G$}\index{presentació+d'un grup} si $G({\cal P}) \cong G$. \stopdefinition \startdefinition Una presentació ${\cal P} = \langle X \mid R\rangle$ és {\em finita}\index{presentació+finita} quan $X$ i $R$ són ambdós finits. I un grup $G$ és {\em finitament presentable}\index{grup+finitament presentat} si existeix una presentació finita de $G$. \stopdefinition Notem que, pel Corol·lari \in[thme:gruplliure-imatge], tenim que tot grup és imatge del grup lliure. Per tant, aplicant el Primer Teorema d'Isomorfia, tenim que tot grup és isomorf a un grup d'una presentació. D'altra banda, la definició que hem donat és equivalent a una definició basada en relacions d'equivalència (amb una construcció anàloga del grup lliure): si $X$ és un conjunt qualsevol i $R$ és un subconjunt de ${(X \cup X^{-1})}^*$, es pot definir la relació d'equivalència $\approx$ definida de la manera següent: dues paraules $u, v \in {(X \cup X^{-1})}^*$ són tals que $u \approx v$ si, i només si, es pot passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \stopitemize Es pot veure que $\approx$ és d'equivalència i que $F(X)/\approx$ és un grup, que coincideix amb $G({\cal P})$ amb ${\cal P} = \langle X \mid R'\rangle$, on $R' = \{(red(r),1) \mid r \in R\} \subseteq F(X) \times F(X)$ \cite[magnus]. Tot seguit, oferim diverses presentacions dels grups més usuals: \startitemize[n] \item El grup lliure $F(X)$ té presentació $\langle X \mid \emptyset\rangle$. En particular $\integers$ té $\langle a \mid \emptyset \rangle$ com a presentació (recordem que $\integers$ és isomorf al grup lliure $F_1$ de rang $1$). \item El grup $\integers$ (com els altres grups) també té altres presentacions menys {\em naturals}, com, per exemple, $\langle a, b \mid ababa = 1\rangle$ \cite[millerIII]. \item Qualsevol grup finit $G = \{a_1, \ldots, a_n\}$ té una presentació finita: la corresponent a agafar tots els seus elements com a generadors i totes les relacions de la taula de productes de $G$ (aquestes tenen la forma $a_i a_j = a_k$ i n'hi ha $n^2$). \item $\integers_n \cong \langle a \mid a^n = 1 \rangle$. \item $\integers \oplus \integers$ té $\langle a, b \mid ab = ba\rangle$ com a presentació. \item Una presentació de $\integers_n \oplus \integers$ és $\langle a, b \mid a^n = 1\rangle$. \item El grup dièdric $D_n$ d'ordre $2n$ té com a presentació \startformula \langle a, b \mid a^2 = 1, b^n = 1, a^{-1}ba = b^{-1} \rangle. \stopformula \item El grup trivial té com a presentacions \startformula \langle a, b \mid a^{-1} b a = b^2, b^{-1}a b=a^2 \rangle \stopformula i \startformula \langle a, b \mid a^{-1} b^n a = b^{n+1}, a = w \rangle, \stopformula on $w$ és una paraula sobre $\{a, b\}$ tal que la suma dels exponents de $a$ és 0 i $n > 0$ \cite[millerIII, millerIII-article]. Per tant, no és gens senzill saber si una presentació correspon al grup trivial. \item Siguin $m, n \in \integers$. El {\em grup de Baumslag-Solitar}\index{grup+Baumslag-Solitar,}, que indicarem amb $BS(m,n)$\symbol{$BS(m,n)$}, és el subgrup del grup $\text{Homeo}(\reals)$ de les funcions homeomorfes de $\reals$ generat per les funcions lineals $a(x) = nx$ i $b(x) = x + m$ \cite[meier]. Aquest grup té com a presentació $\langle a, b\mid ab^m a^{-1}= b^n \rangle$. \stopitemize Finalment, notem que si ${\cal P} = \langle X \mid R\rangle$ és una presentació, aleshores tenim l'aplicació $\iota \colon X \rightarrow G({\cal P})$ definida com la composició $p \circ \eta$ de la inclusió natural $\eta \colon X \to F(X)$, tal que $\eta(x) = [x]$ per a tot $x \in X \cup X^{-1}$, i la projecció natural $p \colon F(X) \to F(X)/N$, on $N = \langle \langle R_* \rangle \rangle$, tal que $p([w]) = [w]N$, per a tot $[w] \in F(X)$. Aquesta aplicació es pot estendre a ${(X \cup X^{-1})}^*$ com \startformula \iota(w) = \iota(w_1) \cdots \iota(w_r) \in G({\cal P}), \stopformula per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. \starttheorem Per a tota presentació {\cal P} = \langle X \mid R \rangle, $\iota(X)$ genera $G({\cal P})$. \stoptheorem \startdemo Sigui $g \in G({\cal P})$, aleshores $g = [w]N$ per a alguna paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. Per tant, \startformula g = [w_1 \ldots w_r]N = ([w_1]\cdots [w_r])N = [w_1]N \cdots [w_r]N. \stopformula Cada $w_i$ és de $X$ o de $X^{-1}$. Si $w_i = x^{-1}$ per a algun $x \in X$, aleshores $[w_i]N = [x^{-1}]N = [x]^{-1}N = \iota(x)^{-1}$. Per tant, $g$ es pot posar com a producte d'elements de $\iota(X)$ i els seus inversos. \stopdemo De forma habitual s'identifica $X$ amb $\iota(X)$, denotant els seus elements amb els mateixos símbols i, per tant, de forma freqüent es diu que $X$ {\em genera} $G({\cal P})$. Per exemple, pel grup $\integers \oplus \integers = \langle a, b \mid ab = ba \rangle$, identifiquem $a$ i $b$ amb $\iota(a)=(1,0)$ i $\iota(b) = (0,1)$, respectivament. \subsubsubject{El problema de la paraula} Sigui $G$ un grup i $X$ un subconjunt de $G$. Aleshores l'aplicació $\pi \colon {(X \cup X^{-1})}^* \to G$\symbol{$\pi$} consistent a enviar cada lletra $x \in X$ a l'element corresponent $\pi(x) = x \in G$ es pot estendre de manera natural a totes les paraules de $X \cup X^{-1}$ de la forma següent: \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize Per tant, $\pi$ és un morfisme de monoides entre ${(X \cup X^{-1})}^*$ i $G$. De forma òbvia, si $X$ és un conjunt de generadors de $G$, aleshores $\pi$ és exhaustiva. En particular, si ${\cal P} = \langle X \mid R \rangle$ és una presentació, aleshores, com que $X$ és un conjunt de generadors de $G({\cal P})$, llavors $\pi \colon {(X \cup X^{-1})}^* \to G({\cal P})$ és un morfisme exhaustiu\footnote{Recordem que abusem del llenguatge, identificant $\iota(X)$ i $X$, i que, realment, $\iota(X)$ és el generador de $G({\cal P})$.}. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ és una presentació de $G$. Una paraula $w$ sobre $X \cup X^{-1}$ és {\em nul-homotòpica per ${\cal P}$}\index{paraula+nul-homotòpica per una presentació} si, i només si, $\pi(w) = 1 \in G$. \stopdefinition \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ una presentació {\em finita} de $G$. El {\em problema de la paraula per a {\cal P}}\index{problema de la paraula+per una presentació finita} consisteix en trobar un algorisme que, donada una paraula $w \in {(X \cup X^{-1})}^*$, decideixi si $\pi(w) = 1$ o $\pi(w) \neq 1$. \stopdefinition Donarem, tot seguit, un criteri per saber si una paraula és nul-homotòpica per una presentació donada. \starttheorem Sigui ${\cal P} = \langle X \mid R \rangle$ amb $X = \{ x_1, \ldots, x_n \}$ i $R = \{ r_1 = 1, \ldots, r_k = 1\}$ una presentació finita i $w$ una paraula sobre $X \cup X^{-1}$. Llavors tenim que $w$ és nul-homotòpica per ${\cal P}$ si, i només si, $w$ compleix la igualtat següent dins el grup lliure $F(X)$: \startformula w = \prod_{i=1}^N u_i^{-1} r_i^{e_i} u_i, \stopformula per a alguns $N \in \naturalnumbers$, $r_i \in R$, $e_i = \pm 1$ i $u_i \in F(X)$, amb $i \in \{1, \ldots, N\}$. \stoptheorem \startdemo \stopdemo El problema de la paraula no és decidible. Pel resultat anterior, el problema de la paraula és equivalent a fer una llista de totes les paraules de la forma \startformula a. \stopformula A \subsubject{Eines geomètrics per fer front al problema de la paraula} Posar la proposició 2.2 de l'article de Joe. \completepublications[criterium=cite] %all per tots \title{Llista de símbols} \placesymbol \title{Índex alfabètic} \placeindex \stoptext \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize \startdefinition Sigui $X$ un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ una relació binària sobre el grup lliure $F(X)$. Una {\em presentació ${\cal P}$ amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$, és el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Quan ens convengui diferenciar entre la presentació com a un parell ordenat de símbols i el grup quocient en si, indicarem amb ${\cal P}$ la presentació i $G({\cal P})$ el grup que aquesta representa. \stopdefinition This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=cont-en 2009.3.12) 23 JUL 2009 14:04 entering extended mode %&-line parsing enabled. (/usr/share/texmf/web2c/natural.tcx) **memoria.context emergencyend (./memoria.context ConTeXt ver: 2007.09.28 16:52 MKII fmt: 2009.3.12 int: english/english language : language en is active system : cont-new loaded (/usr/share/texmf/tex/context/base/cont-new.tex systems : beware: some patches loaded from cont-new.tex (/usr/share/texmf/tex/context/base/cont-new.mkii) (/usr/share/texmf/tex/context/base/cont-mtx.tex)) system : cont-old loaded (/usr/share/texmf/tex/context/base/cont-old.tex loading : Context Old Macros ) system : cont-fil loaded (/usr/share/texmf/tex/context/base/cont-fil.tex loading : Context File Synonyms ) system : cont-sys.rme loaded (/etc/texmf/tex/context/user/cont-sys.rme (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex)) bodyfont : 12pt rm is loaded language : patterns en->ec:ec->1->2:3 uk->ec:ec->2->2:3 de->texnansi:tex nansi->3->2:3 de->ec:ec->4->2:3 fr->texnansi:texnansi->5->2:3 fr->ec:ec->6->2:3 es->ec:ec->7->2:3 pt->texnansi:texnansi->8->2:3 pt->ec:ec->9->2:3 it->texnansi :texnansi->10->2:3 it->ec:ec->11->2:3 nl->texnansi:texnansi->12->2:3 nl->ec:ec- >13->2:3 cz->il2:il2->14->2:3 cz->ec:ec->15->2:3 sk->il2:il2->16->2:3 sk->ec:ec ->17->2:3 pl->pl0:pl0->18->2:3 pl->ec:ec->19->2:3 pl->qx:qx->20->2:3 loaded specials : tex,postscript,rokicki loaded \openout3 = `memoria.tui'. system : memoria.top loaded (./memoria.top specials : loading definition file tpd (/usr/share/texmf/tex/context/base/spec-tpd.tex specials : loading definition file fdf (/usr/share/texmf/tex/context/base/spec-fdf.tex (/usr/share/texmf/tex/context/base/spec-fdf.mkii)) specials : fdf loaded ) specials : fdf,tpd loaded ) \openout0 = `memoria-mpgraph.mp'. \openout0 = `mpgraph.mp'. systems : system commands are disabled (/usr/share/texmf/tex/context/base/type-pre.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex) (/usr/share/texmf/tex/context/base/type-tmf.tex) (/usr/share/texmf/tex/context/base/type-siz.tex) (/usr/share/texmf/tex/context/base/type-one.tex) (/usr/share/texmf/tex/context/base/type-akb.tex)) color : mpcmyk color space is supported color : mpspot color space is supported color : system rgb is global activated system : module bib loaded (/usr/share/texmf/tex/context/bib/t-bib.tex publications : loading formatting style from bibl-apa (/usr/share/texmf/tex/context/bib/bibl-apa.tex)) system : module bibltx loaded (/usr/share/texmf/tex/context/bib/t-bibltx.tex) publications : wrote a new auxiliary file memoria.aux publications : loading formatting style from bibl-ams (/usr/share/texmf/tex/context/bib/bibl-ams.tex) system : module newmat loaded (/usr/share/texmf/tex/context/base/m-newmat.tex) system : module math-ams loaded (/usr/share/texmf/tex/context/base/math-ams.tex) system : module tikz loaded (/usr/share/texmf/tex/context/pgf/frontendlayer/t-tikz.tex (/usr/share/texmf/tex/context/pgf/basiclayer/t-pgf.tex (/usr/share/texmf/tex/context/pgf/basiclayer/t-pgfcor.tex (/usr/share/texmf/tex/context/pgf/systemlayer/t-pgfsys.tex (/usr/share/texmf/tex/context/pgf/utilities/t-pgfrcs.tex (/usr/share/texmf/tex/context/pgf/utilities/t-pgfmod.tex) (/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-context.def) (/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex)) (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex) (/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)) (./memoria.pgf)) (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex) (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex)) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathoperations.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathtrig.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathrnd.code.tex)) (/usr/share/texmf/tex/generic/pgf/math/pgfmathbase.code.tex))) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex) (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex))) (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex) (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex)) (/usr/share/texmf/tex/context/pgf/utilities/t-pgffor.tex (/usr/share/texmf/tex/context/pgf/utilities/t-pgfrcs.tex) (/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex) (/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat hs.code.tex))) system : module pgfmath loaded (/usr/share/texmf/tex/context/pgf/math/t-pgfmat.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathoperations.code.tex (/usr/share/texmf/tex/generic/pgf/math/pgfmathtrig.code.tex) (/usr/share/texmf/tex/generic/pgf/math/pgfmathrnd.code.tex)) (/usr/share/texmf/tex/generic/pgf/math/pgfmathbase.code.tex)))) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarymindm ap.code.tex (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytrees .code.tex) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor ations.code.tex (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduledecorations.code.tex))) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrow s.code.tex (/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryarrows.code.tex)) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc. code.tex) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor ations.pathmorphing.code.tex (/usr/share/texmf/tex/generic/pgf/libraries/pgflibrarydecorations.pathmorphing. code.tex)) (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor ations.markings.code.tex (/usr/share/texmf/tex/generic/pgf/libraries/pgflibrarydecorations.markings.code .tex)) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (./memoria.tuo) (/usr/share/texmf/tex/context/base/sort-lan.tex loading : Context Sorting Macros (languages) (/usr/share/texmf/tex/context/base/sort-lan.mkii)) (./memoria.tuo) (./memoria.tuo) (/usr/share/texmf/tex/context/base/pdfr-def.tex) publications : loading database from memoria.bbl (./memoria.bbl) systems : begin file memoria at line 231 subsubsubject : - Paraules sobre un alfabet subsubsubject : - Grups lliures fonts : resetting map file list {/usr/share/texmf/fonts/map/pdftex/context/original-empty.map} fonts : using map file: original-base {/usr/share/texmf/fonts/map/pdftex/context/original-base.map} fonts : using map file: original-ams-base {/usr/share/texmf/fonts/map/pdftex/context/original-ams-base.map} fonts : using map file: original-public-lm {/usr/share/texmf/fonts/map/pdftex/context/original-public-lm.map} fonts : using map file: lm-ec {/usr/share/texmf/fonts/map/dvips/lm/lm-ec.map} fonts : using map file: lm-math {/usr/share/texmf/fonts/map/dvips/lm/lm-math.map} fonts : using map file: lm-rm {/usr/share/texmf/fonts/map/dvips/lm/lm-rm.map} fonts : using map file: 8r-base {/usr/share/texmf/fonts/map/pdftex/context/8r-base.map} fonts : using map file: ec-base {/usr/share/texmf/fonts/map/pdftex/context/ec-base.map} fonts : using map file: t5-base {/usr/share/texmf/fonts/map/pdftex/context/t5-base.map} fonts : using map file: original-ams-euler {/usr/share/texmf/fonts/map/pdftex/context/original-ams-euler.map} [1.1 \openout0 = `memoria.aux'. \openout7 = `memoria.pgf'. ] [2.2] subsubsubject : - Presentacions de grups [3.3] [4.4] [5.5] subsubsubject : - El problema de la paraula ! Argument of \dodoregister has an extra }. <inserted text> \par <to be read again> } \doattributes ...name #1#2\@EA \endcsname \fi {#4} \dostopattributes \dolistitem ...evel \c!style \c!color {\listitem } \fi \fi }\ifconditional \f... \complexdoitemgroupitem ...obreak \fi \dolistitem \relax \ifconditional \pac... <to be read again> $ l.395 \item $ \pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. ? x Here is how much of TeX's memory you used: 11847 strings out of 57878 232954 string characters out of 558687 4761464 words of memory out of 5693254 50828 multiletter control sequences out of 10000+50000 169502 words of font info for 77 fonts, out of 1200000 for 2000 199 hyphenation exceptions out of 8191 48i,19n,63p,1086b,650s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/ dvips/lm/lm-rm.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/t exmf/fonts/enc/dvips/lm/lm-mathsy.enc}</usr/share/texmf/fonts/type1/public/lm/l mbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/ fonts/type1/public/lm/lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.p fb></usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/ty pe1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/s hare/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/ lm/lmri10.pfb></usr/share/texmf/fonts/type1/public/lm/lmro10.pfb></usr/share/te xmf/fonts/type1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lm sy8.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/msbm10.pfb> Output written on memoria.pdf (5 pages, 230519 bytes). PDF statistics: 95 PDF objects out of 1000 (max. 8388607) 59 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 131072) 5 words of extra memory for PDF output out of 10000 (max. 10000000)

5 19

I can't put footnote
by Xan 23 Jul '09

23 Jul '09

Hi, Anyone could help me please. I attach a document with I have problems. When I comment out the footnote in line 402, then I get an error. Can anyone could see what happens? Thanks in advance, Xan. % interface=en output=pdftex %\environment capcalera.context % Capçalera % Regime \enableregime[utf] % Choose a font \setupbodyfont [cmr,11pt] % cmr, 11pt % Be tolerant with paragraph building \setuptolerance [horizontal,verytolerant,stretch] % Choose a language, and associated hyphenation rules. %\language [ca] \mainlanguage[ca] % Page number \setuppagenumbering [location={footer}] % White space between paragraphs %\setupwhitespace [big] % Paper size \setuppapersize [a4] % Margins %\setuplayout [grid=yes, footer=0.5\footerheight, header=0.5\headerheight] %\setuplayout[footer=2cm, header=2cm] %\showlayout %\showframe %\showsetups % Format de marges %\setuplayout[topspace=1.5cm, % marge d'adalt %margin=1.5cm, %marges dels costats %header=1.0cm,%separació entre adalt i primera línia %footer=1.0cm,%separació entre abaix i darrera línia %width=fit,height=fit,backspace=2cm] % Enable colors and activate hyperlinks \setupcolors [state=start] \definecolor[lightblue][r=0.5, g=0.5, b=1.0] %\setupinteraction [state=start, color=lightBlue] %\setupurl[style=small, space=yes] \setupurl[space=yes] % Enumerate the URLs %\useURL[wiki][http://wiki.contextgarden.net][][\ConTeXt\ wiki] %\useURL[nagorko-pdf][http://www.math.bgu.ac.il/~barakw/probseminar/nagorko/slides.pdf][][http://www.math.bgu.ac.il/\~{}barakw/\quad\quad\quad\quad probseminar/nagorko/slides.pdf] %\useURL[govern-me][http://sgtrelinst.caib.es/llibrestil/00index.html][][http://sgtrelinst.caib.es/llibrestil/00index.html] %\useURL[context-manual-pdf][http://www.pragma-ade.com/general/manuals/cont-eni.pdf][][http://www.pragma-ade.com/general/manuals/ cont-eni.pdf] %\useURL [contextgarden] [{http://www.contextgarden.net}] %\useURL [mccammond][{http://www.math.ucsb.edu/~jon.mccammond/geogrouptheory/}][] [{\tf http://www.math.ucsb.edu/\~{}jon.mccammond/geogrouptheory/}] % Fonts %% Chapters... \setupheads[align=flushleft] \setuphead[chapter][style={\tfd\bf}] \setuphead[section][style={\bfc}, header=nomarking] \setuphead[subsection][style={\bfb}] \setuphead[subsubsection][style={\bfa}] %\setuphead[section][textstyle=bold] % Bibliography options % BIBTEX \usemodule[bib] \usemodule[bibltx] \setupbibtex[database=memoria,sort=author] \setuppublications [alternative=ams,numbering=yes, sorttype=bbl, criterium=cite]% \setupheadtext[ca][pubs=Referències] \setuppublicationlist[authoretallimit=3] \setuppublicationlist[authoretaltext={\it\ et al.}] \setuppublicationlist[authoretaldisplay=1] %Indentation \setupheads[indentnext=yes] \setupindenting[yes,small,first] %\setupformulae[indentnext=yes] % Vertical spaces between paragraphs \setupwhitespace[small] %Itemize \setupitemize[each][indentnext=no,margin=2em] % [identnext=yes,margin=2em] \setupitemize[each][headstyle=bold] %\setupitemize[a][right=),stopper=] % Mathematical packets \usemodule[newmat] \usemodule[math-ams] % Heads and footers %\setupfootertexts[][{\tfx \currentdate}] %\setupfootertexts[\pagenumber/\lastpage] %\setupfooter[text][before=\hrule] %\setupheader[text][after=\hrule] %\setupheadertexts[{\tfx Màster de Matemàtiques}][{\tfx \jobname.\ConTeXt{}.\currentdate}] %\setupheadertexts[][{\tfx \currentdate}] % hyphenating \hyphenation{do-cu-ment} \hyphenation{pro-ble-ma} \hyphenation{es-crip-tu-ra} \hyphenation{ge-ne-ra-lit-za-ció} \hyphenation{cor-res-po-nents} \hyphenation{pa-rells} \hyphenation{ge-ne-rat} % Modules \usemodule[tikz] \usemodule[pgfmath] \usetikzlibrary[mindmap,arrows,calc,decorations.pathmorphing,decorations.markings] %\usetikzlibrary[trees] % AMSTHM equivalent %% Exercici \defineenumeration [exercici] [text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,before={\bgroup\startframedtext[background=screen,frame=off,width=broad]},after={\stopframedtext\egroup}] %% Lema \defineenumeration [lema] [text={Lema}, % Què es mostra before={\blank[big]}, % abans de lema, un bigskip after={\blank[big]}, % després de lema, un bigskip headstyle=bold, % Negreta per la capçaleras %between=\blank, % Entre Lemmes una línia en blanc titledistance=.5em, % espai entre número i parèntesis. textdistance=.5em, % espai entre ) i text stopper={.\space}, % Com acaba. Després de parèntesis un '.' location=serried, width=fit, % que ocupi tot l'espai style=italic, % estil del text title=yes, % si puc posar o no arguments opcionals titlestyle=bf, % estil del títol way=bytext, % enumerar en tot el document conversion=numbers,indenting=yes] % enumera amb arabic %% Proposició, corol·laris, teoremes. %% Comparteix els nombres amb lema %% Si volem que vagin a part, hem de posar 'number=proposition' \defineenumeration [proposition] [lema] [text={Proposició}] \defineenumeration [corollary] [lema] [text={Corol·lari}] \defineenumeration [theorem] [lema] [text={Teorema}] %% Definició \defineenumeration [definition] [lema] [text={Definició},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [notation] [definition] [text={Notació},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [note] [definition] [text={Nota},style=tf,titlestyle=bf,indenting=yes] %% Demostració \defineenumeration[demo][text={Demostració.\space},number=no,location=serried,width=fit,headstyle=italic,indentnext=yes,between=\blank,textdistance=.5em,closesymbol={\mathematics{\Box}},style=normal,indenting=yes] % Table of contents %% dots between... and subsubsubsection are not listed \setupcombinedlist[content][level=4,alternative=c] %% section = bold. % width= 10mm --> less space between num-letter %% line break after section. \setuplist[section][style=bold,width=10mm] \setuplist[section][before=\blank] %% margin = 10 mm. Put the subsection just bottom section. \setuplist[subsection][margin=10mm,width=10mm] \setuplist[subsubsection][margin=20mm,width=10mm] %\setuplist[subsection] %[distance=1em] % section = bold. % % Això ho trec d'un manual: %\setuplist[subsection] % [margin=1em, % numbercommand=\NumCom] %\def\NumCom#1{\hbox to 2em{\hfill #1}} % Set "Índex" like "Índex de continguts" \setupheadtext [ca] [content=Índex] % Definitions/abbreviations \define[1]\dist{d(\sigma_g(#1), \sigma_h(#1))} \define[1]\imp{{\bgroup\startframedtext[background=screen,frame=on,width=broad]#1\stopframedtext\egroup}} %\define[1]\imp{{\bgroup\startframedtext[background=color,backgroundcolor=lightblue,frame=on,width=broad]#1\stopframedtext\egroup}} % SPLIT \def\startsplit {\startalign} % no number by default \def\stopsplit {&\doalignNR[+][]\crcr % for a number on last line \stopalign} % Other \setupunderbar[alternative=b] % Fix underline style % For putting underline with spaces: \underbar{\dorecurse{40}~} % Define new register for the Index of Symbols \defineregister[symbol][symbols] % Start the text \starttext \version[concept] \subsubsubject{Paraules sobre un alfabet} En aquest apartat farem memòria de la definició de paraula (sobre un alfabet) i introduirem certes notacions i operacions estàndards que farem servir posteriorment. Recordem que un {\em alfabet}\index{alfabet} és un conjunt qualsevol de símbols, els quals anomenarem {\em lletres}\index{lletres}. Si $A$ és un alfabet, aleshores una {\em paraula $w$ sobre $A$}\index{paraula} és una successió finita de lletres de $A$, que escriurem com $w = w_1 \ldots w_k$. Indicarem amb $\varepsilon$ la paraula que no té cap lletra, la qual anomenarem {\em paraula buida}\index{paraula+buida}. Quan $w$ consti de dues o més lletres iguals consecutives, per comoditat, podrem agrupar-les usant la notació multiplicativa. Per exemple si $A = \{a,b\}$, aleshores $ab^3a^2b$ denotarà la paraula $abbbaab$. La {\em concatenació}\index{concatenació de paraules} de dues paraules $w_1$, $w_2$ sobre $A$, que indicarem amb $w_1 \cdot w_2$, és la juxtaposició de $w_1$ i $w_2$, és a dir, si $w_1 = a_1 \ldots a_k$ i $w_2 = b_1 \ldots b_s$, aleshores \startformula w_1 \cdot w_2 = a_1 \ldots a_k b_1 \ldots b_s, \stopformula amb la convenció que $w_1 \cdot \varepsilon = \varepsilon \cdot w_1 = w_1$. Sovint ometrem el símbol $\cdot$ i escriurem $u v$ per denotar $u \cdot v$. Si $w$ és una paraula sobre $A$, aleshores $l(w)$\symbol{$l(w)$} denotarà la seva {\em longitud}\index{longitud+d'una paraula}, és a dir, el seu nombre de símbols. De forma clara, $l(u \cdot v) = l(u) + l(v)$, per a qualssevol paraules $u, v$ sobre $A$. D'altra banda, indicarem amb $w(t)$ el {\em prefix de $w$ de longitud $t$}\index{paraula+prefix de longitud $t$,}. Formalment, si $w = \varepsilon$, $w(t) = \varepsilon$ i si $w = w_1 \ldots w_k$, aleshores $w(t) = w_1 \ldots w_t$. Per últim, indicarem amb $A^*$ el {\em monoide lliure sobre $A$}\index{monoide lliure}, és a dir, el conjunt de totes les paraules sobre $A$. \subsubsubject{Grups lliures} En aquesta secció construirem el {\em grup lliure} de base $X$ un conjunt qualsevol i descriurem algunes de les seves propietats a mode de teoremes. Donat $X$ un conjunt qualsevol, agafem un conjunt d'inverses formals de $X$, que indicarem amb $X^{-1}$, format per símbols $x^{-1}$ per a cada $x \in X$. Formalment, $X^{-1}$ és un conjunt del mateix cardinal que $X$ juntament amb una funció bijectiva ${}^{-1} \colon X \to X^{-1}$, de manera que, per a tot $x \in X$, la imatge de $x$ per ${}^{-1}$ s'escriu $x^{-1}$. Amb aquests conjunts podem formar el monoide lliure ${(X \cup X^{-1})}^*$ els elements del qual són llistes finites d'elements de $X$ i de les seves inverses formals. Enfatitzem que els elements de $X^{-1}$ són inverses formals: si $X = \{a, b\}$, aleshores $b$, $aba^{-1}$, $ab$ i $aba^{-1}a$ són elements diferents en el monoide lliure ${(X \cup X^{-1})}^*$. Afegirem dues convencions: abusant del llenguatge, si $a \in X^{-1}$ i $a = x^{-1}$ per a algun $x \in X$, aleshores $a^{-1}$ denotarà $x$, o sigui, de manera informal, el que feim és fer involutiva la funció ${}^{-1}$. D'altra banda, estendrem les inverses formals a les paraules. Per a la paraula buida definim $\varepsilon^{-1} = \varepsilon$, i si \startformula w=x_1 x_2 \ldots x_{k-1}x_k \in {(X \cup X^{-1})}^*, \stopformula aleshores $w^{-1}$ indicarà la paraula \startformula w^{-1} = x_k^{-1}x_{k-1}^{-1}\ldots x_2^{-1} x_1^{-1} \in {(X \cup X^{-1})}^*. \stopformula En poques paraules, amb aquestes convencions, hem aconseguit que ${}^{-1}$ sigui un morfisme en ${(X \cup X^{-1})}^*$ respecte de la concatenació de paraules. Sobre ${(X \cup X^{-1})}^*$ definim la relació $\sim$ definida de la manera següent: dues paraules $u$, $v$ són equivalents, i.e., $u \sim v$, si, i només si, podem passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$. \stopitemize És clar que $\sim$ és una relació d'equivalència. A més, preserva l'estructura de ${(X \cup X^{-1})}^*$: si $u_1 \sim u_2$ i $v_1 \sim v_2$, aleshores $u_1 \cdot v_1 \sim u_2 \cdot v_2$ i $u_1^{-1} \sim u_2^{-1}$. Per tot això, es pot veure fàcilment que ${(X \cup X^{-1})}^*/\sim$ és un grup (l'element neutre és $[\varepsilon]_\sim$ i la inversa de $[w]_\sim$ és $[w^{-1}]_\sim$). Anomenarem a aquest grup el {\em grup lliure de base $X$}\index{grup+lliure}, i l'indicarem amb $F(X)$\symbol{$F(X)$}. Si $X$ té només un sol element, aleshores $F(X) \cong \integers$, el qual és l'únic grup lliure abelià no trivial. Si $X = \emptyset$, aleshores $F(X) \cong \{1\}$. Una paraula sobre $X \cup X^{-1}$ és {\em reduïda}\index{paraula+reduïda} si no conté cap ocurrència de la forma $xx^{-1}$, amb $x \in X \cup X^{-1}$. Qualsevol paraula que només conté una lletra i $aba^{-1}$ són paraules reduïdes. La paraula buida també és reduïda. En canvi $abb^{-1}b$ i $aba^{-1}abb^{-1}a^{-1}$ no són paraules reduïdes. Donada una paraula $w \in {(X \cup X^{-1})}^*$, existeix una paraula reduïda $u$ tal que $w \sim u$, obtinguda aplicant un nombre finit de passes de reducció \cite[extras={, Lema~6.1}][grillet], la qual indicarem amb $red(w)$\symbol{$red(w)$}. A més, aquesta paraula és única, o sigui, no existeix cap altra paraula reduïda dins la classe d'equivalència de $w$ \cite[right={; }, extras={, Lema~6.4}][grillet]\cite[left=,extras={, Teorema~2.1.2}][robinson]. Això fa que el grup lliure $F(X)$ sigui isomorf al grup format pel conjunt de paraules reduïdes sobre $X \cup X^{-1}$ amb l'operació binària consistent en la concatenació de dues paraules reduïdes seguida de la reducció (per exemple, l'aplicació que envia cada paraula reduïda $u$ a la classe d'equivalència $[u]_\sim$ és un isomorfisme entre aquests grups). Estrictament parlant $X$ no està inclòs dins $F(X)$, ara bé, tenim la inclusió natural $\eta$ de $X$ en $F(X)$ tal que $\eta(x) = [x]_\sim$, per a tot $x \in X$. A més, aquesta inclusió es pot estendre per a $X^{-1}$ de la forma $\eta(x^{-1}) = [x^{-1}]_\sim$, per a tot $x \in X$. Per construcció de $F(X)$, això fa que tot element de $F(X)$ es pugui posar com a producte de elements de $\eta(X)$ i els seus inversos, la qual cosa implica el resultat següent: \starttheorem{\cite[right={; }, extras={, Proposició~6.6}][grillet]\cite[left=,extras={, Proposició~1.6}][cgt]}El grup lliure $F(X)$ està generat per $\eta(X)$. \stoptheorem Una propietat molt important que compleix el grup lliure, la qual el caracteritza, és la {\em propietat universal}\index{propietat universal}, que podem enunciar com el resultat següent: \starttheorem{\cite[extras={, Teorema~6.7}][grillet]} Sigui $\eta \colon X \to F(X)$ la inclusió natural. Per a tota funció $f$ de $X$ a un grup qualsevol $G$, existeix un únic morfisme $\nu \colon F(X) \to G$ tal que $\nu \circ \eta = f$. \stoptheorem \startcorollary[thme:gruplliure-imatge]{\cite[grillet, robinson]} Sigui $G$ un grup generat per un conjunt $X$. Aleshores existeix un homomorfisme exhaustiu de $F(X)$ a $G$, o sigui, tot grup és imatge del grup lliure per a qualque homomorfisme. \stopcorollary Altres propietats interessants del grup lliure són les seguents: \starttheorem{\cite[extras={, Teorema~2.1.3}][robinson]} Sigui $G$ un grup i $X$ un subconjunt de $G$. Si tot element $g$ de $G$ es pot escriure de forma única com a $g = x_1^{l_1} \ldots x_r^{l_r}$ amb $r \geq 0$, $x_i \in X$, $l_i \in \integers$ tals que $l_i \neq 0$ i $x_i \neq x_{i+1}$, per a tot $i \in \{0, \ldots, r\}$, aleshores $G$ és lliure de base $X$. \stoptheorem \starttheorem{\cite[extras={, Proposició~1.9}][cgt]} Sigui $X$ un subconjunt de $G$ tal que $X \cap X^{-1} = \emptyset$. Aleshores $X$ és una base d'un subgrup lliure de $G$ si, i només so, no hi ha cap producte de la forma $x_1 \ldots x_r$ que sigui trivial, amb $r \geq 1$, $x_i \in X \cup X^{-1}$ i $x_i \neq x_{i+1}^{-1}$, on $i \in \{0, \ldots, r\}$. \stoptheorem \starttheorem{\cite[robinson,cgt]}Siguin $X$, $Y$ conjunts qualssevol. Aleshores $F(X) \cong F(Y)$ si, i només si, $\lvert X \rvert = \lvert Y \rvert$. \stoptheorem Aquest darrer teorema permet definir el {\em rang d'un grup lliure}\index{grup+lliure+rang,} com el cardinal de qualsevol de les seves bases. En aquest sentit, indicarem amb $F_n$\symbol{$F_n$} el {\em grup lliure de rang $n$}. Per últim, introduirem notació. Si $w$ és una paraula sobre $X \cup X^{-1}$, la {\em longitud reduïda} de $w$\index{longitud+reduïda d'una paraula}, que indicarem amb $\lvert w \rvert$\symbol{$\lvert w \rvert$}, és la longitud de la paraula reduïda de $w$, és a dir, $l(red(w))$. De forma òbvia tenim que, per a totes paraules $u, v$ sobre $X \cup X^{-1}$, $\lvert uv \rvert \leq \lvert u \rvert + \lvert v \rvert$. D'altra banda, si $v, w \in {(X \cup X^{-1})}^*$, aleshores direm que $v$ i $w$ són {\em iguals dins el grup lliure $F(X)$}\index{paraules+iguals dins el grup lliure} si $red(v) = red(w)$ o, equivalentment, si $[v]_\sim = [w]_\sim \in F(X)$. \subsubsubject{Presentacions de grups} Una presentació d'un grup és una generalització del concepte de taula de productes d'un grup. Donat un grup $G$, la seva taula de valors proporciona informació sobre el resultat del producte entre dos elements qualssevol. Però, en aquesta taula, hi ha valors que són obvis (per exemple, sempre $g g^{-1} = 1$, per a tot $g \in G$) o que es poden deduir d'altres productes (per exemple, si $g^3 = 1$, aleshores $g^2 = g^{-1}$ per a tot $g \in G$). Per tant, hi ha certes relacions {\em importants} entre els elements d'un grup que el determinen. Intuïtivament, per exemple, la relació $a^n = 1$ determina el grup $\integers_n$. Ara bé, així com és important especificar les relacions que governen el grup, també ho és especificar el seus elements, ja que el grup $\integers_n \oplus \integers$ amb $a = (1,0)$ i $b = (0,1)$ també compleix que $a^n = 1$. Per tant, informalment, una presentació no serà res més que un conjunt d'elements, que direm {\em generadors}, i un conjunt de {\em relacions} entre ells. Per definir formalment les presentacions de grups ens fa falta recordar què s'entèn per grup quocient. \startdefinition Sigui $G$ un grup i $N$ un subgrup normal de $G$. El {\em grup quocient de $G$ per $N$} (també anomenat {\em grup quocient de $G$ mòdul $N$})\index{grup+quocient}, que indicarem amb $G/N$\symbol{$G/N$}, és el grup format pels cosets de $N$, $\{g N \mid g \in G\}$, i el producte $\cdot$ definit com \startformula a N \cdot b N = ab N. \stopformula A més, l'aplicació $x \mapsto xN = Nx$ és un morfisme exhaustiu entre $G$ i $G/N$ el nucli del qual és $N$. Aquesta aplicació s'anomena {\em projecció canònica dins el grup quocient $G/N$}\index{grup+quocient+projecció canònica,}.%\cite[grillet] \stopdefinition D'ara en endavant, si $G$ és un grup i $X$ és un subconjunt de $G$, indicarem amb $\langle \langle X \rangle \rangle$\symbol{$\langle \langle X \rangle \rangle$} la {\em clausura normal de $X$ en $G$}\index{clausura normal}, és a dir, el subgrup normal més petit que conté $X$. \startdefinition Una {\em presentació {\cal P} amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$\symbol{${\cal P} = \langle X \mid R \rangle$}, és un parell ordenat $(X, R)$, on $X$ és un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ és una relació binària sobre el grup lliure $F(X)$. Una presentació defineix el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, que indicarem amb $G({\cal P})$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Dues presentacions ${\cal P}$ i ${\cal P'}$ són {\em equivalents}\index{presentació+equivalent} si els seus grups $G({\cal P})$ i $G({\cal P^\prime})$ són isomorfs. Freqüentment, per abús de llenguatge, s'identifica la presentació ${\cal P}$ i el seu grup $G({\cal P})$. \stopdefinition Per exemple, si $X = \{a \}$ i $R = \{(a^8,1) \mid a \in X\}$, aleshores $\langle X \mid R \rangle = \integers_8$ (realment el que passa és que el grup que representa aquesta presentació és isomorf a $\integers_8$). Per comoditat, sovint s'abusa de la notació i s'escriuen els parells ordenats de la relació $R$ com una igualtat. Així, l'exemple anterior s'ecriuria com $\langle a \mid a^8 = 1\rangle$. A més, moltes vegades les relacions del tipus $u = v$ són escrites en la forma $uv^{-1} = 1$. Per exemple, $\langle a, b \mid ab = ba \rangle = \langle a, b \mid aba^{-1}b^{-1} = 1\rangle$ i $\langle a \mid a^8 = a^3\rangle = \langle a \mid a^5 = 1\rangle$. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ una presentació. Direm que ${\cal P}$ és una {\em presentació de $G$}\index{presentació+d'un grup} si $G({\cal P}) \cong G$. \stopdefinition \startdefinition Una presentació ${\cal P} = \langle X \mid R\rangle$ és {\em finita}\index{presentació+finita} quan $X$ i $R$ són ambdós finits. I un grup $G$ és {\em finitament presentable}\index{grup+finitament presentat} si existeix una presentació finita de $G$. \stopdefinition Notem que, pel Corol·lari \in[thme:gruplliure-imatge], tenim que tot grup és imatge del grup lliure. Per tant, aplicant el Primer Teorema d'Isomorfia, tenim que tot grup és isomorf a un grup d'una presentació. D'altra banda, la definició que hem donat és equivalent a una definició basada en relacions d'equivalència (amb una construcció anàloga del grup lliure): si $X$ és un conjunt qualsevol i $R$ és un subconjunt de ${(X \cup X^{-1})}^*$, es pot definir la relació d'equivalència $\approx$ definida de la manera següent: dues paraules $u, v \in {(X \cup X^{-1})}^*$ són tals que $u \approx v$ si, i només si, es pot passar d'una a l'altra amb un nombre finit de passes del tipus següent: \startitemize[n] \item Reducció: l'eliminació d'una ocurrència de $xx^{-1}$, per a qualque $x \in X\cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \item Amplificació: l'afegit d'una ocurrència de $xx^{-1}$, per a qualque $x \in X \cup X^{-1}$, o d'una ocurrència d'una relació $r \in R$. \stopitemize Es pot veure que $\approx$ és d'equivalència i que $F(X)/\approx$ és un grup, que coincideix amb $G({\cal P})$ amb ${\cal P} = \langle X \mid R'\rangle$, on $R' = \{(red(r),1) \mid r \in R\} \subseteq F(X) \times F(X)$ \cite[magnus]. Tot seguit, oferim diverses presentacions dels grups més usuals: \startitemize[n] \item El grup lliure $F(X)$ té presentació $\langle X \mid \emptyset\rangle$. En particular $\integers$ té $\langle a \mid \emptyset \rangle$ com a presentació (recordem que $\integers$ és isomorf al grup lliure $F_1$ de rang $1$). \item El grup $\integers$ (com els altres grups) també té altres presentacions menys {\em naturals}, com, per exemple, $\langle a, b \mid ababa = 1\rangle$ \cite[millerIII]. \item Qualsevol grup finit $G = \{a_1, \ldots, a_n\}$ té una presentació finita: la corresponent a agafar tots els seus elements com a generadors i totes les relacions de la taula de productes de $G$ (aquestes tenen la forma $a_i a_j = a_k$ i n'hi ha $n^2$). \item $\integers_n \cong \langle a \mid a^n = 1 \rangle$. \item $\integers \oplus \integers$ té $\langle a, b \mid ab = ba\rangle$ com a presentació. \item Una presentació de $\integers_n \oplus \integers$ és $\langle a, b \mid a^n = 1\rangle$. \item El grup dièdric $D_n$ d'ordre $2n$ té com a presentació \startformula \langle a, b \mid a^2 = 1, b^n = 1, a^{-1}ba = b^{-1} \rangle. \stopformula \item El grup trivial té com a presentacions \startformula \langle a, b \mid a^{-1} b a = b^2, b^{-1}a b=a^2 \rangle \stopformula i \startformula \langle a, b \mid a^{-1} b^n a = b^{n+1}, a = w \rangle, \stopformula on $w$ és una paraula sobre $\{a, b\}$ tal que la suma dels exponents de $a$ és 0 i $n > 0$ \cite[millerIII, millerIII-article]. Per tant, no és gens senzill saber si una presentació correspon al grup trivial. \item Siguin $m, n \in \integers$. El {\em grup de Baumslag-Solitar}\index{grup+Baumslag-Solitar,}, que indicarem amb $BS(m,n)$\symbol{$BS(m,n)$}, és el subgrup del grup $\text{Homeo}(\reals)$ de les funcions homeomorfes de $\reals$ generat per les funcions lineals $a(x) = nx$ i $b(x) = x + m$ \cite[meier]. Aquest grup té com a presentació $\langle a, b\mid ab^m a^{-1}= b^n \rangle$. \stopitemize Finalment, notem que si ${\cal P} = \langle X \mid R\rangle$ és una presentació, aleshores tenim l'aplicació $\iota \colon X \rightarrow G({\cal P})$ definida com la composició $p \circ \eta$ de la inclusió natural $\eta \colon X \to F(X)$, tal que $\eta(x) = [x]$ per a tot $x \in X \cup X^{-1}$, i la projecció natural $p \colon F(X) \to F(X)/N$, on $N = \langle \langle R_* \rangle \rangle$, tal que $p([w]) = [w]N$, per a tot $[w] \in F(X)$. Aquesta aplicació es pot estendre a ${(X \cup X^{-1})}^*$ com \startformula \iota(w) = \iota(w_1) \cdots \iota(w_r) \in G({\cal P}), \stopformula per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. \starttheorem Per a tota presentació {\cal P} = \langle X \mid R \rangle, $\iota(X)$ genera $G({\cal P})$. \stoptheorem \startdemo Sigui $g \in G({\cal P})$, aleshores $g = [w]N$ per a alguna paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$. Per tant, \startformula g = [w_1 \ldots w_r]N = ([w_1]\cdots [w_r])N = [w_1]N \cdots [w_r]N. \stopformula Cada $w_i$ és de $X$ o de $X^{-1}$. Si $w_i = x^{-1}$ per a algun $x \in X$, aleshores $[w_i]N = [x^{-1}]N = [x]^{-1}N = \iota(x)^{-1}$. Per tant, $g$ es pot posar com a producte d'elements de $\iota(X)$ i els seus inversos. \stopdemo De forma habitual s'identifica $X$ amb $\iota(X)$, denotant els seus elements amb els mateixos símbols i, per tant, de forma freqüent es diu que $X$ {\em genera} $G({\cal P})$. Per exemple, pel grup $\integers \oplus \integers = \langle a, b \mid ab = ba \rangle$, identifiquem $a$ i $b$ amb $\iota(a)=(1,0)$ i $\iota(b) = (0,1)$. \subsubsubject{El problema de la paraula} Sigui $G$ un grup i $X$ un subconjunt de $G$. Aleshores l'aplicació $\pi \colon {(X \cup X^{-1})}^* \to G$\symbol{$\pi$} consistent a enviar cada lletra $x \in X$ a l'element corresponent $\pi(x) = x \in G$ es pot estendre de manera natural a totes les paraules de $X \cup X^{-1}$ de la forma següent: \startitemize[n] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize Per tant, $\pi$ és un morfisme de monoides entre ${(X \cup X^{-1})}^*$ i $G$. De forma òbvia, si $X$ és un conjunt de generadors de $G$, aleshores $\pi$ és exhaustiva. En particular, si ${\cal P} = \langle X \mid R \rangle$ és una presentació, aleshores, com que $X$ és un conjunt de generadors de $G({\cal P})$%\footnote{Recordem que abusem del llenguatge, identificant $\iota(X)$ i $X$, i que, realment, $\iota(X)$ és el generador de $G(\cal{P})$.} , llavors $\pi \colon {(X \cup X^{-1})}^* \to G({\cal P})$ és un morfisme exhaustiu. \startdefinition Sigui $G$ un grup i ${\cal P} = \langle X \mid R\rangle$ és una presentació de $G$. Una paraula $w$ sobre $X \cup X^{-1}$ és {\em nul-homotòpica per ${\cal P}$}\index{paraula+nul-homotòpica per una presentació} si, i només si, $\pi(w) = 1 \in G$. \stopdefinition \startdefinition Sigui $G$ un grup i ${\cal P} = \langle x_1, \ldots, x_n \mid r_1, \ldots, r_k\rangle$ una presentació {\em finita} de $G$. El {\em problema de la paraula per a {\cal P}}\index{problema de la paraula+per una presentació finita} consisteix en trobar un algorisme que, donada una paraula $w \in {(X \cup X^{-1})}^*$, decideixi si $\pi(w) = 1$ o $\pi(w) \neq 1$. \stopdefinition \subsubject{Eines geomètrics per fer front al problema de la paraula} Posar la proposició 2.2 de l'article de Joe. \completepublications[criterium=cite] %all per tots \title{Llista de símbols} \placesymbol \title{Índex alfabètic} \placeindex \stoptext \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize \startdefinition Sigui $X$ un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ una relació binària sobre el grup lliure $F(X)$. Una {\em presentació ${\cal P}$ amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$, és el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Quan ens convengui diferenciar entre la presentació com a un parell ordenat de símbols i el grup quocient en si, indicarem amb ${\cal P}$ la presentació i $G({\cal P})$ el grup que aquesta representa. \stopdefinition

4 12

Lettrine link broken
by Derek CORDEIRO 23 Jul '09

23 Jul '09

Hi, the link to the lettrine module(download zip file) on the lettrine module page is broken. I guess the only one who can fix it is the maintainer. Regards, D

3 2

hskip and crlf
by Flavien Lambert 22 Jul '09

22 Jul '09

Dear all, can you explain why the following code does not produce an horizontal spacing for the second line ? I am using MarkIV. \starttext \hskip2em a\crlf \hskip4em a\crlf \stoptext Best regards, -- Flavien. ---------------------------- "Quantum objects are completely crazy but, at least, they are all crazy in the same way." R.P. Feynman.

2 2

\setuptype[style=...] and a feature request
by Peter Münster 22 Jul '09

22 Jul '09

Hello, The style command of \setuptype is executed 2 times: \setuptype[style=X] \starttext \type{bla} \stoptext Feature request: \setuptype[before=..., after=...] (today I use this workaround: \setuptype[style=\groupedcommand{...}{...}] ) Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

3 4

beta
by Hans Hagen 22 Jul '09

22 Jul '09

I uploaded a beta with last days fixes; probably an updated current tomorrow. -- ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------

1 0

Re: [NTG-context] no line breaks between figures
by Aditya Mahajan 22 Jul '09

22 Jul '09

CCed to ConTeXt mailing list. On Tue, 21 Jul 2009, Mojca Miklavec wrote to pgf.user list: > Hello, > > I noticed that a large number of > \begin{tikzpicture} \draw (0,0) -- (5,1); \end{tikzpicture} > breaks at line end while > \starttikzpicture \draw (0,0) -- (5,1); \stoptikzpicture > just generates an infinitely long line. > > Is there any simple way to fix the behaviour in ConTeXt? Don't know. > I also don't like the behaviour in > \placefigure{title}{\starttikzpicture ... \stoptikzpicture} > that has to be surrounded with > \hbox{\starttikzpicture ... \stoptikzpicture} > else the figure gets placed at the beginning of line instead of being centered. This is what is happening. The pgf code basically boils down to this. \starttext \newbox\pgfpic \setbox\pgfpic\hbox to 10pt\bgroup abc \egroup \placefigure {testing box placement} {\leavevmode\raise-2pt\box\pgfpic} \stoptext Now since \placefigure internally places its contents in a \vbox, this boils down to a differnce beween \hbox to \textwidth {\hss \vbox{\hbox{abc}} \hss} \hbox to \textwidth {\hss \vbox{\leavevmode\raise-2pt \hbox{abc}} \hss} So, the solution is to either patch \placefigure so that \def\setlocalfloatdimensions#1% {... \global\setbox\floatbox\hbox% was \vbox ....} or redefine \pgfsys@typesetpicturebox to \def\pgfsys@typesetpicturebox#1{% .... \hbox{\leavevmode\raise-\pgf@x\box#1}%\hbox added } The redefinition at ConTeXt will break some existing documents (i.e., the authors will have to manually add a \vbox where there was none earlier). The redefinition at tikz end will make all pgf code run slightly slower (an extra hbox for each typeset pgfpicture) If neither of these is acceptable, then we can have a simple wrapper around \start-stop tikzpicture: \def\startTIKZcode{\hbox\bgroup\starttikzpicture} \def\stopTIKZcode {\stoptikzpicture\egroup} which will only affect ConTeXt code. Aditya

3 3

Strange behaviour of startitemize[1]
by Xan 22 Jul '09

22 Jul '09

Hi, Sorry for perhaps silly question, but I receive and error for this code: \subsubsubject{El problema de la paraula} \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize that in the first item should be one less $: subsubsubject : - El problema de la paraula ! Argument of \dodoregister has an extra }. <inserted text> \par <to be read again> } \doattributes ...name #1#2\@EA \endcsname \fi {#4} \dostopattributes \dolistitem ...evel \c!style \c!color {\listitem } \fi \fi }\ifconditional \f... \complexdoitemgroupitem ...obreak \fi \dolistitem \relax \ifconditional \pac... <to be read again> $ l.237 \item $ \pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. ? x The whole file is attached. What's the problem. Sorry I don't see.... Xan. % interface=en output=pdftex %\environment capcalera.context % Capçalera % Regime \enableregime[utf] % Choose a font \setupbodyfont [cmr,11pt] % cmr, 11pt % Be tolerant with paragraph building \setuptolerance [horizontal,verytolerant,stretch] % Choose a language, and associated hyphenation rules. %\language [ca] \mainlanguage[ca] % Page number \setuppagenumbering [location={footer}] % White space between paragraphs %\setupwhitespace [big] % Paper size \setuppapersize [a4] % Margins %\setuplayout [grid=yes, footer=0.5\footerheight, header=0.5\headerheight] %\setuplayout[footer=2cm, header=2cm] %\showlayout %\showframe %\showsetups % Format de marges %\setuplayout[topspace=1.5cm, % marge d'adalt %margin=1.5cm, %marges dels costats %header=1.0cm,%separació entre adalt i primera línia %footer=1.0cm,%separació entre abaix i darrera línia %width=fit,height=fit,backspace=2cm] % Enable colors and activate hyperlinks \setupcolors [state=start] \definecolor[lightblue][r=0.5, g=0.5, b=1.0] %\setupinteraction [state=start, color=lightBlue] %\setupurl[style=small, space=yes] \setupurl[space=yes] % Enumerate the URLs %\useURL[wiki][http://wiki.contextgarden.net][][\ConTeXt\ wiki] %\useURL[nagorko-pdf][http://www.math.bgu.ac.il/~barakw/probseminar/nagorko/slides.pdf][][http://www.math.bgu.ac.il/\~{}barakw/\quad\quad\quad\quad probseminar/nagorko/slides.pdf] %\useURL[govern-me][http://sgtrelinst.caib.es/llibrestil/00index.html][][http://sgtrelinst.caib.es/llibrestil/00index.html] %\useURL[context-manual-pdf][http://www.pragma-ade.com/general/manuals/cont-eni.pdf][][http://www.pragma-ade.com/general/manuals/ cont-eni.pdf] %\useURL [contextgarden] [{http://www.contextgarden.net}] %\useURL [mccammond][{http://www.math.ucsb.edu/~jon.mccammond/geogrouptheory/}][] [{\tf http://www.math.ucsb.edu/\~{}jon.mccammond/geogrouptheory/}] % Fonts %% Chapters... \setupheads[align=flushleft] \setuphead[chapter][style={\tfd\bf}] \setuphead[section][style={\bfc}, header=nomarking] \setuphead[subsection][style={\bfb}] \setuphead[subsubsection][style={\bfa}] %\setuphead[section][textstyle=bold] % Bibliography options % BIBTEX \usemodule[bib] \usemodule[bibltx] \setupbibtex[database=memoria,sort=author] \setuppublications [alternative=ams,numbering=yes, sorttype=bbl, criterium=cite]% \setupheadtext[ca][pubs=Referències] \setuppublicationlist[authoretallimit=3] \setuppublicationlist[authoretaltext={\it\ et al.}] \setuppublicationlist[authoretaldisplay=1] %Indentation \setupheads[indentnext=yes] \setupindenting[yes,small,first] %\setupformulae[indentnext=yes] % Vertical spaces between paragraphs \setupwhitespace[small] %Itemize \setupitemize[each][indentnext=no,margin=2em] % [identnext=yes,margin=2em] \setupitemize[each][headstyle=bold] %\setupitemize[a][right=),stopper=] % Mathematical packets \usemodule[newmat] \usemodule[math-ams] % Heads and footers %\setupfootertexts[][{\tfx \currentdate}] %\setupfootertexts[\pagenumber/\lastpage] %\setupfooter[text][before=\hrule] %\setupheader[text][after=\hrule] %\setupheadertexts[{\tfx Màster de Matemàtiques}][{\tfx \jobname.\ConTeXt{}.\currentdate}] %\setupheadertexts[][{\tfx \currentdate}] % hyphenating \hyphenation{do-cu-ment} \hyphenation{pro-ble-ma} \hyphenation{es-crip-tu-ra} \hyphenation{ge-ne-ra-lit-za-ció} \hyphenation{cor-res-po-nents} \hyphenation{pa-rells} \hyphenation{ge-ne-rat} % Modules \usemodule[tikz] \usemodule[pgfmath] \usetikzlibrary[mindmap,arrows,calc,decorations.pathmorphing,decorations.markings] %\usetikzlibrary[trees] % AMSTHM equivalent %% Exercici \defineenumeration [exercici] [text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,before={\bgroup\startframedtext[background=screen,frame=off,width=broad]},after={\stopframedtext\egroup}] %% Lema \defineenumeration [lema] [text={Lema}, % Què es mostra before={\blank[big]}, % abans de lema, un bigskip after={\blank[big]}, % després de lema, un bigskip headstyle=bold, % Negreta per la capçaleras %between=\blank, % Entre Lemmes una línia en blanc titledistance=.5em, % espai entre número i parèntesis. textdistance=.5em, % espai entre ) i text stopper={.\space}, % Com acaba. Després de parèntesis un '.' location=serried, width=fit, % que ocupi tot l'espai style=italic, % estil del text title=yes, % si puc posar o no arguments opcionals titlestyle=bf, % estil del títol way=bytext, % enumerar en tot el document conversion=numbers,indenting=yes] % enumera amb arabic %% Proposició, corol·laris, teoremes. %% Comparteix els nombres amb lema %% Si volem que vagin a part, hem de posar 'number=proposition' \defineenumeration [proposition] [lema] [text={Proposició}] \defineenumeration [corollary] [lema] [text={Corol·lari}] \defineenumeration [theorem] [lema] [text={Teorema}] %% Definició \defineenumeration [definition] [lema] [text={Definició},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [notation] [definition] [text={Notació},style=tf,titlestyle=bf,indenting=yes] \defineenumeration [note] [definition] [text={Nota},style=tf,titlestyle=bf,indenting=yes] %% Demostració \defineenumeration[demo][text={Demostració.\space},number=no,location=serried,width=fit,headstyle=italic,indentnext=yes,between=\blank,textdistance=.5em,closesymbol={\mathematics{\Box}},style=normal,indenting=yes] % Table of contents %% dots between... and subsubsubsection are not listed \setupcombinedlist[content][level=4,alternative=c] %% section = bold. % width= 10mm --> less space between num-letter %% line break after section. \setuplist[section][style=bold,width=10mm] \setuplist[section][before=\blank] %% margin = 10 mm. Put the subsection just bottom section. \setuplist[subsection][margin=10mm,width=10mm] \setuplist[subsubsection][margin=20mm,width=10mm] %\setuplist[subsection] %[distance=1em] % section = bold. % % Això ho trec d'un manual: %\setuplist[subsection] % [margin=1em, % numbercommand=\NumCom] %\def\NumCom#1{\hbox to 2em{\hfill #1}} % Set "Índex" like "Índex de continguts" \setupheadtext [ca] [content=Índex] % Definitions/abbreviations \define[1]\dist{d(\sigma_g(#1), \sigma_h(#1))} \define[1]\imp{{\bgroup\startframedtext[background=screen,frame=on,width=broad]#1\stopframedtext\egroup}} %\define[1]\imp{{\bgroup\startframedtext[background=color,backgroundcolor=lightblue,frame=on,width=broad]#1\stopframedtext\egroup}} % SPLIT \def\startsplit {\startalign} % no number by default \def\stopsplit {&\doalignNR[+][]\crcr % for a number on last line \stopalign} % Other \setupunderbar[alternative=b] % Fix underline style % For putting underline with spaces: \underbar{\dorecurse{40}~} % Define new register for the Index of Symbols \defineregister[symbol][symbols] % Start the text \starttext \version[concept] \subsubsubject{El problema de la paraula} \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize \stoptext \startitemize[1] \item $\pi(x^{-1}) = \pi(x)^{-1}$ per a tot $x \in X$. \item Per a tota paraula $w = w_1 \ldots w_r$ sobre $X \cup X^{-1}$, \startformula \pi(w) = \pi(w_1) \cdots \pi(w_r) \in G. \stopformula \stopitemize \startdefinition Sigui $X$ un conjunt qualsevol i $R \subseteq F(X) \times F(X)$ una relació binària sobre el grup lliure $F(X)$. Una {\em presentació ${\cal P}$ amb generadors $X$ i relacions $R$}\index{presentació}, que indicarem amb ${\cal P} = \langle X \mid R \rangle$, és el grup quocient $F(X)/\langle \langle R_* \rangle \rangle$, on \startformula R_* = \{uv^{-1} \mid (u, v) \in R\} \subseteq F(X). \stopformula Quan ens convengui diferenciar entre la presentació com a un parell ordenat de símbols i el grup quocient en si, indicarem amb ${\cal P}$ la presentació i $G({\cal P})$ el grup que aquesta representa. \stopdefinition

1 1

Font of this article
by Xan 22 Jul '09

22 Jul '09

Hi, Does anyone know what is the font from this article: http://www.tug.org/pracjourn/2006-4/fenn/ ?? I like it very much. Xan.

4 4

Space between description entries?
by Corsair 22 Jul '09

22 Jul '09

Hi all, Anyone knows how to adjust white space between description entries? I thought it was `inbetween', but it does not work. -- There is no emotion; there is peace. There is no ignorance; there is knowledge. There is no passion; there is serenity. There is no death; there is the Force.

2 1

problem with t-letter.tex and itemize
by Peter Münster 22 Jul '09

22 Jul '09

Hello, The example shows the problem: \usemodule[letter] \starttext \startletter \startitemize \item Lines are broken at the same places as the input text. Strange... \stopitemize \stopletter \stoptext Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

2 2

support for "SUBSCRIPT THREE" etc. ?
by Peter Münster 22 Jul '09

22 Jul '09

Hello, Is support for unicode range 0x2080-0x2089 planned? Superscript works well, but not the subscript: \starttext x³ x₃ \stoptext I need it for something like this: \usemodule[vim] \definevimtyping[C][syntax=c] \starttext \startC for(expr₁; expr₂; expr₃) instruction \stopC \stoptext Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

7 12

Line overflows
by Tom 22 Jul '09

22 Jul '09

A few lines overflow a couple of characters into the right margin. How does one solve this problem? Tom Benjey Tuxedo Press

2 1

tikz
by R. Bastian 22 Jul '09

22 Jul '09

Hello, i try to use tikz: \usemodule[tikz] \usebodyfont [sansserif, 10pt] ... \starttikzpicture[] \draw (0cm, 0cm) -- (5cm, 5cm) node {vous êtes ici}; \stoptikzpicture the text in the figure is not 'sansserif' but cmr-like. How can I get the same 'sansserif' than in the body ? Thanks for your help. -- René Bastian

3 4

some problems with current
by Peter Münster 21 Jul '09

21 Jul '09

Hello, Here some minimal examples showing some problems: 1.) Number missing before first item: \starttext \startitemize[n][start=0] \item zero is missing here \item bla \item bla \stopitemize \stoptext 2.) Problem with \FlushStep: \usemodule[pre-stepwise] \setupinteraction[state=start] \starttext \chapter{Footnote and stepwise} \StartSteps \startitemize \item bla\FlushStep % 1. step: nothing \footnote{footnote}\FlushStep % 2. step: only footnote, not the \item \item bla\FlushStep % 3. step: first \item \stopitemize % second \item never appears \StopSteps \stoptext 3.) ERROR: LuaTeX error lpdf-ano.lua:340: attempt to index global 'urls' (a nil value): \setupinteraction[state=start] \starttext \goto{bla}[url(bla)] \stoptext 4.) \placeheadtext[chapter] showing section title: \starttext \chapter{my chapter title} \section{my section title} test: \placeheadtext[chapter] \stoptext 5.) \setcatcodetable\prtcatcodes no more working: \unprotect \def\bla@bla{sec title} \def\mySection{{\setcatcodetable\prtcatcodes\section{\bla@bla}}} \protect \starttext \mySection bla bla \stoptext 6.) "x.\ " should produce a normal space, not a wide space as "x. ": \starttext x. x, x.\ x,\ x \stoptext Cheers, Peter -- Contact information: http://pmrb.free.fr/contact/

2 3

How to add directory to input path?
by Mojca Miklavec 21 Jul '09

21 Jul '09

Hello, I bet that I have already asked that, but I don't find or remember the answer. I would like to add some folders to TeX search path. Let's say that I have: main.tex sub/include1.tex and would like to use "\input include1.tex" inside main.tex without having to specify full path, in the same way as \setupexternalfigures[directory=...] can be used. I have tried \usedirectory, \usepath, \usesubpath, but neither works. Well ... actually \usepath works in mkiv, but not in mkii. If I use \usepath then \allinputpaths gets the folder I have specified, but it doesn't seem to work. Thanks, Mojca

3 5

[off topic] wha'ts the best bibtex entity for lecture notes
by Xan 21 Jul '09

21 Jul '09

Hi, I just don't know what's the best class for lecture notes: @conference, @inproceeding, @misc, e..... Thanks in advance, Xan.

3 5

Re: [NTG-context] tikz
by R. Bastian 21 Jul '09

21 Jul '09

On Tue, 21 Jul 2009 14:31:53 +0200 Mojca Miklavec <mojca.miklavec.lists(a)gmail.com> scribit: > I would post that to pgf mailing list. I don't think it's a ConTeXt > issue. > > Mojca > In the between, I tried "metafun": I agree, it is powerfull, but ... ... there are 2.5 problems: - the font in the graphics is also cmr-like - utf-8 is not understand: "ça ne va pas" - TeX syntax is not understand : "\c ca ne va pas" ! Is there a way ? RB > > On Tue, Jul 21, 2009 at 14:25, R. Bastian<rbastian(a)free.fr> wrote: > > Hello, > > > > i try to use tikz: > > > > > > \usemodule[tikz] > > \usebodyfont [sansserif, 10pt] > > ... > > \starttikzpicture[] > > \draw (0cm, 0cm) -- (5cm, 5cm) node {vous êtes ici}; > > \stoptikzpicture > > > > the text in the figure is not 'sansserif' but cmr-like. > > > > How can I get the same 'sansserif' than in the body ? > > > > Thanks for your help. > > -- > > René Bastian > > > > > > ___________________________________________________________________________________ > > If your question is of interest to others as well, please add an entry to the Wiki! > > > > maillist : ntg-context(a)ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context > > webpage : http://www.pragma-ade.nl / http://tex.aanhet.net > > archive : https://foundry.supelec.fr/projects/contextrev/ > > wiki : http://contextgarden.net > > ___________________________________________________________________________________ > > > --

3 4

Re: [NTG-context] texexec ignores file order
by Ben Barrowes 21 Jul '09

21 Jul '09

This bug has just resurfaced. It was working, for a while, but is now back. I a, on a fully updated mandriva 2009 system using texlive. Thanks, bb ----- Original Message ---- > From: Ben Barrowes <bbarrowes(a)yahoo.com> > To: ntg-context(a)ntg.nl > Sent: Monday, December 8, 2008 4:41:10 PM > Subject: texexec ignores file order > > exexec --pdfarrange --result=yujo_insurance.pdf yujo_insurance1.pdf > yujo_insurance2.pdf yujo_insurance3.pdf yujo_insurance4.pdf yujo_insurance5.pdf > yujo_insurance6.pdf yujo_insurance7.pdf yujo_insurance8.pdf yujo_insurance9.pdf > yujo_insurance10.pdf yujo_insurance11.pdf yujo_insurance12.pdf > > > After upgrading recently, I found that texexec no longer preserves the order of > files passed to it. When I concatenate files with texexec, I often have more > than 10 files I want to pass to texexec names filename1.pdf, filename2.pdf, ... > filename12.pdf, etc. In the past, the following has worked to concatenate these > in the correct order: > > texexec --pdfarrange --result=filename.pdf `ls -a -v filename*.pdf` > > Now, even if I pass filename10.pdf after filename2.pdf on the command line, > texexec ingores this and puts filename10.pdf before filename2.pdf in the > resulting concatenated file. > > Is there a fix for this, or is there a better way to concatenate pdf files? > > bb

3 3

manually hyphenate url
by Steffen Wolfrum 21 Jul '09

21 Jul '09

Hi Hans, very often I have to fight (manually break) with URLs like these: \hyphenatedurl{http://www.innenministerium.bayern.de/imperia/md/content/stmi/bauen/themen/vergabe_vertragswesen/gesetze/aussetzung_tariftreueerklaerung_rs_080422.pdf } \hyphenatedurl{http://www.faz.net/s/Rub0E9EEF84AC1E4A389A8DC6C23161FE44/Doc ~E65CFA185AE41441FB3EB9E71083A9056~ATpl~Ecommon~Scontent.html} But doing it by \hyphenatedurl{...}\break\hyphenatedurl{...} is pure horror. Is there some improvement you can provide? Steffen

1 0